Fixed. Pushing soon. Thanks for the report.
Vincent At Sat, 18 Feb 2012 16:59:36 -0500, SF wrote: > > Running this program in DrRacket... > > #lang typed/racket > (provide (all-defined-out)) > (: foo Single-Flonum) > (define foo 1.0f0) > > ...gives me this error: > > expand: unbound identifier in module in: t:single-flonum? > > I don't know what it means or why it shows up when I try to provide > all-defined-out. I've tried replacing Single-Flonum with various other > types, and it seems to be the only one affected. For example, using > Positive-Single-Flonum doesn't result in this error. > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
