It's quite possible that this is Eli's bug again, but boy this causes
headaches:
Type Checker: parse error in type;
type variable must be used with ...
variable: Y in: Y
And it points precisely to where Y is followed by ...
#lang typed/racket
(module+ test (require
You ran raco setup with no arguments to completion?
On Tuesday, November 18, 2014, j...@racket-lang.org wrote:
jay has updated `master' from 26fe66b141 to 804599fe98.
http://git.racket-lang.org/plt/26fe66b141..804599fe98
=[ One Commit
On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
It's quite possible that this is Eli's bug again, but boy this causes
headaches:
Type Checker: parse error in type;
type variable must be used with ...
variable: Y in: Y
And it points precisely to where Y
On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
It's quite possible that this is Eli's bug again, but boy this causes
headaches:
Type Checker: parse error in type;
type
Attached is the screen shot of the error report.
On Nov 18, 2014, at 11:54 AM, Matthias Felleisen matth...@ccs.neu.edu wrote:
On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu
wrote:
On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
matth...@ccs.neu.edu
No, I ran it, it barfed, and then I figured out what went wrong. Then
I sent you an email with a fix. Unfortunately, that fix isn't enough
to make the program type check. Partly, there's an internal error, but
that's a missing case that will take work to support properly.
We can do better with
What I sent is the exact program that produced the attached error in today's
drracket [updated around 10am].
On Nov 18, 2014, at 11:58 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
No, I ran it, it barfed, and then I figured out what went wrong. Then
I sent you an email with a fix.
With that program, I get this error message:
unsaved editor:7:48: Type Checker: parse error in type; type
variable must be used with ... variable: Y in: Y
Which you also got. What changed it from the parse error to the
unbound identifier error?
Sam
On Tue, Nov 18, 2014 at 12:05 PM,
I am sending you the status line from
DrRacket, version 6.1.1.5--2014-11-18(c4684c12/d) [3m].
On Nov 18, 2014, at 12:10 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
With that program, I get this error message:
unsaved editor:7:48: Type Checker: parse error in type; type
This change broke racklog:
http://drdr.racket-lang.org/29418/pkgs/racklog/tests/bible.rkt
(and others)
Jay
On Wed, Oct 22, 2014 at 4:32 PM, mfl...@racket-lang.org wrote:
mflatt has updated `master' from 9c30da7682 to 1f764a3dba.
http://git.racket-lang.org/plt/9c30da7682..1f764a3dba
In terms of bugs, it’s probably related to this problem with call-with-values
and poly-dots:
#lang typed/racket
(: f : (All (a ...) [(- (values Any ... a)) - Void]))
(define (f g)
(call-with-values g void))
;=
. . ../../Applications/Racket
Yes, fix (for the internal error) coming soon.
Sam
On Tue, Nov 18, 2014 at 5:24 PM, Alexander D. Knauth
alexan...@knauth.org wrote:
In terms of bugs, it’s probably related to this problem with call-with-values
and poly-dots:
#lang typed/racket
(: f : (All (a ...) [(- (values Any ... a)) -
12 matches
Mail list logo