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
signature.asc
Description: OpenPGP digital signature
____________________ Racket Users list: http://lists.racket-lang.org/users
