On Mon, 2009-06-01 at 11:38 +0300, Abdulaziz Ghuloum wrote: > On Jun 1, 2009, at 11:03 AM, Derick Eddington wrote: > > > I like --r6rs-script because it distinguishes from a future > > --r7rs-script (or --future-whatever) which may have different > > semantics, > > and we'll want to be able to have both for a while (I suppose). The > > name "--script" is too ambiguous, and entering a REPL should be > > explicit, IMO. > > I agree with this. The existing "--script" can be renamed "--load" > because that's what it does: it loads the file into the interaction > environment. > > > Ideas: > > > > Keep --r6rs-script. Remove --script. Remove --r6rs-repl. Add -- > > repl. > > I'd rename --script to --load. > > > "ikarus --repl --r6rs-script" starts a REPL in an interaction > > environment of the script's top-level after running the script. > > Fine. > > > ikarus = ikarus --repl --r6rs-script import-ikarus--print-greeting.sps > > Fine. (not that there will be a separate file named such)
Yeah, no such file of course. I just thought it was cool to define default "ikarus" in terms of "--repl --r6rs-script". > > "ikarus --repl <file>*" loads the files into an interaction > > environment > > of (import (ikarus)) and then starts a REPL in that environment. > > "ikarus --repl" can be used to start a REPL without printing the > > greeting. > > > > "ikarus <file>+" (no --repl) loads the files into an interaction > > environment of (import (ikarus)) and then exits. > > I disagree here. I don't think "loading" should be the default > behavior (I don't like it much myself). I agree (and I've also disliked it). "--load" is a good name. > How would you change the > options if we want an explicit "--load"? "ikarus --repl --load <file>*" loads the files into an interaction environment of (import (ikarus)) and then starts a REPL in that environment. "ikarus --load <file>*" loads the files into an interaction environment of (import (ikarus)) and then exits. -- : Derick ----------------------------------------------------------------
