Email Gateway (Aug 19 2022 at 15:12): Email Gateway (Aug 19 2022 at 15:12):From: "Marco A. Ferreira de Almeida" <marcoafalmeida@gmail.com>
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?
mfa@rodriguez:~/Downloads/Isabelle2013-2$ bin/isabelle haskabelle
Prepare (re)building the default adaptation table ...
[ 1 of 17] Compiling Importer.Env ( Importer/Env.hs,
build/Importer/Env.o ) [Data.Generics changed]
[ 3 of 17] Compiling Importer.Isa ( Importer/Isa.hs,
build/Importer/Isa.o ) [Data.Generics.Basics changed]
[ 4 of 17] Compiling Importer.Gensym ( Importer/Gensym.hs,
build/Importer/Gensym.o ) [Importer.Isa changed]
[ 6 of 17] Compiling Importer.Hsx ( Importer/Hsx.hs, build/Importer/Hsx.o )
Importer/Hsx.hs:447:15:
Illegal polymorphic or qualified type: GenericT
Perhaps you intended to use -XRankNTypes or -XRank2Types
In the type signature for `applySubst':
applySubst :: Subst -> GenericT
Importer/Hsx.hs:450:20:
Illegal polymorphic or qualified type: GenericM BindingM
Perhaps you intended to use -XRankNTypes or -XRank2Types
In the type signature for `applySubstLocal':
applySubstLocal :: Subst -> GenericM BindingM
Importer/Hsx.hs:483:24:
Illegal polymorphic or qualified type: GenericM BindingM
Perhaps you intended to use -XRankNTypes or -XRank2Types
In the type signature for `renameFreeVarsLocal':
renameFreeVarsLocal :: [Renaming] -> GenericM BindingM
Cannot build source. See Haskabelle documentation.
Email Gateway (Aug 19 2022 at 15:48):From: Lars Noschinski <noschinl@in.tum.de>
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
Last updated: Apr 23 2024 at 16:19 UTC