Hi,
I'm new to Poly/ML. I'd like to start using it, but I still have to work with SML/NJ.
I use the well-known sml-mode-4.0.
What should I use also to be able to work both with SML/NJ and Poly/ML?
I've found this link: http://www.cs.cmu.edu/~fp/courses/98-linear/lib/emacs/sml-poly-ml.el
Allows to start. But I'm not able to go back to SML/NJ after using Poly/ML. And 'next-error seems to be missing.
Would someone have advices there?
Thanks,
Gael.
Gael> Hi, I'm new to Poly/ML. I'd like to start using it, but I still Gael> have to work with SML/NJ.
Gael> I use the well-known sml-mode-4.0.
5.0 beta is available:
http://www.iro.umontreal.ca/~monnier/elisp
Gael> What should I use also to be able to work both with SML/NJ and Gael> Poly/ML?
I think the only place where it matters is when you start a new ML subprocess. There can be only one default, but you're always given the chance to choose a different (non-default) program. It would be easy to define 2 keyboard macros with distinct keybindings so even that minor inconvenience would go away.
One trick I found useful with PolyML:
structure Fs = OS.FileSys structure P = OS.Process structure T = TextIO
fun build_dir d = let val cwd = Fs.getDir () fun print s = T.output (T.stdOut, s) in Fs.chDir d ; app print ["\n", "Entering directory `", cwd, "/", d, "'\n"] ; use "load-all" handle _ => P.exit P.failure ; app print ["\n", "Leaving directory `", cwd, "/", d, "'\n"] ; Fs.chDir cwd end
the "Entering directory" and "Leaving directory" will let next-error know where the faulty file is and stop it from asking stupid questions :-P
-
Gael.Mulat＠mathworks.fr -
itz＠buug.org