This type checks fine in v6.1 though I can't read the dang syntax and I thought I was someone who should be able to do just that :-)
On Sep 6, 2014, at 1:46 PM, Anthony Carrico wrote: > Even something like this won't type check: > > (define #:∀ (V) (fn (r : V)) : V > (define (loop) : Void (loop)) > r) > > So all that stuff about cps-ish code may be irrelevant. > > -- > Anthony Carrico > ____________________ Racket Users list: http://lists.racket-lang.org/users
