On Thu, Oct 20, 2011 at 8:25 AM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > I've certainly wanted this in the past. Ryan came up with some tricks that > made it easier, but I think a separate REPL that basically ran > (begin-for-syntax (print e)) would be a very nice addition. > > I'm also with Eli in thinking that this should be separate from online check > syntax, unless we make the whole repl use the results of online check > syntax.
I don't understand your "unless". Just to be clear, I am imagining two different REPLs. One REPL you get when you click "Run". One REPL you get when you click some other button and the second REPL has the compile-time bindings of the program in the definitions window. The second RPEL may or may not be "instantly available" depending on whether or not it is (internally) using the results of the online expansion. Eli's argument boil down to saying that there are programs that don't work in online check syntax (and implicitly saying we should support those programs in this new REPL). If you agree with that, then what programs have you written that have this property? Robby _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
