Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] haskabelle importer

view this post on Zulip Email Gateway (Aug 18 2022 at 14:12):

From: rick <rick@rickmurphy.org>
Hello All:

I'm working through my setup. So far so good.

One question. When I execute bin/buildbin the system returns:

Importer/Configuration.hs:53:17:
Could not find module `Language.Haskell.Exts':
Use -v to see a list of the files searched for.
Cannot build source.

Do I need to install a package? Or, possibly set a command line switch
like -fglasgow-exts?

view this post on Zulip Email Gateway (Aug 18 2022 at 14:12):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi Rick,

Yes, definitely; the list of packages to install etc. you can find in
the Haskabelle manual which can be found in the doc/ directory of the
distribution.

Hope this helps,
Florian
signature.asc

Last updated: Apr 25 2024 at 20:15 UTC