About a minute ago, Carl Eastlund wrote:
> On Sat, Dec 11, 2010 at 5:47 PM, Eli Barzilay <e...@barzilay.org> wrote:
> > About a minute ago, Carl Eastlund wrote:
> >> On Sat, Dec 11, 2010 at 5:17 PM, Eli Barzilay <e...@barzilay.org> wrote:
> >> >
> >> > I'm not sure what your intended use is (= what is that "language in
> >> > question"), but IIUC, it sounds like you really want
> >> >
> >> > racket -I typed/racket
> >>
> >> Almost, apparently I need to throw a "-i" in there to get the REPL
> >> back.
> >
> > (You need an `-i' only there are other non configuration options on
> > the command line.)
>
> In 5.0.99.4, if I run "racket -l typed/racket", I get no REPL. If I
> run "racket -i -l typed/racket", I get a REPL.
I used -I -- capital i (probably time to rethink your font...).
> Oh, I still think it's probably best for enter! to be quiet. I just
> won't be using it as often as I expected.
OK -- any objections?
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
