[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:

    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?


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