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