changed names of resource-1.3; added a note on homepage on release

1 files changed, 485 insertions, 0 deletions

diff --git a/src/Transfer/Syntax/Abs.hs b/src/Transfer/Syntax/Abs.hs
new file mode 100644
index 000000000..0ccf9ab12
--- /dev/null
+++ b/src/Transfer/Syntax/Abs.hs
@@ -0,0 +1,485 @@
+{-# OPTIONS_GHC -fglasgow-exts #-}
+module Transfer.Syntax.Abs (Tree(..), Module, Import, Decl, ConsDecl, Guard, Pattern, CommaPattern, FieldPattern, Exp, VarOrWild, LetDef, Case, Bind, FieldType, FieldValue, Ident, composOp, composOpM, composOpM_, composOpMPlus, composOpMonoid, composOpFold, compos, johnMajorEq) where
+
+import Control.Monad (ap,MonadPlus,msum,mplus,mzero)
+import Control.Monad.Identity
+import Data.Monoid
+
+-- Haskell module generated by the BNF converter
+
+data Module_
+type Module = Tree Module_
+data Import_
+type Import = Tree Import_
+data Decl_
+type Decl = Tree Decl_
+data ConsDecl_
+type ConsDecl = Tree ConsDecl_
+data Guard_
+type Guard = Tree Guard_
+data Pattern_
+type Pattern = Tree Pattern_
+data CommaPattern_
+type CommaPattern = Tree CommaPattern_
+data FieldPattern_
+type FieldPattern = Tree FieldPattern_
+data Exp_
+type Exp = Tree Exp_
+data VarOrWild_
+type VarOrWild = Tree VarOrWild_
+data LetDef_
+type LetDef = Tree LetDef_
+data Case_
+type Case = Tree Case_
+data Bind_
+type Bind = Tree Bind_
+data FieldType_
+type FieldType = Tree FieldType_
+data FieldValue_
+type FieldValue = Tree FieldValue_
+data Ident_
+type Ident = Tree Ident_
+
+data Tree :: * -> * where
+    Module :: [Import] -> [Decl] -> Tree Module_
+    Import :: Ident -> Tree Import_
+    DataDecl :: Ident -> Exp -> [ConsDecl] -> Tree Decl_
+    TypeDecl :: Ident -> Exp -> Tree Decl_
+    ValueDecl :: Ident -> [Pattern] -> Guard -> Exp -> Tree Decl_
+    DeriveDecl :: Ident -> Ident -> Tree Decl_
+    ConsDecl :: Ident -> Exp -> Tree ConsDecl_
+    GuardExp :: Exp -> Tree Guard_
+    GuardNo :: Tree Guard_
+    POr :: Pattern -> Pattern -> Tree Pattern_
+    PListCons :: Pattern -> Pattern -> Tree Pattern_
+    PConsTop :: Ident -> Pattern -> [Pattern] -> Tree Pattern_
+    PCons :: Ident -> [Pattern] -> Tree Pattern_
+    PRec :: [FieldPattern] -> Tree Pattern_
+    PEmptyList :: Tree Pattern_
+    PList :: [CommaPattern] -> Tree Pattern_
+    PTuple :: CommaPattern -> [CommaPattern] -> Tree Pattern_
+    PStr :: String -> Tree Pattern_
+    PInt :: Integer -> Tree Pattern_
+    PVar :: Ident -> Tree Pattern_
+    PWild :: Tree Pattern_
+    CommaPattern :: Pattern -> Tree CommaPattern_
+    FieldPattern :: Ident -> Pattern -> Tree FieldPattern_
+    EPi :: VarOrWild -> Exp -> Exp -> Tree Exp_
+    EPiNoVar :: Exp -> Exp -> Tree Exp_
+    EAbs :: VarOrWild -> Exp -> Tree Exp_
+    ELet :: [LetDef] -> Exp -> Tree Exp_
+    ECase :: Exp -> [Case] -> Tree Exp_
+    EIf :: Exp -> Exp -> Exp -> Tree Exp_
+    EDo :: [Bind] -> Exp -> Tree Exp_
+    EBind :: Exp -> Exp -> Tree Exp_
+    EBindC :: Exp -> Exp -> Tree Exp_
+    EOr :: Exp -> Exp -> Tree Exp_
+    EAnd :: Exp -> Exp -> Tree Exp_
+    EEq :: Exp -> Exp -> Tree Exp_
+    ENe :: Exp -> Exp -> Tree Exp_
+    ELt :: Exp -> Exp -> Tree Exp_
+    ELe :: Exp -> Exp -> Tree Exp_
+    EGt :: Exp -> Exp -> Tree Exp_
+    EGe :: Exp -> Exp -> Tree Exp_
+    EListCons :: Exp -> Exp -> Tree Exp_
+    EAdd :: Exp -> Exp -> Tree Exp_
+    ESub :: Exp -> Exp -> Tree Exp_
+    EMul :: Exp -> Exp -> Tree Exp_
+    EDiv :: Exp -> Exp -> Tree Exp_
+    EMod :: Exp -> Exp -> Tree Exp_
+    ENeg :: Exp -> Tree Exp_
+    EApp :: Exp -> Exp -> Tree Exp_
+    EProj :: Exp -> Ident -> Tree Exp_
+    ERecType :: [FieldType] -> Tree Exp_
+    ERec :: [FieldValue] -> Tree Exp_
+    EEmptyList :: Tree Exp_
+    EList :: [Exp] -> Tree Exp_
+    ETuple :: Exp -> [Exp] -> Tree Exp_
+    EVar :: Ident -> Tree Exp_
+    EType :: Tree Exp_
+    EStr :: String -> Tree Exp_
+    EInteger :: Integer -> Tree Exp_
+    EDouble :: Double -> Tree Exp_
+    EMeta :: Tree Exp_
+    VVar :: Ident -> Tree VarOrWild_
+    VWild :: Tree VarOrWild_
+    LetDef :: Ident -> Exp -> Tree LetDef_
+    Case :: Pattern -> Guard -> Exp -> Tree Case_
+    BindVar :: VarOrWild -> Exp -> Tree Bind_
+    BindNoVar :: Exp -> Tree Bind_
+    FieldType :: Ident -> Exp -> Tree FieldType_
+    FieldValue :: Ident -> Exp -> Tree FieldValue_
+    Ident :: String -> Tree Ident_
+
+composOp :: (forall a. Tree a -> Tree a) -> Tree c -> Tree c
+composOp f = runIdentity . composOpM (Identity . f)
+
+composOpM :: Monad m => (forall a. Tree a -> m (Tree a)) -> Tree c -> m (Tree c)
+composOpM = compos return ap
+
+composOpM_ :: Monad m => (forall a. Tree a -> m ()) -> Tree c -> m ()
+composOpM_ = composOpFold (return ()) (>>)
+
+composOpMPlus :: MonadPlus m => (forall a. Tree a -> m b) -> Tree c -> m b
+composOpMPlus = composOpFold mzero mplus
+
+composOpMonoid :: Monoid m => (forall a. Tree a -> m) -> Tree c -> m
+composOpMonoid = composOpFold mempty mappend
+
+newtype C b a = C { unC :: b }
+composOpFold :: b -> (b -> b -> b) -> (forall a. Tree a -> b) -> Tree c -> b
+composOpFold z c f = unC . compos (\_ -> C z) (\(C x) (C y) -> C (c x y)) (C . f)
+
+compos :: (forall a. a -> m a) 
+       -> (forall a b. m (a -> b) -> m a -> m b) 
+       -> (forall a. Tree a -> m (Tree a)) -> Tree c -> m (Tree c)
+compos r a f t = case t of
+    Module imports decls -> r Module `a` foldr (a . a (r (:)) . f) (r []) imports `a` foldr (a . a (r (:)) . f) (r []) decls
+    Import i -> r Import `a` f i
+    DataDecl i exp consdecls -> r DataDecl `a` f i `a` f exp `a` foldr (a . a (r (:)) . f) (r []) consdecls
+    TypeDecl i exp -> r TypeDecl `a` f i `a` f exp
+    ValueDecl i patterns guard exp -> r ValueDecl `a` f i `a` foldr (a . a (r (:)) . f) (r []) patterns `a` f guard `a` f exp
+    DeriveDecl i0 i1 -> r DeriveDecl `a` f i0 `a` f i1
+    ConsDecl i exp -> r ConsDecl `a` f i `a` f exp
+    GuardExp exp -> r GuardExp `a` f exp
+    POr pattern0 pattern1 -> r POr `a` f pattern0 `a` f pattern1
+    PListCons pattern0 pattern1 -> r PListCons `a` f pattern0 `a` f pattern1
+    PConsTop i pattern patterns -> r PConsTop `a` f i `a` f pattern `a` foldr (a . a (r (:)) . f) (r []) patterns
+    PCons i patterns -> r PCons `a` f i `a` foldr (a . a (r (:)) . f) (r []) patterns
+    PRec fieldpatterns -> r PRec `a` foldr (a . a (r (:)) . f) (r []) fieldpatterns
+    PList commapatterns -> r PList `a` foldr (a . a (r (:)) . f) (r []) commapatterns
+    PTuple commapattern commapatterns -> r PTuple `a` f commapattern `a` foldr (a . a (r (:)) . f) (r []) commapatterns
+    PVar i -> r PVar `a` f i
+    CommaPattern pattern -> r CommaPattern `a` f pattern
+    FieldPattern i pattern -> r FieldPattern `a` f i `a` f pattern
+    EPi varorwild exp0 exp1 -> r EPi `a` f varorwild `a` f exp0 `a` f exp1
+    EPiNoVar exp0 exp1 -> r EPiNoVar `a` f exp0 `a` f exp1
+    EAbs varorwild exp -> r EAbs `a` f varorwild `a` f exp
+    ELet letdefs exp -> r ELet `a` foldr (a . a (r (:)) . f) (r []) letdefs `a` f exp
+    ECase exp cases -> r ECase `a` f exp `a` foldr (a . a (r (:)) . f) (r []) cases
+    EIf exp0 exp1 exp2 -> r EIf `a` f exp0 `a` f exp1 `a` f exp2
+    EDo binds exp -> r EDo `a` foldr (a . a (r (:)) . f) (r []) binds `a` f exp
+    EBind exp0 exp1 -> r EBind `a` f exp0 `a` f exp1
+    EBindC exp0 exp1 -> r EBindC `a` f exp0 `a` f exp1
+    EOr exp0 exp1 -> r EOr `a` f exp0 `a` f exp1
+    EAnd exp0 exp1 -> r EAnd `a` f exp0 `a` f exp1
+    EEq exp0 exp1 -> r EEq `a` f exp0 `a` f exp1
+    ENe exp0 exp1 -> r ENe `a` f exp0 `a` f exp1
+    ELt exp0 exp1 -> r ELt `a` f exp0 `a` f exp1
+    ELe exp0 exp1 -> r ELe `a` f exp0 `a` f exp1
+    EGt exp0 exp1 -> r EGt `a` f exp0 `a` f exp1
+    EGe exp0 exp1 -> r EGe `a` f exp0 `a` f exp1
+    EListCons exp0 exp1 -> r EListCons `a` f exp0 `a` f exp1
+    EAdd exp0 exp1 -> r EAdd `a` f exp0 `a` f exp1
+    ESub exp0 exp1 -> r ESub `a` f exp0 `a` f exp1
+    EMul exp0 exp1 -> r EMul `a` f exp0 `a` f exp1
+    EDiv exp0 exp1 -> r EDiv `a` f exp0 `a` f exp1
+    EMod exp0 exp1 -> r EMod `a` f exp0 `a` f exp1
+    ENeg exp -> r ENeg `a` f exp
+    EApp exp0 exp1 -> r EApp `a` f exp0 `a` f exp1
+    EProj exp i -> r EProj `a` f exp `a` f i
+    ERecType fieldtypes -> r ERecType `a` foldr (a . a (r (:)) . f) (r []) fieldtypes
+    ERec fieldvalues -> r ERec `a` foldr (a . a (r (:)) . f) (r []) fieldvalues
+    EList exps -> r EList `a` foldr (a . a (r (:)) . f) (r []) exps
+    ETuple exp exps -> r ETuple `a` f exp `a` foldr (a . a (r (:)) . f) (r []) exps
+    EVar i -> r EVar `a` f i
+    VVar i -> r VVar `a` f i
+    LetDef i exp -> r LetDef `a` f i `a` f exp
+    Case pattern guard exp -> r Case `a` f pattern `a` f guard `a` f exp
+    BindVar varorwild exp -> r BindVar `a` f varorwild `a` f exp
+    BindNoVar exp -> r BindNoVar `a` f exp
+    FieldType i exp -> r FieldType `a` f i `a` f exp
+    FieldValue i exp -> r FieldValue `a` f i `a` f exp
+    _ -> r t
+
+instance Show (Tree c) where
+  showsPrec n t = case t of
+    Module imports decls -> opar n . showString "Module" . showChar ' ' . showsPrec 1 imports . showChar ' ' . showsPrec 1 decls . cpar n
+    Import i -> opar n . showString "Import" . showChar ' ' . showsPrec 1 i . cpar n
+    DataDecl i exp consdecls -> opar n . showString "DataDecl" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp . showChar ' ' . showsPrec 1 consdecls . cpar n
+    TypeDecl i exp -> opar n . showString "TypeDecl" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp . cpar n
+    ValueDecl i patterns guard exp -> opar n . showString "ValueDecl" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 patterns . showChar ' ' . showsPrec 1 guard . showChar ' ' . showsPrec 1 exp . cpar n
+    DeriveDecl i0 i1 -> opar n . showString "DeriveDecl" . showChar ' ' . showsPrec 1 i0 . showChar ' ' . showsPrec 1 i1 . cpar n
+    ConsDecl i exp -> opar n . showString "ConsDecl" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp . cpar n
+    GuardExp exp -> opar n . showString "GuardExp" . showChar ' ' . showsPrec 1 exp . cpar n
+    GuardNo -> showString "GuardNo"
+    POr pattern0 pattern1 -> opar n . showString "POr" . showChar ' ' . showsPrec 1 pattern0 . showChar ' ' . showsPrec 1 pattern1 . cpar n
+    PListCons pattern0 pattern1 -> opar n . showString "PListCons" . showChar ' ' . showsPrec 1 pattern0 . showChar ' ' . showsPrec 1 pattern1 . cpar n
+    PConsTop i pattern patterns -> opar n . showString "PConsTop" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 pattern . showChar ' ' . showsPrec 1 patterns . cpar n
+    PCons i patterns -> opar n . showString "PCons" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 patterns . cpar n
+    PRec fieldpatterns -> opar n . showString "PRec" . showChar ' ' . showsPrec 1 fieldpatterns . cpar n
+    PEmptyList -> showString "PEmptyList"
+    PList commapatterns -> opar n . showString "PList" . showChar ' ' . showsPrec 1 commapatterns . cpar n
+    PTuple commapattern commapatterns -> opar n . showString "PTuple" . showChar ' ' . showsPrec 1 commapattern . showChar ' ' . showsPrec 1 commapatterns . cpar n
+    PStr str -> opar n . showString "PStr" . showChar ' ' . showsPrec 1 str . cpar n
+    PInt n -> opar n . showString "PInt" . showChar ' ' . showsPrec 1 n . cpar n
+    PVar i -> opar n . showString "PVar" . showChar ' ' . showsPrec 1 i . cpar n
+    PWild -> showString "PWild"
+    CommaPattern pattern -> opar n . showString "CommaPattern" . showChar ' ' . showsPrec 1 pattern . cpar n
+    FieldPattern i pattern -> opar n . showString "FieldPattern" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 pattern . cpar n
+    EPi varorwild exp0 exp1 -> opar n . showString "EPi" . showChar ' ' . showsPrec 1 varorwild . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EPiNoVar exp0 exp1 -> opar n . showString "EPiNoVar" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EAbs varorwild exp -> opar n . showString "EAbs" . showChar ' ' . showsPrec 1 varorwild . showChar ' ' . showsPrec 1 exp . cpar n
+    ELet letdefs exp -> opar n . showString "ELet" . showChar ' ' . showsPrec 1 letdefs . showChar ' ' . showsPrec 1 exp . cpar n
+    ECase exp cases -> opar n . showString "ECase" . showChar ' ' . showsPrec 1 exp . showChar ' ' . showsPrec 1 cases . cpar n
+    EIf exp0 exp1 exp2 -> opar n . showString "EIf" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . showChar ' ' . showsPrec 1 exp2 . cpar n
+    EDo binds exp -> opar n . showString "EDo" . showChar ' ' . showsPrec 1 binds . showChar ' ' . showsPrec 1 exp . cpar n
+    EBind exp0 exp1 -> opar n . showString "EBind" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EBindC exp0 exp1 -> opar n . showString "EBindC" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EOr exp0 exp1 -> opar n . showString "EOr" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EAnd exp0 exp1 -> opar n . showString "EAnd" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EEq exp0 exp1 -> opar n . showString "EEq" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    ENe exp0 exp1 -> opar n . showString "ENe" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    ELt exp0 exp1 -> opar n . showString "ELt" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    ELe exp0 exp1 -> opar n . showString "ELe" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EGt exp0 exp1 -> opar n . showString "EGt" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EGe exp0 exp1 -> opar n . showString "EGe" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EListCons exp0 exp1 -> opar n . showString "EListCons" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EAdd exp0 exp1 -> opar n . showString "EAdd" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    ESub exp0 exp1 -> opar n . showString "ESub" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EMul exp0 exp1 -> opar n . showString "EMul" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EDiv exp0 exp1 -> opar n . showString "EDiv" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EMod exp0 exp1 -> opar n . showString "EMod" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    ENeg exp -> opar n . showString "ENeg" . showChar ' ' . showsPrec 1 exp . cpar n
+    EApp exp0 exp1 -> opar n . showString "EApp" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
+    EProj exp i -> opar n . showString "EProj" . showChar ' ' . showsPrec 1 exp . showChar ' ' . showsPrec 1 i . cpar n
+    ERecType fieldtypes -> opar n . showString "ERecType" . showChar ' ' . showsPrec 1 fieldtypes . cpar n
+    ERec fieldvalues -> opar n . showString "ERec" . showChar ' ' . showsPrec 1 fieldvalues . cpar n
+    EEmptyList -> showString "EEmptyList"
+    EList exps -> opar n . showString "EList" . showChar ' ' . showsPrec 1 exps . cpar n
+    ETuple exp exps -> opar n . showString "ETuple" . showChar ' ' . showsPrec 1 exp . showChar ' ' . showsPrec 1 exps . cpar n
+    EVar i -> opar n . showString "EVar" . showChar ' ' . showsPrec 1 i . cpar n
+    EType -> showString "EType"
+    EStr str -> opar n . showString "EStr" . showChar ' ' . showsPrec 1 str . cpar n
+    EInteger n -> opar n . showString "EInteger" . showChar ' ' . showsPrec 1 n . cpar n
+    EDouble d -> opar n . showString "EDouble" . showChar ' ' . showsPrec 1 d . cpar n
+    EMeta -> showString "EMeta"
+    VVar i -> opar n . showString "VVar" . showChar ' ' . showsPrec 1 i . cpar n
+    VWild -> showString "VWild"
+    LetDef i exp -> opar n . showString "LetDef" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp . cpar n
+    Case pattern guard exp -> opar n . showString "Case" . showChar ' ' . showsPrec 1 pattern . showChar ' ' . showsPrec 1 guard . showChar ' ' . showsPrec 1 exp . cpar n
+    BindVar varorwild exp -> opar n . showString "BindVar" . showChar ' ' . showsPrec 1 varorwild . showChar ' ' . showsPrec 1 exp . cpar n
+    BindNoVar exp -> opar n . showString "BindNoVar" . showChar ' ' . showsPrec 1 exp . cpar n
+    FieldType i exp -> opar n . showString "FieldType" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp . cpar n
+    FieldValue i exp -> opar n . showString "FieldValue" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp . cpar n
+    Ident str -> opar n . showString "Ident" . showChar ' ' . showsPrec 1 str . cpar n
+   where opar n = if n > 0 then showChar '(' else id
+         cpar n = if n > 0 then showChar ')' else id
+
+instance Eq (Tree c) where (==) = johnMajorEq
+
+johnMajorEq :: Tree a -> Tree b -> Bool
+johnMajorEq (Module imports decls) (Module imports_ decls_) = imports == imports_ && decls == decls_
+johnMajorEq (Import i) (Import i_) = i == i_
+johnMajorEq (DataDecl i exp consdecls) (DataDecl i_ exp_ consdecls_) = i == i_ && exp == exp_ && consdecls == consdecls_
+johnMajorEq (TypeDecl i exp) (TypeDecl i_ exp_) = i == i_ && exp == exp_
+johnMajorEq (ValueDecl i patterns guard exp) (ValueDecl i_ patterns_ guard_ exp_) = i == i_ && patterns == patterns_ && guard == guard_ && exp == exp_
+johnMajorEq (DeriveDecl i0 i1) (DeriveDecl i0_ i1_) = i0 == i0_ && i1 == i1_
+johnMajorEq (ConsDecl i exp) (ConsDecl i_ exp_) = i == i_ && exp == exp_
+johnMajorEq (GuardExp exp) (GuardExp exp_) = exp == exp_
+johnMajorEq GuardNo GuardNo = True
+johnMajorEq (POr pattern0 pattern1) (POr pattern0_ pattern1_) = pattern0 == pattern0_ && pattern1 == pattern1_
+johnMajorEq (PListCons pattern0 pattern1) (PListCons pattern0_ pattern1_) = pattern0 == pattern0_ && pattern1 == pattern1_
+johnMajorEq (PConsTop i pattern patterns) (PConsTop i_ pattern_ patterns_) = i == i_ && pattern == pattern_ && patterns == patterns_
+johnMajorEq (PCons i patterns) (PCons i_ patterns_) = i == i_ && patterns == patterns_
+johnMajorEq (PRec fieldpatterns) (PRec fieldpatterns_) = fieldpatterns == fieldpatterns_
+johnMajorEq PEmptyList PEmptyList = True
+johnMajorEq (PList commapatterns) (PList commapatterns_) = commapatterns == commapatterns_
+johnMajorEq (PTuple commapattern commapatterns) (PTuple commapattern_ commapatterns_) = commapattern == commapattern_ && commapatterns == commapatterns_
+johnMajorEq (PStr str) (PStr str_) = str == str_
+johnMajorEq (PInt n) (PInt n_) = n == n_
+johnMajorEq (PVar i) (PVar i_) = i == i_
+johnMajorEq PWild PWild = True
+johnMajorEq (CommaPattern pattern) (CommaPattern pattern_) = pattern == pattern_
+johnMajorEq (FieldPattern i pattern) (FieldPattern i_ pattern_) = i == i_ && pattern == pattern_
+johnMajorEq (EPi varorwild exp0 exp1) (EPi varorwild_ exp0_ exp1_) = varorwild == varorwild_ && exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EPiNoVar exp0 exp1) (EPiNoVar exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EAbs varorwild exp) (EAbs varorwild_ exp_) = varorwild == varorwild_ && exp == exp_
+johnMajorEq (ELet letdefs exp) (ELet letdefs_ exp_) = letdefs == letdefs_ && exp == exp_
+johnMajorEq (ECase exp cases) (ECase exp_ cases_) = exp == exp_ && cases == cases_
+johnMajorEq (EIf exp0 exp1 exp2) (EIf exp0_ exp1_ exp2_) = exp0 == exp0_ && exp1 == exp1_ && exp2 == exp2_
+johnMajorEq (EDo binds exp) (EDo binds_ exp_) = binds == binds_ && exp == exp_
+johnMajorEq (EBind exp0 exp1) (EBind exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EBindC exp0 exp1) (EBindC exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EOr exp0 exp1) (EOr exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EAnd exp0 exp1) (EAnd exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EEq exp0 exp1) (EEq exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (ENe exp0 exp1) (ENe exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (ELt exp0 exp1) (ELt exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (ELe exp0 exp1) (ELe exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EGt exp0 exp1) (EGt exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EGe exp0 exp1) (EGe exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EListCons exp0 exp1) (EListCons exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EAdd exp0 exp1) (EAdd exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (ESub exp0 exp1) (ESub exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EMul exp0 exp1) (EMul exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EDiv exp0 exp1) (EDiv exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EMod exp0 exp1) (EMod exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (ENeg exp) (ENeg exp_) = exp == exp_
+johnMajorEq (EApp exp0 exp1) (EApp exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
+johnMajorEq (EProj exp i) (EProj exp_ i_) = exp == exp_ && i == i_
+johnMajorEq (ERecType fieldtypes) (ERecType fieldtypes_) = fieldtypes == fieldtypes_
+johnMajorEq (ERec fieldvalues) (ERec fieldvalues_) = fieldvalues == fieldvalues_
+johnMajorEq EEmptyList EEmptyList = True
+johnMajorEq (EList exps) (EList exps_) = exps == exps_
+johnMajorEq (ETuple exp exps) (ETuple exp_ exps_) = exp == exp_ && exps == exps_
+johnMajorEq (EVar i) (EVar i_) = i == i_
+johnMajorEq EType EType = True
+johnMajorEq (EStr str) (EStr str_) = str == str_
+johnMajorEq (EInteger n) (EInteger n_) = n == n_
+johnMajorEq (EDouble d) (EDouble d_) = d == d_
+johnMajorEq EMeta EMeta = True
+johnMajorEq (VVar i) (VVar i_) = i == i_
+johnMajorEq VWild VWild = True
+johnMajorEq (LetDef i exp) (LetDef i_ exp_) = i == i_ && exp == exp_
+johnMajorEq (Case pattern guard exp) (Case pattern_ guard_ exp_) = pattern == pattern_ && guard == guard_ && exp == exp_
+johnMajorEq (BindVar varorwild exp) (BindVar varorwild_ exp_) = varorwild == varorwild_ && exp == exp_
+johnMajorEq (BindNoVar exp) (BindNoVar exp_) = exp == exp_
+johnMajorEq (FieldType i exp) (FieldType i_ exp_) = i == i_ && exp == exp_
+johnMajorEq (FieldValue i exp) (FieldValue i_ exp_) = i == i_ && exp == exp_
+johnMajorEq (Ident str) (Ident str_) = str == str_
+johnMajorEq _ _ = False
+
+instance Ord (Tree c) where
+  compare x y = compare (index x) (index y) `mappend` compareSame x y
+index :: Tree c -> Int
+index (Module _ _) = 0
+index (Import _) = 1
+index (DataDecl _ _ _) = 2
+index (TypeDecl _ _) = 3
+index (ValueDecl _ _ _ _) = 4
+index (DeriveDecl _ _) = 5
+index (ConsDecl _ _) = 6
+index (GuardExp _) = 7
+index (GuardNo ) = 8
+index (POr _ _) = 9
+index (PListCons _ _) = 10
+index (PConsTop _ _ _) = 11
+index (PCons _ _) = 12
+index (PRec _) = 13
+index (PEmptyList ) = 14
+index (PList _) = 15
+index (PTuple _ _) = 16
+index (PStr _) = 17
+index (PInt _) = 18
+index (PVar _) = 19
+index (PWild ) = 20
+index (CommaPattern _) = 21
+index (FieldPattern _ _) = 22
+index (EPi _ _ _) = 23
+index (EPiNoVar _ _) = 24
+index (EAbs _ _) = 25
+index (ELet _ _) = 26
+index (ECase _ _) = 27
+index (EIf _ _ _) = 28
+index (EDo _ _) = 29
+index (EBind _ _) = 30
+index (EBindC _ _) = 31
+index (EOr _ _) = 32
+index (EAnd _ _) = 33
+index (EEq _ _) = 34
+index (ENe _ _) = 35
+index (ELt _ _) = 36
+index (ELe _ _) = 37
+index (EGt _ _) = 38
+index (EGe _ _) = 39
+index (EListCons _ _) = 40
+index (EAdd _ _) = 41
+index (ESub _ _) = 42
+index (EMul _ _) = 43
+index (EDiv _ _) = 44
+index (EMod _ _) = 45
+index (ENeg _) = 46
+index (EApp _ _) = 47
+index (EProj _ _) = 48
+index (ERecType _) = 49
+index (ERec _) = 50
+index (EEmptyList ) = 51
+index (EList _) = 52
+index (ETuple _ _) = 53
+index (EVar _) = 54
+index (EType ) = 55
+index (EStr _) = 56
+index (EInteger _) = 57
+index (EDouble _) = 58
+index (EMeta ) = 59
+index (VVar _) = 60
+index (VWild ) = 61
+index (LetDef _ _) = 62
+index (Case _ _ _) = 63
+index (BindVar _ _) = 64
+index (BindNoVar _) = 65
+index (FieldType _ _) = 66
+index (FieldValue _ _) = 67
+index (Ident _) = 68
+compareSame :: Tree c -> Tree c -> Ordering
+compareSame (Module imports decls) (Module imports_ decls_) = mappend (compare imports imports_) (compare decls decls_)
+compareSame (Import i) (Import i_) = compare i i_
+compareSame (DataDecl i exp consdecls) (DataDecl i_ exp_ consdecls_) = mappend (compare i i_) (mappend (compare exp exp_) (compare consdecls consdecls_))
+compareSame (TypeDecl i exp) (TypeDecl i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (ValueDecl i patterns guard exp) (ValueDecl i_ patterns_ guard_ exp_) = mappend (compare i i_) (mappend (compare patterns patterns_) (mappend (compare guard guard_) (compare exp exp_)))
+compareSame (DeriveDecl i0 i1) (DeriveDecl i0_ i1_) = mappend (compare i0 i0_) (compare i1 i1_)
+compareSame (ConsDecl i exp) (ConsDecl i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (GuardExp exp) (GuardExp exp_) = compare exp exp_
+compareSame GuardNo GuardNo = EQ
+compareSame (POr pattern0 pattern1) (POr pattern0_ pattern1_) = mappend (compare pattern0 pattern0_) (compare pattern1 pattern1_)
+compareSame (PListCons pattern0 pattern1) (PListCons pattern0_ pattern1_) = mappend (compare pattern0 pattern0_) (compare pattern1 pattern1_)
+compareSame (PConsTop i pattern patterns) (PConsTop i_ pattern_ patterns_) = mappend (compare i i_) (mappend (compare pattern pattern_) (compare patterns patterns_))
+compareSame (PCons i patterns) (PCons i_ patterns_) = mappend (compare i i_) (compare patterns patterns_)
+compareSame (PRec fieldpatterns) (PRec fieldpatterns_) = compare fieldpatterns fieldpatterns_
+compareSame PEmptyList PEmptyList = EQ
+compareSame (PList commapatterns) (PList commapatterns_) = compare commapatterns commapatterns_
+compareSame (PTuple commapattern commapatterns) (PTuple commapattern_ commapatterns_) = mappend (compare commapattern commapattern_) (compare commapatterns commapatterns_)
+compareSame (PStr str) (PStr str_) = compare str str_
+compareSame (PInt n) (PInt n_) = compare n n_
+compareSame (PVar i) (PVar i_) = compare i i_
+compareSame PWild PWild = EQ
+compareSame (CommaPattern pattern) (CommaPattern pattern_) = compare pattern pattern_
+compareSame (FieldPattern i pattern) (FieldPattern i_ pattern_) = mappend (compare i i_) (compare pattern pattern_)
+compareSame (EPi varorwild exp0 exp1) (EPi varorwild_ exp0_ exp1_) = mappend (compare varorwild varorwild_) (mappend (compare exp0 exp0_) (compare exp1 exp1_))
+compareSame (EPiNoVar exp0 exp1) (EPiNoVar exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EAbs varorwild exp) (EAbs varorwild_ exp_) = mappend (compare varorwild varorwild_) (compare exp exp_)
+compareSame (ELet letdefs exp) (ELet letdefs_ exp_) = mappend (compare letdefs letdefs_) (compare exp exp_)
+compareSame (ECase exp cases) (ECase exp_ cases_) = mappend (compare exp exp_) (compare cases cases_)
+compareSame (EIf exp0 exp1 exp2) (EIf exp0_ exp1_ exp2_) = mappend (compare exp0 exp0_) (mappend (compare exp1 exp1_) (compare exp2 exp2_))
+compareSame (EDo binds exp) (EDo binds_ exp_) = mappend (compare binds binds_) (compare exp exp_)
+compareSame (EBind exp0 exp1) (EBind exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EBindC exp0 exp1) (EBindC exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EOr exp0 exp1) (EOr exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EAnd exp0 exp1) (EAnd exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EEq exp0 exp1) (EEq exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ENe exp0 exp1) (ENe exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ELt exp0 exp1) (ELt exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ELe exp0 exp1) (ELe exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EGt exp0 exp1) (EGt exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EGe exp0 exp1) (EGe exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EListCons exp0 exp1) (EListCons exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EAdd exp0 exp1) (EAdd exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ESub exp0 exp1) (ESub exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EMul exp0 exp1) (EMul exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EDiv exp0 exp1) (EDiv exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EMod exp0 exp1) (EMod exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ENeg exp) (ENeg exp_) = compare exp exp_
+compareSame (EApp exp0 exp1) (EApp exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EProj exp i) (EProj exp_ i_) = mappend (compare exp exp_) (compare i i_)
+compareSame (ERecType fieldtypes) (ERecType fieldtypes_) = compare fieldtypes fieldtypes_
+compareSame (ERec fieldvalues) (ERec fieldvalues_) = compare fieldvalues fieldvalues_
+compareSame EEmptyList EEmptyList = EQ
+compareSame (EList exps) (EList exps_) = compare exps exps_
+compareSame (ETuple exp exps) (ETuple exp_ exps_) = mappend (compare exp exp_) (compare exps exps_)
+compareSame (EVar i) (EVar i_) = compare i i_
+compareSame EType EType = EQ
+compareSame (EStr str) (EStr str_) = compare str str_
+compareSame (EInteger n) (EInteger n_) = compare n n_
+compareSame (EDouble d) (EDouble d_) = compare d d_
+compareSame EMeta EMeta = EQ
+compareSame (VVar i) (VVar i_) = compare i i_
+compareSame VWild VWild = EQ
+compareSame (LetDef i exp) (LetDef i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (Case pattern guard exp) (Case pattern_ guard_ exp_) = mappend (compare pattern pattern_) (mappend (compare guard guard_) (compare exp exp_))
+compareSame (BindVar varorwild exp) (BindVar varorwild_ exp_) = mappend (compare varorwild varorwild_) (compare exp exp_)
+compareSame (BindNoVar exp) (BindNoVar exp_) = compare exp exp_
+compareSame (FieldType i exp) (FieldType i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (FieldValue i exp) (FieldValue i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (Ident str) (Ident str_) = compare str str_
+compareSame x y = error "BNFC error:" compareSame