Re: [racket-dev] [racket-bug] all/13315: TR error messages from raco setup unhelpful

2012-11-29 Thread Michael Sperber

Thanks Asumu for making those fixes!

Asumu Takikawa as...@ccs.neu.edu writes:

 On 5.3.1, you'll have to add extra type instantiations in the tests
 or just remove the test files.

I was also e-mailing Sam about this, so some wires got crossed: Sam,
Asumu's fixes make the build go through now.

Sam also asked about the REPL output:

 (queue 1 2 3)
- : (Queue Any)
#Queue

I gather that in earlier versions of Racket, I'd get (Queue
Positive-Byte) or something similar.  Is

(ann (queue 1 2 3) (Queue Integer))

the right fix for this?  It seems awfully awkward.

-- 
Regards,
Mike
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] [racket-bug] all/13315: TR error messages from raco setup unhelpful

2012-11-29 Thread Asumu Takikawa
On 2012-11-29 10:06:49 +0100, Michael Sperber wrote:
 Sam also asked about the REPL output:
 
  (queue 1 2 3)
 - : (Queue Any)
 #Queue
 
 I gather that in earlier versions of Racket, I'd get (Queue
 Positive-Byte) or something similar.  Is
 
 (ann (queue 1 2 3) (Queue Integer))
 
 the right fix for this?  It seems awfully awkward.

This should be fixed in the pre-release version of Racket. There was a
regression where type information wasn't communicated properly across
modules.

Cheers,
Asumu
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] [racket-bug] all/13315: TR error messages from raco setup unhelpful

2012-11-28 Thread Asumu Takikawa
Note: taking this to dev since my reply isn't directly relevant to the
bug report.

On 2012-11-28 05:00:02 -0500, sper...@deinprogramm.de wrote:
 *** Description:
 So I tried to resurrect the tr-pfds collection with purely
 functional data structures.  It's not quite up to data with the
 current Typed Racket, though, so there are a few type errors.
 Unfortunately, after fixing the obvious problems, the output from raco
 only says this, without hinting where exactly the Type Checker found
 errors:

Just so you know, there was a TR bug that I fixed recently that was
causing the package (the tests in particular) to fail to type check.
If you use a pre-release version, it should type-check fine.

On 5.3.1, you'll have to add extra type instantiations in the tests
or just remove the test files.

(I also just pushed some updates that should make the package compatible
 with Planet 2)

Cheers,
Asumu
_
  Racket Developers list:
  http://lists.racket-lang.org/dev