[isabelle] haskabelle importer



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?

--
Rick





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