[racket] typed racket cps, state machines

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
>