[racket] typed racket cps, state machines

On 09/05/2014 03:48 PM, Anthony Carrico wrote:> On 09/05/2014 11:48 AM,
> Apparently. I was trying to figure out if this is something I don't
> know how to annotate properly, or ...

and then,

On 09/07/2014 08:20 AM, Alexander D. Knauth wrote:
> (: fn : (All (V) [V -> V]))
> (define (fn r)
>   (: loop : [-> Void])
>   (define (loop) (loop))
>   r)

Awesome! It looks like I was bumping up against a bug, or limitation in
the syntax that I was using to annotate internal definitions. I need to
go back through this thread, and see if this fixes all my examples.
Looks very promising. Thank you very much.

-- 
Anthony Carrico


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
URL: <http://lists.racket-lang.org/users/archive/attachments/20140907/9a047bf3/attachment-0001.sig>