<div dir="ltr">So have you tried `M-x comint-send-eof RET` then? If that works, it is just a matter of binding it to whatever you want.</div><br><div class="gmail_quote"><div dir="ltr">Chul-Woong Yang <<a href="mailto:cwyang@aranetworks.com">cwyang@aranetworks.com</a>> schrieb am Mi., 14. Sep. 2016 um 17:06 Uhr:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:gulimche,monospace">No. Usual `C-c C-d' (comint-send-eof) does not work in haskell-mode's interactive buffer.</div><div class="gmail_default" style="font-family:gulimche,monospace">It is not defined, emacs responds as follows:</div><div class="gmail_default" style="font-family:gulimche,monospace"><br></div><div class="gmail_default" style="font-family:gulimche,monospace">> <span style="font-size:small">C-c C-d is undefined</span></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-09-14 20:01 GMT+09:00 Shrivats <span dir="ltr"><<a href="mailto:shrvtsnvs@gmail.com" target="_blank">shrvtsnvs@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">Hi, </p>
<p dir="ltr">If it's anything like other interactive modes, does<br>
C-c C-d do the job of signalling EOF? </p>
<p dir="ltr">Shrivats</p>
<div class="gmail_extra"><br><div class="gmail_quote"><div><div>On Sep 14, 2016 15:53, "Chul-Woong Yang" <<a href="mailto:cwyang@aranetworks.com" target="_blank">cwyang@aranetworks.com</a>> wrote:<br type="attribution"></div></div><blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div><div dir="ltr"><div class="gmail_default" style="font-family:gulimche,monospace">Hi, all.</div><div class="gmail_default" style="font-family:gulimche,monospace"><br></div><div class="gmail_default" style="font-family:gulimche,monospace">I use emacs haskell mode for editing and testing simple programs.</div><div class="gmail_default" style="font-family:gulimche,monospace"><font size="2">I have no success in finding out how to enter EOF to haskell program</font></div><div class="gmail_default" style="font-family:gulimche,monospace"><font size="2">in emacs "Interactive-Haskell" buffer.</font></div><div class="gmail_default" style="font-family:gulimche,monospace"><font size="2">So I am unable to test haskell program which reads from stdin. :-(</font></div><div class="gmail_default" style="font-family:gulimche,monospace"><font size="2"><br></font></div><div class="gmail_default" style="font-family:gulimche,monospace"><font size="2">Any help would be appreciated deeply.</font></div><div class="gmail_default" style="font-family:gulimche,monospace"><font size="2"><br></font></div><div class="gmail_default" style="font-family:gulimche,monospace"><font size="2">Regards,</font></div><div class="gmail_default" style="font-family:gulimche,monospace"><font size="2">Chul-Woong Yang</font></div></div>
<br></div></div>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div>
<br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</blockquote></div>