On 11 Dec 2014, at 19:26, Ian Zimmerman <itz at buug.org> wrote:
On Wed, 10 Dec 2014 20:52:36 -0600, Peter Gammie <peteg42 at gmail.com> wrote:
Peter> Me neither. Hide it under a flag? Or are you (and Makarius) Peter> suggesting that I hand-roll my own REPL? (I?m not adverse to that Peter> either.)
FWIW, I have hacked Stefan?s SML mode to understand PolyML error messages.
Yes, I should have been clearer: this is not (just) about the emacs sml-mode but the generic emacs ?compile? machinery. The latter could be educated to understand Poly/ML?s warnings and errors, or Poly/ML could conform to some ?standard?. I was sounding David out about the latter, and also about Poly/ML?s REPL.
I saw your emails in the Poly/ML archives and was hoping you?d opine about how you interact with the system.
It is sad that I feel the need to say this in advance, but I won't be drawn into any debate on the usefulness or otherwise of "old-fashioned" software.
Why not? IMHO if you?re using (S)ML you?ve already taken a substantial position in such a debate. :-)
cheers peter