<div dir="ltr">If I simply put a type declaration into the GHCi (version 8.8.4), it complains:<div><br></div><div>Prelude> divides :: Integer -> Integer -> Bool<br></div><div><interactive>:18:1-7: error:<br></div><div>    Variable not in scope: divides :: Integer -> Integer -> Bool<br></div><div><br></div><div>I'm trying to use Emacs org-mode babel, and I have to wrap the code block to get it to work. For example:</div><div><br></div><div>#+begin_src haskell :results verbatim :exports both<br>:{<br>factorial :: Int -> Int<br>factorial 0 = 1<br>factorial n = n * factorial (n - 1)<br>:}<br>#+end_src<br><br>#+begin_src haskell :results verbatim :exports both<br>factorial 0<br>#+end_src<br><br>#+RESULTS:<br>: 1<br></div><div><br></div><div>I understand :set +m, but this doesn't help. Why won't a running Haskell REPL with set +m take a type declaration?</div><div><br></div><div>Lawrence Bottorff</div><div>Grand Marais, MN, USA</div><div><br></div><div><br></div><div><br></div></div>