[isabelle] Haskell code generation: Datatype Context



Hi,

I tried to compile some code produced by the code generator with 
ghc 7.4.1, and had to read the following error message:

    Illegal datatype context (use -XDatatypeContexts): Linorder a =>

When using the indicated compiler flag, it sais:

on the commandline:
    Warning: -XDatatypeContexts is deprecated: It was widely considered
a misfeature, and has been removed from the Haskell language.


So is there any easy way to get rid of that in the Haskell code
generator?


The error occured on this line, apparantly from RBT.thy:

newtype (Linorder a) => Rbt a b = Rbt (Rbta a b) deriving (Read, Show);


--
  Peter







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