On Mar 31, 2013, at 9:32 PM, Sam Tobin-Hochstadt wrote:
My expectation when using typed/racket/no-check is that I won't get
any type errors.
To me, the words no check mean just that: do not type-check the module. But I
think it is okay to parse the types. I doubt people use this option when
20 minutes ago, Matthias Felleisen wrote:
On Mar 31, 2013, at 9:32 PM, Sam Tobin-Hochstadt wrote:
My expectation when using typed/racket/no-check is that I won't
get any type errors.
To me, the words no check mean just that: do not type-check the
module. But I think it is okay to
On 4/1/13 11:16 AM, Robby Findler wrote:
You could change the ellipsis to Integer. :)
Or no-check could bind ellipsis to some type. This would be useful for
sketching types out in no-check and then refining them to actual types
in TR.
David
Robby
On Mon, Apr 1, 2013 at 8:23 AM, Eli
An hour and a half ago, David Van Horn wrote:
On 4/1/13 11:16 AM, Robby Findler wrote:
You could change the ellipsis to Integer. :)
The time that I'd spend explaining why I wrote `Integer' makes the
comment route more appealing...
Or no-check could bind ellipsis to some type. This would be
There have been a couple recent bug reports because certain features
need a type, such as cast and define-predicate.
I was wondering whether TR/no-check should check that the types are
well formed, but not check that the expressions are well typed? I'm
thinking this would be less surprising to
I have proposed that before and I support it. Please do it!
On Mar 31, 2013, at 5:44 PM, Eric Dobson wrote:
There have been a couple recent bug reports because certain features
need a type, such as cast and define-predicate.
I was wondering whether TR/no-check should check that the types
My expectation when using typed/racket/no-check is that I won't get
any type errors. While `define-predicate` can't work in that sense,
we could just make `cast` always succeed, which I think would be
helpful.
I only use no-check to take a file that won't typecheck due to some
problem I hope to
7 matches
Mail list logo