From 49849d7fe381bdf20e66e5255ee7d27a8dc300f9 Mon Sep 17 00:00:00 2001 From: bringert Date: Sat, 20 May 2006 01:41:53 +0000 Subject: [PATCH] Regenerated transfer bnfc stuff with latest bnfc, happy and alex, to be able to compile on GHC CVS. --- src/Transfer/Core/Abs.hs | 137 +++++++++--------- src/Transfer/Core/Lex.hs | 13 +- src/Transfer/Core/Lex.x | 2 +- src/Transfer/Core/Par.hs | 22 +-- src/Transfer/Core/Par.y | 1 + src/Transfer/Syntax/Abs.hs | 281 +++++++++++++++++++------------------ src/Transfer/Syntax/Lex.hs | 13 +- src/Transfer/Syntax/Lex.x | 2 +- src/Transfer/Syntax/Par.hs | 22 +-- src/Transfer/Syntax/Par.y | 1 + 10 files changed, 224 insertions(+), 270 deletions(-) diff --git a/src/Transfer/Core/Abs.hs b/src/Transfer/Core/Abs.hs index 8e4de4057..8306d5b46 100644 --- a/src/Transfer/Core/Abs.hs +++ b/src/Transfer/Core/Abs.hs @@ -196,71 +196,72 @@ johnMajorEq _ _ = False instance Ord (Tree c) where compare x y = compare (index x) (index y) `mappend` compareSame x y - where - index (Module _) = 0 - index (DataDecl _ _ _) = 1 - index (TypeDecl _ _) = 2 - index (ValueDecl _ _) = 3 - index (ConsDecl _ _) = 4 - index (PCons _ _) = 5 - index (PVar _) = 6 - index (PRec _) = 7 - index (PStr _) = 8 - index (PInt _) = 9 - index (FieldPattern _ _) = 10 - index (PVVar _) = 11 - index (PVWild ) = 12 - index (ELet _ _) = 13 - index (ECase _ _) = 14 - index (EAbs _ _) = 15 - index (EPi _ _ _) = 16 - index (EApp _ _) = 17 - index (EProj _ _) = 18 - index (ERecType _) = 19 - index (ERec _) = 20 - index (EVar _) = 21 - index (EType ) = 22 - index (EStr _) = 23 - index (EInteger _) = 24 - index (EDouble _) = 25 - index (EMeta _) = 26 - index (LetDef _ _) = 27 - index (Case _ _ _) = 28 - index (FieldType _ _) = 29 - index (FieldValue _ _) = 30 - index (TMeta _) = 31 - index (CIdent _) = 32 - compareSame (Module decls) (Module decls_) = compare decls decls_ - compareSame (DataDecl cident exp consdecls) (DataDecl cident_ exp_ consdecls_) = mappend (compare cident cident_) (mappend (compare exp exp_) (compare consdecls consdecls_)) - compareSame (TypeDecl cident exp) (TypeDecl cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) - compareSame (ValueDecl cident exp) (ValueDecl cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) - compareSame (ConsDecl cident exp) (ConsDecl cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) - compareSame (PCons cident patterns) (PCons cident_ patterns_) = mappend (compare cident cident_) (compare patterns patterns_) - compareSame (PVar patternvariable) (PVar patternvariable_) = compare patternvariable patternvariable_ - compareSame (PRec fieldpatterns) (PRec fieldpatterns_) = compare fieldpatterns fieldpatterns_ - compareSame (PStr str) (PStr str_) = compare str str_ - compareSame (PInt n) (PInt n_) = compare n n_ - compareSame (FieldPattern cident pattern) (FieldPattern cident_ pattern_) = mappend (compare cident cident_) (compare pattern pattern_) - compareSame (PVVar cident) (PVVar cident_) = compare cident cident_ - compareSame PVWild PVWild = EQ - 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 (EAbs patternvariable exp) (EAbs patternvariable_ exp_) = mappend (compare patternvariable patternvariable_) (compare exp exp_) - compareSame (EPi patternvariable exp0 exp1) (EPi patternvariable_ exp0_ exp1_) = mappend (compare patternvariable patternvariable_) (mappend (compare exp0 exp0_) (compare exp1 exp1_)) - compareSame (EApp exp0 exp1) (EApp exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_) - compareSame (EProj exp cident) (EProj exp_ cident_) = mappend (compare exp exp_) (compare cident cident_) - compareSame (ERecType fieldtypes) (ERecType fieldtypes_) = compare fieldtypes fieldtypes_ - compareSame (ERec fieldvalues) (ERec fieldvalues_) = compare fieldvalues fieldvalues_ - compareSame (EVar cident) (EVar cident_) = compare cident cident_ - 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 tmeta) (EMeta tmeta_) = compare tmeta tmeta_ - compareSame (LetDef cident exp) (LetDef cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) - compareSame (Case pattern exp0 exp1) (Case pattern_ exp0_ exp1_) = mappend (compare pattern pattern_) (mappend (compare exp0 exp0_) (compare exp1 exp1_)) - compareSame (FieldType cident exp) (FieldType cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) - compareSame (FieldValue cident exp) (FieldValue cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) - compareSame (TMeta str) (TMeta str_) = compare str str_ - compareSame (CIdent str) (CIdent str_) = compare str str_ - compareSame x y = error "BNFC error:" compareSame +index :: Tree c -> Int +index (Module _) = 0 +index (DataDecl _ _ _) = 1 +index (TypeDecl _ _) = 2 +index (ValueDecl _ _) = 3 +index (ConsDecl _ _) = 4 +index (PCons _ _) = 5 +index (PVar _) = 6 +index (PRec _) = 7 +index (PStr _) = 8 +index (PInt _) = 9 +index (FieldPattern _ _) = 10 +index (PVVar _) = 11 +index (PVWild ) = 12 +index (ELet _ _) = 13 +index (ECase _ _) = 14 +index (EAbs _ _) = 15 +index (EPi _ _ _) = 16 +index (EApp _ _) = 17 +index (EProj _ _) = 18 +index (ERecType _) = 19 +index (ERec _) = 20 +index (EVar _) = 21 +index (EType ) = 22 +index (EStr _) = 23 +index (EInteger _) = 24 +index (EDouble _) = 25 +index (EMeta _) = 26 +index (LetDef _ _) = 27 +index (Case _ _ _) = 28 +index (FieldType _ _) = 29 +index (FieldValue _ _) = 30 +index (TMeta _) = 31 +index (CIdent _) = 32 +compareSame :: Tree c -> Tree c -> Ordering +compareSame (Module decls) (Module decls_) = compare decls decls_ +compareSame (DataDecl cident exp consdecls) (DataDecl cident_ exp_ consdecls_) = mappend (compare cident cident_) (mappend (compare exp exp_) (compare consdecls consdecls_)) +compareSame (TypeDecl cident exp) (TypeDecl cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) +compareSame (ValueDecl cident exp) (ValueDecl cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) +compareSame (ConsDecl cident exp) (ConsDecl cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) +compareSame (PCons cident patterns) (PCons cident_ patterns_) = mappend (compare cident cident_) (compare patterns patterns_) +compareSame (PVar patternvariable) (PVar patternvariable_) = compare patternvariable patternvariable_ +compareSame (PRec fieldpatterns) (PRec fieldpatterns_) = compare fieldpatterns fieldpatterns_ +compareSame (PStr str) (PStr str_) = compare str str_ +compareSame (PInt n) (PInt n_) = compare n n_ +compareSame (FieldPattern cident pattern) (FieldPattern cident_ pattern_) = mappend (compare cident cident_) (compare pattern pattern_) +compareSame (PVVar cident) (PVVar cident_) = compare cident cident_ +compareSame PVWild PVWild = EQ +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 (EAbs patternvariable exp) (EAbs patternvariable_ exp_) = mappend (compare patternvariable patternvariable_) (compare exp exp_) +compareSame (EPi patternvariable exp0 exp1) (EPi patternvariable_ exp0_ exp1_) = mappend (compare patternvariable patternvariable_) (mappend (compare exp0 exp0_) (compare exp1 exp1_)) +compareSame (EApp exp0 exp1) (EApp exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_) +compareSame (EProj exp cident) (EProj exp_ cident_) = mappend (compare exp exp_) (compare cident cident_) +compareSame (ERecType fieldtypes) (ERecType fieldtypes_) = compare fieldtypes fieldtypes_ +compareSame (ERec fieldvalues) (ERec fieldvalues_) = compare fieldvalues fieldvalues_ +compareSame (EVar cident) (EVar cident_) = compare cident cident_ +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 tmeta) (EMeta tmeta_) = compare tmeta tmeta_ +compareSame (LetDef cident exp) (LetDef cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) +compareSame (Case pattern exp0 exp1) (Case pattern_ exp0_ exp1_) = mappend (compare pattern pattern_) (mappend (compare exp0 exp0_) (compare exp1 exp1_)) +compareSame (FieldType cident exp) (FieldType cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) +compareSame (FieldValue cident exp) (FieldValue cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) +compareSame (TMeta str) (TMeta str_) = compare str str_ +compareSame (CIdent str) (CIdent str_) = compare str str_ +compareSame x y = error "BNFC error:" compareSame diff --git a/src/Transfer/Core/Lex.hs b/src/Transfer/Core/Lex.hs index dba4b522b..be1198508 100644 --- a/src/Transfer/Core/Lex.hs +++ b/src/Transfer/Core/Lex.hs @@ -1,8 +1,8 @@ {-# OPTIONS -fglasgow-exts -cpp #-} {-# LINE 3 "Transfer/Core/Lex.x" #-} +{-# OPTIONS -fno-warn-incomplete-patterns #-} module Transfer.Core.Lex where -import Transfer.ErrM #if __GLASGOW_HASKELL__ >= 603 @@ -161,18 +161,9 @@ alex_action_9 = tok (\p s -> PT p (TD $ share s)) -- ----------------------------------------------------------------------------- -- INTERNALS and main scanner engine - {-# LINE 35 "GenericTemplate.hs" #-} - - - - - - - - - +{-# LINE 45 "GenericTemplate.hs" #-} data AlexAddr = AlexA# Addr# diff --git a/src/Transfer/Core/Lex.x b/src/Transfer/Core/Lex.x index 92fb9bdae..480f366ae 100644 --- a/src/Transfer/Core/Lex.x +++ b/src/Transfer/Core/Lex.x @@ -1,9 +1,9 @@ -- -*- haskell -*- -- This Alex file was machine-generated by the BNF converter { +{-# OPTIONS -fno-warn-incomplete-patterns #-} module Transfer.Core.Lex where -import Transfer.ErrM } diff --git a/src/Transfer/Core/Par.hs b/src/Transfer/Core/Par.hs index 3dfbb8b03..fec63662a 100644 --- a/src/Transfer/Core/Par.hs +++ b/src/Transfer/Core/Par.hs @@ -1,4 +1,5 @@ {-# OPTIONS -fglasgow-exts -cpp #-} +{-# OPTIONS -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns #-} module Transfer.Core.Par where import Transfer.Core.Abs import Transfer.Core.Lex @@ -903,7 +904,6 @@ myLexer = tokens {-# LINE 1 "GenericTemplate.hs" #-} -- $Id$ - {-# LINE 28 "GenericTemplate.hs" #-} @@ -913,20 +913,11 @@ data Happy_IntList = HappyCons Int# Happy_IntList - {-# LINE 49 "GenericTemplate.hs" #-} - {-# LINE 59 "GenericTemplate.hs" #-} - - - - - - - - +{-# LINE 68 "GenericTemplate.hs" #-} infixr 9 `HappyStk` data HappyStk a = HappyStk a (HappyStk a) @@ -978,14 +969,7 @@ happyDoAction i tk st action | check = indexShortOffAddr happyTable off_i | otherwise = indexShortOffAddr happyDefActions st - - - - - - - - +{-# LINE 127 "GenericTemplate.hs" #-} indexShortOffAddr (HappyA# arr) off = diff --git a/src/Transfer/Core/Par.y b/src/Transfer/Core/Par.y index a7e0bade8..ceeaa313f 100644 --- a/src/Transfer/Core/Par.y +++ b/src/Transfer/Core/Par.y @@ -1,5 +1,6 @@ -- This Happy file was machine-generated by the BNF converter { +{-# OPTIONS -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns #-} module Transfer.Core.Par where import Transfer.Core.Abs import Transfer.Core.Lex diff --git a/src/Transfer/Syntax/Abs.hs b/src/Transfer/Syntax/Abs.hs index 7f0cb4fae..0ccf9ab12 100644 --- a/src/Transfer/Syntax/Abs.hs +++ b/src/Transfer/Syntax/Abs.hs @@ -342,143 +342,144 @@ johnMajorEq _ _ = False instance Ord (Tree c) where compare x y = compare (index x) (index y) `mappend` compareSame x y - where - 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 (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 +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 diff --git a/src/Transfer/Syntax/Lex.hs b/src/Transfer/Syntax/Lex.hs index c04d319ea..83c9e1a12 100644 --- a/src/Transfer/Syntax/Lex.hs +++ b/src/Transfer/Syntax/Lex.hs @@ -1,8 +1,8 @@ {-# OPTIONS -fglasgow-exts -cpp #-} {-# LINE 3 "Transfer/Syntax/Lex.x" #-} +{-# OPTIONS -fno-warn-incomplete-patterns #-} module Transfer.Syntax.Lex where -import Transfer.ErrM #if __GLASGOW_HASKELL__ >= 603 @@ -155,18 +155,9 @@ alex_action_7 = tok (\p s -> PT p (TD $ share s)) -- ----------------------------------------------------------------------------- -- INTERNALS and main scanner engine - {-# LINE 35 "GenericTemplate.hs" #-} - - - - - - - - - +{-# LINE 45 "GenericTemplate.hs" #-} data AlexAddr = AlexA# Addr# diff --git a/src/Transfer/Syntax/Lex.x b/src/Transfer/Syntax/Lex.x index 2c7f8fa5c..107b67345 100644 --- a/src/Transfer/Syntax/Lex.x +++ b/src/Transfer/Syntax/Lex.x @@ -1,9 +1,9 @@ -- -*- haskell -*- -- This Alex file was machine-generated by the BNF converter { +{-# OPTIONS -fno-warn-incomplete-patterns #-} module Transfer.Syntax.Lex where -import Transfer.ErrM } diff --git a/src/Transfer/Syntax/Par.hs b/src/Transfer/Syntax/Par.hs index f5869c75d..bd83f0a87 100644 --- a/src/Transfer/Syntax/Par.hs +++ b/src/Transfer/Syntax/Par.hs @@ -1,4 +1,5 @@ {-# OPTIONS -fglasgow-exts -cpp #-} +{-# OPTIONS -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns #-} module Transfer.Syntax.Par where import Transfer.Syntax.Abs import Transfer.Syntax.Lex @@ -1576,7 +1577,6 @@ myLexer = tokens {-# LINE 1 "GenericTemplate.hs" #-} -- $Id$ - {-# LINE 28 "GenericTemplate.hs" #-} @@ -1586,20 +1586,11 @@ data Happy_IntList = HappyCons Int# Happy_IntList - {-# LINE 49 "GenericTemplate.hs" #-} - {-# LINE 59 "GenericTemplate.hs" #-} - - - - - - - - +{-# LINE 68 "GenericTemplate.hs" #-} infixr 9 `HappyStk` data HappyStk a = HappyStk a (HappyStk a) @@ -1651,14 +1642,7 @@ happyDoAction i tk st action | check = indexShortOffAddr happyTable off_i | otherwise = indexShortOffAddr happyDefActions st - - - - - - - - +{-# LINE 127 "GenericTemplate.hs" #-} indexShortOffAddr (HappyA# arr) off = diff --git a/src/Transfer/Syntax/Par.y b/src/Transfer/Syntax/Par.y index a56356267..13c7800a8 100644 --- a/src/Transfer/Syntax/Par.y +++ b/src/Transfer/Syntax/Par.y @@ -1,5 +1,6 @@ -- This Happy file was machine-generated by the BNF converter { +{-# OPTIONS -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns #-} module Transfer.Syntax.Par where import Transfer.Syntax.Abs import Transfer.Syntax.Lex