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