[isabelle] Haskell code generation: Datatype Context


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

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

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


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