[racket] 'Single-Flonum' error in Typed Racket

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Sat Feb 18 22:40:43 EST 2012

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

Posted on the users mailing list.