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 useful
> for sketching types out in no-check and then refining them to actual
> types in TR.
Well, I used "..." in the natural sense of "some stuff". Having it
bound to some type sounds cute, but definitely too much work than it's
worth. (At least IMO.)
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
