<div dir="ltr">PATH does indeed have /opt/ghc/8.0.2/bin which is no doubt why my command line call gets version 8.0.2. But since I didn't put it there (I didn't add it in my .bashrc; some older Haskell setup did?), I don't know how to get it out. Also, I need to use Haskell in Emacs org-mode which tends not to go by the $PATH in a Ubuntu GUI environment. So I've installed Emacs haskell-mode (latest from melpa, I believe.) I start it up -- and it gives me this:<div><br></div><div><div>The next big Haskell project is about to start!</div><div>If I break, you can:</div><div>  1. Restart:           M-x haskell-process-restart</div><div>  2. Configure logging: C-h v haskell-process-log (useful for debugging)</div><div>  3. General config:    M-x customize-mode</div><div>  4. Hide these tips:   C-h v haskell-process-show-debug-tips</div><div>Changed directory: /home/hercynian/Programs/Haskell/</div><div>λ></div></div><div><br></div><div>. . . but this doesn't tell me what version. Is there a Haskell REPL command to find out what version?</div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, May 14, 2018 at 1:57 PM Francesco Ariis <<a href="mailto:fa-ml@ariis.it">fa-ml@ariis.it</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello Lawrence,<br>
<br>
On Mon, May 14, 2018 at 12:52:01PM -0400, Lawrence Bottorff wrote:<br>
> I've tried various removes, but to no avail. The newer version is on my<br>
> system:<br>
<br>
There should be no need of removing the old version.<br>
<br>
> 12:50:32:/usr/local/haskell/ghc-8.4.2-x86_64/bin$ ./ghci --version<br>
> The Glorious Glasgow Haskell Compilation System, version 8.4.2<br>
<br>
What does `echo $PATH` say?<br>
<br>
-F<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>
</blockquote></div>