Why does this 
        
> (compose (λ (x) x) (λ #:forall (a) ({x : a}) x))

have this type: 

> - : (-> Nothing Any)

Thanks -- Matthias



-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/7E7C582D-7066-4073-AAFD-9B6CA99F1F1E%40ccs.neu.edu.
For more options, visit https://groups.google.com/d/optout.

Reply via email to