[racket-dev] tr cycles in module graph

2013-06-03 Thread Robby Findler
Apologies if this is a known issue When I write this: #lang typed/racket (module+ test (require typed/rackunit)) I get this (in DrRacket, default module language settings): Welcome to DrRacket, version 5.3.4.11--2013-06-03(54b45607/d) [3m]. Language: typed/racket; memory limit: 128 MB. .

Re: [racket-dev] tr cycles in module graph

2013-06-03 Thread Robby Findler
OH, and if this is a known issue, I'd be most appreciative if someone could explain how I might be able to tell when I'm going to trigger this bug so I can avoid it when I do some TR programming in class tomorrow. (I know that a program that contains the program below plus some other stuff doesn't

Re: [racket-dev] tr cycles in module graph

2013-06-03 Thread Sam Tobin-Hochstadt
I think this is a known bug in the expander that's gotten worse. But I don't know, and the tests that involve submodules seem to pass. In general, submodules + Typed Racket make the expander unhappy, and this seems (although I'm not certain) that this is worse in DrRacket than otherwise. Sorry