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.
.
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
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
3 matches
Mail list logo