summaryrefslogtreecommitdiff
path: root/src/Transfer/Syntax
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2005-12-02 18:33:08 +0000
committerbringert <bringert@cs.chalmers.se>2005-12-02 18:33:08 +0000
commit983aef132b0695af7e1b16d77ad43180388eea71 (patch)
treeaa95e673e10ccc32e3e0fdf1556659c0c041aa53 /src/Transfer/Syntax
parentdea5158cbf1c11d45f2ed91d9975fbc77245e652 (diff)
Transfer added guards and Eq derivation.
Diffstat (limited to 'src/Transfer/Syntax')
-rw-r--r--src/Transfer/Syntax/Abs.hs212
-rw-r--r--src/Transfer/Syntax/Doc.tex61
-rw-r--r--src/Transfer/Syntax/Lex.hs8
-rw-r--r--src/Transfer/Syntax/Lex.x2
-rw-r--r--src/Transfer/Syntax/Par.hs1057
-rw-r--r--src/Transfer/Syntax/Par.y46
-rw-r--r--src/Transfer/Syntax/Print.hs24
-rw-r--r--src/Transfer/Syntax/Skel.hs41
-rw-r--r--src/Transfer/Syntax/Syntax.cf38
9 files changed, 776 insertions, 713 deletions
diff --git a/src/Transfer/Syntax/Abs.hs b/src/Transfer/Syntax/Abs.hs
index ab55ba3ae..334a1d469 100644
--- a/src/Transfer/Syntax/Abs.hs
+++ b/src/Transfer/Syntax/Abs.hs
@@ -14,6 +14,8 @@ 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 PListElem_
@@ -22,14 +24,14 @@ 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 VarOrWild_
-type VarOrWild = Tree VarOrWild_
data FieldType_
type FieldType = Tree FieldType_
data FieldValue_
@@ -42,9 +44,11 @@ data Tree :: * -> * where
Import :: Ident -> Tree Import_
DataDecl :: Ident -> Exp -> [ConsDecl] -> Tree Decl_
TypeDecl :: Ident -> Exp -> Tree Decl_
- ValueDecl :: Ident -> [Pattern] -> 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_
@@ -58,13 +62,13 @@ data Tree :: * -> * where
PWild :: Tree Pattern_
PListElem :: Pattern -> Tree PListElem_
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_
- EAbs :: VarOrWild -> Exp -> Tree Exp_
- EPi :: VarOrWild -> Exp -> Exp -> Tree Exp_
- EPiNoVar :: Exp -> Exp -> Tree Exp_
EBind :: Exp -> Exp -> Tree Exp_
EBindC :: Exp -> Exp -> Tree Exp_
EOr :: Exp -> Exp -> Tree Exp_
@@ -93,12 +97,12 @@ data Tree :: * -> * where
EInteger :: Integer -> Tree Exp_
EDouble :: Double -> Tree Exp_
EMeta :: Tree Exp_
+ VVar :: Ident -> Tree VarOrWild_
+ VWild :: Tree VarOrWild_
LetDef :: Ident -> Exp -> Exp -> Tree LetDef_
- Case :: Pattern -> Exp -> Tree Case_
+ Case :: Pattern -> Guard -> Exp -> Tree Case_
BindVar :: VarOrWild -> Exp -> Tree Bind_
BindNoVar :: Exp -> Tree Bind_
- VVar :: Ident -> Tree VarOrWild_
- VWild :: Tree VarOrWild_
FieldType :: Ident -> Exp -> Tree FieldType_
FieldValue :: Ident -> Exp -> Tree FieldValue_
Ident :: String -> Tree Ident_
@@ -121,9 +125,10 @@ composOpM f t = case t of
Import i -> return Import `ap` f i
DataDecl i exp consdecls -> return DataDecl `ap` f i `ap` f exp `ap` mapM f consdecls
TypeDecl i exp -> return TypeDecl `ap` f i `ap` f exp
- ValueDecl i patterns exp -> return ValueDecl `ap` f i `ap` mapM f patterns `ap` f exp
+ ValueDecl i patterns guard exp -> return ValueDecl `ap` f i `ap` mapM f patterns `ap` f guard `ap` f exp
DeriveDecl i0 i1 -> return DeriveDecl `ap` f i0 `ap` f i1
ConsDecl i exp -> return ConsDecl `ap` f i `ap` f exp
+ GuardExp exp -> return GuardExp `ap` f exp
POr pattern0 pattern1 -> return POr `ap` f pattern0 `ap` f pattern1
PListCons pattern0 pattern1 -> return PListCons `ap` f pattern0 `ap` f pattern1
PConsTop i pattern patterns -> return PConsTop `ap` f i `ap` f pattern `ap` mapM f patterns
@@ -133,13 +138,13 @@ composOpM f t = case t of
PVar i -> return PVar `ap` f i
PListElem pattern -> return PListElem `ap` f pattern
FieldPattern i pattern -> return FieldPattern `ap` f i `ap` f pattern
+ EPi varorwild exp0 exp1 -> return EPi `ap` f varorwild `ap` f exp0 `ap` f exp1
+ EPiNoVar exp0 exp1 -> return EPiNoVar `ap` f exp0 `ap` f exp1
+ EAbs varorwild exp -> return EAbs `ap` f varorwild `ap` f exp
ELet letdefs exp -> return ELet `ap` mapM f letdefs `ap` f exp
ECase exp cases -> return ECase `ap` f exp `ap` mapM f cases
EIf exp0 exp1 exp2 -> return EIf `ap` f exp0 `ap` f exp1 `ap` f exp2
EDo binds exp -> return EDo `ap` mapM f binds `ap` f exp
- EAbs varorwild exp -> return EAbs `ap` f varorwild `ap` f exp
- EPi varorwild exp0 exp1 -> return EPi `ap` f varorwild `ap` f exp0 `ap` f exp1
- EPiNoVar exp0 exp1 -> return EPiNoVar `ap` f exp0 `ap` f exp1
EBind exp0 exp1 -> return EBind `ap` f exp0 `ap` f exp1
EBindC exp0 exp1 -> return EBindC `ap` f exp0 `ap` f exp1
EOr exp0 exp1 -> return EOr `ap` f exp0 `ap` f exp1
@@ -163,11 +168,11 @@ composOpM f t = case t of
ERec fieldvalues -> return ERec `ap` mapM f fieldvalues
EList exps -> return EList `ap` mapM f exps
EVar i -> return EVar `ap` f i
+ VVar i -> return VVar `ap` f i
LetDef i exp0 exp1 -> return LetDef `ap` f i `ap` f exp0 `ap` f exp1
- Case pattern exp -> return Case `ap` f pattern `ap` f exp
+ Case pattern guard exp -> return Case `ap` f pattern `ap` f guard `ap` f exp
BindVar varorwild exp -> return BindVar `ap` f varorwild `ap` f exp
BindNoVar exp -> return BindNoVar `ap` f exp
- VVar i -> return VVar `ap` f i
FieldType i exp -> return FieldType `ap` f i `ap` f exp
FieldValue i exp -> return FieldValue `ap` f i `ap` f exp
_ -> return t
@@ -178,9 +183,10 @@ composOpFold zero combine f t = case t of
Import i -> f i
DataDecl i exp consdecls -> f i `combine` f exp `combine` foldr combine zero (map f consdecls)
TypeDecl i exp -> f i `combine` f exp
- ValueDecl i patterns exp -> f i `combine` foldr combine zero (map f patterns) `combine` f exp
+ ValueDecl i patterns guard exp -> f i `combine` foldr combine zero (map f patterns) `combine` f guard `combine` f exp
DeriveDecl i0 i1 -> f i0 `combine` f i1
ConsDecl i exp -> f i `combine` f exp
+ GuardExp exp -> f exp
POr pattern0 pattern1 -> f pattern0 `combine` f pattern1
PListCons pattern0 pattern1 -> f pattern0 `combine` f pattern1
PConsTop i pattern patterns -> f i `combine` f pattern `combine` foldr combine zero (map f patterns)
@@ -190,13 +196,13 @@ composOpFold zero combine f t = case t of
PVar i -> f i
PListElem pattern -> f pattern
FieldPattern i pattern -> f i `combine` f pattern
+ EPi varorwild exp0 exp1 -> f varorwild `combine` f exp0 `combine` f exp1
+ EPiNoVar exp0 exp1 -> f exp0 `combine` f exp1
+ EAbs varorwild exp -> f varorwild `combine` f exp
ELet letdefs exp -> foldr combine zero (map f letdefs) `combine` f exp
ECase exp cases -> f exp `combine` foldr combine zero (map f cases)
EIf exp0 exp1 exp2 -> f exp0 `combine` f exp1 `combine` f exp2
EDo binds exp -> foldr combine zero (map f binds) `combine` f exp
- EAbs varorwild exp -> f varorwild `combine` f exp
- EPi varorwild exp0 exp1 -> f varorwild `combine` f exp0 `combine` f exp1
- EPiNoVar exp0 exp1 -> f exp0 `combine` f exp1
EBind exp0 exp1 -> f exp0 `combine` f exp1
EBindC exp0 exp1 -> f exp0 `combine` f exp1
EOr exp0 exp1 -> f exp0 `combine` f exp1
@@ -220,11 +226,11 @@ composOpFold zero combine f t = case t of
ERec fieldvalues -> foldr combine zero (map f fieldvalues)
EList exps -> foldr combine zero (map f exps)
EVar i -> f i
+ VVar i -> f i
LetDef i exp0 exp1 -> f i `combine` f exp0 `combine` f exp1
- Case pattern exp -> f pattern `combine` f exp
+ Case pattern guard exp -> f pattern `combine` f guard `combine` f exp
BindVar varorwild exp -> f varorwild `combine` f exp
BindNoVar exp -> f exp
- VVar i -> f i
FieldType i exp -> f i `combine` f exp
FieldValue i exp -> f i `combine` f exp
_ -> zero
@@ -235,9 +241,11 @@ instance Show (Tree c) where
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 exp -> opar n . showString "ValueDecl" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 patterns . 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
@@ -251,13 +259,13 @@ instance Show (Tree c) where
PWild -> showString "PWild"
PListElem pattern -> opar n . showString "PListElem" . 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
- EAbs varorwild exp -> opar n . showString "EAbs" . showChar ' ' . showsPrec 1 varorwild . showChar ' ' . showsPrec 1 exp . 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
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
@@ -286,12 +294,12 @@ instance Show (Tree c) where
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 exp0 exp1 -> opar n . showString "LetDef" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
- Case pattern exp -> opar n . showString "Case" . showChar ' ' . showsPrec 1 pattern . 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
- VVar i -> opar n . showString "VVar" . showChar ' ' . showsPrec 1 i . cpar n
- VWild -> showString "VWild"
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
@@ -305,9 +313,11 @@ johnMajorEq (Module imports decls) (Module imports_ decls_) = imports == imports
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 exp) (ValueDecl i_ patterns_ exp_) = i == i_ && patterns == patterns_ && 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_
@@ -321,13 +331,13 @@ johnMajorEq (PVar i) (PVar i_) = i == i_
johnMajorEq PWild PWild = True
johnMajorEq (PListElem pattern) (PListElem 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 (EAbs varorwild exp) (EAbs varorwild_ exp_) = varorwild == varorwild_ && exp == exp_
-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 (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_
@@ -356,12 +366,12 @@ 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 exp0 exp1) (LetDef i_ exp0_ exp1_) = i == i_ && exp0 == exp0_ && exp1 == exp1_
-johnMajorEq (Case pattern exp) (Case pattern_ exp_) = pattern == pattern_ && 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 (VVar i) (VVar i_) = i == i_
-johnMajorEq VWild VWild = True
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_
@@ -374,73 +384,77 @@ instance Ord (Tree c) where
index (Import _) = 1
index (DataDecl _ _ _) = 2
index (TypeDecl _ _) = 3
- index (ValueDecl _ _ _) = 4
+ index (ValueDecl _ _ _ _) = 4
index (DeriveDecl _ _) = 5
index (ConsDecl _ _) = 6
- index (POr _ _) = 7
- index (PListCons _ _) = 8
- index (PConsTop _ _ _) = 9
- index (PCons _ _) = 10
- index (PRec _) = 11
- index (PList _) = 12
- index (PType ) = 13
- index (PStr _) = 14
- index (PInt _) = 15
- index (PVar _) = 16
- index (PWild ) = 17
- index (PListElem _) = 18
- index (FieldPattern _ _) = 19
- index (ELet _ _) = 20
- index (ECase _ _) = 21
- index (EIf _ _ _) = 22
- index (EDo _ _) = 23
+ index (GuardExp _) = 7
+ index (GuardNo ) = 8
+ index (POr _ _) = 9
+ index (PListCons _ _) = 10
+ index (PConsTop _ _ _) = 11
+ index (PCons _ _) = 12
+ index (PRec _) = 13
+ index (PList _) = 14
+ index (PType ) = 15
+ index (PStr _) = 16
+ index (PInt _) = 17
+ index (PVar _) = 18
+ index (PWild ) = 19
+ index (PListElem _) = 20
+ index (FieldPattern _ _) = 21
+ index (EPi _ _ _) = 22
+ index (EPiNoVar _ _) = 23
index (EAbs _ _) = 24
- index (EPi _ _ _) = 25
- index (EPiNoVar _ _) = 26
- index (EBind _ _) = 27
- index (EBindC _ _) = 28
- index (EOr _ _) = 29
- index (EAnd _ _) = 30
- index (EEq _ _) = 31
- index (ENe _ _) = 32
- index (ELt _ _) = 33
- index (ELe _ _) = 34
- index (EGt _ _) = 35
- index (EGe _ _) = 36
- index (EListCons _ _) = 37
- index (EAdd _ _) = 38
- index (ESub _ _) = 39
- index (EMul _ _) = 40
- index (EDiv _ _) = 41
- index (EMod _ _) = 42
- index (ENeg _) = 43
- index (EApp _ _) = 44
- index (EProj _ _) = 45
- index (ERecType _) = 46
- index (ERec _) = 47
- index (EList _) = 48
- index (EVar _) = 49
- index (EType ) = 50
- index (EStr _) = 51
- index (EInteger _) = 52
- index (EDouble _) = 53
- index (EMeta ) = 54
- index (LetDef _ _ _) = 55
- index (Case _ _) = 56
- index (BindVar _ _) = 57
- index (BindNoVar _) = 58
- index (VVar _) = 59
- index (VWild ) = 60
- index (FieldType _ _) = 61
- index (FieldValue _ _) = 62
- index (Ident _) = 63
+ index (ELet _ _) = 25
+ index (ECase _ _) = 26
+ index (EIf _ _ _) = 27
+ index (EDo _ _) = 28
+ index (EBind _ _) = 29
+ index (EBindC _ _) = 30
+ index (EOr _ _) = 31
+ index (EAnd _ _) = 32
+ index (EEq _ _) = 33
+ index (ENe _ _) = 34
+ index (ELt _ _) = 35
+ index (ELe _ _) = 36
+ index (EGt _ _) = 37
+ index (EGe _ _) = 38
+ index (EListCons _ _) = 39
+ index (EAdd _ _) = 40
+ index (ESub _ _) = 41
+ index (EMul _ _) = 42
+ index (EDiv _ _) = 43
+ index (EMod _ _) = 44
+ index (ENeg _) = 45
+ index (EApp _ _) = 46
+ index (EProj _ _) = 47
+ index (ERecType _) = 48
+ index (ERec _) = 49
+ index (EList _) = 50
+ index (EVar _) = 51
+ index (EType ) = 52
+ index (EStr _) = 53
+ index (EInteger _) = 54
+ index (EDouble _) = 55
+ index (EMeta ) = 56
+ index (VVar _) = 57
+ index (VWild ) = 58
+ index (LetDef _ _ _) = 59
+ index (Case _ _ _) = 60
+ index (BindVar _ _) = 61
+ index (BindNoVar _) = 62
+ index (FieldType _ _) = 63
+ index (FieldValue _ _) = 64
+ index (Ident _) = 65
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 exp) (ValueDecl i_ patterns_ exp_) = mappend (compare i i_) (mappend (compare patterns patterns_) (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_))
@@ -454,13 +468,13 @@ instance Ord (Tree c) where
compareSame PWild PWild = EQ
compareSame (PListElem pattern) (PListElem 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 (EAbs varorwild exp) (EAbs varorwild_ exp_) = mappend (compare varorwild varorwild_) (compare exp exp_)
- 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 (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_)
@@ -489,12 +503,12 @@ instance Ord (Tree c) where
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 exp0 exp1) (LetDef i_ exp0_ exp1_) = mappend (compare i i_) (mappend (compare exp0 exp0_) (compare exp1 exp1_))
- compareSame (Case pattern exp) (Case pattern_ exp_) = mappend (compare pattern pattern_) (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 (VVar i) (VVar i_) = compare i i_
- compareSame VWild VWild = EQ
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_
diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex
index 759047dd5..c9d98bced 100644
--- a/src/Transfer/Syntax/Doc.tex
+++ b/src/Transfer/Syntax/Doc.tex
@@ -62,16 +62,16 @@ The symbols used in Syntax are the following: \\
\begin{tabular}{lll}
{\symb{;}} &{\symb{:}} &{\symb{\{}} \\
-{\symb{\}}} &{\symb{{$=$}}} &{\symb{{$|$}{$|$}}} \\
-{\symb{::}} &{\symb{(}} &{\symb{)}} \\
-{\symb{[}} &{\symb{]}} &{\symb{,}} \\
-{\symb{\_}} &{\symb{{$-$}{$>$}}} &{\symb{{$<$}{$-$}}} \\
-{\symb{$\backslash$}} &{\symb{{$>$}{$>$}{$=$}}} &{\symb{{$>$}{$>$}}} \\
-{\symb{\&\&}} &{\symb{{$=$}{$=$}}} &{\symb{/{$=$}}} \\
-{\symb{{$<$}}} &{\symb{{$<$}{$=$}}} &{\symb{{$>$}}} \\
-{\symb{{$>$}{$=$}}} &{\symb{{$+$}}} &{\symb{{$-$}}} \\
-{\symb{*}} &{\symb{/}} &{\symb{\%}} \\
-{\symb{.}} &{\symb{?}} & \\
+{\symb{\}}} &{\symb{{$=$}}} &{\symb{{$|$}}} \\
+{\symb{{$|$}{$|$}}} &{\symb{::}} &{\symb{(}} \\
+{\symb{)}} &{\symb{[}} &{\symb{]}} \\
+{\symb{,}} &{\symb{\_}} &{\symb{{$-$}{$>$}}} \\
+{\symb{$\backslash$}} &{\symb{{$<$}{$-$}}} &{\symb{{$>$}{$>$}{$=$}}} \\
+{\symb{{$>$}{$>$}}} &{\symb{\&\&}} &{\symb{{$=$}{$=$}}} \\
+{\symb{/{$=$}}} &{\symb{{$<$}}} &{\symb{{$<$}{$=$}}} \\
+{\symb{{$>$}}} &{\symb{{$>$}{$=$}}} &{\symb{{$+$}}} \\
+{\symb{{$-$}}} &{\symb{*}} &{\symb{/}} \\
+{\symb{\%}} &{\symb{.}} &{\symb{?}} \\
\end{tabular}\\
\subsection*{Comments}
@@ -100,7 +100,7 @@ All other symbols are terminals.\\
\begin{tabular}{lll}
{\nonterminal{Decl}} & {\arrow} &{\terminal{data}} {\nonterminal{Ident}} {\terminal{:}} {\nonterminal{Exp}} {\terminal{where}} {\terminal{\{}} {\nonterminal{ListConsDecl}} {\terminal{\}}} \\
& {\delimit} &{\nonterminal{Ident}} {\terminal{:}} {\nonterminal{Exp}} \\
- & {\delimit} &{\nonterminal{Ident}} {\nonterminal{ListPattern}} {\terminal{{$=$}}} {\nonterminal{Exp}} \\
+ & {\delimit} &{\nonterminal{Ident}} {\nonterminal{ListPattern}} {\nonterminal{Guard}} {\terminal{{$=$}}} {\nonterminal{Exp}} \\
& {\delimit} &{\terminal{derive}} {\nonterminal{Ident}} {\nonterminal{Ident}} \\
\end{tabular}\\
@@ -121,6 +121,11 @@ All other symbols are terminals.\\
\end{tabular}\\
\begin{tabular}{lll}
+{\nonterminal{Guard}} & {\arrow} &{\terminal{{$|$}}} {\nonterminal{Exp1}} \\
+ & {\delimit} &{\emptyP} \\
+\end{tabular}\\
+
+\begin{tabular}{lll}
{\nonterminal{Pattern}} & {\arrow} &{\nonterminal{Pattern1}} {\terminal{{$|$}{$|$}}} {\nonterminal{Pattern}} \\
& {\delimit} &{\nonterminal{Pattern1}} \\
\end{tabular}\\
@@ -172,11 +177,23 @@ All other symbols are terminals.\\
\end{tabular}\\
\begin{tabular}{lll}
-{\nonterminal{Exp}} & {\arrow} &{\terminal{let}} {\terminal{\{}} {\nonterminal{ListLetDef}} {\terminal{\}}} {\terminal{in}} {\nonterminal{Exp}} \\
+{\nonterminal{Exp}} & {\arrow} &{\terminal{(}} {\nonterminal{VarOrWild}} {\terminal{:}} {\nonterminal{Exp}} {\terminal{)}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\
+ & {\delimit} &{\nonterminal{Exp1}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\
+ & {\delimit} &{\nonterminal{Exp1}} \\
+\end{tabular}\\
+
+\begin{tabular}{lll}
+{\nonterminal{VarOrWild}} & {\arrow} &{\nonterminal{Ident}} \\
+ & {\delimit} &{\terminal{\_}} \\
+\end{tabular}\\
+
+\begin{tabular}{lll}
+{\nonterminal{Exp1}} & {\arrow} &{\terminal{$\backslash$}} {\nonterminal{VarOrWild}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp1}} \\
+ & {\delimit} &{\terminal{let}} {\terminal{\{}} {\nonterminal{ListLetDef}} {\terminal{\}}} {\terminal{in}} {\nonterminal{Exp1}} \\
& {\delimit} &{\terminal{case}} {\nonterminal{Exp}} {\terminal{of}} {\terminal{\{}} {\nonterminal{ListCase}} {\terminal{\}}} \\
- & {\delimit} &{\terminal{if}} {\nonterminal{Exp}} {\terminal{then}} {\nonterminal{Exp}} {\terminal{else}} {\nonterminal{Exp}} \\
+ & {\delimit} &{\terminal{if}} {\nonterminal{Exp}} {\terminal{then}} {\nonterminal{Exp}} {\terminal{else}} {\nonterminal{Exp1}} \\
& {\delimit} &{\terminal{do}} {\terminal{\{}} {\nonterminal{ListBind}} {\nonterminal{Exp}} {\terminal{\}}} \\
- & {\delimit} &{\nonterminal{Exp1}} \\
+ & {\delimit} &{\nonterminal{Exp2}} \\
\end{tabular}\\
\begin{tabular}{lll}
@@ -190,7 +207,7 @@ All other symbols are terminals.\\
\end{tabular}\\
\begin{tabular}{lll}
-{\nonterminal{Case}} & {\arrow} &{\nonterminal{Pattern}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\
+{\nonterminal{Case}} & {\arrow} &{\nonterminal{Pattern}} {\nonterminal{Guard}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\
\end{tabular}\\
\begin{tabular}{lll}
@@ -210,18 +227,6 @@ All other symbols are terminals.\\
\end{tabular}\\
\begin{tabular}{lll}
-{\nonterminal{Exp2}} & {\arrow} &{\terminal{$\backslash$}} {\nonterminal{VarOrWild}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\
- & {\delimit} &{\terminal{(}} {\nonterminal{VarOrWild}} {\terminal{:}} {\nonterminal{Exp}} {\terminal{)}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\
- & {\delimit} &{\nonterminal{Exp3}} {\terminal{{$-$}{$>$}}} {\nonterminal{Exp}} \\
- & {\delimit} &{\nonterminal{Exp3}} \\
-\end{tabular}\\
-
-\begin{tabular}{lll}
-{\nonterminal{VarOrWild}} & {\arrow} &{\nonterminal{Ident}} \\
- & {\delimit} &{\terminal{\_}} \\
-\end{tabular}\\
-
-\begin{tabular}{lll}
{\nonterminal{Exp3}} & {\arrow} &{\nonterminal{Exp3}} {\terminal{{$>$}{$>$}{$=$}}} {\nonterminal{Exp4}} \\
& {\delimit} &{\nonterminal{Exp3}} {\terminal{{$>$}{$>$}}} {\nonterminal{Exp4}} \\
& {\delimit} &{\nonterminal{Exp4}} \\
@@ -314,7 +319,7 @@ All other symbols are terminals.\\
\end{tabular}\\
\begin{tabular}{lll}
-{\nonterminal{Exp1}} & {\arrow} &{\nonterminal{Exp2}} \\
+{\nonterminal{Exp2}} & {\arrow} &{\nonterminal{Exp3}} \\
\end{tabular}\\
\begin{tabular}{lll}
diff --git a/src/Transfer/Syntax/Lex.hs b/src/Transfer/Syntax/Lex.hs
index c9ad6b22b..645eb1d81 100644
--- a/src/Transfer/Syntax/Lex.hs
+++ b/src/Transfer/Syntax/Lex.hs
@@ -24,18 +24,18 @@ import GHC.Exts
import GlaExts
#endif
alex_base :: AlexAddr
-alex_base = AlexA# "\x01\x00\x00\x00\x15\x00\x00\x00\x39\x00\x00\x00\x3a\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x00\x00\x00\x00\x44\x00\x00\x00\x45\x00\x00\x00\x1b\x00\x00\x00\x1c\x00\x00\x00\x1d\x00\x00\x00\x42\x00\x00\x00\x00\x00\x00\x00\x16\x00\x00\x00\x26\x00\x00\x00\x14\x00\x00\x00\x17\x00\x00\x00\x1e\x00\x00\x00\x27\x00\x00\x00\xd6\xff\xff\xff\x30\x00\x00\x00\x9c\x00\x00\x00\x00\x00\x00\x00\x17\x01\x00\x00\xd5\x00\x00\x00\x37\x00\x00\x00\xe7\x00\x00\x00\xf2\x00\x00\x00\x1d\x01\x00\x00\x6c\x01\x00\x00\x79\x01\x00\x00"#
+alex_base = AlexA# "\x01\x00\x00\x00\x15\x00\x00\x00\x39\x00\x00\x00\x3a\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x00\x00\x00\x00\x44\x00\x00\x00\x45\x00\x00\x00\x1b\x00\x00\x00\x1c\x00\x00\x00\x1d\x00\x00\x00\x42\x00\x00\x00\x00\x00\x00\x00\xd4\xff\xff\xff\x17\x00\x00\x00\x26\x00\x00\x00\x1e\x00\x00\x00\x27\x00\x00\x00\x29\x00\x00\x00\x2a\x00\x00\x00\x2c\x00\x00\x00\x9c\x00\x00\x00\x00\x00\x00\x00\x17\x01\x00\x00\xd5\x00\x00\x00\xf2\x00\x00\x00\x6c\x01\x00\x00\x1a\x01\x00\x00\x76\x01\x00\x00\x80\x01\x00\x00\x8d\x01\x00\x00"#
alex_table :: AlexAddr
-alex_table = AlexA# "\x00\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\xff\xff\x19\x00\xff\xff\xff\xff\x0e\x00\x16\x00\xff\xff\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x05\x00\x0e\x00\x14\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x0f\x00\x0e\x00\x10\x00\x13\x00\x12\x00\x0e\x00\xff\xff\x04\x00\xff\xff\xff\xff\x03\x00\x03\x00\x09\x00\x09\x00\x09\x00\x0b\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x11\x00\x0e\x00\x0e\x00\x00\x00\x00\x00\x00\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\xff\xff\x0e\x00\xff\xff\x0d\x00\x0e\x00\x0e\x00\x1e\x00\x00\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x09\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0c\x00\x15\x00\x0e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x06\x00\x07\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x00\x00\x00\x00\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x19\x00\xff\xff\x00\x00\x00\x00\x17\x00\x19\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\xff\xff\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x18\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x00\x00\x00\x00\x00\x20\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x1a\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x00\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1f\x00\x00\x00\x00\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"#
+alex_table = AlexA# "\x00\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\xff\xff\x19\x00\xff\xff\xff\xff\x0e\x00\x16\x00\xff\xff\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x05\x00\x0e\x00\x15\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x10\x00\x0e\x00\x11\x00\x14\x00\x13\x00\x0e\x00\xff\xff\x04\x00\xff\xff\xff\xff\x03\x00\x03\x00\x09\x00\x09\x00\x09\x00\x0b\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x00\x00\x00\x00\x00\x00\x0e\x00\x00\x00\x00\x00\x00\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\xff\xff\x0e\x00\xff\xff\x0d\x00\x0e\x00\x0e\x00\x12\x00\x0e\x00\x0e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0c\x00\x0f\x00\x0e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x06\x00\x07\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x00\x00\x00\x00\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x19\x00\xff\xff\x00\x00\x00\x00\x17\x00\x19\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1e\x00\xff\xff\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x18\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x1a\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x00\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1c\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1f\x00\x00\x00\x00\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x1d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"#
alex_check :: AlexAddr
-alex_check = AlexA# "\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x05\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x29\x00\x2a\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x3e\x00\x3f\x00\x40\x00\x2d\x00\x0a\x00\x0a\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x3a\x00\x3d\x00\x7c\x00\x2d\x00\x3d\x00\x3e\x00\x26\x00\x3e\x00\xff\xff\xff\xff\xff\xff\x3d\x00\x5b\x00\x5c\x00\x5d\x00\x5e\x00\x5f\x00\x60\x00\x20\x00\x3d\x00\x3d\x00\x2e\x00\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x2d\x00\x2d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x7b\x00\x7c\x00\x7d\x00\x7e\x00\x7f\x00\x80\x00\x81\x00\x82\x00\x83\x00\x84\x00\x85\x00\x86\x00\x87\x00\x88\x00\x89\x00\x8a\x00\x8b\x00\x8c\x00\x8d\x00\x8e\x00\x8f\x00\x90\x00\x91\x00\x92\x00\x93\x00\x94\x00\x95\x00\x96\x00\x97\x00\x98\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x9d\x00\x9e\x00\x9f\x00\xa0\x00\xa1\x00\xa2\x00\xa3\x00\xa4\x00\xa5\x00\xa6\x00\xa7\x00\xa8\x00\xa9\x00\xaa\x00\xab\x00\xac\x00\xad\x00\xae\x00\xaf\x00\xb0\x00\xb1\x00\xb2\x00\xb3\x00\xb4\x00\xb5\x00\xb6\x00\xb7\x00\xb8\x00\xb9\x00\xba\x00\xbb\x00\xbc\x00\xbd\x00\xbe\x00\xbf\x00\x7d\x00\x7d\x00\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xd7\x00\xff\xff\xff\xff\xff\xff\xff\xff\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x53\x00\x54\x00\x55\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\x22\x00\xf7\x00\xff\xff\xff\xff\x5f\x00\x27\x00\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x7a\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x0a\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x5c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x22\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x6e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x74\x00\xff\xff\xff\xff\x65\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xc4\x00\xc5\x00\xc6\x00\xc7\x00\xc8\x00\xc9\x00\xca\x00\xcb\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xd2\x00\xd3\x00\xd4\x00\xd5\x00\xd6\x00\x5c\x00\xd8\x00\xd9\x00\xda\x00\xdb\x00\xdc\x00\xdd\x00\xde\x00\xdf\x00\xe0\x00\xe1\x00\xe2\x00\xe3\x00\xe4\x00\xe5\x00\xe6\x00\xe7\x00\xe8\x00\xe9\x00\xea\x00\xeb\x00\xec\x00\xed\x00\xee\x00\xef\x00\xf0\x00\xf1\x00\xf2\x00\xf3\x00\xf4\x00\xf5\x00\xf6\x00\xff\xff\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xfe\x00\xff\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x2d\x00\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"#
+alex_check = AlexA# "\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x05\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x29\x00\x2a\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x3e\x00\x3f\x00\x40\x00\x2d\x00\x0a\x00\x0a\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x7c\x00\x3a\x00\x26\x00\x2d\x00\xff\xff\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\x3d\x00\x5b\x00\x5c\x00\x5d\x00\x5e\x00\x5f\x00\x60\x00\x20\x00\x3d\x00\x3d\x00\x3e\x00\x3d\x00\x3d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\x2d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x7b\x00\x7c\x00\x7d\x00\x7e\x00\x7f\x00\x80\x00\x81\x00\x82\x00\x83\x00\x84\x00\x85\x00\x86\x00\x87\x00\x88\x00\x89\x00\x8a\x00\x8b\x00\x8c\x00\x8d\x00\x8e\x00\x8f\x00\x90\x00\x91\x00\x92\x00\x93\x00\x94\x00\x95\x00\x96\x00\x97\x00\x98\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x9d\x00\x9e\x00\x9f\x00\xa0\x00\xa1\x00\xa2\x00\xa3\x00\xa4\x00\xa5\x00\xa6\x00\xa7\x00\xa8\x00\xa9\x00\xaa\x00\xab\x00\xac\x00\xad\x00\xae\x00\xaf\x00\xb0\x00\xb1\x00\xb2\x00\xb3\x00\xb4\x00\xb5\x00\xb6\x00\xb7\x00\xb8\x00\xb9\x00\xba\x00\xbb\x00\xbc\x00\xbd\x00\xbe\x00\xbf\x00\x7d\x00\x7d\x00\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xd7\x00\xff\xff\xff\xff\xff\xff\xff\xff\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x53\x00\x54\x00\x55\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\x22\x00\xf7\x00\xff\xff\xff\xff\x5f\x00\x27\x00\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x7a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x2e\x00\x0a\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x5c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x22\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x6e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x74\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xc4\x00\xc5\x00\xc6\x00\xc7\x00\xc8\x00\xc9\x00\xca\x00\xcb\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xd2\x00\xd3\x00\xd4\x00\xd5\x00\xd6\x00\x5c\x00\xd8\x00\xd9\x00\xda\x00\xdb\x00\xdc\x00\xdd\x00\xde\x00\xdf\x00\xe0\x00\xe1\x00\xe2\x00\xe3\x00\xe4\x00\xe5\x00\xe6\x00\xe7\x00\xe8\x00\xe9\x00\xea\x00\xeb\x00\xec\x00\xed\x00\xee\x00\xef\x00\xf0\x00\xf1\x00\xf2\x00\xf3\x00\xf4\x00\xf5\x00\xf6\x00\xff\xff\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xfe\x00\xff\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x2d\x00\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x65\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"#
alex_deflt :: AlexAddr
alex_deflt = AlexA# "\x17\x00\xff\xff\x02\x00\x02\x00\xff\xff\xff\xff\x0a\x00\xff\xff\x0a\x00\x0a\x00\x0a\x00\x0a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x19\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"#
-alex_accept = listArray (0::Int,32) [[],[],[(AlexAccSkip)],[(AlexAccSkip)],[],[(AlexAcc (alex_action_3))],[(AlexAccSkip)],[(AlexAccSkip)],[],[],[],[],[(AlexAcc (alex_action_3))],[(AlexAccSkip)],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[],[],[(AlexAcc (alex_action_4))],[(AlexAcc (alex_action_5))],[],[],[(AlexAcc (alex_action_6))],[(AlexAcc (alex_action_7))],[(AlexAcc (alex_action_7))],[],[],[]]
+alex_accept = listArray (0::Int,32) [[],[],[(AlexAccSkip)],[(AlexAccSkip)],[],[(AlexAcc (alex_action_3))],[(AlexAccSkip)],[(AlexAccSkip)],[],[],[],[],[(AlexAcc (alex_action_3))],[(AlexAccSkip)],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[],[(AlexAcc (alex_action_4))],[(AlexAcc (alex_action_5))],[],[],[(AlexAcc (alex_action_6))],[(AlexAcc (alex_action_7))],[(AlexAcc (alex_action_7))],[],[],[]]
{-# LINE 34 "Transfer/Syntax/Lex.x" #-}
tok f p s = f p s
diff --git a/src/Transfer/Syntax/Lex.x b/src/Transfer/Syntax/Lex.x
index f7376362a..8ef193a26 100644
--- a/src/Transfer/Syntax/Lex.x
+++ b/src/Transfer/Syntax/Lex.x
@@ -16,7 +16,7 @@ $i = [$l $d _ '] -- identifier character
$u = [\0-\255] -- universal: any character
@rsyms = -- reserved words consisting of special symbols
- \; | \: | \{ | \} | \= | \| \| | \: \: | \( | \) | \[ | \] | \, | \_ | \- \> | \< \- | \\ | \> \> \= | \> \> | \& \& | \= \= | \/ \= | \< | \< \= | \> | \> \= | \+ | \- | \* | \/ | \% | \. | \?
+ \; | \: | \{ | \} | \= | \| | \| \| | \: \: | \( | \) | \[ | \] | \, | \_ | \- \> | \\ | \< \- | \> \> \= | \> \> | \& \& | \= \= | \/ \= | \< | \< \= | \> | \> \= | \+ | \- | \* | \/ | \% | \. | \?
:-
"--" [.]* ; -- Toss single line comments
diff --git a/src/Transfer/Syntax/Par.hs b/src/Transfer/Syntax/Par.hs
index 2f455c5e4..cc47a4c0b 100644
--- a/src/Transfer/Syntax/Par.hs
+++ b/src/Transfer/Syntax/Par.hs
@@ -79,10 +79,10 @@ happyIn15 x = unsafeCoerce# x
happyOut15 :: (HappyAbsSyn ) -> ([ConsDecl])
happyOut15 x = unsafeCoerce# x
{-# INLINE happyOut15 #-}
-happyIn16 :: (Pattern) -> (HappyAbsSyn )
+happyIn16 :: (Guard) -> (HappyAbsSyn )
happyIn16 x = unsafeCoerce# x
{-# INLINE happyIn16 #-}
-happyOut16 :: (HappyAbsSyn ) -> (Pattern)
+happyOut16 :: (HappyAbsSyn ) -> (Guard)
happyOut16 x = unsafeCoerce# x
{-# INLINE happyOut16 #-}
happyIn17 :: (Pattern) -> (HappyAbsSyn )
@@ -103,94 +103,94 @@ happyIn19 x = unsafeCoerce# x
happyOut19 :: (HappyAbsSyn ) -> (Pattern)
happyOut19 x = unsafeCoerce# x
{-# INLINE happyOut19 #-}
-happyIn20 :: (PListElem) -> (HappyAbsSyn )
+happyIn20 :: (Pattern) -> (HappyAbsSyn )
happyIn20 x = unsafeCoerce# x
{-# INLINE happyIn20 #-}
-happyOut20 :: (HappyAbsSyn ) -> (PListElem)
+happyOut20 :: (HappyAbsSyn ) -> (Pattern)
happyOut20 x = unsafeCoerce# x
{-# INLINE happyOut20 #-}
-happyIn21 :: ([PListElem]) -> (HappyAbsSyn )
+happyIn21 :: (PListElem) -> (HappyAbsSyn )
happyIn21 x = unsafeCoerce# x
{-# INLINE happyIn21 #-}
-happyOut21 :: (HappyAbsSyn ) -> ([PListElem])
+happyOut21 :: (HappyAbsSyn ) -> (PListElem)
happyOut21 x = unsafeCoerce# x
{-# INLINE happyOut21 #-}
-happyIn22 :: ([Pattern]) -> (HappyAbsSyn )
+happyIn22 :: ([PListElem]) -> (HappyAbsSyn )
happyIn22 x = unsafeCoerce# x
{-# INLINE happyIn22 #-}
-happyOut22 :: (HappyAbsSyn ) -> ([Pattern])
+happyOut22 :: (HappyAbsSyn ) -> ([PListElem])
happyOut22 x = unsafeCoerce# x
{-# INLINE happyOut22 #-}
-happyIn23 :: (FieldPattern) -> (HappyAbsSyn )
+happyIn23 :: ([Pattern]) -> (HappyAbsSyn )
happyIn23 x = unsafeCoerce# x
{-# INLINE happyIn23 #-}
-happyOut23 :: (HappyAbsSyn ) -> (FieldPattern)
+happyOut23 :: (HappyAbsSyn ) -> ([Pattern])
happyOut23 x = unsafeCoerce# x
{-# INLINE happyOut23 #-}
-happyIn24 :: ([FieldPattern]) -> (HappyAbsSyn )
+happyIn24 :: (FieldPattern) -> (HappyAbsSyn )
happyIn24 x = unsafeCoerce# x
{-# INLINE happyIn24 #-}
-happyOut24 :: (HappyAbsSyn ) -> ([FieldPattern])
+happyOut24 :: (HappyAbsSyn ) -> (FieldPattern)
happyOut24 x = unsafeCoerce# x
{-# INLINE happyOut24 #-}
-happyIn25 :: (Exp) -> (HappyAbsSyn )
+happyIn25 :: ([FieldPattern]) -> (HappyAbsSyn )
happyIn25 x = unsafeCoerce# x
{-# INLINE happyIn25 #-}
-happyOut25 :: (HappyAbsSyn ) -> (Exp)
+happyOut25 :: (HappyAbsSyn ) -> ([FieldPattern])
happyOut25 x = unsafeCoerce# x
{-# INLINE happyOut25 #-}
-happyIn26 :: (LetDef) -> (HappyAbsSyn )
+happyIn26 :: (Exp) -> (HappyAbsSyn )
happyIn26 x = unsafeCoerce# x
{-# INLINE happyIn26 #-}
-happyOut26 :: (HappyAbsSyn ) -> (LetDef)
+happyOut26 :: (HappyAbsSyn ) -> (Exp)
happyOut26 x = unsafeCoerce# x
{-# INLINE happyOut26 #-}
-happyIn27 :: ([LetDef]) -> (HappyAbsSyn )
+happyIn27 :: (VarOrWild) -> (HappyAbsSyn )
happyIn27 x = unsafeCoerce# x
{-# INLINE happyIn27 #-}
-happyOut27 :: (HappyAbsSyn ) -> ([LetDef])
+happyOut27 :: (HappyAbsSyn ) -> (VarOrWild)
happyOut27 x = unsafeCoerce# x
{-# INLINE happyOut27 #-}
-happyIn28 :: (Case) -> (HappyAbsSyn )
+happyIn28 :: (Exp) -> (HappyAbsSyn )
happyIn28 x = unsafeCoerce# x
{-# INLINE happyIn28 #-}
-happyOut28 :: (HappyAbsSyn ) -> (Case)
+happyOut28 :: (HappyAbsSyn ) -> (Exp)
happyOut28 x = unsafeCoerce# x
{-# INLINE happyOut28 #-}
-happyIn29 :: ([Case]) -> (HappyAbsSyn )
+happyIn29 :: (LetDef) -> (HappyAbsSyn )
happyIn29 x = unsafeCoerce# x
{-# INLINE happyIn29 #-}
-happyOut29 :: (HappyAbsSyn ) -> ([Case])
+happyOut29 :: (HappyAbsSyn ) -> (LetDef)
happyOut29 x = unsafeCoerce# x
{-# INLINE happyOut29 #-}
-happyIn30 :: (Bind) -> (HappyAbsSyn )
+happyIn30 :: ([LetDef]) -> (HappyAbsSyn )
happyIn30 x = unsafeCoerce# x
{-# INLINE happyIn30 #-}
-happyOut30 :: (HappyAbsSyn ) -> (Bind)
+happyOut30 :: (HappyAbsSyn ) -> ([LetDef])
happyOut30 x = unsafeCoerce# x
{-# INLINE happyOut30 #-}
-happyIn31 :: ([Bind]) -> (HappyAbsSyn )
+happyIn31 :: (Case) -> (HappyAbsSyn )
happyIn31 x = unsafeCoerce# x
{-# INLINE happyIn31 #-}
-happyOut31 :: (HappyAbsSyn ) -> ([Bind])
+happyOut31 :: (HappyAbsSyn ) -> (Case)
happyOut31 x = unsafeCoerce# x
{-# INLINE happyOut31 #-}
-happyIn32 :: (Exp) -> (HappyAbsSyn )
+happyIn32 :: ([Case]) -> (HappyAbsSyn )
happyIn32 x = unsafeCoerce# x
{-# INLINE happyIn32 #-}
-happyOut32 :: (HappyAbsSyn ) -> (Exp)
+happyOut32 :: (HappyAbsSyn ) -> ([Case])
happyOut32 x = unsafeCoerce# x
{-# INLINE happyOut32 #-}
-happyIn33 :: (VarOrWild) -> (HappyAbsSyn )
+happyIn33 :: (Bind) -> (HappyAbsSyn )
happyIn33 x = unsafeCoerce# x
{-# INLINE happyIn33 #-}
-happyOut33 :: (HappyAbsSyn ) -> (VarOrWild)
+happyOut33 :: (HappyAbsSyn ) -> (Bind)
happyOut33 x = unsafeCoerce# x
{-# INLINE happyOut33 #-}
-happyIn34 :: (Exp) -> (HappyAbsSyn )
+happyIn34 :: ([Bind]) -> (HappyAbsSyn )
happyIn34 x = unsafeCoerce# x
{-# INLINE happyIn34 #-}
-happyOut34 :: (HappyAbsSyn ) -> (Exp)
+happyOut34 :: (HappyAbsSyn ) -> ([Bind])
happyOut34 x = unsafeCoerce# x
{-# INLINE happyOut34 #-}
happyIn35 :: (Exp) -> (HappyAbsSyn )
@@ -253,42 +253,48 @@ happyIn44 x = unsafeCoerce# x
happyOut44 :: (HappyAbsSyn ) -> (Exp)
happyOut44 x = unsafeCoerce# x
{-# INLINE happyOut44 #-}
-happyIn45 :: (FieldType) -> (HappyAbsSyn )
+happyIn45 :: (Exp) -> (HappyAbsSyn )
happyIn45 x = unsafeCoerce# x
{-# INLINE happyIn45 #-}
-happyOut45 :: (HappyAbsSyn ) -> (FieldType)
+happyOut45 :: (HappyAbsSyn ) -> (Exp)
happyOut45 x = unsafeCoerce# x
{-# INLINE happyOut45 #-}
-happyIn46 :: ([FieldType]) -> (HappyAbsSyn )
+happyIn46 :: (FieldType) -> (HappyAbsSyn )
happyIn46 x = unsafeCoerce# x
{-# INLINE happyIn46 #-}
-happyOut46 :: (HappyAbsSyn ) -> ([FieldType])
+happyOut46 :: (HappyAbsSyn ) -> (FieldType)
happyOut46 x = unsafeCoerce# x
{-# INLINE happyOut46 #-}
-happyIn47 :: (FieldValue) -> (HappyAbsSyn )
+happyIn47 :: ([FieldType]) -> (HappyAbsSyn )
happyIn47 x = unsafeCoerce# x
{-# INLINE happyIn47 #-}
-happyOut47 :: (HappyAbsSyn ) -> (FieldValue)
+happyOut47 :: (HappyAbsSyn ) -> ([FieldType])
happyOut47 x = unsafeCoerce# x
{-# INLINE happyOut47 #-}
-happyIn48 :: ([FieldValue]) -> (HappyAbsSyn )
+happyIn48 :: (FieldValue) -> (HappyAbsSyn )
happyIn48 x = unsafeCoerce# x
{-# INLINE happyIn48 #-}
-happyOut48 :: (HappyAbsSyn ) -> ([FieldValue])
+happyOut48 :: (HappyAbsSyn ) -> (FieldValue)
happyOut48 x = unsafeCoerce# x
{-# INLINE happyOut48 #-}
-happyIn49 :: (Exp) -> (HappyAbsSyn )
+happyIn49 :: ([FieldValue]) -> (HappyAbsSyn )
happyIn49 x = unsafeCoerce# x
{-# INLINE happyIn49 #-}
-happyOut49 :: (HappyAbsSyn ) -> (Exp)
+happyOut49 :: (HappyAbsSyn ) -> ([FieldValue])
happyOut49 x = unsafeCoerce# x
{-# INLINE happyOut49 #-}
-happyIn50 :: ([Exp]) -> (HappyAbsSyn )
+happyIn50 :: (Exp) -> (HappyAbsSyn )
happyIn50 x = unsafeCoerce# x
{-# INLINE happyIn50 #-}
-happyOut50 :: (HappyAbsSyn ) -> ([Exp])
+happyOut50 :: (HappyAbsSyn ) -> (Exp)
happyOut50 x = unsafeCoerce# x
{-# INLINE happyOut50 #-}
+happyIn51 :: ([Exp]) -> (HappyAbsSyn )
+happyIn51 x = unsafeCoerce# x
+{-# INLINE happyIn51 #-}
+happyOut51 :: (HappyAbsSyn ) -> ([Exp])
+happyOut51 x = unsafeCoerce# x
+{-# INLINE happyOut51 #-}
happyInTok :: Token -> (HappyAbsSyn )
happyInTok x = unsafeCoerce# x
{-# INLINE happyInTok #-}
@@ -297,21 +303,21 @@ happyOutTok x = unsafeCoerce# x
{-# INLINE happyOutTok #-}
happyActOffsets :: HappyAddr
-happyActOffsets = HappyA# "\x91\x01\x29\x03\x8a\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x83\x01\x00\x00\x3a\x00\x00\x00\xb1\x01\x79\x01\x29\x01\x48\x00\x73\x00\x00\x00\x59\x03\x84\x01\x00\x00\x00\x00\x15\x03\x29\x03\xfc\xff\x45\x03\x00\x00\x00\x00\x29\x03\x9e\x01\x29\x03\x9d\x01\x9c\x01\x9a\x01\x00\x00\x00\x00\x00\x00\x67\x01\x80\x01\xe3\xff\x6a\x01\x00\x00\x89\x01\x7f\x01\x00\x00\x5e\x01\x5e\x01\x57\x01\x4e\x01\x4e\x01\x4e\x01\x4f\x01\x00\x00\x51\x01\x00\x00\x29\x03\x00\x00\x6d\x01\x00\x00\x6e\x01\x59\x01\x3e\x00\x5d\x01\x61\x01\x32\x01\x41\x01\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x45\x03\x29\x03\x45\x03\x45\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x73\x00\x73\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x03\x00\x00\x00\x00\x29\x03\x29\x03\x5c\x01\x15\x03\x29\x03\x5b\x01\x50\x01\x4b\x01\x49\x01\x43\x01\x3f\x01\x27\x01\x26\x01\x22\x01\x00\x00\xf5\x00\x21\x01\xe3\xff\x3c\x00\x29\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x03\x61\x03\x61\x03\x00\x00\x00\x00\x1f\x01\x00\x00\x29\x03\x00\x00\x00\x00\xe4\x00\x29\x03\x00\x00\xe4\x00\x29\x03\xf7\x00\xe2\x00\x29\x03\xeb\x00\x00\x01\x04\x01\xf3\x00\x61\x03\x00\x00\x00\x00\xe1\x00\xf2\x00\x61\x03\xd8\x00\xdf\x00\xdc\x00\x00\x00\xd4\x00\xca\x00\x29\x03\x00\x00\x00\x00\x29\x03\xc8\x00\x00\x00\x29\x03\x00\x00\x00\x00\x00\x00\x00\x00\x9d\x00\x91\x00\x00\x00\xb4\x00\xa2\x00\xa3\x00\x00\x00\x00\x00\x00\x00\x61\x03\xaa\x00\xa8\x00\xa7\x00\xa5\x00\x00\x00\x29\x03\x00\x00\x00\x00\x00\x00\x61\x03\x61\x03\x61\x03\x29\x03\x00\x00\x29\x03\x00\x00\x61\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x76\x00\x00\x00\x76\x00\x61\x03\x00\x00\x00\x00\x00\x00\x6e\x00\x6a\x00\x65\x00\x00\x00\x31\x00\x29\x03\x00\x00\x00\x00\x00\x00"#
+happyActOffsets = HappyA# "\x92\x01\x4c\x03\x88\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x01\xa6\x01\xc0\x00\x00\x00\xac\x01\xa0\x01\x9c\x02\x85\x00\x9c\x00\x00\x00\x68\x03\x7c\x01\x00\x00\x00\x00\xa0\x02\x4c\x03\xf9\xff\x38\x03\x00\x00\x00\x00\x4c\x03\xa4\x01\x4c\x03\x9f\x01\x9d\x01\x9a\x01\x00\x00\x00\x00\x00\x00\x65\x01\x99\x01\x63\x00\x5d\x01\x00\x00\x87\x01\x83\x01\x00\x00\x56\x01\x56\x01\x5a\x01\x51\x01\x51\x01\x51\x01\x52\x01\x00\x00\x49\x01\x00\x00\x4c\x03\x00\x00\x61\x01\x00\x00\x5e\x01\x62\x01\x03\x00\x5f\x01\x66\x01\x39\x01\x3c\x01\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x38\x03\x4c\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9c\x00\x9c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4c\x03\x00\x00\x00\x00\x4c\x03\x30\x03\x54\x01\xa0\x02\x1c\x03\x53\x01\x4f\x01\x4e\x01\x4c\x01\x42\x01\x4b\x01\x37\x01\x3d\x01\x38\x01\x00\x00\x07\x01\x35\x01\x63\x00\x8d\x02\x1c\x03\x00\x00\x00\x00\x00\x00\x00\x00\x25\x01\x00\x00\x00\x03\x7d\x03\x7d\x03\x00\x00\x00\x00\x22\x01\x00\x00\xec\x02\x00\x00\x00\x00\x05\x01\xec\x02\x00\x00\x05\x01\xec\x02\xf9\x00\xef\x00\xec\x02\xf8\x00\x1a\x01\x0c\x01\x10\x01\x7d\x03\x00\x00\x00\x00\x02\x01\xfb\x00\x7d\x03\x01\x01\xff\x00\xfd\x00\x00\x00\xf7\x00\x00\x01\x00\x00\xec\x02\x00\x00\xd0\x02\xe9\x00\x00\x00\xd0\x02\x00\x00\x00\x00\x00\x00\x00\x00\xc3\x00\xbc\x00\x00\x00\xe4\x00\xe0\x00\xe1\x00\x00\x00\xbc\x02\x00\x00\x00\x00\x00\x00\x7d\x03\xda\x00\xd9\x00\xd4\x00\xd2\x00\x00\x00\xbc\x02\x00\x00\x00\x00\x00\x00\x7d\x03\x7d\x03\x7d\x03\xc5\x00\x00\x00\xbc\x02\x00\x00\x7d\x03\xbc\x02\x00\x00\x00\x00\x00\x00\x00\x00\x95\x00\x00\x00\x95\x00\x7d\x03\x00\x00\x00\x00\x00\x00\xbf\x00\xbe\x00\xb8\x00\x00\x00\x00\x00\x7c\x00\xbc\x02\x00\x00\x00\x00\x00\x00"#
happyGotoOffsets :: HappyAddr
-happyGotoOffsets = HappyA# "\x06\x00\xf5\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc2\x00\x00\x00\x00\x00\x00\x00\x7e\x00\x16\x00\x32\x00\x31\x04\x00\x00\x00\x00\xe0\x02\x00\x00\xb8\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x03\x01\x5e\x00\x00\x00\x4b\x00\x00\x00\x00\x00\x55\x00\x50\x00\x87\x00\x2b\x00\x14\x00\x4a\x00\x00\x00\x2d\x00\x00\x00\x00\x00\xa3\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x12\x00\x00\x00\x2d\x04\x29\x04\x1c\x04\x01\x04\x18\x04\x13\x04\xeb\x03\xe4\x03\xd9\x03\xd2\x03\xbc\x03\xaa\x03\x64\x00\xa3\x03\x7b\x02\x94\x03\x7b\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x66\x02\x00\x00\x00\x00\x01\x00\x3e\x02\x00\x00\x56\x00\x29\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0d\x00\x00\x00\x01\x01\xc9\x00\x01\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xec\x01\xb4\x01\x7d\x04\x00\x00\x00\x00\x00\x00\x00\x00\xc4\x01\x00\x00\x00\x00\x29\x00\xaf\x01\x00\x00\x05\x00\x87\x01\x00\x00\x45\x00\x72\x01\x00\x00\x00\x00\x00\x00\x00\x00\x5d\x04\x00\x00\x00\x00\x00\x00\x00\x00\xc6\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4a\x01\x00\x00\x00\x00\x35\x01\x00\x00\x00\x00\x0d\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xec\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x6c\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf8\x00\x00\x00\x00\x00\x00\x00\x59\x04\xf1\x01\x77\x01\xd0\x00\xfd\xff\xbb\x00\x00\x00\x0f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfd\x00\x00\x00\x08\x00\x3a\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x8e\x00\x93\x00\x00\x00\x00\x00\x00\x00"#
+happyGotoOffsets = HappyA# "\x65\x00\x20\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x52\x04\x00\x00\x00\x00\x00\x00\x5e\x00\x1b\x00\x17\x00\x4e\x04\x00\x00\x00\x00\x07\x02\x00\x00\xee\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x47\x00\xa8\x00\x00\x00\x94\x00\x00\x00\x00\x00\x8f\x00\x52\x00\x9d\x00\xac\x02\x19\x00\x4d\x00\x00\x00\x4a\x00\x00\x00\x00\x00\xd5\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x00\x00\x4a\x04\x46\x04\x42\x04\x39\x04\x3e\x04\x91\x03\x10\x04\x09\x04\x02\x04\xfb\x03\xf4\x03\xcb\x03\xc4\x03\xbb\x03\xb1\x03\x81\x03\xbc\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa3\x01\x00\x00\x00\x00\x01\x00\x80\x02\x00\x00\x35\x00\x8a\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0e\x00\x00\x00\x0a\x00\xc8\x04\x71\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x68\x02\xb5\x04\x9b\x04\x00\x00\x00\x00\x00\x00\x00\x00\x58\x01\x00\x00\x00\x00\x46\x00\x3f\x01\x00\x00\x08\x00\x26\x01\x00\x00\x13\x00\x0d\x01\x00\x00\x00\x00\x00\x00\x00\x00\x7f\x04\x00\x00\x00\x00\x00\x00\x00\x00\x6c\x00\x26\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf4\x00\x00\x00\x50\x02\x00\x00\x00\x00\x38\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x76\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xdb\x00\x00\x00\x00\x00\x00\x00\x83\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc2\x00\x00\x00\x00\x00\x00\x00\x7b\x04\xb8\x04\xb1\x04\x00\x00\xf7\xff\xa9\x00\x00\x00\x0b\x00\x90\x00\x00\x00\x00\x00\x00\x00\x00\x00\x68\x00\x00\x00\x50\x00\xa1\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x77\x00\x00\x00\x00\x00\x00\x00"#
happyDefActions :: HappyAddr
-happyDefActions = HappyA# "\xf7\xff\x00\x00\x00\x00\xfd\xff\x9a\xff\x98\xff\x97\xff\x96\xff\x00\x00\x8b\xff\xbd\xff\xb8\xff\xb6\xff\xb4\xff\xad\xff\xab\xff\xa8\xff\xa4\xff\xa2\xff\xa0\xff\x9e\xff\xcd\xff\x00\x00\x8a\xff\x00\x00\x00\x00\x95\xff\x99\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfc\xff\xfb\xff\xfa\xff\x00\x00\xf6\xff\xf0\xff\x00\x00\xf8\xff\xd7\xff\xef\xff\xf9\xff\x00\x00\x00\x00\xf7\xff\x92\xff\x8e\xff\xcb\xff\x00\x00\xc2\xff\x00\x00\xa3\xff\x00\x00\xbc\xff\x00\x00\xbb\xff\x89\xff\x00\x00\x9a\xff\x00\x00\x00\x00\x00\x00\xa1\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xb9\xff\xba\xff\xbe\xff\xb7\xff\xb5\xff\xae\xff\xaf\xff\xb0\xff\xb1\xff\xb2\xff\xb3\xff\xa9\xff\xaa\xff\xac\xff\xa5\xff\xa6\xff\xa7\xff\x9f\xff\x00\x00\x94\xff\x9b\xff\x8a\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xca\xff\x00\x00\x00\x00\x8d\xff\x00\x00\x00\x00\x91\xff\x00\x00\xf5\xff\x00\x00\x00\x00\xf0\xff\x00\x00\x00\x00\xf3\xff\xde\xff\xe0\xff\xdf\xff\xd6\xff\x00\x00\x00\x00\xda\xff\xdd\xff\xe1\xff\x00\x00\xee\xff\x00\x00\xf1\xff\x9d\xff\x92\xff\x00\x00\x9c\xff\x8e\xff\x00\x00\x00\x00\xcb\xff\x00\x00\x00\x00\xc3\xff\x00\x00\x00\x00\xc7\xff\xc0\xff\x88\xff\x00\x00\x00\x00\xde\xff\x00\x00\xe8\xff\xe6\xff\xe4\xff\xc6\xff\x00\x00\x00\x00\xc1\xff\xce\xff\x00\x00\x00\x00\xc9\xff\x00\x00\x8f\xff\x8c\xff\x93\xff\x90\xff\x00\x00\xd4\xff\xdb\xff\xd9\xff\x00\x00\x00\x00\xf2\xff\xdc\xff\xe2\xff\xda\xff\x00\x00\xd3\xff\x00\x00\x00\x00\xd1\xff\x00\x00\xcf\xff\xc4\xff\xd0\xff\xc7\xff\x00\x00\x00\x00\x00\x00\xd7\xff\x00\x00\xbf\xff\xe5\xff\xc8\xff\xe9\xff\xe7\xff\xc5\xff\xcc\xff\xec\xff\xe3\xff\xd4\xff\x00\x00\xd8\xff\xd5\xff\xd2\xff\x00\x00\xeb\xff\x00\x00\xf4\xff\xec\xff\x00\x00\xed\xff\xea\xff"#
+happyDefActions = HappyA# "\xf7\xff\x00\x00\x00\x00\xfd\xff\x98\xff\x96\xff\x95\xff\x94\xff\x00\x00\xcd\xff\x89\xff\xb6\xff\xb4\xff\xb2\xff\xab\xff\xa9\xff\xa6\xff\xa2\xff\xa0\xff\x9e\xff\x9c\xff\xc5\xff\x00\x00\x88\xff\x00\x00\x00\x00\x93\xff\x97\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfc\xff\xfb\xff\xfa\xff\x00\x00\xf6\xff\xf0\xff\x00\x00\xf8\xff\xd5\xff\xef\xff\xf9\xff\x00\x00\x00\x00\xf7\xff\x90\xff\x8c\xff\xc3\xff\x00\x00\xba\xff\x00\x00\xa1\xff\x00\x00\xcc\xff\x00\x00\xcb\xff\x87\xff\x00\x00\x98\xff\x00\x00\x00\x00\x00\x00\x9f\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xce\xff\xb7\xff\xb8\xff\xb5\xff\xb3\xff\xac\xff\xad\xff\xae\xff\xaf\xff\xb0\xff\xb1\xff\xa7\xff\xa8\xff\xaa\xff\xa3\xff\xa4\xff\xa5\xff\x9d\xff\x00\x00\x92\xff\x99\xff\x88\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc2\xff\x00\x00\x00\x00\x8b\xff\x00\x00\x00\x00\x8f\xff\x00\x00\xf5\xff\x00\x00\x00\x00\xf0\xff\xe8\xff\x00\x00\xf3\xff\xdc\xff\xde\xff\xdd\xff\x00\x00\xd4\xff\x00\x00\x00\x00\xd8\xff\xdb\xff\xdf\xff\x00\x00\xee\xff\x00\x00\xf1\xff\x9b\xff\x90\xff\x00\x00\x9a\xff\x8c\xff\x00\x00\x00\x00\xc3\xff\x00\x00\x00\x00\xbb\xff\x00\x00\x00\x00\xbf\xff\xca\xff\x86\xff\x00\x00\x00\x00\xdc\xff\xe8\xff\xe6\xff\xe4\xff\xe2\xff\xbe\xff\x00\x00\xb9\xff\x00\x00\xc6\xff\x00\x00\x00\x00\xc1\xff\x00\x00\x8d\xff\x8a\xff\x91\xff\x8e\xff\x00\x00\xd2\xff\xd9\xff\xd7\xff\x00\x00\x00\x00\xe9\xff\x00\x00\xf2\xff\xda\xff\xe0\xff\xd8\xff\x00\x00\xd1\xff\x00\x00\x00\x00\xc9\xff\x00\x00\xc7\xff\xbc\xff\xc8\xff\xbf\xff\x00\x00\x00\x00\x00\x00\xd5\xff\x00\x00\xcf\xff\xe3\xff\x00\x00\xe7\xff\xe5\xff\xbd\xff\xc4\xff\xec\xff\xe1\xff\xd2\xff\x00\x00\xd6\xff\xd3\xff\xd0\xff\x00\x00\xeb\xff\x00\x00\xc0\xff\xf4\xff\xec\xff\x00\x00\xed\xff\xea\xff"#
happyCheck :: HappyAddr
-happyCheck = HappyA# "\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x23\x00\x24\x00\x00\x00\x0d\x00\x04\x00\x05\x00\x06\x00\x00\x00\x11\x00\x00\x00\x01\x00\x02\x00\x00\x00\x30\x00\x00\x00\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\x12\x00\x13\x00\x1b\x00\x0e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x14\x00\x00\x00\x30\x00\x2c\x00\x2d\x00\x2a\x00\x2b\x00\x1b\x00\x00\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x2a\x00\x2b\x00\x02\x00\x05\x00\x2c\x00\x2d\x00\x08\x00\x00\x00\x0a\x00\x1a\x00\x0e\x00\x0d\x00\x00\x00\x11\x00\x12\x00\x0f\x00\x1c\x00\x07\x00\x00\x00\x28\x00\x29\x00\x28\x00\x29\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x15\x00\x16\x00\x11\x00\x21\x00\x00\x00\x15\x00\x16\x00\x30\x00\x1a\x00\x1b\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\x04\x00\x14\x00\x01\x00\x30\x00\x31\x00\x32\x00\x19\x00\x02\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x05\x00\x06\x00\x00\x00\x1c\x00\x1d\x00\x1e\x00\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\x09\x00\x0a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x30\x00\x14\x00\x03\x00\x01\x00\x2c\x00\x04\x00\x09\x00\x0b\x00\x1b\x00\x05\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\x0c\x00\x30\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x2f\x00\x05\x00\x04\x00\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\x0e\x00\x01\x00\x1b\x00\x0e\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x07\x00\x14\x00\x06\x00\x0e\x00\x2c\x00\x26\x00\x27\x00\x09\x00\x1b\x00\x00\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\x00\x00\x12\x00\x13\x00\x0e\x00\x00\x00\x0f\x00\x00\x00\x04\x00\x01\x00\x09\x00\x0a\x00\x07\x00\x08\x00\x07\x00\x08\x00\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\x26\x00\x30\x00\x1b\x00\x30\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x29\x00\x14\x00\x03\x00\x02\x00\x2c\x00\x30\x00\x04\x00\x01\x00\x1b\x00\x02\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\x00\x00\x01\x00\x02\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x04\x00\x01\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\x05\x00\x04\x00\x1b\x00\x01\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x02\x00\x14\x00\x03\x00\x1f\x00\x2c\x00\x30\x00\x02\x00\x0b\x00\x1b\x00\x09\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\x00\x00\x01\x00\x02\x00\x0c\x00\x0e\x00\x2b\x00\x2e\x00\x30\x00\x28\x00\x01\x00\x01\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\x02\x00\x13\x00\x1b\x00\x30\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x30\x00\x14\x00\x35\x00\x03\x00\x2c\x00\x03\x00\x03\x00\x03\x00\x1b\x00\x1f\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\x00\x00\x01\x00\x02\x00\x06\x00\x35\x00\x28\x00\x30\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\xff\xff\x14\x00\xff\xff\xff\xff\x2c\x00\xff\xff\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0c\x00\x0d\x00\x0e\x00\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\xff\xff\x14\x00\xff\xff\xff\xff\x2c\x00\xff\xff\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\xff\xff\x14\x00\xff\xff\xff\xff\x2c\x00\xff\xff\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\xff\xff\x14\x00\xff\xff\xff\xff\x2c\x00\xff\xff\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\xff\xff\x14\x00\xff\xff\xff\xff\x2c\x00\xff\xff\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\xff\xff\x14\x00\xff\xff\xff\xff\x2c\x00\xff\xff\xff\xff\xff\xff\x1b\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x08\x00\xff\xff\x0a\x00\xff\xff\x2c\x00\x0d\x00\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x1b\x00\x08\x00\xff\xff\x0a\x00\xff\xff\x20\x00\x21\x00\x22\x00\xff\xff\x10\x00\x25\x00\xff\xff\x27\x00\xff\xff\xff\xff\x2a\x00\xff\xff\x2c\x00\x2d\x00\xff\xff\x1b\x00\x30\x00\x31\x00\x32\x00\x33\x00\x20\x00\x21\x00\x22\x00\xff\xff\x08\x00\x25\x00\x0a\x00\x27\x00\xff\xff\xff\xff\x2a\x00\xff\xff\x2c\x00\x2d\x00\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\xff\xff\xff\xff\xff\xff\x1b\x00\x08\x00\xff\xff\x0a\x00\xff\xff\x20\x00\x21\x00\xff\xff\xff\xff\x08\x00\xff\xff\x0a\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\x2c\x00\x2d\x00\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x20\x00\x21\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x21\x00\xff\xff\xff\xff\x2c\x00\x2d\x00\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x2c\x00\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\xff\xff\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x24\x00\x25\x00\x26\x00\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x24\x00\x25\x00\x26\x00\x27\x00\x24\x00\x25\x00\x26\x00\x27\x00\x24\x00\x25\x00\x26\x00\x27\x00\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x00\x00\x01\x00\x02\x00\xff\xff\x17\x00\x18\x00\xff\xff\xff\xff\x17\x00\x18\x00\xff\xff\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"#
+happyCheck = HappyA# "\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x02\x00\x00\x00\x0e\x00\x00\x00\x12\x00\x00\x00\x00\x00\x01\x00\x02\x00\x00\x00\x09\x00\x0a\x00\x07\x00\x08\x00\x00\x00\x11\x00\x00\x00\x15\x00\x00\x00\x17\x00\x00\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x03\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x31\x00\x18\x00\x19\x00\x16\x00\x2d\x00\x2e\x00\x15\x00\x0b\x00\x17\x00\x2b\x00\x2c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x2b\x00\x2c\x00\x00\x00\x00\x00\x2d\x00\x2e\x00\x15\x00\x16\x00\x17\x00\x00\x00\x07\x00\x08\x00\x00\x00\x1c\x00\x00\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2d\x00\x13\x00\x14\x00\x18\x00\x19\x00\x1d\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x01\x00\x02\x00\x29\x00\x2a\x00\x09\x00\x0a\x00\x15\x00\x16\x00\x17\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x0f\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x24\x00\x25\x00\x13\x00\x14\x00\x2d\x00\x15\x00\x08\x00\x17\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x31\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x1b\x00\x1c\x00\x05\x00\x06\x00\x2d\x00\x15\x00\x12\x00\x17\x00\x00\x00\x00\x00\x01\x00\x02\x00\x03\x00\x31\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x1d\x00\x1e\x00\x1f\x00\x04\x00\x2d\x00\x15\x00\x01\x00\x17\x00\x02\x00\x00\x00\x01\x00\x02\x00\x03\x00\x31\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x12\x00\x13\x00\x0f\x00\x03\x00\x2d\x00\x15\x00\x04\x00\x17\x00\x01\x00\x00\x00\x01\x00\x02\x00\x03\x00\x05\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x0a\x00\x0c\x00\x31\x00\x05\x00\x2d\x00\x15\x00\x0d\x00\x17\x00\x30\x00\x00\x00\x01\x00\x02\x00\x03\x00\x01\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x04\x00\x08\x00\x07\x00\x06\x00\x2d\x00\x15\x00\x0f\x00\x17\x00\x0a\x00\x00\x00\x01\x00\x02\x00\x03\x00\x01\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x11\x00\x04\x00\x27\x00\x31\x00\x2d\x00\x15\x00\x2a\x00\x17\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x05\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x31\x00\x02\x00\x31\x00\x02\x00\x2d\x00\x15\x00\x04\x00\x17\x00\x01\x00\x00\x00\x01\x00\x02\x00\x03\x00\x01\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x04\x00\x01\x00\x05\x00\x04\x00\x2d\x00\x15\x00\x02\x00\x17\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x20\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x02\x00\x0a\x00\x31\x00\x0d\x00\x2d\x00\x15\x00\x0c\x00\x17\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x03\x00\x2c\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x2f\x00\x31\x00\x29\x00\x01\x00\x2d\x00\x15\x00\x31\x00\x17\x00\x02\x00\x00\x00\x01\x00\x02\x00\x03\x00\x31\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x01\x00\x36\x00\x20\x00\x03\x00\x2d\x00\x15\x00\x03\x00\x17\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x03\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x07\x00\x14\x00\x0f\x00\x36\x00\x2d\x00\x15\x00\x31\x00\x17\x00\x29\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\x15\x00\xff\xff\x17\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\x15\x00\xff\xff\x17\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\x15\x00\xff\xff\x17\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\x15\x00\xff\xff\x17\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\x15\x00\xff\xff\x17\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\xff\xff\x17\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\xff\xff\x17\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\xff\xff\x17\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\x06\x00\xff\xff\x2d\x00\x09\x00\x17\x00\x0b\x00\xff\xff\xff\xff\x0e\x00\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x09\x00\xff\xff\x0b\x00\x00\x00\x2d\x00\x0e\x00\x22\x00\x10\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\xff\xff\xff\xff\x2d\x00\xff\xff\x1c\x00\xff\xff\x31\x00\x32\x00\x33\x00\x21\x00\x22\x00\x23\x00\xff\xff\x09\x00\x26\x00\x0b\x00\x28\x00\xff\xff\xff\xff\x2b\x00\x10\x00\x2d\x00\x2e\x00\xff\xff\xff\xff\x31\x00\x32\x00\x33\x00\x34\x00\x29\x00\x2a\x00\xff\xff\x1c\x00\x09\x00\xff\xff\x0b\x00\xff\xff\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\x26\x00\xff\xff\x28\x00\xff\xff\xff\xff\x2b\x00\xff\xff\x2d\x00\x2e\x00\xff\xff\x1c\x00\x31\x00\x32\x00\x33\x00\x34\x00\x21\x00\x22\x00\x23\x00\xff\xff\x09\x00\x26\x00\x0b\x00\x28\x00\xff\xff\xff\xff\x2b\x00\x10\x00\x2d\x00\x2e\x00\xff\xff\xff\xff\x31\x00\x32\x00\x33\x00\x34\x00\xff\xff\xff\xff\xff\xff\x1c\x00\x09\x00\xff\xff\x0b\x00\xff\xff\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\x26\x00\xff\xff\x28\x00\xff\xff\xff\xff\x2b\x00\xff\xff\x2d\x00\x2e\x00\xff\xff\x1c\x00\x31\x00\x32\x00\x33\x00\x34\x00\x21\x00\x22\x00\x23\x00\xff\xff\x09\x00\x26\x00\x0b\x00\x28\x00\xff\xff\xff\xff\x2b\x00\x10\x00\x2d\x00\x2e\x00\xff\xff\xff\xff\x31\x00\x32\x00\x33\x00\x34\x00\xff\xff\xff\xff\xff\xff\x1c\x00\x09\x00\xff\xff\x0b\x00\xff\xff\x21\x00\x22\x00\x23\x00\x10\x00\x09\x00\x26\x00\x0b\x00\x28\x00\xff\xff\xff\xff\x2b\x00\xff\xff\x2d\x00\x2e\x00\xff\xff\x1c\x00\x31\x00\x32\x00\x33\x00\x34\x00\x21\x00\x22\x00\x23\x00\x1c\x00\x09\x00\x26\x00\x0b\x00\x28\x00\x21\x00\x22\x00\x2b\x00\x10\x00\x2d\x00\x2e\x00\xff\xff\xff\xff\x31\x00\x32\x00\x33\x00\x34\x00\x2d\x00\x2e\x00\xff\xff\x1c\x00\x31\x00\x32\x00\x33\x00\x34\x00\x21\x00\x22\x00\x23\x00\xff\xff\x09\x00\x26\x00\x0b\x00\x28\x00\xff\xff\xff\xff\x2b\x00\xff\xff\x2d\x00\x2e\x00\xff\xff\xff\xff\x31\x00\x32\x00\x33\x00\x34\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x09\x00\xff\xff\x0b\x00\x21\x00\x22\x00\x0e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x2d\x00\x2e\x00\xff\xff\xff\xff\x31\x00\x32\x00\x33\x00\x34\x00\xff\xff\xff\xff\x22\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x2d\x00\xff\xff\xff\xff\xff\xff\x31\x00\x32\x00\x33\x00\x00\x00\x01\x00\x02\x00\x03\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x25\x00\x26\x00\x27\x00\x28\x00\x25\x00\x26\x00\x27\x00\x28\x00\x25\x00\x26\x00\x27\x00\x28\x00\x25\x00\x26\x00\x27\x00\x28\x00\xff\xff\xff\xff\x27\x00\x28\x00\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x1a\x00\x1b\x00\xff\xff\xff\xff\x1a\x00\x1b\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x0d\x00\x0e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0b\x00\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"#
happyTable :: HappyAddr
-happyTable = HappyA# "\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x70\x00\x2e\x00\x2f\x00\xb8\x00\x3b\x00\x25\x00\x26\x00\x27\x00\x89\x00\xc8\x00\x7d\x00\x7e\x00\x7f\x00\x64\x00\x04\x00\x70\x00\x3b\x00\x04\x00\x05\x00\x06\x00\x07\x00\xb9\x00\xd4\x00\x09\x00\x80\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x73\x00\x3b\x00\x73\x00\x04\x00\x15\x00\x99\x00\x71\x00\xab\x00\x09\x00\x38\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x71\x00\x72\x00\xbc\xff\x82\x00\x15\x00\x3c\x00\x83\x00\x6d\x00\x84\x00\x6b\x00\x51\x00\x85\x00\x6d\x00\x52\x00\x53\x00\xbc\xff\x39\x00\x46\x00\x77\x00\x74\x00\xad\x00\x74\x00\x75\x00\x78\x00\x3d\x00\x05\x00\x06\x00\x07\x00\x6e\x00\xa8\x00\x7a\x00\x86\x00\x29\x00\x6e\x00\x6f\x00\x04\x00\x47\x00\x48\x00\x04\x00\x05\x00\x06\x00\x07\x00\x87\x00\xd9\x00\x94\x00\xda\x00\x04\x00\x23\x00\x24\x00\x95\x00\xdb\x00\x09\x00\x96\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x3d\x00\x05\x00\x06\x00\x07\x00\x15\x00\x57\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x26\x00\x76\x00\xd5\x00\x43\x00\x44\x00\x45\x00\x3e\x00\x04\x00\x05\x00\x06\x00\x07\x00\xd6\x00\xdc\x00\x09\x00\x3f\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\xdb\x00\xcf\x00\xd1\x00\x15\x00\xd0\x00\xb6\x00\xb7\x00\x09\x00\xd2\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\xb8\x00\x04\x00\x04\x00\x05\x00\x06\x00\x07\x00\x7d\x00\x7e\x00\x7f\x00\x7d\x00\x7e\x00\x7f\x00\xbc\x00\xbe\x00\xc1\x00\xc7\x00\x04\x00\x05\x00\x06\x00\x07\x00\xc5\x00\xc2\x00\x09\x00\x80\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\xc3\x00\xc9\x00\xc4\x00\xc5\x00\x15\x00\x41\x00\x14\x00\x9c\x00\x09\x00\xb8\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\xd5\x00\xb9\x00\xba\x00\xc7\x00\x2a\x00\xa4\x00\x2a\x00\xa6\x00\xa5\x00\xd6\x00\xd7\x00\x2b\x00\x87\x00\x2b\x00\x2c\x00\xcd\x00\x04\x00\x05\x00\x06\x00\x07\x00\xa7\x00\x04\x00\x09\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\xaa\x00\xbc\x00\xb0\x00\x89\x00\x15\x00\x04\x00\x8b\x00\x8c\x00\x09\x00\x8d\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\x9c\x00\x7e\x00\x7f\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x8e\x00\x8f\x00\xd3\x00\x9e\x00\x9f\x00\xa0\x00\xbe\x00\x04\x00\x05\x00\x06\x00\x07\x00\x90\x00\x91\x00\x09\x00\x92\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x93\x00\xbf\x00\x98\x00\x41\x00\x15\x00\x04\x00\x66\x00\x68\x00\x09\x00\x67\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\x9c\x00\x7e\x00\x7f\x00\x69\x00\x6a\x00\x6b\x00\x6d\x00\x04\x00\x29\x00\x7a\x00\x30\x00\xca\x00\x9e\x00\x9f\x00\xa0\x00\xa7\x00\x04\x00\x05\x00\x06\x00\x07\x00\x7c\x00\x4f\x00\x09\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\xaa\x00\xff\xff\x31\x00\x15\x00\x32\x00\x33\x00\x35\x00\x09\x00\x41\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\x9c\x00\x7e\x00\x7f\x00\x50\x00\xff\xff\x29\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\xb3\x00\x9e\x00\x9f\x00\xa0\x00\xac\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\xae\x00\x00\x00\x00\x00\x15\x00\x00\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\x9c\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xcb\x00\x9f\x00\xa0\x00\xb4\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x7c\x00\x00\x00\x00\x00\x15\x00\x00\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x93\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x98\x00\x00\x00\x00\x00\x15\x00\x00\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9a\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x55\x00\x00\x00\x00\x00\x15\x00\x00\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3e\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x33\x00\x00\x00\x00\x00\x15\x00\x00\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x35\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x08\x00\x00\x00\x00\x00\x15\x00\x00\x00\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x17\x00\x00\x00\x18\x00\x00\x00\x15\x00\x3b\x00\x00\x00\x00\x00\x19\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1a\x00\x17\x00\x00\x00\x18\x00\x00\x00\x1b\x00\x1c\x00\x1d\x00\x00\x00\x19\x00\x1e\x00\x00\x00\x1f\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x00\x00\x1a\x00\x04\x00\x23\x00\x24\x00\x25\x00\x1b\x00\x1c\x00\x1d\x00\x00\x00\x38\x00\x1e\x00\x18\x00\x1f\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x25\x00\x00\x00\x00\x00\x00\x00\x1a\x00\x38\x00\x00\x00\x18\x00\x00\x00\x1b\x00\x1c\x00\x00\x00\x00\x00\x83\x00\x00\x00\x84\x00\x00\x00\x00\x00\x85\x00\x00\x00\x00\x00\x21\x00\x22\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x25\x00\x1b\x00\x1c\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x86\x00\x00\x00\x00\x00\x21\x00\x22\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x25\x00\x87\x00\x00\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x53\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x54\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x56\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x58\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x59\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5a\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5b\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x5c\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5d\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x60\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x5e\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5f\x00\x11\x00\x12\x00\x13\x00\x14\x00\x61\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x62\x00\x12\x00\x13\x00\x14\x00\x63\x00\x12\x00\x13\x00\x14\x00\x36\x00\x12\x00\x13\x00\x14\x00\x9c\x00\x7e\x00\x7f\x00\x00\x00\x9c\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9d\x00\x9e\x00\x9f\x00\xa0\x00\x9d\x00\x9e\x00\x9f\x00\xa0\x00\x9c\x00\x7e\x00\x7f\x00\x00\x00\xa1\x00\xcc\x00\x00\x00\x00\x00\xa1\x00\xa2\x00\x00\x00\xb0\x00\x9e\x00\x9f\x00\xa0\x00\xb1\x00\xd2\x00\x9c\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xb0\x00\x9e\x00\x9f\x00\xa0\x00\xb1\x00\xb2\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"#
+happyTable = HappyA# "\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\xcc\xff\xd8\x00\x3b\x00\x70\x00\xcb\x00\x2a\x00\x7d\x00\x7e\x00\x7f\x00\x8a\x00\xd9\x00\xe0\x00\x2b\x00\x88\x00\x6d\x00\xcc\xff\x64\x00\x3b\x00\x38\x00\x09\x00\x70\x00\x81\x00\x04\x00\x05\x00\x06\x00\x07\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x6e\x00\xa9\x00\x39\x00\x15\x00\x9a\x00\x3b\x00\xc7\x00\x09\x00\x71\x00\xac\x00\x3d\x00\x05\x00\x06\x00\x07\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x71\x00\x72\x00\x73\x00\x2a\x00\x15\x00\x3c\x00\x95\x00\x96\x00\x09\x00\x6d\x00\x2b\x00\x2c\x00\xbb\x00\x97\x00\x77\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x3d\x00\x05\x00\x06\x00\x07\x00\x15\x00\xbc\x00\xd7\x00\x6e\x00\x6f\x00\x6b\x00\xd8\x00\x25\x00\x26\x00\x27\x00\x7d\x00\x7e\x00\x7f\x00\x74\x00\xae\x00\xd9\x00\xda\x00\x3e\x00\x3f\x00\x09\x00\xbb\x00\x04\x00\x05\x00\x06\x00\x07\x00\xc8\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x2e\x00\x2f\x00\xbc\x00\xbd\x00\x15\x00\xdf\x00\x46\x00\x09\x00\x78\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x47\x00\x48\x00\x26\x00\x76\x00\x15\x00\xdb\x00\x7a\x00\x09\x00\x29\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x43\x00\x44\x00\x45\x00\xdd\x00\x15\x00\xca\x00\xde\x00\x09\x00\xdf\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x51\x00\x52\x00\xcd\x00\xd2\x00\x15\x00\xd0\x00\xd3\x00\x09\x00\xd4\x00\x04\x00\x05\x00\x06\x00\x07\x00\xd5\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\xb9\x00\xba\x00\x04\x00\xc1\x00\x15\x00\xb7\x00\xbb\x00\x09\x00\xbf\x00\x04\x00\x05\x00\x06\x00\x07\x00\xc5\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\xc4\x00\xc6\x00\xc7\x00\x83\x00\x15\x00\xc2\x00\xca\x00\x09\x00\x9d\x00\x04\x00\x05\x00\x06\x00\x07\x00\xa5\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\xa6\x00\xa7\x00\xa8\x00\x04\x00\x15\x00\xa8\x00\xab\x00\x09\x00\xb1\x00\x04\x00\x05\x00\x06\x00\x07\x00\xb7\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x8a\x00\x04\x00\x8e\x00\x15\x00\xab\x00\x8c\x00\x09\x00\x8d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x90\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x8f\x00\x93\x00\x91\x00\x92\x00\x15\x00\xad\x00\x94\x00\x09\x00\x99\x00\x04\x00\x05\x00\x06\x00\x07\x00\x41\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x66\x00\x67\x00\x04\x00\x69\x00\x15\x00\xaf\x00\x68\x00\x09\x00\x6a\x00\x04\x00\x05\x00\x06\x00\x07\x00\x6b\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x6d\x00\x04\x00\x29\x00\x7a\x00\x15\x00\x7c\x00\x04\x00\x09\x00\x7c\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x30\x00\xff\xff\x41\x00\x31\x00\x15\x00\x94\x00\x32\x00\x09\x00\x33\x00\x04\x00\x05\x00\x06\x00\x07\x00\x35\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x50\x00\x4f\x00\x53\x00\xff\xff\x15\x00\x9b\x00\x04\x00\x09\x00\x29\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x53\x00\x00\x00\x09\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x3e\x00\x00\x00\x09\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x33\x00\x00\x00\x09\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x35\x00\x00\x00\x09\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x08\x00\x00\x00\x09\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x00\x00\xbf\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x00\x00\xc1\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x00\x00\xb5\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x83\x00\x00\x00\x15\x00\x84\x00\x99\x00\x85\x00\x00\x00\x00\x00\x86\x00\x00\x00\x00\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x17\x00\x00\x00\x18\x00\x73\x00\x15\x00\x3b\x00\x87\x00\x19\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x00\x00\x00\x00\x00\x00\x88\x00\x00\x00\x1a\x00\x00\x00\x04\x00\x23\x00\x24\x00\x1b\x00\x1c\x00\x1d\x00\x00\x00\x17\x00\x1e\x00\x18\x00\x1f\x00\x00\x00\x00\x00\x20\x00\x19\x00\x21\x00\x22\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x25\x00\x74\x00\x75\x00\x00\x00\x1a\x00\x38\x00\x00\x00\x18\x00\x00\x00\x1b\x00\x1c\x00\x1d\x00\x19\x00\x00\x00\x1e\x00\x00\x00\x1f\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x00\x00\x1a\x00\x04\x00\x23\x00\x24\x00\x25\x00\x1b\x00\x1c\x00\x1d\x00\x00\x00\x17\x00\x1e\x00\x18\x00\x1f\x00\x00\x00\x00\x00\x20\x00\x19\x00\x21\x00\x22\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x25\x00\x00\x00\x00\x00\x00\x00\x1a\x00\x38\x00\x00\x00\x18\x00\x00\x00\x1b\x00\x1c\x00\x1d\x00\x19\x00\x00\x00\x1e\x00\x00\x00\x1f\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x00\x00\x1a\x00\x04\x00\x23\x00\x24\x00\x25\x00\x1b\x00\x1c\x00\x1d\x00\x00\x00\x17\x00\x1e\x00\x18\x00\x1f\x00\x00\x00\x00\x00\x20\x00\x19\x00\x21\x00\x22\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x25\x00\x00\x00\x00\x00\x00\x00\x1a\x00\x38\x00\x00\x00\x18\x00\x00\x00\x1b\x00\x1c\x00\x1d\x00\x19\x00\x38\x00\x1e\x00\x18\x00\x1f\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x00\x00\x1a\x00\x04\x00\x23\x00\x24\x00\x25\x00\x1b\x00\x1c\x00\x1d\x00\x1a\x00\x17\x00\x1e\x00\x18\x00\x1f\x00\x1b\x00\x1c\x00\x20\x00\x19\x00\x21\x00\x22\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x25\x00\x21\x00\x22\x00\x00\x00\x1a\x00\x04\x00\x23\x00\x24\x00\x25\x00\x1b\x00\x1c\x00\x1d\x00\x00\x00\x38\x00\x1e\x00\x18\x00\x1f\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x25\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x84\x00\x00\x00\x85\x00\x1b\x00\x1c\x00\x86\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x21\x00\x22\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x25\x00\x00\x00\x00\x00\x87\x00\x54\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x88\x00\x00\x00\x00\x00\x00\x00\x04\x00\x23\x00\x24\x00\x04\x00\x05\x00\x06\x00\x07\x00\x5e\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x55\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x56\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x57\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x58\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x59\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5a\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5b\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5c\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5d\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x60\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5f\x00\x11\x00\x12\x00\x13\x00\x14\x00\x61\x00\x12\x00\x13\x00\x14\x00\x62\x00\x12\x00\x13\x00\x14\x00\x63\x00\x12\x00\x13\x00\x14\x00\x36\x00\x12\x00\x13\x00\x14\x00\x00\x00\x00\x00\x41\x00\x14\x00\x9d\x00\x7e\x00\x7f\x00\x00\x00\x9d\x00\x7e\x00\x7f\x00\x00\x00\x9d\x00\x7e\x00\x7f\x00\x00\x00\x9e\x00\x9f\x00\xa0\x00\xa1\x00\x9e\x00\x9f\x00\xa0\x00\xa1\x00\xb1\x00\x9f\x00\xa0\x00\xa1\x00\xb2\x00\xd5\x00\xa2\x00\xcf\x00\x00\x00\x00\x00\xa2\x00\xa3\x00\x9d\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\x00\x00\x9d\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\x00\x00\xb1\x00\x9f\x00\xa0\x00\xa1\x00\xb2\x00\xb3\x00\xd6\x00\x9f\x00\xa0\x00\xa1\x00\x9d\x00\x7e\x00\x7f\x00\x00\x00\x9d\x00\x7e\x00\x7f\x00\x9d\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\xcd\x00\x9f\x00\xa0\x00\xa1\x00\xb4\x00\x9f\x00\xa0\x00\xa1\x00\xce\x00\xa0\x00\xa1\x00\x7d\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x81\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"#
-happyReduceArr = array (2, 119) [
+happyReduceArr = array (2, 121) [
(2 , happyReduce_2),
(3 , happyReduce_3),
(4 , happyReduce_4),
@@ -429,11 +435,13 @@ happyReduceArr = array (2, 119) [
(116 , happyReduce_116),
(117 , happyReduce_117),
(118 , happyReduce_118),
- (119 , happyReduce_119)
+ (119 , happyReduce_119),
+ (120 , happyReduce_120),
+ (121 , happyReduce_121)
]
-happy_n_terms = 54 :: Int
-happy_n_nonterms = 46 :: Int
+happy_n_terms = 55 :: Int
+happy_n_nonterms = 47 :: Int
happyReduce_2 = happySpecReduce_1 0# happyReduction_2
happyReduction_2 happy_x_1
@@ -513,7 +521,7 @@ happyReduction_11 (happy_x_8 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
= case happyOut5 happy_x_2 of { happy_var_2 ->
- case happyOut25 happy_x_4 of { happy_var_4 ->
+ case happyOut26 happy_x_4 of { happy_var_4 ->
case happyOut15 happy_x_7 of { happy_var_7 ->
happyIn12
(DataDecl happy_var_2 happy_var_4 happy_var_7
@@ -524,23 +532,25 @@ happyReduction_12 happy_x_3
happy_x_2
happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut25 happy_x_3 of { happy_var_3 ->
+ case happyOut26 happy_x_3 of { happy_var_3 ->
happyIn12
(TypeDecl happy_var_1 happy_var_3
)}}
-happyReduce_13 = happyReduce 4# 7# happyReduction_13
-happyReduction_13 (happy_x_4 `HappyStk`
+happyReduce_13 = happyReduce 5# 7# happyReduction_13
+happyReduction_13 (happy_x_5 `HappyStk`
+ happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut22 happy_x_2 of { happy_var_2 ->
- case happyOut25 happy_x_4 of { happy_var_4 ->
+ case happyOut23 happy_x_2 of { happy_var_2 ->
+ case happyOut16 happy_x_3 of { happy_var_3 ->
+ case happyOut26 happy_x_5 of { happy_var_5 ->
happyIn12
- (ValueDecl happy_var_1 (reverse happy_var_2) happy_var_4
- ) `HappyStk` happyRest}}}
+ (ValueDecl happy_var_1 (reverse happy_var_2) happy_var_3 happy_var_5
+ ) `HappyStk` happyRest}}}}
happyReduce_14 = happySpecReduce_3 7# happyReduction_14
happyReduction_14 happy_x_3
@@ -579,7 +589,7 @@ happyReduction_18 happy_x_3
happy_x_2
happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut25 happy_x_3 of { happy_var_3 ->
+ case happyOut26 happy_x_3 of { happy_var_3 ->
happyIn14
(ConsDecl happy_var_1 happy_var_3
)}}
@@ -606,23 +616,19 @@ happyReduction_21 happy_x_3
((:) happy_var_1 happy_var_3
)}}
-happyReduce_22 = happySpecReduce_3 11# happyReduction_22
-happyReduction_22 happy_x_3
- happy_x_2
+happyReduce_22 = happySpecReduce_2 11# happyReduction_22
+happyReduction_22 happy_x_2
happy_x_1
- = case happyOut17 happy_x_1 of { happy_var_1 ->
- case happyOut16 happy_x_3 of { happy_var_3 ->
+ = case happyOut28 happy_x_2 of { happy_var_2 ->
happyIn16
- (POr happy_var_1 happy_var_3
- )}}
-
-happyReduce_23 = happySpecReduce_1 11# happyReduction_23
-happyReduction_23 happy_x_1
- = case happyOut17 happy_x_1 of { happy_var_1 ->
- happyIn16
- (happy_var_1
+ (GuardExp happy_var_2
)}
+happyReduce_23 = happySpecReduce_0 11# happyReduction_23
+happyReduction_23 = happyIn16
+ (GuardNo
+ )
+
happyReduce_24 = happySpecReduce_3 12# happyReduction_24
happyReduction_24 happy_x_3
happy_x_2
@@ -630,7 +636,7 @@ happyReduction_24 happy_x_3
= case happyOut18 happy_x_1 of { happy_var_1 ->
case happyOut17 happy_x_3 of { happy_var_3 ->
happyIn17
- (PListCons happy_var_1 happy_var_3
+ (POr happy_var_1 happy_var_3
)}}
happyReduce_25 = happySpecReduce_1 12# happyReduction_25
@@ -644,12 +650,11 @@ happyReduce_26 = happySpecReduce_3 13# happyReduction_26
happyReduction_26 happy_x_3
happy_x_2
happy_x_1
- = case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut19 happy_x_2 of { happy_var_2 ->
- case happyOut22 happy_x_3 of { happy_var_3 ->
+ = case happyOut19 happy_x_1 of { happy_var_1 ->
+ case happyOut18 happy_x_3 of { happy_var_3 ->
happyIn18
- (PConsTop happy_var_1 happy_var_2 (reverse happy_var_3)
- )}}}
+ (PListCons happy_var_1 happy_var_3
+ )}}
happyReduce_27 = happySpecReduce_1 13# happyReduction_27
happyReduction_27 happy_x_1
@@ -658,399 +663,403 @@ happyReduction_27 happy_x_1
(happy_var_1
)}
-happyReduce_28 = happyReduce 4# 14# happyReduction_28
-happyReduction_28 (happy_x_4 `HappyStk`
+happyReduce_28 = happySpecReduce_3 14# happyReduction_28
+happyReduction_28 happy_x_3
+ happy_x_2
+ happy_x_1
+ = case happyOut5 happy_x_1 of { happy_var_1 ->
+ case happyOut20 happy_x_2 of { happy_var_2 ->
+ case happyOut23 happy_x_3 of { happy_var_3 ->
+ happyIn19
+ (PConsTop happy_var_1 happy_var_2 (reverse happy_var_3)
+ )}}}
+
+happyReduce_29 = happySpecReduce_1 14# happyReduction_29
+happyReduction_29 happy_x_1
+ = case happyOut20 happy_x_1 of { happy_var_1 ->
+ happyIn19
+ (happy_var_1
+ )}
+
+happyReduce_30 = happyReduce 4# 15# happyReduction_30
+happyReduction_30 (happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut24 happy_x_3 of { happy_var_3 ->
- happyIn19
+ = case happyOut25 happy_x_3 of { happy_var_3 ->
+ happyIn20
(PRec happy_var_3
) `HappyStk` happyRest}
-happyReduce_29 = happySpecReduce_3 14# happyReduction_29
-happyReduction_29 happy_x_3
+happyReduce_31 = happySpecReduce_3 15# happyReduction_31
+happyReduction_31 happy_x_3
happy_x_2
happy_x_1
- = case happyOut21 happy_x_2 of { happy_var_2 ->
- happyIn19
+ = case happyOut22 happy_x_2 of { happy_var_2 ->
+ happyIn20
(PList happy_var_2
)}
-happyReduce_30 = happySpecReduce_1 14# happyReduction_30
-happyReduction_30 happy_x_1
- = happyIn19
+happyReduce_32 = happySpecReduce_1 15# happyReduction_32
+happyReduction_32 happy_x_1
+ = happyIn20
(PType
)
-happyReduce_31 = happySpecReduce_1 14# happyReduction_31
-happyReduction_31 happy_x_1
+happyReduce_33 = happySpecReduce_1 15# happyReduction_33
+happyReduction_33 happy_x_1
= case happyOut6 happy_x_1 of { happy_var_1 ->
- happyIn19
+ happyIn20
(PStr happy_var_1
)}
-happyReduce_32 = happySpecReduce_1 14# happyReduction_32
-happyReduction_32 happy_x_1
+happyReduce_34 = happySpecReduce_1 15# happyReduction_34
+happyReduction_34 happy_x_1
= case happyOut7 happy_x_1 of { happy_var_1 ->
- happyIn19
+ happyIn20
(PInt happy_var_1
)}
-happyReduce_33 = happySpecReduce_1 14# happyReduction_33
-happyReduction_33 happy_x_1
+happyReduce_35 = happySpecReduce_1 15# happyReduction_35
+happyReduction_35 happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- happyIn19
+ happyIn20
(PVar happy_var_1
)}
-happyReduce_34 = happySpecReduce_1 14# happyReduction_34
-happyReduction_34 happy_x_1
- = happyIn19
+happyReduce_36 = happySpecReduce_1 15# happyReduction_36
+happyReduction_36 happy_x_1
+ = happyIn20
(PWild
)
-happyReduce_35 = happySpecReduce_3 14# happyReduction_35
-happyReduction_35 happy_x_3
+happyReduce_37 = happySpecReduce_3 15# happyReduction_37
+happyReduction_37 happy_x_3
happy_x_2
happy_x_1
- = case happyOut16 happy_x_2 of { happy_var_2 ->
- happyIn19
+ = case happyOut17 happy_x_2 of { happy_var_2 ->
+ happyIn20
(happy_var_2
)}
-happyReduce_36 = happySpecReduce_1 15# happyReduction_36
-happyReduction_36 happy_x_1
- = case happyOut16 happy_x_1 of { happy_var_1 ->
- happyIn20
+happyReduce_38 = happySpecReduce_1 16# happyReduction_38
+happyReduction_38 happy_x_1
+ = case happyOut17 happy_x_1 of { happy_var_1 ->
+ happyIn21
(PListElem happy_var_1
)}
-happyReduce_37 = happySpecReduce_0 16# happyReduction_37
-happyReduction_37 = happyIn21
+happyReduce_39 = happySpecReduce_0 17# happyReduction_39
+happyReduction_39 = happyIn22
([]
)
-happyReduce_38 = happySpecReduce_1 16# happyReduction_38
-happyReduction_38 happy_x_1
- = case happyOut20 happy_x_1 of { happy_var_1 ->
- happyIn21
+happyReduce_40 = happySpecReduce_1 17# happyReduction_40
+happyReduction_40 happy_x_1
+ = case happyOut21 happy_x_1 of { happy_var_1 ->
+ happyIn22
((:[]) happy_var_1
)}
-happyReduce_39 = happySpecReduce_3 16# happyReduction_39
-happyReduction_39 happy_x_3
+happyReduce_41 = happySpecReduce_3 17# happyReduction_41
+happyReduction_41 happy_x_3
happy_x_2
happy_x_1
- = case happyOut20 happy_x_1 of { happy_var_1 ->
- case happyOut21 happy_x_3 of { happy_var_3 ->
- happyIn21
+ = case happyOut21 happy_x_1 of { happy_var_1 ->
+ case happyOut22 happy_x_3 of { happy_var_3 ->
+ happyIn22
((:) happy_var_1 happy_var_3
)}}
-happyReduce_40 = happySpecReduce_0 17# happyReduction_40
-happyReduction_40 = happyIn22
+happyReduce_42 = happySpecReduce_0 18# happyReduction_42
+happyReduction_42 = happyIn23
([]
)
-happyReduce_41 = happySpecReduce_2 17# happyReduction_41
-happyReduction_41 happy_x_2
+happyReduce_43 = happySpecReduce_2 18# happyReduction_43
+happyReduction_43 happy_x_2
happy_x_1
- = case happyOut22 happy_x_1 of { happy_var_1 ->
- case happyOut19 happy_x_2 of { happy_var_2 ->
- happyIn22
+ = case happyOut23 happy_x_1 of { happy_var_1 ->
+ case happyOut20 happy_x_2 of { happy_var_2 ->
+ happyIn23
(flip (:) happy_var_1 happy_var_2
)}}
-happyReduce_42 = happySpecReduce_3 18# happyReduction_42
-happyReduction_42 happy_x_3
+happyReduce_44 = happySpecReduce_3 19# happyReduction_44
+happyReduction_44 happy_x_3
happy_x_2
happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut16 happy_x_3 of { happy_var_3 ->
- happyIn23
+ case happyOut17 happy_x_3 of { happy_var_3 ->
+ happyIn24
(FieldPattern happy_var_1 happy_var_3
)}}
-happyReduce_43 = happySpecReduce_0 19# happyReduction_43
-happyReduction_43 = happyIn24
+happyReduce_45 = happySpecReduce_0 20# happyReduction_45
+happyReduction_45 = happyIn25
([]
)
-happyReduce_44 = happySpecReduce_1 19# happyReduction_44
-happyReduction_44 happy_x_1
- = case happyOut23 happy_x_1 of { happy_var_1 ->
- happyIn24
+happyReduce_46 = happySpecReduce_1 20# happyReduction_46
+happyReduction_46 happy_x_1
+ = case happyOut24 happy_x_1 of { happy_var_1 ->
+ happyIn25
((:[]) happy_var_1
)}
-happyReduce_45 = happySpecReduce_3 19# happyReduction_45
-happyReduction_45 happy_x_3
+happyReduce_47 = happySpecReduce_3 20# happyReduction_47
+happyReduction_47 happy_x_3
happy_x_2
happy_x_1
- = case happyOut23 happy_x_1 of { happy_var_1 ->
- case happyOut24 happy_x_3 of { happy_var_3 ->
- happyIn24
+ = case happyOut24 happy_x_1 of { happy_var_1 ->
+ case happyOut25 happy_x_3 of { happy_var_3 ->
+ happyIn25
((:) happy_var_1 happy_var_3
)}}
-happyReduce_46 = happyReduce 6# 20# happyReduction_46
-happyReduction_46 (happy_x_6 `HappyStk`
+happyReduce_48 = happyReduce 7# 21# happyReduction_48
+happyReduction_48 (happy_x_7 `HappyStk`
+ happy_x_6 `HappyStk`
happy_x_5 `HappyStk`
happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut27 happy_x_3 of { happy_var_3 ->
- case happyOut25 happy_x_6 of { happy_var_6 ->
- happyIn25
+ = case happyOut27 happy_x_2 of { happy_var_2 ->
+ case happyOut26 happy_x_4 of { happy_var_4 ->
+ case happyOut26 happy_x_7 of { happy_var_7 ->
+ happyIn26
+ (EPi happy_var_2 happy_var_4 happy_var_7
+ ) `HappyStk` happyRest}}}
+
+happyReduce_49 = happySpecReduce_3 21# happyReduction_49
+happyReduction_49 happy_x_3
+ happy_x_2
+ happy_x_1
+ = case happyOut28 happy_x_1 of { happy_var_1 ->
+ case happyOut26 happy_x_3 of { happy_var_3 ->
+ happyIn26
+ (EPiNoVar happy_var_1 happy_var_3
+ )}}
+
+happyReduce_50 = happySpecReduce_1 21# happyReduction_50
+happyReduction_50 happy_x_1
+ = case happyOut28 happy_x_1 of { happy_var_1 ->
+ happyIn26
+ (happy_var_1
+ )}
+
+happyReduce_51 = happySpecReduce_1 22# happyReduction_51
+happyReduction_51 happy_x_1
+ = case happyOut5 happy_x_1 of { happy_var_1 ->
+ happyIn27
+ (VVar happy_var_1
+ )}
+
+happyReduce_52 = happySpecReduce_1 22# happyReduction_52
+happyReduction_52 happy_x_1
+ = happyIn27
+ (VWild
+ )
+
+happyReduce_53 = happyReduce 4# 23# happyReduction_53
+happyReduction_53 (happy_x_4 `HappyStk`
+ happy_x_3 `HappyStk`
+ happy_x_2 `HappyStk`
+ happy_x_1 `HappyStk`
+ happyRest)
+ = case happyOut27 happy_x_2 of { happy_var_2 ->
+ case happyOut28 happy_x_4 of { happy_var_4 ->
+ happyIn28
+ (EAbs happy_var_2 happy_var_4
+ ) `HappyStk` happyRest}}
+
+happyReduce_54 = happyReduce 6# 23# happyReduction_54
+happyReduction_54 (happy_x_6 `HappyStk`
+ happy_x_5 `HappyStk`
+ happy_x_4 `HappyStk`
+ happy_x_3 `HappyStk`
+ happy_x_2 `HappyStk`
+ happy_x_1 `HappyStk`
+ happyRest)
+ = case happyOut30 happy_x_3 of { happy_var_3 ->
+ case happyOut28 happy_x_6 of { happy_var_6 ->
+ happyIn28
(ELet happy_var_3 happy_var_6
) `HappyStk` happyRest}}
-happyReduce_47 = happyReduce 6# 20# happyReduction_47
-happyReduction_47 (happy_x_6 `HappyStk`
+happyReduce_55 = happyReduce 6# 23# happyReduction_55
+happyReduction_55 (happy_x_6 `HappyStk`
happy_x_5 `HappyStk`
happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut25 happy_x_2 of { happy_var_2 ->
- case happyOut29 happy_x_5 of { happy_var_5 ->
- happyIn25
+ = case happyOut26 happy_x_2 of { happy_var_2 ->
+ case happyOut32 happy_x_5 of { happy_var_5 ->
+ happyIn28
(ECase happy_var_2 happy_var_5
) `HappyStk` happyRest}}
-happyReduce_48 = happyReduce 6# 20# happyReduction_48
-happyReduction_48 (happy_x_6 `HappyStk`
+happyReduce_56 = happyReduce 6# 23# happyReduction_56
+happyReduction_56 (happy_x_6 `HappyStk`
happy_x_5 `HappyStk`
happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut25 happy_x_2 of { happy_var_2 ->
- case happyOut25 happy_x_4 of { happy_var_4 ->
- case happyOut25 happy_x_6 of { happy_var_6 ->
- happyIn25
+ = case happyOut26 happy_x_2 of { happy_var_2 ->
+ case happyOut26 happy_x_4 of { happy_var_4 ->
+ case happyOut28 happy_x_6 of { happy_var_6 ->
+ happyIn28
(EIf happy_var_2 happy_var_4 happy_var_6
) `HappyStk` happyRest}}}
-happyReduce_49 = happyReduce 5# 20# happyReduction_49
-happyReduction_49 (happy_x_5 `HappyStk`
+happyReduce_57 = happyReduce 5# 23# happyReduction_57
+happyReduction_57 (happy_x_5 `HappyStk`
happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut31 happy_x_3 of { happy_var_3 ->
- case happyOut25 happy_x_4 of { happy_var_4 ->
- happyIn25
+ = case happyOut34 happy_x_3 of { happy_var_3 ->
+ case happyOut26 happy_x_4 of { happy_var_4 ->
+ happyIn28
(EDo (reverse happy_var_3) happy_var_4
) `HappyStk` happyRest}}
-happyReduce_50 = happySpecReduce_1 20# happyReduction_50
-happyReduction_50 happy_x_1
- = case happyOut49 happy_x_1 of { happy_var_1 ->
- happyIn25
+happyReduce_58 = happySpecReduce_1 23# happyReduction_58
+happyReduction_58 happy_x_1
+ = case happyOut50 happy_x_1 of { happy_var_1 ->
+ happyIn28
(happy_var_1
)}
-happyReduce_51 = happyReduce 5# 21# happyReduction_51
-happyReduction_51 (happy_x_5 `HappyStk`
+happyReduce_59 = happyReduce 5# 24# happyReduction_59
+happyReduction_59 (happy_x_5 `HappyStk`
happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut25 happy_x_3 of { happy_var_3 ->
- case happyOut25 happy_x_5 of { happy_var_5 ->
- happyIn26
+ case happyOut26 happy_x_3 of { happy_var_3 ->
+ case happyOut26 happy_x_5 of { happy_var_5 ->
+ happyIn29
(LetDef happy_var_1 happy_var_3 happy_var_5
) `HappyStk` happyRest}}}
-happyReduce_52 = happySpecReduce_0 22# happyReduction_52
-happyReduction_52 = happyIn27
+happyReduce_60 = happySpecReduce_0 25# happyReduction_60
+happyReduction_60 = happyIn30
([]
)
-happyReduce_53 = happySpecReduce_1 22# happyReduction_53
-happyReduction_53 happy_x_1
- = case happyOut26 happy_x_1 of { happy_var_1 ->
- happyIn27
+happyReduce_61 = happySpecReduce_1 25# happyReduction_61
+happyReduction_61 happy_x_1
+ = case happyOut29 happy_x_1 of { happy_var_1 ->
+ happyIn30
((:[]) happy_var_1
)}
-happyReduce_54 = happySpecReduce_3 22# happyReduction_54
-happyReduction_54 happy_x_3
+happyReduce_62 = happySpecReduce_3 25# happyReduction_62
+happyReduction_62 happy_x_3
happy_x_2
happy_x_1
- = case happyOut26 happy_x_1 of { happy_var_1 ->
- case happyOut27 happy_x_3 of { happy_var_3 ->
- happyIn27
+ = case happyOut29 happy_x_1 of { happy_var_1 ->
+ case happyOut30 happy_x_3 of { happy_var_3 ->
+ happyIn30
((:) happy_var_1 happy_var_3
)}}
-happyReduce_55 = happySpecReduce_3 23# happyReduction_55
-happyReduction_55 happy_x_3
- happy_x_2
- happy_x_1
- = case happyOut16 happy_x_1 of { happy_var_1 ->
- case happyOut25 happy_x_3 of { happy_var_3 ->
- happyIn28
- (Case happy_var_1 happy_var_3
- )}}
+happyReduce_63 = happyReduce 4# 26# happyReduction_63
+happyReduction_63 (happy_x_4 `HappyStk`
+ happy_x_3 `HappyStk`
+ happy_x_2 `HappyStk`
+ happy_x_1 `HappyStk`
+ happyRest)
+ = case happyOut17 happy_x_1 of { happy_var_1 ->
+ case happyOut16 happy_x_2 of { happy_var_2 ->
+ case happyOut26 happy_x_4 of { happy_var_4 ->
+ happyIn31
+ (Case happy_var_1 happy_var_2 happy_var_4
+ ) `HappyStk` happyRest}}}
-happyReduce_56 = happySpecReduce_0 24# happyReduction_56
-happyReduction_56 = happyIn29
+happyReduce_64 = happySpecReduce_0 27# happyReduction_64
+happyReduction_64 = happyIn32
([]
)
-happyReduce_57 = happySpecReduce_1 24# happyReduction_57
-happyReduction_57 happy_x_1
- = case happyOut28 happy_x_1 of { happy_var_1 ->
- happyIn29
+happyReduce_65 = happySpecReduce_1 27# happyReduction_65
+happyReduction_65 happy_x_1
+ = case happyOut31 happy_x_1 of { happy_var_1 ->
+ happyIn32
((:[]) happy_var_1
)}
-happyReduce_58 = happySpecReduce_3 24# happyReduction_58
-happyReduction_58 happy_x_3
+happyReduce_66 = happySpecReduce_3 27# happyReduction_66
+happyReduction_66 happy_x_3
happy_x_2
happy_x_1
- = case happyOut28 happy_x_1 of { happy_var_1 ->
- case happyOut29 happy_x_3 of { happy_var_3 ->
- happyIn29
+ = case happyOut31 happy_x_1 of { happy_var_1 ->
+ case happyOut32 happy_x_3 of { happy_var_3 ->
+ happyIn32
((:) happy_var_1 happy_var_3
)}}
-happyReduce_59 = happySpecReduce_3 25# happyReduction_59
-happyReduction_59 happy_x_3
+happyReduce_67 = happySpecReduce_3 28# happyReduction_67
+happyReduction_67 happy_x_3
happy_x_2
happy_x_1
- = case happyOut33 happy_x_1 of { happy_var_1 ->
- case happyOut25 happy_x_3 of { happy_var_3 ->
- happyIn30
+ = case happyOut27 happy_x_1 of { happy_var_1 ->
+ case happyOut26 happy_x_3 of { happy_var_3 ->
+ happyIn33
(BindVar happy_var_1 happy_var_3
)}}
-happyReduce_60 = happySpecReduce_1 25# happyReduction_60
-happyReduction_60 happy_x_1
- = case happyOut25 happy_x_1 of { happy_var_1 ->
- happyIn30
+happyReduce_68 = happySpecReduce_1 28# happyReduction_68
+happyReduction_68 happy_x_1
+ = case happyOut26 happy_x_1 of { happy_var_1 ->
+ happyIn33
(BindNoVar happy_var_1
)}
-happyReduce_61 = happySpecReduce_0 26# happyReduction_61
-happyReduction_61 = happyIn31
+happyReduce_69 = happySpecReduce_0 29# happyReduction_69
+happyReduction_69 = happyIn34
([]
)
-happyReduce_62 = happySpecReduce_3 26# happyReduction_62
-happyReduction_62 happy_x_3
- happy_x_2
- happy_x_1
- = case happyOut31 happy_x_1 of { happy_var_1 ->
- case happyOut30 happy_x_2 of { happy_var_2 ->
- happyIn31
- (flip (:) happy_var_1 happy_var_2
- )}}
-
-happyReduce_63 = happyReduce 4# 27# happyReduction_63
-happyReduction_63 (happy_x_4 `HappyStk`
- happy_x_3 `HappyStk`
- happy_x_2 `HappyStk`
- happy_x_1 `HappyStk`
- happyRest)
- = case happyOut33 happy_x_2 of { happy_var_2 ->
- case happyOut25 happy_x_4 of { happy_var_4 ->
- happyIn32
- (EAbs happy_var_2 happy_var_4
- ) `HappyStk` happyRest}}
-
-happyReduce_64 = happyReduce 7# 27# happyReduction_64
-happyReduction_64 (happy_x_7 `HappyStk`
- happy_x_6 `HappyStk`
- happy_x_5 `HappyStk`
- happy_x_4 `HappyStk`
- happy_x_3 `HappyStk`
- happy_x_2 `HappyStk`
- happy_x_1 `HappyStk`
- happyRest)
- = case happyOut33 happy_x_2 of { happy_var_2 ->
- case happyOut25 happy_x_4 of { happy_var_4 ->
- case happyOut25 happy_x_7 of { happy_var_7 ->
- happyIn32
- (EPi happy_var_2 happy_var_4 happy_var_7
- ) `HappyStk` happyRest}}}
-
-happyReduce_65 = happySpecReduce_3 27# happyReduction_65
-happyReduction_65 happy_x_3
- happy_x_2
- happy_x_1
- = case happyOut34 happy_x_1 of { happy_var_1 ->
- case happyOut25 happy_x_3 of { happy_var_3 ->
- happyIn32
- (EPiNoVar happy_var_1 happy_var_3
- )}}
-
-happyReduce_66 = happySpecReduce_1 27# happyReduction_66
-happyReduction_66 happy_x_1
- = case happyOut34 happy_x_1 of { happy_var_1 ->
- happyIn32
- (happy_var_1
- )}
-
-happyReduce_67 = happySpecReduce_1 28# happyReduction_67
-happyReduction_67 happy_x_1
- = case happyOut5 happy_x_1 of { happy_var_1 ->
- happyIn33
- (VVar happy_var_1
- )}
-
-happyReduce_68 = happySpecReduce_1 28# happyReduction_68
-happyReduction_68 happy_x_1
- = happyIn33
- (VWild
- )
-
-happyReduce_69 = happySpecReduce_3 29# happyReduction_69
-happyReduction_69 happy_x_3
- happy_x_2
- happy_x_1
- = case happyOut34 happy_x_1 of { happy_var_1 ->
- case happyOut35 happy_x_3 of { happy_var_3 ->
- happyIn34
- (EBind happy_var_1 happy_var_3
- )}}
-
happyReduce_70 = happySpecReduce_3 29# happyReduction_70
happyReduction_70 happy_x_3
happy_x_2
happy_x_1
= case happyOut34 happy_x_1 of { happy_var_1 ->
- case happyOut35 happy_x_3 of { happy_var_3 ->
+ case happyOut33 happy_x_2 of { happy_var_2 ->
happyIn34
- (EBindC happy_var_1 happy_var_3
+ (flip (:) happy_var_1 happy_var_2
)}}
-happyReduce_71 = happySpecReduce_1 29# happyReduction_71
-happyReduction_71 happy_x_1
+happyReduce_71 = happySpecReduce_3 30# happyReduction_71
+happyReduction_71 happy_x_3
+ happy_x_2
+ happy_x_1
= case happyOut35 happy_x_1 of { happy_var_1 ->
- happyIn34
- (happy_var_1
- )}
+ case happyOut36 happy_x_3 of { happy_var_3 ->
+ happyIn35
+ (EBind happy_var_1 happy_var_3
+ )}}
happyReduce_72 = happySpecReduce_3 30# happyReduction_72
happyReduction_72 happy_x_3
happy_x_2
happy_x_1
- = case happyOut36 happy_x_1 of { happy_var_1 ->
- case happyOut35 happy_x_3 of { happy_var_3 ->
+ = case happyOut35 happy_x_1 of { happy_var_1 ->
+ case happyOut36 happy_x_3 of { happy_var_3 ->
happyIn35
- (EOr happy_var_1 happy_var_3
+ (EBindC happy_var_1 happy_var_3
)}}
happyReduce_73 = happySpecReduce_1 30# happyReduction_73
@@ -1067,7 +1076,7 @@ happyReduction_74 happy_x_3
= case happyOut37 happy_x_1 of { happy_var_1 ->
case happyOut36 happy_x_3 of { happy_var_3 ->
happyIn36
- (EAnd happy_var_1 happy_var_3
+ (EOr happy_var_1 happy_var_3
)}}
happyReduce_75 = happySpecReduce_1 31# happyReduction_75
@@ -1082,76 +1091,76 @@ happyReduction_76 happy_x_3
happy_x_2
happy_x_1
= case happyOut38 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
+ case happyOut37 happy_x_3 of { happy_var_3 ->
happyIn37
- (EEq happy_var_1 happy_var_3
+ (EAnd happy_var_1 happy_var_3
)}}
-happyReduce_77 = happySpecReduce_3 32# happyReduction_77
-happyReduction_77 happy_x_3
- happy_x_2
- happy_x_1
+happyReduce_77 = happySpecReduce_1 32# happyReduction_77
+happyReduction_77 happy_x_1
= case happyOut38 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
happyIn37
- (ENe happy_var_1 happy_var_3
- )}}
+ (happy_var_1
+ )}
-happyReduce_78 = happySpecReduce_3 32# happyReduction_78
+happyReduce_78 = happySpecReduce_3 33# happyReduction_78
happyReduction_78 happy_x_3
happy_x_2
happy_x_1
- = case happyOut38 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
- happyIn37
- (ELt happy_var_1 happy_var_3
+ = case happyOut39 happy_x_1 of { happy_var_1 ->
+ case happyOut39 happy_x_3 of { happy_var_3 ->
+ happyIn38
+ (EEq happy_var_1 happy_var_3
)}}
-happyReduce_79 = happySpecReduce_3 32# happyReduction_79
+happyReduce_79 = happySpecReduce_3 33# happyReduction_79
happyReduction_79 happy_x_3
happy_x_2
happy_x_1
- = case happyOut38 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
- happyIn37
- (ELe happy_var_1 happy_var_3
+ = case happyOut39 happy_x_1 of { happy_var_1 ->
+ case happyOut39 happy_x_3 of { happy_var_3 ->
+ happyIn38
+ (ENe happy_var_1 happy_var_3
)}}
-happyReduce_80 = happySpecReduce_3 32# happyReduction_80
+happyReduce_80 = happySpecReduce_3 33# happyReduction_80
happyReduction_80 happy_x_3
happy_x_2
happy_x_1
- = case happyOut38 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
- happyIn37
- (EGt happy_var_1 happy_var_3
+ = case happyOut39 happy_x_1 of { happy_var_1 ->
+ case happyOut39 happy_x_3 of { happy_var_3 ->
+ happyIn38
+ (ELt happy_var_1 happy_var_3
)}}
-happyReduce_81 = happySpecReduce_3 32# happyReduction_81
+happyReduce_81 = happySpecReduce_3 33# happyReduction_81
happyReduction_81 happy_x_3
happy_x_2
happy_x_1
- = case happyOut38 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
- happyIn37
- (EGe happy_var_1 happy_var_3
+ = case happyOut39 happy_x_1 of { happy_var_1 ->
+ case happyOut39 happy_x_3 of { happy_var_3 ->
+ happyIn38
+ (ELe happy_var_1 happy_var_3
)}}
-happyReduce_82 = happySpecReduce_1 32# happyReduction_82
-happyReduction_82 happy_x_1
- = case happyOut38 happy_x_1 of { happy_var_1 ->
- happyIn37
- (happy_var_1
- )}
+happyReduce_82 = happySpecReduce_3 33# happyReduction_82
+happyReduction_82 happy_x_3
+ happy_x_2
+ happy_x_1
+ = case happyOut39 happy_x_1 of { happy_var_1 ->
+ case happyOut39 happy_x_3 of { happy_var_3 ->
+ happyIn38
+ (EGt happy_var_1 happy_var_3
+ )}}
happyReduce_83 = happySpecReduce_3 33# happyReduction_83
happyReduction_83 happy_x_3
happy_x_2
happy_x_1
= case happyOut39 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
+ case happyOut39 happy_x_3 of { happy_var_3 ->
happyIn38
- (EListCons happy_var_1 happy_var_3
+ (EGe happy_var_1 happy_var_3
)}}
happyReduce_84 = happySpecReduce_1 33# happyReduction_84
@@ -1165,73 +1174,75 @@ happyReduce_85 = happySpecReduce_3 34# happyReduction_85
happyReduction_85 happy_x_3
happy_x_2
happy_x_1
- = case happyOut39 happy_x_1 of { happy_var_1 ->
- case happyOut40 happy_x_3 of { happy_var_3 ->
- happyIn39
- (EAdd happy_var_1 happy_var_3
- )}}
-
-happyReduce_86 = happySpecReduce_3 34# happyReduction_86
-happyReduction_86 happy_x_3
- happy_x_2
- happy_x_1
- = case happyOut39 happy_x_1 of { happy_var_1 ->
- case happyOut40 happy_x_3 of { happy_var_3 ->
+ = case happyOut40 happy_x_1 of { happy_var_1 ->
+ case happyOut39 happy_x_3 of { happy_var_3 ->
happyIn39
- (ESub happy_var_1 happy_var_3
+ (EListCons happy_var_1 happy_var_3
)}}
-happyReduce_87 = happySpecReduce_1 34# happyReduction_87
-happyReduction_87 happy_x_1
+happyReduce_86 = happySpecReduce_1 34# happyReduction_86
+happyReduction_86 happy_x_1
= case happyOut40 happy_x_1 of { happy_var_1 ->
happyIn39
(happy_var_1
)}
-happyReduce_88 = happySpecReduce_3 35# happyReduction_88
-happyReduction_88 happy_x_3
+happyReduce_87 = happySpecReduce_3 35# happyReduction_87
+happyReduction_87 happy_x_3
happy_x_2
happy_x_1
= case happyOut40 happy_x_1 of { happy_var_1 ->
case happyOut41 happy_x_3 of { happy_var_3 ->
happyIn40
- (EMul happy_var_1 happy_var_3
+ (EAdd happy_var_1 happy_var_3
)}}
-happyReduce_89 = happySpecReduce_3 35# happyReduction_89
-happyReduction_89 happy_x_3
+happyReduce_88 = happySpecReduce_3 35# happyReduction_88
+happyReduction_88 happy_x_3
happy_x_2
happy_x_1
= case happyOut40 happy_x_1 of { happy_var_1 ->
case happyOut41 happy_x_3 of { happy_var_3 ->
happyIn40
- (EDiv happy_var_1 happy_var_3
+ (ESub happy_var_1 happy_var_3
)}}
-happyReduce_90 = happySpecReduce_3 35# happyReduction_90
+happyReduce_89 = happySpecReduce_1 35# happyReduction_89
+happyReduction_89 happy_x_1
+ = case happyOut41 happy_x_1 of { happy_var_1 ->
+ happyIn40
+ (happy_var_1
+ )}
+
+happyReduce_90 = happySpecReduce_3 36# happyReduction_90
happyReduction_90 happy_x_3
happy_x_2
happy_x_1
- = case happyOut40 happy_x_1 of { happy_var_1 ->
- case happyOut41 happy_x_3 of { happy_var_3 ->
- happyIn40
- (EMod happy_var_1 happy_var_3
+ = case happyOut41 happy_x_1 of { happy_var_1 ->
+ case happyOut42 happy_x_3 of { happy_var_3 ->
+ happyIn41
+ (EMul happy_var_1 happy_var_3
)}}
-happyReduce_91 = happySpecReduce_1 35# happyReduction_91
-happyReduction_91 happy_x_1
+happyReduce_91 = happySpecReduce_3 36# happyReduction_91
+happyReduction_91 happy_x_3
+ happy_x_2
+ happy_x_1
= case happyOut41 happy_x_1 of { happy_var_1 ->
- happyIn40
- (happy_var_1
- )}
+ case happyOut42 happy_x_3 of { happy_var_3 ->
+ happyIn41
+ (EDiv happy_var_1 happy_var_3
+ )}}
-happyReduce_92 = happySpecReduce_2 36# happyReduction_92
-happyReduction_92 happy_x_2
+happyReduce_92 = happySpecReduce_3 36# happyReduction_92
+happyReduction_92 happy_x_3
+ happy_x_2
happy_x_1
- = case happyOut41 happy_x_2 of { happy_var_2 ->
+ = case happyOut41 happy_x_1 of { happy_var_1 ->
+ case happyOut42 happy_x_3 of { happy_var_3 ->
happyIn41
- (ENeg happy_var_2
- )}
+ (EMod happy_var_1 happy_var_3
+ )}}
happyReduce_93 = happySpecReduce_1 36# happyReduction_93
happyReduction_93 happy_x_1
@@ -1243,11 +1254,10 @@ happyReduction_93 happy_x_1
happyReduce_94 = happySpecReduce_2 37# happyReduction_94
happyReduction_94 happy_x_2
happy_x_1
- = case happyOut42 happy_x_1 of { happy_var_1 ->
- case happyOut43 happy_x_2 of { happy_var_2 ->
+ = case happyOut42 happy_x_2 of { happy_var_2 ->
happyIn42
- (EApp happy_var_1 happy_var_2
- )}}
+ (ENeg happy_var_2
+ )}
happyReduce_95 = happySpecReduce_1 37# happyReduction_95
happyReduction_95 happy_x_1
@@ -1256,14 +1266,13 @@ happyReduction_95 happy_x_1
(happy_var_1
)}
-happyReduce_96 = happySpecReduce_3 38# happyReduction_96
-happyReduction_96 happy_x_3
- happy_x_2
+happyReduce_96 = happySpecReduce_2 38# happyReduction_96
+happyReduction_96 happy_x_2
happy_x_1
= case happyOut43 happy_x_1 of { happy_var_1 ->
- case happyOut5 happy_x_3 of { happy_var_3 ->
+ case happyOut44 happy_x_2 of { happy_var_2 ->
happyIn43
- (EProj happy_var_1 happy_var_3
+ (EApp happy_var_1 happy_var_2
)}}
happyReduce_97 = happySpecReduce_1 38# happyReduction_97
@@ -1273,181 +1282,198 @@ happyReduction_97 happy_x_1
(happy_var_1
)}
-happyReduce_98 = happyReduce 4# 39# happyReduction_98
-happyReduction_98 (happy_x_4 `HappyStk`
+happyReduce_98 = happySpecReduce_3 39# happyReduction_98
+happyReduction_98 happy_x_3
+ happy_x_2
+ happy_x_1
+ = case happyOut44 happy_x_1 of { happy_var_1 ->
+ case happyOut5 happy_x_3 of { happy_var_3 ->
+ happyIn44
+ (EProj happy_var_1 happy_var_3
+ )}}
+
+happyReduce_99 = happySpecReduce_1 39# happyReduction_99
+happyReduction_99 happy_x_1
+ = case happyOut45 happy_x_1 of { happy_var_1 ->
+ happyIn44
+ (happy_var_1
+ )}
+
+happyReduce_100 = happyReduce 4# 40# happyReduction_100
+happyReduction_100 (happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut46 happy_x_3 of { happy_var_3 ->
- happyIn44
+ = case happyOut47 happy_x_3 of { happy_var_3 ->
+ happyIn45
(ERecType happy_var_3
) `HappyStk` happyRest}
-happyReduce_99 = happyReduce 4# 39# happyReduction_99
-happyReduction_99 (happy_x_4 `HappyStk`
+happyReduce_101 = happyReduce 4# 40# happyReduction_101
+happyReduction_101 (happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut48 happy_x_3 of { happy_var_3 ->
- happyIn44
+ = case happyOut49 happy_x_3 of { happy_var_3 ->
+ happyIn45
(ERec happy_var_3
) `HappyStk` happyRest}
-happyReduce_100 = happySpecReduce_3 39# happyReduction_100
-happyReduction_100 happy_x_3
+happyReduce_102 = happySpecReduce_3 40# happyReduction_102
+happyReduction_102 happy_x_3
happy_x_2
happy_x_1
- = case happyOut50 happy_x_2 of { happy_var_2 ->
- happyIn44
+ = case happyOut51 happy_x_2 of { happy_var_2 ->
+ happyIn45
(EList happy_var_2
)}
-happyReduce_101 = happySpecReduce_1 39# happyReduction_101
-happyReduction_101 happy_x_1
+happyReduce_103 = happySpecReduce_1 40# happyReduction_103
+happyReduction_103 happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- happyIn44
+ happyIn45
(EVar happy_var_1
)}
-happyReduce_102 = happySpecReduce_1 39# happyReduction_102
-happyReduction_102 happy_x_1
- = happyIn44
+happyReduce_104 = happySpecReduce_1 40# happyReduction_104
+happyReduction_104 happy_x_1
+ = happyIn45
(EType
)
-happyReduce_103 = happySpecReduce_1 39# happyReduction_103
-happyReduction_103 happy_x_1
+happyReduce_105 = happySpecReduce_1 40# happyReduction_105
+happyReduction_105 happy_x_1
= case happyOut6 happy_x_1 of { happy_var_1 ->
- happyIn44
+ happyIn45
(EStr happy_var_1
)}
-happyReduce_104 = happySpecReduce_1 39# happyReduction_104
-happyReduction_104 happy_x_1
+happyReduce_106 = happySpecReduce_1 40# happyReduction_106
+happyReduction_106 happy_x_1
= case happyOut7 happy_x_1 of { happy_var_1 ->
- happyIn44
+ happyIn45
(EInteger happy_var_1
)}
-happyReduce_105 = happySpecReduce_1 39# happyReduction_105
-happyReduction_105 happy_x_1
+happyReduce_107 = happySpecReduce_1 40# happyReduction_107
+happyReduction_107 happy_x_1
= case happyOut8 happy_x_1 of { happy_var_1 ->
- happyIn44
+ happyIn45
(EDouble happy_var_1
)}
-happyReduce_106 = happySpecReduce_1 39# happyReduction_106
-happyReduction_106 happy_x_1
- = happyIn44
+happyReduce_108 = happySpecReduce_1 40# happyReduction_108
+happyReduction_108 happy_x_1
+ = happyIn45
(EMeta
)
-happyReduce_107 = happySpecReduce_3 39# happyReduction_107
-happyReduction_107 happy_x_3
+happyReduce_109 = happySpecReduce_3 40# happyReduction_109
+happyReduction_109 happy_x_3
happy_x_2
happy_x_1
- = case happyOut25 happy_x_2 of { happy_var_2 ->
- happyIn44
+ = case happyOut26 happy_x_2 of { happy_var_2 ->
+ happyIn45
(happy_var_2
)}
-happyReduce_108 = happySpecReduce_3 40# happyReduction_108
-happyReduction_108 happy_x_3
+happyReduce_110 = happySpecReduce_3 41# happyReduction_110
+happyReduction_110 happy_x_3
happy_x_2
happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut25 happy_x_3 of { happy_var_3 ->
- happyIn45
+ case happyOut26 happy_x_3 of { happy_var_3 ->
+ happyIn46
(FieldType happy_var_1 happy_var_3
)}}
-happyReduce_109 = happySpecReduce_0 41# happyReduction_109
-happyReduction_109 = happyIn46
+happyReduce_111 = happySpecReduce_0 42# happyReduction_111
+happyReduction_111 = happyIn47
([]
)
-happyReduce_110 = happySpecReduce_1 41# happyReduction_110
-happyReduction_110 happy_x_1
- = case happyOut45 happy_x_1 of { happy_var_1 ->
- happyIn46
+happyReduce_112 = happySpecReduce_1 42# happyReduction_112
+happyReduction_112 happy_x_1
+ = case happyOut46 happy_x_1 of { happy_var_1 ->
+ happyIn47
((:[]) happy_var_1
)}
-happyReduce_111 = happySpecReduce_3 41# happyReduction_111
-happyReduction_111 happy_x_3
+happyReduce_113 = happySpecReduce_3 42# happyReduction_113
+happyReduction_113 happy_x_3
happy_x_2
happy_x_1
- = case happyOut45 happy_x_1 of { happy_var_1 ->
- case happyOut46 happy_x_3 of { happy_var_3 ->
- happyIn46
+ = case happyOut46 happy_x_1 of { happy_var_1 ->
+ case happyOut47 happy_x_3 of { happy_var_3 ->
+ happyIn47
((:) happy_var_1 happy_var_3
)}}
-happyReduce_112 = happySpecReduce_3 42# happyReduction_112
-happyReduction_112 happy_x_3
+happyReduce_114 = happySpecReduce_3 43# happyReduction_114
+happyReduction_114 happy_x_3
happy_x_2
happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut25 happy_x_3 of { happy_var_3 ->
- happyIn47
+ case happyOut26 happy_x_3 of { happy_var_3 ->
+ happyIn48
(FieldValue happy_var_1 happy_var_3
)}}
-happyReduce_113 = happySpecReduce_0 43# happyReduction_113
-happyReduction_113 = happyIn48
+happyReduce_115 = happySpecReduce_0 44# happyReduction_115
+happyReduction_115 = happyIn49
([]
)
-happyReduce_114 = happySpecReduce_1 43# happyReduction_114
-happyReduction_114 happy_x_1
- = case happyOut47 happy_x_1 of { happy_var_1 ->
- happyIn48
+happyReduce_116 = happySpecReduce_1 44# happyReduction_116
+happyReduction_116 happy_x_1
+ = case happyOut48 happy_x_1 of { happy_var_1 ->
+ happyIn49
((:[]) happy_var_1
)}
-happyReduce_115 = happySpecReduce_3 43# happyReduction_115
-happyReduction_115 happy_x_3
+happyReduce_117 = happySpecReduce_3 44# happyReduction_117
+happyReduction_117 happy_x_3
happy_x_2
happy_x_1
- = case happyOut47 happy_x_1 of { happy_var_1 ->
- case happyOut48 happy_x_3 of { happy_var_3 ->
- happyIn48
+ = case happyOut48 happy_x_1 of { happy_var_1 ->
+ case happyOut49 happy_x_3 of { happy_var_3 ->
+ happyIn49
((:) happy_var_1 happy_var_3
)}}
-happyReduce_116 = happySpecReduce_1 44# happyReduction_116
-happyReduction_116 happy_x_1
- = case happyOut32 happy_x_1 of { happy_var_1 ->
- happyIn49
+happyReduce_118 = happySpecReduce_1 45# happyReduction_118
+happyReduction_118 happy_x_1
+ = case happyOut35 happy_x_1 of { happy_var_1 ->
+ happyIn50
(happy_var_1
)}
-happyReduce_117 = happySpecReduce_0 45# happyReduction_117
-happyReduction_117 = happyIn50
+happyReduce_119 = happySpecReduce_0 46# happyReduction_119
+happyReduction_119 = happyIn51
([]
)
-happyReduce_118 = happySpecReduce_1 45# happyReduction_118
-happyReduction_118 happy_x_1
- = case happyOut25 happy_x_1 of { happy_var_1 ->
- happyIn50
+happyReduce_120 = happySpecReduce_1 46# happyReduction_120
+happyReduction_120 happy_x_1
+ = case happyOut26 happy_x_1 of { happy_var_1 ->
+ happyIn51
((:[]) happy_var_1
)}
-happyReduce_119 = happySpecReduce_3 45# happyReduction_119
-happyReduction_119 happy_x_3
+happyReduce_121 = happySpecReduce_3 46# happyReduction_121
+happyReduction_121 happy_x_3
happy_x_2
happy_x_1
- = case happyOut25 happy_x_1 of { happy_var_1 ->
- case happyOut50 happy_x_3 of { happy_var_3 ->
- happyIn50
+ = case happyOut26 happy_x_1 of { happy_var_1 ->
+ case happyOut51 happy_x_3 of { happy_var_3 ->
+ happyIn51
((:) happy_var_1 happy_var_3
)}}
happyNewToken action sts stk [] =
- happyDoAction 53# (error "reading EOF!") action sts stk []
+ happyDoAction 54# (error "reading EOF!") action sts stk []
happyNewToken action sts stk (tk:tks) =
let cont i = happyDoAction i tk action sts stk tks in
@@ -1457,53 +1483,54 @@ happyNewToken action sts stk (tk:tks) =
PT _ (TS "{") -> cont 3#;
PT _ (TS "}") -> cont 4#;
PT _ (TS "=") -> cont 5#;
- PT _ (TS "||") -> cont 6#;
- PT _ (TS "::") -> cont 7#;
- PT _ (TS "(") -> cont 8#;
- PT _ (TS ")") -> cont 9#;
- PT _ (TS "[") -> cont 10#;
- PT _ (TS "]") -> cont 11#;
- PT _ (TS ",") -> cont 12#;
- PT _ (TS "_") -> cont 13#;
- PT _ (TS "->") -> cont 14#;
- PT _ (TS "<-") -> cont 15#;
+ PT _ (TS "|") -> cont 6#;
+ PT _ (TS "||") -> cont 7#;
+ PT _ (TS "::") -> cont 8#;
+ PT _ (TS "(") -> cont 9#;
+ PT _ (TS ")") -> cont 10#;
+ PT _ (TS "[") -> cont 11#;
+ PT _ (TS "]") -> cont 12#;
+ PT _ (TS ",") -> cont 13#;
+ PT _ (TS "_") -> cont 14#;
+ PT _ (TS "->") -> cont 15#;
PT _ (TS "\\") -> cont 16#;
- PT _ (TS ">>=") -> cont 17#;
- PT _ (TS ">>") -> cont 18#;
- PT _ (TS "&&") -> cont 19#;
- PT _ (TS "==") -> cont 20#;
- PT _ (TS "/=") -> cont 21#;
- PT _ (TS "<") -> cont 22#;
- PT _ (TS "<=") -> cont 23#;
- PT _ (TS ">") -> cont 24#;
- PT _ (TS ">=") -> cont 25#;
- PT _ (TS "+") -> cont 26#;
- PT _ (TS "-") -> cont 27#;
- PT _ (TS "*") -> cont 28#;
- PT _ (TS "/") -> cont 29#;
- PT _ (TS "%") -> cont 30#;
- PT _ (TS ".") -> cont 31#;
- PT _ (TS "?") -> cont 32#;
- PT _ (TS "Type") -> cont 33#;
- PT _ (TS "case") -> cont 34#;
- PT _ (TS "data") -> cont 35#;
- PT _ (TS "derive") -> cont 36#;
- PT _ (TS "do") -> cont 37#;
- PT _ (TS "else") -> cont 38#;
- PT _ (TS "if") -> cont 39#;
- PT _ (TS "import") -> cont 40#;
- PT _ (TS "in") -> cont 41#;
- PT _ (TS "let") -> cont 42#;
- PT _ (TS "of") -> cont 43#;
- PT _ (TS "rec") -> cont 44#;
- PT _ (TS "sig") -> cont 45#;
- PT _ (TS "then") -> cont 46#;
- PT _ (TS "where") -> cont 47#;
- PT _ (TV happy_dollar_dollar) -> cont 48#;
- PT _ (TL happy_dollar_dollar) -> cont 49#;
- PT _ (TI happy_dollar_dollar) -> cont 50#;
- PT _ (TD happy_dollar_dollar) -> cont 51#;
- _ -> cont 52#;
+ PT _ (TS "<-") -> cont 17#;
+ PT _ (TS ">>=") -> cont 18#;
+ PT _ (TS ">>") -> cont 19#;
+ PT _ (TS "&&") -> cont 20#;
+ PT _ (TS "==") -> cont 21#;
+ PT _ (TS "/=") -> cont 22#;
+ PT _ (TS "<") -> cont 23#;
+ PT _ (TS "<=") -> cont 24#;
+ PT _ (TS ">") -> cont 25#;
+ PT _ (TS ">=") -> cont 26#;
+ PT _ (TS "+") -> cont 27#;
+ PT _ (TS "-") -> cont 28#;
+ PT _ (TS "*") -> cont 29#;
+ PT _ (TS "/") -> cont 30#;
+ PT _ (TS "%") -> cont 31#;
+ PT _ (TS ".") -> cont 32#;
+ PT _ (TS "?") -> cont 33#;
+ PT _ (TS "Type") -> cont 34#;
+ PT _ (TS "case") -> cont 35#;
+ PT _ (TS "data") -> cont 36#;
+ PT _ (TS "derive") -> cont 37#;
+ PT _ (TS "do") -> cont 38#;
+ PT _ (TS "else") -> cont 39#;
+ PT _ (TS "if") -> cont 40#;
+ PT _ (TS "import") -> cont 41#;
+ PT _ (TS "in") -> cont 42#;
+ PT _ (TS "let") -> cont 43#;
+ PT _ (TS "of") -> cont 44#;
+ PT _ (TS "rec") -> cont 45#;
+ PT _ (TS "sig") -> cont 46#;
+ PT _ (TS "then") -> cont 47#;
+ PT _ (TS "where") -> cont 48#;
+ PT _ (TV happy_dollar_dollar) -> cont 49#;
+ PT _ (TL happy_dollar_dollar) -> cont 50#;
+ PT _ (TI happy_dollar_dollar) -> cont 51#;
+ PT _ (TD happy_dollar_dollar) -> cont 52#;
+ _ -> cont 53#;
_ -> happyError' (tk:tks)
}
@@ -1523,7 +1550,7 @@ pModule tks = happySomeParser where
happySomeParser = happyThen (happyParse 0# tks) (\x -> happyReturn (happyOut9 x))
pExp tks = happySomeParser where
- happySomeParser = happyThen (happyParse 1# tks) (\x -> happyReturn (happyOut25 x))
+ happySomeParser = happyThen (happyParse 1# tks) (\x -> happyReturn (happyOut26 x))
happySeq = happyDontSeq
diff --git a/src/Transfer/Syntax/Par.y b/src/Transfer/Syntax/Par.y
index d850c8bd8..9b66dccd1 100644
--- a/src/Transfer/Syntax/Par.y
+++ b/src/Transfer/Syntax/Par.y
@@ -19,6 +19,7 @@ import Transfer.ErrM
'{' { PT _ (TS "{") }
'}' { PT _ (TS "}") }
'=' { PT _ (TS "=") }
+ '|' { PT _ (TS "|") }
'||' { PT _ (TS "||") }
'::' { PT _ (TS "::") }
'(' { PT _ (TS "(") }
@@ -28,8 +29,8 @@ import Transfer.ErrM
',' { PT _ (TS ",") }
'_' { PT _ (TS "_") }
'->' { PT _ (TS "->") }
- '<-' { PT _ (TS "<-") }
'\\' { PT _ (TS "\\") }
+ '<-' { PT _ (TS "<-") }
'>>=' { PT _ (TS ">>=") }
'>>' { PT _ (TS ">>") }
'&&' { PT _ (TS "&&") }
@@ -93,7 +94,7 @@ ListImport : {- empty -} { [] }
Decl :: { Decl }
Decl : 'data' Ident ':' Exp 'where' '{' ListConsDecl '}' { DataDecl $2 $4 $7 }
| Ident ':' Exp { TypeDecl $1 $3 }
- | Ident ListPattern '=' Exp { ValueDecl $1 (reverse $2) $4 }
+ | Ident ListPattern Guard '=' Exp { ValueDecl $1 (reverse $2) $3 $5 }
| 'derive' Ident Ident { DeriveDecl $2 $3 }
@@ -113,6 +114,11 @@ ListConsDecl : {- empty -} { [] }
| ConsDecl ';' ListConsDecl { (:) $1 $3 }
+Guard :: { Guard }
+Guard : '|' Exp1 { GuardExp $2 }
+ | {- empty -} { GuardNo }
+
+
Pattern :: { Pattern }
Pattern : Pattern1 '||' Pattern { POr $1 $3 }
| Pattern1 { $1 }
@@ -165,11 +171,23 @@ ListFieldPattern : {- empty -} { [] }
Exp :: { Exp }
-Exp : 'let' '{' ListLetDef '}' 'in' Exp { ELet $3 $6 }
+Exp : '(' VarOrWild ':' Exp ')' '->' Exp { EPi $2 $4 $7 }
+ | Exp1 '->' Exp { EPiNoVar $1 $3 }
+ | Exp1 { $1 }
+
+
+VarOrWild :: { VarOrWild }
+VarOrWild : Ident { VVar $1 }
+ | '_' { VWild }
+
+
+Exp1 :: { Exp }
+Exp1 : '\\' VarOrWild '->' Exp1 { EAbs $2 $4 }
+ | 'let' '{' ListLetDef '}' 'in' Exp1 { ELet $3 $6 }
| 'case' Exp 'of' '{' ListCase '}' { ECase $2 $5 }
- | 'if' Exp 'then' Exp 'else' Exp { EIf $2 $4 $6 }
+ | 'if' Exp 'then' Exp 'else' Exp1 { EIf $2 $4 $6 }
| 'do' '{' ListBind Exp '}' { EDo (reverse $3) $4 }
- | Exp1 { $1 }
+ | Exp2 { $1 }
LetDef :: { LetDef }
@@ -183,7 +201,7 @@ ListLetDef : {- empty -} { [] }
Case :: { Case }
-Case : Pattern '->' Exp { Case $1 $3 }
+Case : Pattern Guard '->' Exp { Case $1 $2 $4 }
ListCase :: { [Case] }
@@ -202,18 +220,6 @@ ListBind : {- empty -} { [] }
| ListBind Bind ';' { flip (:) $1 $2 }
-Exp2 :: { Exp }
-Exp2 : '\\' VarOrWild '->' Exp { EAbs $2 $4 }
- | '(' VarOrWild ':' Exp ')' '->' Exp { EPi $2 $4 $7 }
- | Exp3 '->' Exp { EPiNoVar $1 $3 }
- | Exp3 { $1 }
-
-
-VarOrWild :: { VarOrWild }
-VarOrWild : Ident { VVar $1 }
- | '_' { VWild }
-
-
Exp3 :: { Exp }
Exp3 : Exp3 '>>=' Exp4 { EBind $1 $3 }
| Exp3 '>>' Exp4 { EBindC $1 $3 }
@@ -306,8 +312,8 @@ ListFieldValue : {- empty -} { [] }
| FieldValue ';' ListFieldValue { (:) $1 $3 }
-Exp1 :: { Exp }
-Exp1 : Exp2 { $1 }
+Exp2 :: { Exp }
+Exp2 : Exp3 { $1 }
ListExp :: { [Exp] }
diff --git a/src/Transfer/Syntax/Print.hs b/src/Transfer/Syntax/Print.hs
index 25593f98a..5b614c6e2 100644
--- a/src/Transfer/Syntax/Print.hs
+++ b/src/Transfer/Syntax/Print.hs
@@ -84,9 +84,11 @@ instance Print (Tree c) where
Import i -> prPrec _i 0 (concatD [doc (showString "import") , prt 0 i])
DataDecl i exp consdecls -> prPrec _i 0 (concatD [doc (showString "data") , prt 0 i , doc (showString ":") , prt 0 exp , doc (showString "where") , doc (showString "{") , prt 0 consdecls , doc (showString "}")])
TypeDecl i exp -> prPrec _i 0 (concatD [prt 0 i , doc (showString ":") , prt 0 exp])
- ValueDecl i patterns exp -> prPrec _i 0 (concatD [prt 0 i , prt 0 patterns , doc (showString "=") , prt 0 exp])
+ ValueDecl i patterns guard exp -> prPrec _i 0 (concatD [prt 0 i , prt 0 patterns , prt 0 guard , doc (showString "=") , prt 0 exp])
DeriveDecl i0 i1 -> prPrec _i 0 (concatD [doc (showString "derive") , prt 0 i0 , prt 0 i1])
ConsDecl i exp -> prPrec _i 0 (concatD [prt 0 i , doc (showString ":") , prt 0 exp])
+ GuardExp exp -> prPrec _i 0 (concatD [doc (showString "|") , prt 1 exp])
+ GuardNo -> prPrec _i 0 (concatD [])
POr pattern0 pattern1 -> prPrec _i 0 (concatD [prt 1 pattern0 , doc (showString "||") , prt 0 pattern1])
PListCons pattern0 pattern1 -> prPrec _i 1 (concatD [prt 2 pattern0 , doc (showString "::") , prt 1 pattern1])
PConsTop i pattern patterns -> prPrec _i 2 (concatD [prt 0 i , prt 3 pattern , prt 0 patterns])
@@ -100,13 +102,13 @@ instance Print (Tree c) where
PWild -> prPrec _i 3 (concatD [doc (showString "_")])
PListElem pattern -> prPrec _i 0 (concatD [prt 0 pattern])
FieldPattern i pattern -> prPrec _i 0 (concatD [prt 0 i , doc (showString "=") , prt 0 pattern])
- ELet letdefs exp -> prPrec _i 0 (concatD [doc (showString "let") , doc (showString "{") , prt 0 letdefs , doc (showString "}") , doc (showString "in") , prt 0 exp])
- ECase exp cases -> prPrec _i 0 (concatD [doc (showString "case") , prt 0 exp , doc (showString "of") , doc (showString "{") , prt 0 cases , doc (showString "}")])
- EIf exp0 exp1 exp2 -> prPrec _i 0 (concatD [doc (showString "if") , prt 0 exp0 , doc (showString "then") , prt 0 exp1 , doc (showString "else") , prt 0 exp2])
- EDo binds exp -> prPrec _i 0 (concatD [doc (showString "do") , doc (showString "{") , prt 0 binds , prt 0 exp , doc (showString "}")])
- EAbs varorwild exp -> prPrec _i 2 (concatD [doc (showString "\\") , prt 0 varorwild , doc (showString "->") , prt 0 exp])
- EPi varorwild exp0 exp1 -> prPrec _i 2 (concatD [doc (showString "(") , prt 0 varorwild , doc (showString ":") , prt 0 exp0 , doc (showString ")") , doc (showString "->") , prt 0 exp1])
- EPiNoVar exp0 exp1 -> prPrec _i 2 (concatD [prt 3 exp0 , doc (showString "->") , prt 0 exp1])
+ EPi varorwild exp0 exp1 -> prPrec _i 0 (concatD [doc (showString "(") , prt 0 varorwild , doc (showString ":") , prt 0 exp0 , doc (showString ")") , doc (showString "->") , prt 0 exp1])
+ EPiNoVar exp0 exp1 -> prPrec _i 0 (concatD [prt 1 exp0 , doc (showString "->") , prt 0 exp1])
+ EAbs varorwild exp -> prPrec _i 1 (concatD [doc (showString "\\") , prt 0 varorwild , doc (showString "->") , prt 1 exp])
+ ELet letdefs exp -> prPrec _i 1 (concatD [doc (showString "let") , doc (showString "{") , prt 0 letdefs , doc (showString "}") , doc (showString "in") , prt 1 exp])
+ ECase exp cases -> prPrec _i 1 (concatD [doc (showString "case") , prt 0 exp , doc (showString "of") , doc (showString "{") , prt 0 cases , doc (showString "}")])
+ EIf exp0 exp1 exp2 -> prPrec _i 1 (concatD [doc (showString "if") , prt 0 exp0 , doc (showString "then") , prt 0 exp1 , doc (showString "else") , prt 1 exp2])
+ EDo binds exp -> prPrec _i 1 (concatD [doc (showString "do") , doc (showString "{") , prt 0 binds , prt 0 exp , doc (showString "}")])
EBind exp0 exp1 -> prPrec _i 3 (concatD [prt 3 exp0 , doc (showString ">>=") , prt 4 exp1])
EBindC exp0 exp1 -> prPrec _i 3 (concatD [prt 3 exp0 , doc (showString ">>") , prt 4 exp1])
EOr exp0 exp1 -> prPrec _i 4 (concatD [prt 5 exp0 , doc (showString "||") , prt 4 exp1])
@@ -135,12 +137,12 @@ instance Print (Tree c) where
EInteger n -> prPrec _i 13 (concatD [prt 0 n])
EDouble d -> prPrec _i 13 (concatD [prt 0 d])
EMeta -> prPrec _i 13 (concatD [doc (showString "?")])
+ VVar i -> prPrec _i 0 (concatD [prt 0 i])
+ VWild -> prPrec _i 0 (concatD [doc (showString "_")])
LetDef i exp0 exp1 -> prPrec _i 0 (concatD [prt 0 i , doc (showString ":") , prt 0 exp0 , doc (showString "=") , prt 0 exp1])
- Case pattern exp -> prPrec _i 0 (concatD [prt 0 pattern , doc (showString "->") , prt 0 exp])
+ Case pattern guard exp -> prPrec _i 0 (concatD [prt 0 pattern , prt 0 guard , doc (showString "->") , prt 0 exp])
BindVar varorwild exp -> prPrec _i 0 (concatD [prt 0 varorwild , doc (showString "<-") , prt 0 exp])
BindNoVar exp -> prPrec _i 0 (concatD [prt 0 exp])
- VVar i -> prPrec _i 0 (concatD [prt 0 i])
- VWild -> prPrec _i 0 (concatD [doc (showString "_")])
FieldType i exp -> prPrec _i 0 (concatD [prt 0 i , doc (showString ":") , prt 0 exp])
FieldValue i exp -> prPrec _i 0 (concatD [prt 0 i , doc (showString "=") , prt 0 exp])
Ident str -> prPrec _i 0 (doc (showString str))
diff --git a/src/Transfer/Syntax/Skel.hs b/src/Transfer/Syntax/Skel.hs
index d41d5512f..6262da7f9 100644
--- a/src/Transfer/Syntax/Skel.hs
+++ b/src/Transfer/Syntax/Skel.hs
@@ -15,9 +15,11 @@ transTree t = case t of
Import i -> failure t
DataDecl i exp consdecls -> failure t
TypeDecl i exp -> failure t
- ValueDecl i patterns exp -> failure t
+ ValueDecl i patterns guard exp -> failure t
DeriveDecl i0 i1 -> failure t
ConsDecl i exp -> failure t
+ GuardExp exp -> failure t
+ GuardNo -> failure t
POr pattern0 pattern1 -> failure t
PListCons pattern0 pattern1 -> failure t
PConsTop i pattern patterns -> failure t
@@ -31,13 +33,13 @@ transTree t = case t of
PWild -> failure t
PListElem pattern -> failure t
FieldPattern i pattern -> failure t
+ EPi varorwild exp0 exp1 -> failure t
+ EPiNoVar exp0 exp1 -> failure t
+ EAbs varorwild exp -> failure t
ELet letdefs exp -> failure t
ECase exp cases -> failure t
EIf exp0 exp1 exp2 -> failure t
EDo binds exp -> failure t
- EAbs varorwild exp -> failure t
- EPi varorwild exp0 exp1 -> failure t
- EPiNoVar exp0 exp1 -> failure t
EBind exp0 exp1 -> failure t
EBindC exp0 exp1 -> failure t
EOr exp0 exp1 -> failure t
@@ -66,12 +68,12 @@ transTree t = case t of
EInteger n -> failure t
EDouble d -> failure t
EMeta -> failure t
+ VVar i -> failure t
+ VWild -> failure t
LetDef i exp0 exp1 -> failure t
- Case pattern exp -> failure t
+ Case pattern guard exp -> failure t
BindVar varorwild exp -> failure t
BindNoVar exp -> failure t
- VVar i -> failure t
- VWild -> failure t
FieldType i exp -> failure t
FieldValue i exp -> failure t
Ident str -> failure t
@@ -88,13 +90,18 @@ transDecl :: Decl -> Result
transDecl t = case t of
DataDecl i exp consdecls -> failure t
TypeDecl i exp -> failure t
- ValueDecl i patterns exp -> failure t
+ ValueDecl i patterns guard exp -> failure t
DeriveDecl i0 i1 -> failure t
transConsDecl :: ConsDecl -> Result
transConsDecl t = case t of
ConsDecl i exp -> failure t
+transGuard :: Guard -> Result
+transGuard t = case t of
+ GuardExp exp -> failure t
+ GuardNo -> failure t
+
transPattern :: Pattern -> Result
transPattern t = case t of
POr pattern0 pattern1 -> failure t
@@ -119,13 +126,13 @@ transFieldPattern t = case t of
transExp :: Exp -> Result
transExp t = case t of
+ EPi varorwild exp0 exp1 -> failure t
+ EPiNoVar exp0 exp1 -> failure t
+ EAbs varorwild exp -> failure t
ELet letdefs exp -> failure t
ECase exp cases -> failure t
EIf exp0 exp1 exp2 -> failure t
EDo binds exp -> failure t
- EAbs varorwild exp -> failure t
- EPi varorwild exp0 exp1 -> failure t
- EPiNoVar exp0 exp1 -> failure t
EBind exp0 exp1 -> failure t
EBindC exp0 exp1 -> failure t
EOr exp0 exp1 -> failure t
@@ -155,24 +162,24 @@ transExp t = case t of
EDouble d -> failure t
EMeta -> failure t
+transVarOrWild :: VarOrWild -> Result
+transVarOrWild t = case t of
+ VVar i -> failure t
+ VWild -> failure t
+
transLetDef :: LetDef -> Result
transLetDef t = case t of
LetDef i exp0 exp1 -> failure t
transCase :: Case -> Result
transCase t = case t of
- Case pattern exp -> failure t
+ Case pattern guard exp -> failure t
transBind :: Bind -> Result
transBind t = case t of
BindVar varorwild exp -> failure t
BindNoVar exp -> failure t
-transVarOrWild :: VarOrWild -> Result
-transVarOrWild t = case t of
- VVar i -> failure t
- VWild -> failure t
-
transFieldType :: FieldType -> Result
transFieldType t = case t of
FieldType i exp -> failure t
diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf
index 64b588376..50812d2f1 100644
--- a/src/Transfer/Syntax/Syntax.cf
+++ b/src/Transfer/Syntax/Syntax.cf
@@ -12,15 +12,18 @@ Module. Module ::= [Import] [Decl] ;
Import. Import ::= "import" Ident ;
separator Import ";" ;
-DataDecl. Decl ::= "data" Ident ":" Exp "where" "{" [ConsDecl] "}" ;
-TypeDecl. Decl ::= Ident ":" Exp ;
-ValueDecl. Decl ::= Ident [Pattern] "=" Exp ;
-DeriveDecl. Decl ::= "derive" Ident Ident ;
+DataDecl. Decl ::= "data" Ident ":" Exp "where" "{" [ConsDecl] "}" ;
+TypeDecl. Decl ::= Ident ":" Exp ;
+ValueDecl. Decl ::= Ident [Pattern] Guard "=" Exp ;
+DeriveDecl. Decl ::= "derive" Ident Ident ;
separator Decl ";" ;
ConsDecl. ConsDecl ::= Ident ":" Exp ;
separator ConsDecl ";" ;
+GuardExp. Guard ::= "|" Exp1 ;
+GuardNo. Guard ::= ;
+
-- Disjunctive patterns.
POr. Pattern ::= Pattern1 "||" Pattern ;
@@ -61,27 +64,26 @@ coercions Pattern 3 ;
FieldPattern. FieldPattern ::= Ident "=" Pattern ;
separator FieldPattern ";" ;
-ELet. Exp ::= "let" "{" [LetDef] "}" "in" Exp ;
+-- Function types have precedence < 1 to keep the
+-- "->" from conflicting with the "->" after guards
+EPi. Exp ::= "(" VarOrWild ":" Exp ")" "->" Exp ;
+EPiNoVar. Exp ::= Exp1 "->" Exp ;
+VVar. VarOrWild ::= Ident ;
+VWild. VarOrWild ::= "_" ;
+
+EAbs. Exp1 ::= "\\" VarOrWild "->" Exp1 ;
+ELet. Exp1 ::= "let" "{" [LetDef] "}" "in" Exp1 ;
LetDef. LetDef ::= Ident ":" Exp "=" Exp ;
separator LetDef ";" ;
-
-ECase. Exp ::= "case" Exp "of" "{" [Case] "}" ;
-Case. Case ::= Pattern "->" Exp ;
+ECase. Exp1 ::= "case" Exp "of" "{" [Case] "}" ;
+Case. Case ::= Pattern Guard "->" Exp ;
separator Case ";" ;
-
-EIf. Exp ::= "if" Exp "then" Exp "else" Exp ;
-
-EDo. Exp ::= "do" "{" [Bind] Exp "}" ;
+EIf. Exp1 ::= "if" Exp "then" Exp "else" Exp1 ;
+EDo. Exp1 ::= "do" "{" [Bind] Exp "}" ;
BindVar. Bind ::= VarOrWild "<-" Exp ;
BindNoVar. Bind ::= Exp ;
terminator Bind ";" ;
-EAbs. Exp2 ::= "\\" VarOrWild "->" Exp ;
-EPi. Exp2 ::= "(" VarOrWild ":" Exp ")" "->" Exp ;
-EPiNoVar. Exp2 ::= Exp3 "->" Exp ;
-VVar. VarOrWild ::= Ident ;
-VWild. VarOrWild ::= "_" ;
-
EBind. Exp3 ::= Exp3 ">>=" Exp4 ;
EBindC. Exp3 ::= Exp3 ">>" Exp4 ;