[racket] typed racket cps, state machines

I am working with git head. -- Matthias



On Sep 6, 2014, at 11:41 PM, Anthony Carrico wrote:

> On 09/06/2014 02:00 PM, Matthias Felleisen wrote:
>> 
>> 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.
> 
> It is just a very degenerate case of my problems, with everything else gone, an infinite loop nested in the most basic polymorphic type I could think of.
> 
>> 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 :-)
> 
> LOL
> 
> I had been using, Racket v6.0.0.5, but here is a machine with 6.0.1, and actually I just downloaded 6.1. All give the same answer:
> 
> $ racket --version
> Welcome to Racket v6.1.
> 
> $ cat loop.rkt
> #lang typed/racket/base
> 
> (define #:∀ (V) (fn (r : V)) : V
> (define (loop) : Void (loop))
> r)
> 
> $ racket loop.rkt
> loop.rkt:4:10: Type Checker: insufficient type information to typecheck. please add more type annotations
>  in: loop
>  context...:
>   /home/acarrico/src/racket/collects/racket/private/map.rkt:21:13: map
> /home/acarrico/src/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt:147:26
> 
> 
> ...etc.
> 
> -- 
> Anthony Carrico