[racket] typed racket cps, state machines

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