🚀 go-pugleaf

David> GNU Emacs 19.25.1 of Fri Aug 12 1994 on craro.dcs.ed.ac.uk
David> (sparc-sun-solaris2.3)

David> Somebody reported the following problem with my comint-derived
David> package for using a theorem prover: submitting the input shown
David> below between the two lines caused the process to die, as if EOF
David> had been sent.

David> In shell mode, if I type

David> $ cat >foo
David> <text>
David> $ bash: syntax error near unexpected token `1)])'

David> where <text> is the text below, I find that `foo' contains all but
David> the final line of text, and the bash error is consistent with
David> typing in just the last line.  This doesn't happen outside Emacs;
David> things are fine in an xterm (and in 19.22).

David> I don't *think* this is a comint problem, because the same thing
David> appears to happen when I call process-send-string with the string
David> below.

I can't duplicated this under GNU Emacs 19.25.1 (sparc-sun-sunos4.1.3C).  
Have you tried using a different shell?  Have you started with "emacs -q"?

Try `explicit-shell-file-name' with "/bin/sh" and "/bin/csh".

Simon.