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