p.s. I have figured out the syntax. I am not sure what you want with 'loop' but in any case, this all type checks.
On Sep 6, 2014, at 1:58 PM, Matthias Felleisen wrote: > > 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 ____________________ Racket Users list: http://lists.racket-lang.org/users
