Re: [isabelle] Cannot build Haskabelle



On 30.07.2014 10:09, Marco A. Ferreira de Almeida wrote:
> Hi,
>
> I've been trying to build Haskabelle without success.
> I'm sure I have the correct versions of the libraries (installed with
> cabal), but still I can't get past the following.
>
> Has anyone ever found something similar and got around it?
The version of Haskabelle you are using does not work with GHC 7.6;
7.4.1 ought to be ok. The repository at
http://isabelle.in.tum.de/repos/haskabelle contains the necessary
changes to make it compile with GHC 7.6. I will look into shipping a
up-to-date version with Isabelle 2014.

  -- Lars




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