[isabelle] isabelle ghc_setup



Hi List,

the isabelle ghc_setup seems to magically setup Haskell using stack,
such that I can run, e.g., export_code checking Haskell. However, I
cannot find any documentation on this. Is there any?

Question: How can I install additional packages from hackage?

I use some code_printing setup with additional packages, but find no
way how "export_code checking" would find them:

export_code test checking Haskell

Heap.hs:8:1: error:
    Could not find module ‘Control.Monad.Parallel’
    Perhaps you meant
      Control.Monad.Fail (from base-4.13.0.0)
      Control.Monad.Reader (from mtl-2.2.2)
      Control.Monad.State (from mtl-2.2.2)
    Use -v (or `:set -v` in ghci) to see a list of the files searched
for.
  |
8 | import Control.Monad.Parallel(bindM2)
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 

--
  Peter








This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.