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.