summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/Transfer/Syntax/Abs.hs129
-rw-r--r--src/Transfer/Syntax/Doc.tex38
-rw-r--r--src/Transfer/Syntax/Lex.hs6
-rw-r--r--src/Transfer/Syntax/Lex.x2
-rw-r--r--src/Transfer/Syntax/Par.hs956
-rw-r--r--src/Transfer/Syntax/Par.y30
-rw-r--r--src/Transfer/Syntax/Print.hs26
-rw-r--r--src/Transfer/Syntax/Skel.hs9
-rw-r--r--src/Transfer/Syntax/Syntax.cf29
-rw-r--r--src/Transfer/SyntaxToCore.hs12
10 files changed, 705 insertions, 532 deletions
diff --git a/src/Transfer/Syntax/Abs.hs b/src/Transfer/Syntax/Abs.hs
index 30da73a59..ab55ba3ae 100644
--- a/src/Transfer/Syntax/Abs.hs
+++ b/src/Transfer/Syntax/Abs.hs
@@ -16,6 +16,8 @@ data ConsDecl_
type ConsDecl = Tree ConsDecl_
data Pattern_
type Pattern = Tree Pattern_
+data PListElem_
+type PListElem = Tree PListElem_
data FieldPattern_
type FieldPattern = Tree FieldPattern_
data Exp_
@@ -44,14 +46,17 @@ data Tree :: * -> * where
DeriveDecl :: Ident -> Ident -> Tree Decl_
ConsDecl :: Ident -> Exp -> Tree ConsDecl_
POr :: Pattern -> Pattern -> Tree Pattern_
+ PListCons :: Pattern -> Pattern -> Tree Pattern_
PConsTop :: Ident -> Pattern -> [Pattern] -> Tree Pattern_
PCons :: Ident -> [Pattern] -> Tree Pattern_
PRec :: [FieldPattern] -> Tree Pattern_
+ PList :: [PListElem] -> Tree Pattern_
PType :: Tree Pattern_
PStr :: String -> Tree Pattern_
PInt :: Integer -> Tree Pattern_
PVar :: Ident -> Tree Pattern_
PWild :: Tree Pattern_
+ PListElem :: Pattern -> Tree PListElem_
FieldPattern :: Ident -> Pattern -> Tree FieldPattern_
ELet :: [LetDef] -> Exp -> Tree Exp_
ECase :: Exp -> [Case] -> Tree Exp_
@@ -120,10 +125,13 @@ composOpM f t = case t of
DeriveDecl i0 i1 -> return DeriveDecl `ap` f i0 `ap` f i1
ConsDecl i exp -> return ConsDecl `ap` f i `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
PCons i patterns -> return PCons `ap` f i `ap` mapM f patterns
PRec fieldpatterns -> return PRec `ap` mapM f fieldpatterns
+ PList plistelems -> return PList `ap` mapM f plistelems
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
ELet letdefs exp -> return ELet `ap` mapM f letdefs `ap` f exp
ECase exp cases -> return ECase `ap` f exp `ap` mapM f cases
@@ -174,10 +182,13 @@ composOpFold zero combine f t = case t of
DeriveDecl i0 i1 -> f i0 `combine` f i1
ConsDecl i exp -> f i `combine` 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)
PCons i patterns -> f i `combine` foldr combine zero (map f patterns)
PRec fieldpatterns -> foldr combine zero (map f fieldpatterns)
+ PList plistelems -> foldr combine zero (map f plistelems)
PVar i -> f i
+ PListElem pattern -> f pattern
FieldPattern i pattern -> f i `combine` f pattern
ELet letdefs exp -> foldr combine zero (map f letdefs) `combine` f exp
ECase exp cases -> f exp `combine` foldr combine zero (map f cases)
@@ -228,14 +239,17 @@ instance Show (Tree c) where
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
POr pattern0 pattern1 -> opar n . showString "POr" . showChar ' ' . showsPrec 1 pattern0 . showChar ' ' . showsPrec 1 pattern1 . cpar n
+ PListCons pattern0 pattern1 -> opar n . showString "PListCons" . showChar ' ' . showsPrec 1 pattern0 . showChar ' ' . showsPrec 1 pattern1 . cpar n
PConsTop i pattern patterns -> opar n . showString "PConsTop" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 pattern . showChar ' ' . showsPrec 1 patterns . cpar n
PCons i patterns -> opar n . showString "PCons" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 patterns . cpar n
PRec fieldpatterns -> opar n . showString "PRec" . showChar ' ' . showsPrec 1 fieldpatterns . cpar n
+ PList plistelems -> opar n . showString "PList" . showChar ' ' . showsPrec 1 plistelems . cpar n
PType -> showString "PType"
PStr str -> opar n . showString "PStr" . showChar ' ' . showsPrec 1 str . cpar n
PInt n -> opar n . showString "PInt" . showChar ' ' . showsPrec 1 n . cpar n
PVar i -> opar n . showString "PVar" . showChar ' ' . showsPrec 1 i . cpar n
PWild -> showString "PWild"
+ 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
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
@@ -295,14 +309,17 @@ johnMajorEq (ValueDecl i patterns exp) (ValueDecl i_ patterns_ exp_) = i == i_ &
johnMajorEq (DeriveDecl i0 i1) (DeriveDecl i0_ i1_) = i0 == i0_ && i1 == i1_
johnMajorEq (ConsDecl i exp) (ConsDecl i_ exp_) = i == i_ && exp == exp_
johnMajorEq (POr pattern0 pattern1) (POr pattern0_ pattern1_) = pattern0 == pattern0_ && pattern1 == pattern1_
+johnMajorEq (PListCons pattern0 pattern1) (PListCons pattern0_ pattern1_) = pattern0 == pattern0_ && pattern1 == pattern1_
johnMajorEq (PConsTop i pattern patterns) (PConsTop i_ pattern_ patterns_) = i == i_ && pattern == pattern_ && patterns == patterns_
johnMajorEq (PCons i patterns) (PCons i_ patterns_) = i == i_ && patterns == patterns_
johnMajorEq (PRec fieldpatterns) (PRec fieldpatterns_) = fieldpatterns == fieldpatterns_
+johnMajorEq (PList plistelems) (PList plistelems_) = plistelems == plistelems_
johnMajorEq PType PType = True
johnMajorEq (PStr str) (PStr str_) = str == str_
johnMajorEq (PInt n) (PInt n_) = n == n_
johnMajorEq (PVar i) (PVar i_) = i == i_
johnMajorEq PWild PWild = True
+johnMajorEq (PListElem pattern) (PListElem pattern_) = pattern == pattern_
johnMajorEq (FieldPattern i pattern) (FieldPattern i_ pattern_) = i == i_ && pattern == pattern_
johnMajorEq (ELet letdefs exp) (ELet letdefs_ exp_) = letdefs == letdefs_ && exp == exp_
johnMajorEq (ECase exp cases) (ECase exp_ cases_) = exp == exp_ && cases == cases_
@@ -361,59 +378,62 @@ instance Ord (Tree c) where
index (DeriveDecl _ _) = 5
index (ConsDecl _ _) = 6
index (POr _ _) = 7
- index (PConsTop _ _ _) = 8
- index (PCons _ _) = 9
- index (PRec _) = 10
- index (PType ) = 11
- index (PStr _) = 12
- index (PInt _) = 13
- index (PVar _) = 14
- index (PWild ) = 15
- index (FieldPattern _ _) = 16
- index (ELet _ _) = 17
- index (ECase _ _) = 18
- index (EIf _ _ _) = 19
- index (EDo _ _) = 20
- index (EAbs _ _) = 21
- index (EPi _ _ _) = 22
- index (EPiNoVar _ _) = 23
- index (EBind _ _) = 24
- index (EBindC _ _) = 25
- index (EOr _ _) = 26
- index (EAnd _ _) = 27
- index (EEq _ _) = 28
- index (ENe _ _) = 29
- index (ELt _ _) = 30
- index (ELe _ _) = 31
- index (EGt _ _) = 32
- index (EGe _ _) = 33
- index (EListCons _ _) = 34
- index (EAdd _ _) = 35
- index (ESub _ _) = 36
- index (EMul _ _) = 37
- index (EDiv _ _) = 38
- index (EMod _ _) = 39
- index (ENeg _) = 40
- index (EApp _ _) = 41
- index (EProj _ _) = 42
- index (ERecType _) = 43
- index (ERec _) = 44
- index (EList _) = 45
- index (EVar _) = 46
- index (EType ) = 47
- index (EStr _) = 48
- index (EInteger _) = 49
- index (EDouble _) = 50
- index (EMeta ) = 51
- index (LetDef _ _ _) = 52
- index (Case _ _) = 53
- index (BindVar _ _) = 54
- index (BindNoVar _) = 55
- index (VVar _) = 56
- index (VWild ) = 57
- index (FieldType _ _) = 58
- index (FieldValue _ _) = 59
- index (Ident _) = 60
+ 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 (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
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_))
@@ -422,14 +442,17 @@ instance Ord (Tree c) where
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 (POr pattern0 pattern1) (POr pattern0_ pattern1_) = mappend (compare pattern0 pattern0_) (compare pattern1 pattern1_)
+ compareSame (PListCons pattern0 pattern1) (PListCons pattern0_ pattern1_) = mappend (compare pattern0 pattern0_) (compare pattern1 pattern1_)
compareSame (PConsTop i pattern patterns) (PConsTop i_ pattern_ patterns_) = mappend (compare i i_) (mappend (compare pattern pattern_) (compare patterns patterns_))
compareSame (PCons i patterns) (PCons i_ patterns_) = mappend (compare i i_) (compare patterns patterns_)
compareSame (PRec fieldpatterns) (PRec fieldpatterns_) = compare fieldpatterns fieldpatterns_
+ compareSame (PList plistelems) (PList plistelems_) = compare plistelems plistelems_
compareSame PType PType = EQ
compareSame (PStr str) (PStr str_) = compare str str_
compareSame (PInt n) (PInt n_) = compare n n_
compareSame (PVar i) (PVar i_) = compare i i_
compareSame PWild PWild = EQ
+ compareSame (PListElem pattern) (PListElem pattern_) = compare pattern pattern_
compareSame (FieldPattern i pattern) (FieldPattern i_ pattern_) = mappend (compare i i_) (compare pattern pattern_)
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_)
diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex
index 8c34773fe..759047dd5 100644
--- a/src/Transfer/Syntax/Doc.tex
+++ b/src/Transfer/Syntax/Doc.tex
@@ -63,15 +63,15 @@ The symbols used in Syntax are the following: \\
\begin{tabular}{lll}
{\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{$\backslash$}} &{\symb{{$>$}{$>$}{$=$}}} &{\symb{{$>$}{$>$}}} \\
+{\symb{\&\&}} &{\symb{{$=$}{$=$}}} &{\symb{/{$=$}}} \\
+{\symb{{$<$}}} &{\symb{{$<$}{$=$}}} &{\symb{{$>$}}} \\
+{\symb{{$>$}{$=$}}} &{\symb{{$+$}}} &{\symb{{$-$}}} \\
{\symb{*}} &{\symb{/}} &{\symb{\%}} \\
-{\symb{.}} &{\symb{[}} &{\symb{]}} \\
-{\symb{?}} &{\symb{,}} & \\
+{\symb{.}} &{\symb{?}} & \\
\end{tabular}\\
\subsection*{Comments}
@@ -126,12 +126,18 @@ All other symbols are terminals.\\
\end{tabular}\\
\begin{tabular}{lll}
-{\nonterminal{Pattern1}} & {\arrow} &{\nonterminal{Ident}} {\nonterminal{Pattern2}} {\nonterminal{ListPattern}} \\
+{\nonterminal{Pattern1}} & {\arrow} &{\nonterminal{Pattern2}} {\terminal{::}} {\nonterminal{Pattern1}} \\
& {\delimit} &{\nonterminal{Pattern2}} \\
\end{tabular}\\
\begin{tabular}{lll}
-{\nonterminal{Pattern2}} & {\arrow} &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}} \\
+{\nonterminal{Pattern2}} & {\arrow} &{\nonterminal{Ident}} {\nonterminal{Pattern3}} {\nonterminal{ListPattern}} \\
+ & {\delimit} &{\nonterminal{Pattern3}} \\
+\end{tabular}\\
+
+\begin{tabular}{lll}
+{\nonterminal{Pattern3}} & {\arrow} &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}} \\
+ & {\delimit} &{\terminal{[}} {\nonterminal{ListPListElem}} {\terminal{]}} \\
& {\delimit} &{\terminal{Type}} \\
& {\delimit} &{\nonterminal{String}} \\
& {\delimit} &{\nonterminal{Integer}} \\
@@ -141,8 +147,18 @@ All other symbols are terminals.\\
\end{tabular}\\
\begin{tabular}{lll}
+{\nonterminal{PListElem}} & {\arrow} &{\nonterminal{Pattern}} \\
+\end{tabular}\\
+
+\begin{tabular}{lll}
+{\nonterminal{ListPListElem}} & {\arrow} &{\emptyP} \\
+ & {\delimit} &{\nonterminal{PListElem}} \\
+ & {\delimit} &{\nonterminal{PListElem}} {\terminal{,}} {\nonterminal{ListPListElem}} \\
+\end{tabular}\\
+
+\begin{tabular}{lll}
{\nonterminal{ListPattern}} & {\arrow} &{\emptyP} \\
- & {\delimit} &{\nonterminal{Pattern2}} {\nonterminal{ListPattern}} \\
+ & {\delimit} &{\nonterminal{Pattern3}} {\nonterminal{ListPattern}} \\
\end{tabular}\\
\begin{tabular}{lll}
diff --git a/src/Transfer/Syntax/Lex.hs b/src/Transfer/Syntax/Lex.hs
index a156775de..c9ad6b22b 100644
--- a/src/Transfer/Syntax/Lex.hs
+++ b/src/Transfer/Syntax/Lex.hs
@@ -24,13 +24,13 @@ 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\x26\x00\x00\x00\x13\x00\x00\x00\x14\x00\x00\x00\x17\x00\x00\x00\x1e\x00\x00\x00\x1f\x00\x00\x00\xd9\xff\xff\xff\x30\x00\x00\x00\x9c\x00\x00\x00\x00\x00\x00\x00\x17\x01\x00\x00\xd5\x00\x00\x00\x36\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\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_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\x13\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x1b\x00\x14\x00\x0e\x00\x0f\x00\x12\x00\x11\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\x10\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x00\x00\x0e\x00\x00\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\xff\xff\x0e\x00\xff\xff\x0d\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\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\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\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_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\x3d\x00\x3d\x00\x3e\x00\x2d\x00\x3d\x00\x7c\x00\x26\x00\x3e\x00\xff\xff\x3a\x00\xff\xff\x3d\x00\x5b\x00\x5c\x00\x5d\x00\x5e\x00\x5f\x00\x60\x00\x20\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\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\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\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_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"#
diff --git a/src/Transfer/Syntax/Lex.x b/src/Transfer/Syntax/Lex.x
index 3805b1d65..f7376362a 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 ab26c4dde..2f455c5e4 100644
--- a/src/Transfer/Syntax/Par.hs
+++ b/src/Transfer/Syntax/Par.hs
@@ -97,82 +97,82 @@ happyIn18 x = unsafeCoerce# x
happyOut18 :: (HappyAbsSyn ) -> (Pattern)
happyOut18 x = unsafeCoerce# x
{-# INLINE happyOut18 #-}
-happyIn19 :: ([Pattern]) -> (HappyAbsSyn )
+happyIn19 :: (Pattern) -> (HappyAbsSyn )
happyIn19 x = unsafeCoerce# x
{-# INLINE happyIn19 #-}
-happyOut19 :: (HappyAbsSyn ) -> ([Pattern])
+happyOut19 :: (HappyAbsSyn ) -> (Pattern)
happyOut19 x = unsafeCoerce# x
{-# INLINE happyOut19 #-}
-happyIn20 :: (FieldPattern) -> (HappyAbsSyn )
+happyIn20 :: (PListElem) -> (HappyAbsSyn )
happyIn20 x = unsafeCoerce# x
{-# INLINE happyIn20 #-}
-happyOut20 :: (HappyAbsSyn ) -> (FieldPattern)
+happyOut20 :: (HappyAbsSyn ) -> (PListElem)
happyOut20 x = unsafeCoerce# x
{-# INLINE happyOut20 #-}
-happyIn21 :: ([FieldPattern]) -> (HappyAbsSyn )
+happyIn21 :: ([PListElem]) -> (HappyAbsSyn )
happyIn21 x = unsafeCoerce# x
{-# INLINE happyIn21 #-}
-happyOut21 :: (HappyAbsSyn ) -> ([FieldPattern])
+happyOut21 :: (HappyAbsSyn ) -> ([PListElem])
happyOut21 x = unsafeCoerce# x
{-# INLINE happyOut21 #-}
-happyIn22 :: (Exp) -> (HappyAbsSyn )
+happyIn22 :: ([Pattern]) -> (HappyAbsSyn )
happyIn22 x = unsafeCoerce# x
{-# INLINE happyIn22 #-}
-happyOut22 :: (HappyAbsSyn ) -> (Exp)
+happyOut22 :: (HappyAbsSyn ) -> ([Pattern])
happyOut22 x = unsafeCoerce# x
{-# INLINE happyOut22 #-}
-happyIn23 :: (LetDef) -> (HappyAbsSyn )
+happyIn23 :: (FieldPattern) -> (HappyAbsSyn )
happyIn23 x = unsafeCoerce# x
{-# INLINE happyIn23 #-}
-happyOut23 :: (HappyAbsSyn ) -> (LetDef)
+happyOut23 :: (HappyAbsSyn ) -> (FieldPattern)
happyOut23 x = unsafeCoerce# x
{-# INLINE happyOut23 #-}
-happyIn24 :: ([LetDef]) -> (HappyAbsSyn )
+happyIn24 :: ([FieldPattern]) -> (HappyAbsSyn )
happyIn24 x = unsafeCoerce# x
{-# INLINE happyIn24 #-}
-happyOut24 :: (HappyAbsSyn ) -> ([LetDef])
+happyOut24 :: (HappyAbsSyn ) -> ([FieldPattern])
happyOut24 x = unsafeCoerce# x
{-# INLINE happyOut24 #-}
-happyIn25 :: (Case) -> (HappyAbsSyn )
+happyIn25 :: (Exp) -> (HappyAbsSyn )
happyIn25 x = unsafeCoerce# x
{-# INLINE happyIn25 #-}
-happyOut25 :: (HappyAbsSyn ) -> (Case)
+happyOut25 :: (HappyAbsSyn ) -> (Exp)
happyOut25 x = unsafeCoerce# x
{-# INLINE happyOut25 #-}
-happyIn26 :: ([Case]) -> (HappyAbsSyn )
+happyIn26 :: (LetDef) -> (HappyAbsSyn )
happyIn26 x = unsafeCoerce# x
{-# INLINE happyIn26 #-}
-happyOut26 :: (HappyAbsSyn ) -> ([Case])
+happyOut26 :: (HappyAbsSyn ) -> (LetDef)
happyOut26 x = unsafeCoerce# x
{-# INLINE happyOut26 #-}
-happyIn27 :: (Bind) -> (HappyAbsSyn )
+happyIn27 :: ([LetDef]) -> (HappyAbsSyn )
happyIn27 x = unsafeCoerce# x
{-# INLINE happyIn27 #-}
-happyOut27 :: (HappyAbsSyn ) -> (Bind)
+happyOut27 :: (HappyAbsSyn ) -> ([LetDef])
happyOut27 x = unsafeCoerce# x
{-# INLINE happyOut27 #-}
-happyIn28 :: ([Bind]) -> (HappyAbsSyn )
+happyIn28 :: (Case) -> (HappyAbsSyn )
happyIn28 x = unsafeCoerce# x
{-# INLINE happyIn28 #-}
-happyOut28 :: (HappyAbsSyn ) -> ([Bind])
+happyOut28 :: (HappyAbsSyn ) -> (Case)
happyOut28 x = unsafeCoerce# x
{-# INLINE happyOut28 #-}
-happyIn29 :: (Exp) -> (HappyAbsSyn )
+happyIn29 :: ([Case]) -> (HappyAbsSyn )
happyIn29 x = unsafeCoerce# x
{-# INLINE happyIn29 #-}
-happyOut29 :: (HappyAbsSyn ) -> (Exp)
+happyOut29 :: (HappyAbsSyn ) -> ([Case])
happyOut29 x = unsafeCoerce# x
{-# INLINE happyOut29 #-}
-happyIn30 :: (VarOrWild) -> (HappyAbsSyn )
+happyIn30 :: (Bind) -> (HappyAbsSyn )
happyIn30 x = unsafeCoerce# x
{-# INLINE happyIn30 #-}
-happyOut30 :: (HappyAbsSyn ) -> (VarOrWild)
+happyOut30 :: (HappyAbsSyn ) -> (Bind)
happyOut30 x = unsafeCoerce# x
{-# INLINE happyOut30 #-}
-happyIn31 :: (Exp) -> (HappyAbsSyn )
+happyIn31 :: ([Bind]) -> (HappyAbsSyn )
happyIn31 x = unsafeCoerce# x
{-# INLINE happyIn31 #-}
-happyOut31 :: (HappyAbsSyn ) -> (Exp)
+happyOut31 :: (HappyAbsSyn ) -> ([Bind])
happyOut31 x = unsafeCoerce# x
{-# INLINE happyOut31 #-}
happyIn32 :: (Exp) -> (HappyAbsSyn )
@@ -181,10 +181,10 @@ happyIn32 x = unsafeCoerce# x
happyOut32 :: (HappyAbsSyn ) -> (Exp)
happyOut32 x = unsafeCoerce# x
{-# INLINE happyOut32 #-}
-happyIn33 :: (Exp) -> (HappyAbsSyn )
+happyIn33 :: (VarOrWild) -> (HappyAbsSyn )
happyIn33 x = unsafeCoerce# x
{-# INLINE happyIn33 #-}
-happyOut33 :: (HappyAbsSyn ) -> (Exp)
+happyOut33 :: (HappyAbsSyn ) -> (VarOrWild)
happyOut33 x = unsafeCoerce# x
{-# INLINE happyOut33 #-}
happyIn34 :: (Exp) -> (HappyAbsSyn )
@@ -235,42 +235,60 @@ happyIn41 x = unsafeCoerce# x
happyOut41 :: (HappyAbsSyn ) -> (Exp)
happyOut41 x = unsafeCoerce# x
{-# INLINE happyOut41 #-}
-happyIn42 :: (FieldType) -> (HappyAbsSyn )
+happyIn42 :: (Exp) -> (HappyAbsSyn )
happyIn42 x = unsafeCoerce# x
{-# INLINE happyIn42 #-}
-happyOut42 :: (HappyAbsSyn ) -> (FieldType)
+happyOut42 :: (HappyAbsSyn ) -> (Exp)
happyOut42 x = unsafeCoerce# x
{-# INLINE happyOut42 #-}
-happyIn43 :: ([FieldType]) -> (HappyAbsSyn )
+happyIn43 :: (Exp) -> (HappyAbsSyn )
happyIn43 x = unsafeCoerce# x
{-# INLINE happyIn43 #-}
-happyOut43 :: (HappyAbsSyn ) -> ([FieldType])
+happyOut43 :: (HappyAbsSyn ) -> (Exp)
happyOut43 x = unsafeCoerce# x
{-# INLINE happyOut43 #-}
-happyIn44 :: (FieldValue) -> (HappyAbsSyn )
+happyIn44 :: (Exp) -> (HappyAbsSyn )
happyIn44 x = unsafeCoerce# x
{-# INLINE happyIn44 #-}
-happyOut44 :: (HappyAbsSyn ) -> (FieldValue)
+happyOut44 :: (HappyAbsSyn ) -> (Exp)
happyOut44 x = unsafeCoerce# x
{-# INLINE happyOut44 #-}
-happyIn45 :: ([FieldValue]) -> (HappyAbsSyn )
+happyIn45 :: (FieldType) -> (HappyAbsSyn )
happyIn45 x = unsafeCoerce# x
{-# INLINE happyIn45 #-}
-happyOut45 :: (HappyAbsSyn ) -> ([FieldValue])
+happyOut45 :: (HappyAbsSyn ) -> (FieldType)
happyOut45 x = unsafeCoerce# x
{-# INLINE happyOut45 #-}
-happyIn46 :: (Exp) -> (HappyAbsSyn )
+happyIn46 :: ([FieldType]) -> (HappyAbsSyn )
happyIn46 x = unsafeCoerce# x
{-# INLINE happyIn46 #-}
-happyOut46 :: (HappyAbsSyn ) -> (Exp)
+happyOut46 :: (HappyAbsSyn ) -> ([FieldType])
happyOut46 x = unsafeCoerce# x
{-# INLINE happyOut46 #-}
-happyIn47 :: ([Exp]) -> (HappyAbsSyn )
+happyIn47 :: (FieldValue) -> (HappyAbsSyn )
happyIn47 x = unsafeCoerce# x
{-# INLINE happyIn47 #-}
-happyOut47 :: (HappyAbsSyn ) -> ([Exp])
+happyOut47 :: (HappyAbsSyn ) -> (FieldValue)
happyOut47 x = unsafeCoerce# x
{-# INLINE happyOut47 #-}
+happyIn48 :: ([FieldValue]) -> (HappyAbsSyn )
+happyIn48 x = unsafeCoerce# x
+{-# INLINE happyIn48 #-}
+happyOut48 :: (HappyAbsSyn ) -> ([FieldValue])
+happyOut48 x = unsafeCoerce# x
+{-# INLINE happyOut48 #-}
+happyIn49 :: (Exp) -> (HappyAbsSyn )
+happyIn49 x = unsafeCoerce# x
+{-# INLINE happyIn49 #-}
+happyOut49 :: (HappyAbsSyn ) -> (Exp)
+happyOut49 x = unsafeCoerce# x
+{-# INLINE happyOut49 #-}
+happyIn50 :: ([Exp]) -> (HappyAbsSyn )
+happyIn50 x = unsafeCoerce# x
+{-# INLINE happyIn50 #-}
+happyOut50 :: (HappyAbsSyn ) -> ([Exp])
+happyOut50 x = unsafeCoerce# x
+{-# INLINE happyOut50 #-}
happyInTok :: Token -> (HappyAbsSyn )
happyInTok x = unsafeCoerce# x
{-# INLINE happyInTok #-}
@@ -279,21 +297,21 @@ happyOutTok x = unsafeCoerce# x
{-# INLINE happyOutTok #-}
happyActOffsets :: HappyAddr
-happyActOffsets = HappyA# "\x85\x01\x29\x00\x7c\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x64\x01\x00\x00\xdd\x00\x00\x00\x99\x01\x89\x01\x42\x01\x24\x01\x01\x01\x00\x00\x48\x00\x76\x01\x00\x00\x00\x00\x12\x00\xf9\xff\x40\x00\x29\x00\x00\x00\x00\x00\x29\x00\x93\x01\x29\x00\x91\x01\x90\x01\x8e\x01\x00\x00\x00\x00\x00\x00\x60\x01\x8f\x01\x66\x00\x5f\x01\x00\x00\x8c\x01\x8b\x01\x00\x00\x5d\x01\x5d\x01\x63\x01\x48\x01\x48\x01\x48\x01\x4c\x01\x00\x00\x4a\x01\x57\x01\x56\x01\x00\x00\x29\x00\x00\x00\x5c\x01\x00\x00\x20\x00\x6b\x01\x5e\x01\x2f\x01\x41\x01\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x29\x00\x40\x00\x40\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x01\x01\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x00\x00\x00\x29\x00\x00\x00\x29\x00\x58\x01\x12\x00\x29\x00\x5a\x01\x59\x01\x55\x01\x53\x01\x40\x01\x3b\x01\x3c\x01\x2c\x01\x20\x01\x00\x00\xf1\x00\x1e\x01\x66\x00\xfc\xff\x29\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x00\x5b\x00\x00\x00\x00\x00\x1b\x01\x00\x00\x29\x00\x00\x00\x00\x00\xd8\x00\x29\x00\x00\x00\xd8\x00\x29\x00\xf4\x00\xd6\x00\x29\x00\xdf\x00\xea\x00\xe8\x00\xe2\x00\x5b\x00\x00\x00\x00\x00\xbe\x00\xde\x00\x5b\x00\xc3\x00\xc5\x00\x00\x00\xc0\x00\xbc\x00\x29\x00\x00\x00\x00\x00\x29\x00\xb7\x00\x00\x00\x29\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7b\x00\x78\x00\x9b\x00\x00\x00\x00\x00\x83\x00\x84\x00\x62\x00\x65\x00\x00\x00\x29\x00\x00\x00\x00\x00\x00\x00\x5b\x00\x5b\x00\x29\x00\x00\x00\x29\x00\x00\x00\x5b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00\x00\x00\x30\x00\x5b\x00\x00\x00\x00\x00\x5c\x00\x56\x00\x50\x00\x00\x00\x10\x00\x29\x00\x00\x00\x00\x00\x00\x00"#
+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"#
happyGotoOffsets :: HappyAddr
-happyGotoOffsets = HappyA# "\xfd\x00\x29\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\x81\x00\x00\x00\x00\x00\x00\x00\xdb\x00\x06\x00\x0a\x04\x91\x00\x00\x00\x00\x00\x15\x03\x00\x00\xf0\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1f\x01\x52\x00\x00\x00\x2f\x00\x00\x00\x00\x00\x38\x00\x36\x00\x21\x00\x51\x00\x25\x00\x0e\x00\x00\x00\xfb\xff\x00\x00\x00\x00\x00\x00\x00\x00\xdc\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x32\x00\x00\x00\x06\x04\x02\x04\xfe\x03\xcf\x03\xd9\x03\xd4\x03\xc8\x03\xc1\x03\x9c\x03\x95\x03\x8e\x03\xc2\x00\x87\x03\x62\x03\xb7\x02\x58\x03\x4e\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\xa3\x02\x00\x00\x7e\x02\x00\x00\x7d\x00\x00\x00\xb6\x00\x6a\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x07\x00\x00\x00\x63\x00\x0f\x00\x45\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x31\x02\x11\x04\x00\x00\x00\x00\x00\x00\x00\x00\x0c\x02\x00\x00\x00\x00\x49\x00\xf8\x01\x00\x00\x13\x00\xd3\x01\x00\x00\x04\x00\xbf\x01\x00\x00\x00\x00\x00\x00\x00\x00\x2f\x04\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9a\x01\x00\x00\x00\x00\x86\x01\x00\x00\x00\x00\x61\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x8b\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4d\x01\x00\x00\x00\x00\x00\x00\x53\x03\x0e\x04\x28\x01\x0c\x00\x14\x01\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x19\x01\x00\x00\x14\x00\xbd\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x86\x00\xef\x00\x00\x00\x00\x00\x00\x00"#
+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"#
happyDefActions :: HappyAddr
-happyDefActions = HappyA# "\xf7\xff\x00\x00\x00\x00\xfd\xff\xa1\xff\x9f\xff\x9e\xff\x9d\xff\x00\x00\x92\xff\xc4\xff\xbf\xff\xbd\xff\xbb\xff\xb4\xff\xb2\xff\xaf\xff\xab\xff\xa9\xff\xa7\xff\xa5\xff\xd4\xff\x00\x00\x00\x00\x00\x00\x91\xff\x9c\xff\xa0\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\xde\xff\xef\xff\xf9\xff\x00\x00\x00\x00\xf7\xff\x99\xff\x95\xff\xd2\xff\x00\x00\xc9\xff\x00\x00\x90\xff\x00\x00\xaa\xff\x00\x00\xc3\xff\x00\x00\xc2\xff\xa1\xff\x00\x00\x00\x00\x00\x00\xa8\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\xc0\xff\xc1\xff\xc5\xff\xbe\xff\xbc\xff\xb5\xff\xb6\xff\xb7\xff\xb8\xff\xb9\xff\xba\xff\xb0\xff\xb1\xff\xb3\xff\xac\xff\xad\xff\xae\xff\xa6\xff\x00\x00\x9b\xff\x00\x00\xa2\xff\x91\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd1\xff\x00\x00\x00\x00\x94\xff\x00\x00\x00\x00\x98\xff\x00\x00\xf5\xff\x00\x00\x00\x00\xf0\xff\x00\x00\x00\x00\xf3\xff\xe1\xff\xe3\xff\xe2\xff\xdd\xff\x00\x00\x00\x00\xe0\xff\xe4\xff\x00\x00\xee\xff\x00\x00\xf1\xff\xa4\xff\x99\xff\x00\x00\xa3\xff\x95\xff\x00\x00\x00\x00\xd2\xff\x00\x00\x00\x00\xca\xff\x00\x00\x00\x00\xce\xff\x8f\xff\xc7\xff\x00\x00\x00\x00\xe1\xff\x00\x00\xe8\xff\xe6\xff\xcd\xff\x00\x00\x00\x00\xc8\xff\xd5\xff\x00\x00\x00\x00\xd0\xff\x00\x00\x96\xff\x93\xff\x9a\xff\x97\xff\x00\x00\xdb\xff\x00\x00\xf2\xff\xdf\xff\x00\x00\xda\xff\x00\x00\x00\x00\xd8\xff\x00\x00\xd6\xff\xcb\xff\xd7\xff\xce\xff\x00\x00\x00\x00\xde\xff\x00\x00\xc6\xff\xe7\xff\xcf\xff\xe9\xff\xcc\xff\xd3\xff\xec\xff\xe5\xff\xdb\xff\x00\x00\xdc\xff\xd9\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\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"#
happyCheck :: HappyAddr
-happyCheck = HappyA# "\xff\xff\x05\x00\x09\x00\x07\x00\x00\x00\x09\x00\x00\x00\x00\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x00\x00\x00\x00\x01\x00\x02\x00\x17\x00\x00\x00\x00\x00\x0d\x00\x12\x00\x13\x00\x0d\x00\x07\x00\x0e\x00\x09\x00\x0d\x00\x21\x00\x0c\x00\x19\x00\x12\x00\x13\x00\x02\x00\x0f\x00\x10\x00\x00\x00\x05\x00\x06\x00\x2c\x00\x30\x00\x18\x00\x0b\x00\x30\x00\x31\x00\x32\x00\x1d\x00\x07\x00\x1f\x00\x00\x00\x21\x00\x22\x00\x0c\x00\x00\x00\x25\x00\x00\x00\x27\x00\x27\x00\x28\x00\x2a\x00\x0e\x00\x2c\x00\x2d\x00\x30\x00\x18\x00\x30\x00\x31\x00\x32\x00\x33\x00\x1d\x00\x07\x00\x1f\x00\x00\x00\x21\x00\x22\x00\x27\x00\x28\x00\x25\x00\x07\x00\x27\x00\x00\x00\x00\x00\x2a\x00\x04\x00\x2c\x00\x2d\x00\x01\x00\x18\x00\x30\x00\x31\x00\x32\x00\x33\x00\x1d\x00\x02\x00\x1f\x00\x30\x00\x21\x00\x07\x00\x00\x00\x09\x00\x1d\x00\x04\x00\x1f\x00\x03\x00\x21\x00\x07\x00\x08\x00\x2c\x00\x2d\x00\x25\x00\x26\x00\x30\x00\x31\x00\x32\x00\x33\x00\x2c\x00\x2d\x00\x25\x00\x26\x00\x30\x00\x31\x00\x32\x00\x33\x00\x21\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\x01\x00\x02\x00\x03\x00\x01\x00\x00\x00\x2c\x00\x05\x00\x23\x00\x24\x00\x30\x00\x31\x00\x32\x00\x11\x00\x09\x00\x0a\x00\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\x30\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\x08\x00\x23\x00\x24\x00\x29\x00\x2a\x00\x30\x00\x18\x00\x2f\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\x00\x2a\x00\x05\x00\x00\x00\x01\x00\x02\x00\x04\x00\x01\x00\x00\x00\x01\x00\x02\x00\x03\x00\x08\x00\x11\x00\x0b\x00\x0c\x00\x0d\x00\x06\x00\x16\x00\x0a\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\x00\x00\x01\x00\x02\x00\x03\x00\x29\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x0a\x00\x0a\x00\x01\x00\x0d\x00\x0e\x00\x11\x00\x0b\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\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\x11\x00\x04\x00\x05\x00\x06\x00\x29\x00\x26\x00\x30\x00\x18\x00\x30\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\x00\x00\x00\x19\x00\x1a\x00\x1b\x00\x29\x00\x03\x00\x00\x00\x02\x00\x30\x00\x09\x00\x0a\x00\x04\x00\x11\x00\x07\x00\x08\x00\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\x01\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\x16\x00\x17\x00\x18\x00\x29\x00\x02\x00\x04\x00\x18\x00\x01\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x05\x00\x04\x00\x01\x00\x03\x00\x02\x00\x1c\x00\x11\x00\x30\x00\x02\x00\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\x0a\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\x08\x00\x1e\x00\x2b\x00\x29\x00\x20\x00\x30\x00\x18\x00\x2e\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\x00\x28\x00\x01\x00\x30\x00\x02\x00\x30\x00\x01\x00\x03\x00\x1c\x00\x03\x00\x03\x00\x35\x00\x03\x00\x11\x00\x0f\x00\x35\x00\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\x06\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\x30\x00\x28\x00\xff\xff\x29\x00\xff\xff\xff\xff\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\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\x11\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\xff\xff\xff\xff\xff\xff\x29\x00\xff\xff\xff\xff\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\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\x11\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\xff\xff\xff\xff\xff\xff\x29\x00\xff\xff\xff\xff\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\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\x11\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\xff\xff\xff\xff\xff\xff\x29\x00\xff\xff\xff\xff\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\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\x11\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\xff\xff\xff\xff\xff\xff\x29\x00\xff\xff\xff\xff\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\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\x11\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\xff\xff\xff\xff\xff\xff\x29\x00\xff\xff\xff\xff\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\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\x11\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\xff\xff\xff\xff\xff\xff\x29\x00\xff\xff\xff\xff\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\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\x11\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x11\x00\xff\xff\xff\xff\xff\xff\x29\x00\xff\xff\xff\xff\x18\x00\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x29\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x0b\x00\x0c\x00\x0d\x00\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\x14\x00\x15\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x00\x00\x01\x00\x02\x00\x03\x00\x00\x00\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\x0f\x00\x10\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\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\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\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\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\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\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0b\x00\x0c\x00\x0d\x00\x0b\x00\x0c\x00\x0d\x00\x21\x00\x22\x00\x23\x00\x24\x00\x21\x00\x22\x00\x23\x00\x24\x00\x21\x00\x22\x00\x23\x00\x24\x00\x21\x00\x22\x00\x23\x00\x24\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\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x14\x00\x15\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"#
+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"#
happyTable :: HappyAddr
-happyTable = HappyA# "\x00\x00\x82\x00\x3d\x00\x83\x00\x6d\x00\x84\x00\x3a\x00\x88\x00\x7d\x00\x7e\x00\x7f\x00\x7d\x00\x7e\x00\x7f\x00\x6d\x00\x7d\x00\x7e\x00\x7f\x00\x6b\x00\x70\x00\xb1\x00\x80\x00\x6e\x00\xa6\x00\xbd\x00\x17\x00\xc0\x00\x3d\x00\x80\x00\x85\x00\x18\x00\x3b\x00\x6e\x00\x6f\x00\xc3\xff\xb2\x00\xca\x00\x70\x00\x26\x00\x76\x00\x86\x00\x04\x00\x19\x00\xc3\xff\x04\x00\x23\x00\x24\x00\x1a\x00\x17\x00\x1b\x00\x64\x00\x1c\x00\x1d\x00\x18\x00\x77\x00\x1e\x00\x78\x00\x1f\x00\x71\x00\xa9\x00\x20\x00\x7a\x00\x21\x00\x22\x00\x04\x00\x19\x00\x04\x00\x23\x00\x24\x00\x25\x00\x1a\x00\x3a\x00\x1b\x00\x73\x00\x1c\x00\x1d\x00\x71\x00\x72\x00\x1e\x00\x3a\x00\x1f\x00\x73\x00\x29\x00\x20\x00\xcf\x00\x21\x00\x22\x00\xd0\x00\x19\x00\x04\x00\x23\x00\x24\x00\x25\x00\x1a\x00\xd1\x00\x1b\x00\x04\x00\x1c\x00\x83\x00\x2a\x00\x84\x00\x1a\x00\xc7\x00\x1b\x00\xc6\x00\x1c\x00\x2b\x00\x86\x00\x21\x00\x22\x00\x74\x00\xab\x00\x04\x00\x23\x00\x24\x00\x25\x00\x21\x00\x22\x00\x74\x00\x75\x00\x04\x00\x23\x00\x24\x00\x25\x00\x85\x00\x04\x00\x05\x00\x06\x00\x07\x00\x04\x00\x05\x00\x06\x00\x07\x00\xc8\x00\xcb\x00\x86\x00\xc9\x00\x2e\x00\x2f\x00\x04\x00\x23\x00\x24\x00\x36\x00\xcc\x00\xd2\x00\x04\x00\x05\x00\x06\x00\x07\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\x36\x00\xb1\x00\x41\x00\x14\x00\x15\x00\x97\x00\x04\x00\x09\x00\xb5\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\x37\x00\xb7\x00\x9b\x00\x7e\x00\x7f\x00\xba\x00\xbb\x00\x04\x00\x05\x00\x06\x00\x07\x00\x9b\x00\x93\x00\xc9\x00\x9d\x00\x9e\x00\xbc\x00\x94\x00\xbd\x00\x09\x00\x95\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\x58\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x51\x00\xbf\x00\xa3\x00\x52\x00\x53\x00\x3e\x00\xa2\x00\xa4\x00\x04\x00\x05\x00\x06\x00\x07\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\xd1\x00\x25\x00\x26\x00\x27\x00\x15\x00\xa5\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\x04\x00\x05\x00\x06\x00\x07\x00\x15\x00\xcb\x00\x43\x00\x44\x00\x45\x00\xa8\x00\xae\x00\x2a\x00\x88\x00\x04\x00\xcc\x00\xcd\x00\x8a\x00\xbf\x00\x2b\x00\x2c\x00\x04\x00\x05\x00\x06\x00\x07\x00\x09\x00\x8b\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\xc1\x00\x46\x00\x47\x00\x48\x00\x15\x00\x8c\x00\x8d\x00\x09\x00\x8e\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\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x8f\x00\x90\x00\x91\x00\x97\x00\x92\x00\x41\x00\xc4\x00\x04\x00\x66\x00\x04\x00\x05\x00\x06\x00\x07\x00\x09\x00\x68\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\xb5\x00\x67\x00\x69\x00\x6b\x00\x15\x00\x6a\x00\x04\x00\x09\x00\x6d\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\x29\x00\x7a\x00\x04\x00\x7c\x00\x04\x00\x30\x00\x31\x00\x41\x00\x32\x00\x33\x00\xff\xff\x35\x00\xb7\x00\x4f\x00\xff\xff\x04\x00\x05\x00\x06\x00\x07\x00\x09\x00\x50\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\xb8\x00\x04\x00\x29\x00\x00\x00\x15\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\xa5\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\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\xa8\x00\x00\x00\x00\x00\x00\x00\x15\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\xaa\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\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\xac\x00\x00\x00\x00\x00\x00\x00\x15\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\xaf\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\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\x7c\x00\x00\x00\x00\x00\x00\x00\x15\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\x92\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\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\x98\x00\x00\x00\x00\x00\x00\x00\x15\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\x99\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\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\x55\x00\x00\x00\x00\x00\x00\x00\x15\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\x3e\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\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\x33\x00\x00\x00\x00\x00\x00\x00\x15\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\x35\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\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\x08\x00\x00\x00\x00\x00\x00\x00\x15\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\x9b\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x9c\x00\x9d\x00\x9e\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x9f\x00\xc3\x00\x53\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x54\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\x04\x00\x05\x00\x06\x00\x07\x00\xb1\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\xb2\x00\xb3\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x57\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\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\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\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\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\x60\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5e\x00\x11\x00\x12\x00\x13\x00\x14\x00\x5f\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\x04\x00\x05\x00\x06\x00\x07\x00\x9b\x00\x7e\x00\x7f\x00\x9b\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc2\x00\x9d\x00\x9e\x00\xae\x00\x9d\x00\x9e\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\x38\x00\x12\x00\x13\x00\x14\x00\x9b\x00\x7e\x00\x7f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9c\x00\x9d\x00\x9e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9f\x00\xa0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\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"#
-happyReduceArr = array (2, 112) [
+happyReduceArr = array (2, 119) [
(2 , happyReduce_2),
(3 , happyReduce_3),
(4 , happyReduce_4),
@@ -404,11 +422,18 @@ happyReduceArr = array (2, 112) [
(109 , happyReduce_109),
(110 , happyReduce_110),
(111 , happyReduce_111),
- (112 , happyReduce_112)
+ (112 , happyReduce_112),
+ (113 , happyReduce_113),
+ (114 , happyReduce_114),
+ (115 , happyReduce_115),
+ (116 , happyReduce_116),
+ (117 , happyReduce_117),
+ (118 , happyReduce_118),
+ (119 , happyReduce_119)
]
happy_n_terms = 54 :: Int
-happy_n_nonterms = 43 :: Int
+happy_n_nonterms = 46 :: Int
happyReduce_2 = happySpecReduce_1 0# happyReduction_2
happyReduction_2 happy_x_1
@@ -488,7 +513,7 @@ happyReduction_11 (happy_x_8 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
= case happyOut5 happy_x_2 of { happy_var_2 ->
- case happyOut22 happy_x_4 of { happy_var_4 ->
+ case happyOut25 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
@@ -499,7 +524,7 @@ happyReduction_12 happy_x_3
happy_x_2
happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut22 happy_x_3 of { happy_var_3 ->
+ case happyOut25 happy_x_3 of { happy_var_3 ->
happyIn12
(TypeDecl happy_var_1 happy_var_3
)}}
@@ -511,8 +536,8 @@ happyReduction_13 (happy_x_4 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut19 happy_x_2 of { happy_var_2 ->
- case happyOut22 happy_x_4 of { happy_var_4 ->
+ case happyOut22 happy_x_2 of { happy_var_2 ->
+ case happyOut25 happy_x_4 of { happy_var_4 ->
happyIn12
(ValueDecl happy_var_1 (reverse happy_var_2) happy_var_4
) `HappyStk` happyRest}}}
@@ -554,7 +579,7 @@ happyReduction_18 happy_x_3
happy_x_2
happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut22 happy_x_3 of { happy_var_3 ->
+ case happyOut25 happy_x_3 of { happy_var_3 ->
happyIn14
(ConsDecl happy_var_1 happy_var_3
)}}
@@ -602,12 +627,11 @@ happyReduce_24 = happySpecReduce_3 12# happyReduction_24
happyReduction_24 happy_x_3
happy_x_2
happy_x_1
- = case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut18 happy_x_2 of { happy_var_2 ->
- case happyOut19 happy_x_3 of { happy_var_3 ->
+ = case happyOut18 happy_x_1 of { happy_var_1 ->
+ case happyOut17 happy_x_3 of { happy_var_3 ->
happyIn17
- (PConsTop happy_var_1 happy_var_2 (reverse happy_var_3)
- )}}}
+ (PListCons happy_var_1 happy_var_3
+ )}}
happyReduce_25 = happySpecReduce_1 12# happyReduction_25
happyReduction_25 happy_x_1
@@ -616,282 +640,338 @@ happyReduction_25 happy_x_1
(happy_var_1
)}
-happyReduce_26 = happyReduce 4# 13# happyReduction_26
-happyReduction_26 (happy_x_4 `HappyStk`
+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 ->
+ happyIn18
+ (PConsTop happy_var_1 happy_var_2 (reverse happy_var_3)
+ )}}}
+
+happyReduce_27 = happySpecReduce_1 13# happyReduction_27
+happyReduction_27 happy_x_1
+ = case happyOut19 happy_x_1 of { happy_var_1 ->
+ happyIn18
+ (happy_var_1
+ )}
+
+happyReduce_28 = happyReduce 4# 14# happyReduction_28
+happyReduction_28 (happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut21 happy_x_3 of { happy_var_3 ->
- happyIn18
+ = case happyOut24 happy_x_3 of { happy_var_3 ->
+ happyIn19
(PRec happy_var_3
) `HappyStk` happyRest}
-happyReduce_27 = happySpecReduce_1 13# happyReduction_27
-happyReduction_27 happy_x_1
- = happyIn18
+happyReduce_29 = happySpecReduce_3 14# happyReduction_29
+happyReduction_29 happy_x_3
+ happy_x_2
+ happy_x_1
+ = case happyOut21 happy_x_2 of { happy_var_2 ->
+ happyIn19
+ (PList happy_var_2
+ )}
+
+happyReduce_30 = happySpecReduce_1 14# happyReduction_30
+happyReduction_30 happy_x_1
+ = happyIn19
(PType
)
-happyReduce_28 = happySpecReduce_1 13# happyReduction_28
-happyReduction_28 happy_x_1
+happyReduce_31 = happySpecReduce_1 14# happyReduction_31
+happyReduction_31 happy_x_1
= case happyOut6 happy_x_1 of { happy_var_1 ->
- happyIn18
+ happyIn19
(PStr happy_var_1
)}
-happyReduce_29 = happySpecReduce_1 13# happyReduction_29
-happyReduction_29 happy_x_1
+happyReduce_32 = happySpecReduce_1 14# happyReduction_32
+happyReduction_32 happy_x_1
= case happyOut7 happy_x_1 of { happy_var_1 ->
- happyIn18
+ happyIn19
(PInt happy_var_1
)}
-happyReduce_30 = happySpecReduce_1 13# happyReduction_30
-happyReduction_30 happy_x_1
+happyReduce_33 = happySpecReduce_1 14# happyReduction_33
+happyReduction_33 happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- happyIn18
+ happyIn19
(PVar happy_var_1
)}
-happyReduce_31 = happySpecReduce_1 13# happyReduction_31
-happyReduction_31 happy_x_1
- = happyIn18
+happyReduce_34 = happySpecReduce_1 14# happyReduction_34
+happyReduction_34 happy_x_1
+ = happyIn19
(PWild
)
-happyReduce_32 = happySpecReduce_3 13# happyReduction_32
-happyReduction_32 happy_x_3
+happyReduce_35 = happySpecReduce_3 14# happyReduction_35
+happyReduction_35 happy_x_3
happy_x_2
happy_x_1
= case happyOut16 happy_x_2 of { happy_var_2 ->
- happyIn18
+ happyIn19
(happy_var_2
)}
-happyReduce_33 = happySpecReduce_0 14# happyReduction_33
-happyReduction_33 = happyIn19
+happyReduce_36 = happySpecReduce_1 15# happyReduction_36
+happyReduction_36 happy_x_1
+ = case happyOut16 happy_x_1 of { happy_var_1 ->
+ happyIn20
+ (PListElem happy_var_1
+ )}
+
+happyReduce_37 = happySpecReduce_0 16# happyReduction_37
+happyReduction_37 = happyIn21
([]
)
-happyReduce_34 = happySpecReduce_2 14# happyReduction_34
-happyReduction_34 happy_x_2
+happyReduce_38 = happySpecReduce_1 16# happyReduction_38
+happyReduction_38 happy_x_1
+ = case happyOut20 happy_x_1 of { happy_var_1 ->
+ happyIn21
+ ((:[]) happy_var_1
+ )}
+
+happyReduce_39 = happySpecReduce_3 16# happyReduction_39
+happyReduction_39 happy_x_3
+ happy_x_2
happy_x_1
- = case happyOut19 happy_x_1 of { happy_var_1 ->
- case happyOut18 happy_x_2 of { happy_var_2 ->
- happyIn19
+ = case happyOut20 happy_x_1 of { happy_var_1 ->
+ case happyOut21 happy_x_3 of { happy_var_3 ->
+ happyIn21
+ ((:) happy_var_1 happy_var_3
+ )}}
+
+happyReduce_40 = happySpecReduce_0 17# happyReduction_40
+happyReduction_40 = happyIn22
+ ([]
+ )
+
+happyReduce_41 = happySpecReduce_2 17# happyReduction_41
+happyReduction_41 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
(flip (:) happy_var_1 happy_var_2
)}}
-happyReduce_35 = happySpecReduce_3 15# happyReduction_35
-happyReduction_35 happy_x_3
+happyReduce_42 = happySpecReduce_3 18# happyReduction_42
+happyReduction_42 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 ->
- happyIn20
+ happyIn23
(FieldPattern happy_var_1 happy_var_3
)}}
-happyReduce_36 = happySpecReduce_0 16# happyReduction_36
-happyReduction_36 = happyIn21
+happyReduce_43 = happySpecReduce_0 19# happyReduction_43
+happyReduction_43 = happyIn24
([]
)
-happyReduce_37 = happySpecReduce_1 16# happyReduction_37
-happyReduction_37 happy_x_1
- = case happyOut20 happy_x_1 of { happy_var_1 ->
- happyIn21
+happyReduce_44 = happySpecReduce_1 19# happyReduction_44
+happyReduction_44 happy_x_1
+ = case happyOut23 happy_x_1 of { happy_var_1 ->
+ happyIn24
((:[]) happy_var_1
)}
-happyReduce_38 = happySpecReduce_3 16# happyReduction_38
-happyReduction_38 happy_x_3
+happyReduce_45 = happySpecReduce_3 19# happyReduction_45
+happyReduction_45 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 happyOut23 happy_x_1 of { happy_var_1 ->
+ case happyOut24 happy_x_3 of { happy_var_3 ->
+ happyIn24
((:) happy_var_1 happy_var_3
)}}
-happyReduce_39 = happyReduce 6# 17# happyReduction_39
-happyReduction_39 (happy_x_6 `HappyStk`
+happyReduce_46 = happyReduce 6# 20# happyReduction_46
+happyReduction_46 (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 happyOut24 happy_x_3 of { happy_var_3 ->
- case happyOut22 happy_x_6 of { happy_var_6 ->
- happyIn22
+ = case happyOut27 happy_x_3 of { happy_var_3 ->
+ case happyOut25 happy_x_6 of { happy_var_6 ->
+ happyIn25
(ELet happy_var_3 happy_var_6
) `HappyStk` happyRest}}
-happyReduce_40 = happyReduce 6# 17# happyReduction_40
-happyReduction_40 (happy_x_6 `HappyStk`
+happyReduce_47 = happyReduce 6# 20# happyReduction_47
+happyReduction_47 (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 happyOut22 happy_x_2 of { happy_var_2 ->
- case happyOut26 happy_x_5 of { happy_var_5 ->
- happyIn22
+ = case happyOut25 happy_x_2 of { happy_var_2 ->
+ case happyOut29 happy_x_5 of { happy_var_5 ->
+ happyIn25
(ECase happy_var_2 happy_var_5
) `HappyStk` happyRest}}
-happyReduce_41 = happyReduce 6# 17# happyReduction_41
-happyReduction_41 (happy_x_6 `HappyStk`
+happyReduce_48 = happyReduce 6# 20# happyReduction_48
+happyReduction_48 (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 happyOut22 happy_x_2 of { happy_var_2 ->
- case happyOut22 happy_x_4 of { happy_var_4 ->
- case happyOut22 happy_x_6 of { happy_var_6 ->
- happyIn22
+ = 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
(EIf happy_var_2 happy_var_4 happy_var_6
) `HappyStk` happyRest}}}
-happyReduce_42 = happyReduce 5# 17# happyReduction_42
-happyReduction_42 (happy_x_5 `HappyStk`
+happyReduce_49 = happyReduce 5# 20# happyReduction_49
+happyReduction_49 (happy_x_5 `HappyStk`
happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut28 happy_x_3 of { happy_var_3 ->
- case happyOut22 happy_x_4 of { happy_var_4 ->
- happyIn22
+ = case happyOut31 happy_x_3 of { happy_var_3 ->
+ case happyOut25 happy_x_4 of { happy_var_4 ->
+ happyIn25
(EDo (reverse happy_var_3) happy_var_4
) `HappyStk` happyRest}}
-happyReduce_43 = happySpecReduce_1 17# happyReduction_43
-happyReduction_43 happy_x_1
- = case happyOut46 happy_x_1 of { happy_var_1 ->
- happyIn22
+happyReduce_50 = happySpecReduce_1 20# happyReduction_50
+happyReduction_50 happy_x_1
+ = case happyOut49 happy_x_1 of { happy_var_1 ->
+ happyIn25
(happy_var_1
)}
-happyReduce_44 = happyReduce 5# 18# happyReduction_44
-happyReduction_44 (happy_x_5 `HappyStk`
+happyReduce_51 = happyReduce 5# 21# happyReduction_51
+happyReduction_51 (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_3 of { happy_var_3 ->
- case happyOut22 happy_x_5 of { happy_var_5 ->
- happyIn23
+ case happyOut25 happy_x_3 of { happy_var_3 ->
+ case happyOut25 happy_x_5 of { happy_var_5 ->
+ happyIn26
(LetDef happy_var_1 happy_var_3 happy_var_5
) `HappyStk` happyRest}}}
-happyReduce_45 = happySpecReduce_0 19# happyReduction_45
-happyReduction_45 = happyIn24
+happyReduce_52 = happySpecReduce_0 22# happyReduction_52
+happyReduction_52 = happyIn27
([]
)
-happyReduce_46 = happySpecReduce_1 19# happyReduction_46
-happyReduction_46 happy_x_1
- = case happyOut23 happy_x_1 of { happy_var_1 ->
- happyIn24
+happyReduce_53 = happySpecReduce_1 22# happyReduction_53
+happyReduction_53 happy_x_1
+ = case happyOut26 happy_x_1 of { happy_var_1 ->
+ happyIn27
((:[]) happy_var_1
)}
-happyReduce_47 = happySpecReduce_3 19# happyReduction_47
-happyReduction_47 happy_x_3
+happyReduce_54 = happySpecReduce_3 22# happyReduction_54
+happyReduction_54 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 happyOut26 happy_x_1 of { happy_var_1 ->
+ case happyOut27 happy_x_3 of { happy_var_3 ->
+ happyIn27
((:) happy_var_1 happy_var_3
)}}
-happyReduce_48 = happySpecReduce_3 20# happyReduction_48
-happyReduction_48 happy_x_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 happyOut22 happy_x_3 of { happy_var_3 ->
- happyIn25
+ case happyOut25 happy_x_3 of { happy_var_3 ->
+ happyIn28
(Case happy_var_1 happy_var_3
)}}
-happyReduce_49 = happySpecReduce_0 21# happyReduction_49
-happyReduction_49 = happyIn26
+happyReduce_56 = happySpecReduce_0 24# happyReduction_56
+happyReduction_56 = happyIn29
([]
)
-happyReduce_50 = happySpecReduce_1 21# happyReduction_50
-happyReduction_50 happy_x_1
- = case happyOut25 happy_x_1 of { happy_var_1 ->
- happyIn26
+happyReduce_57 = happySpecReduce_1 24# happyReduction_57
+happyReduction_57 happy_x_1
+ = case happyOut28 happy_x_1 of { happy_var_1 ->
+ happyIn29
((:[]) happy_var_1
)}
-happyReduce_51 = happySpecReduce_3 21# happyReduction_51
-happyReduction_51 happy_x_3
+happyReduce_58 = happySpecReduce_3 24# happyReduction_58
+happyReduction_58 happy_x_3
happy_x_2
happy_x_1
- = case happyOut25 happy_x_1 of { happy_var_1 ->
- case happyOut26 happy_x_3 of { happy_var_3 ->
- happyIn26
+ = case happyOut28 happy_x_1 of { happy_var_1 ->
+ case happyOut29 happy_x_3 of { happy_var_3 ->
+ happyIn29
((:) happy_var_1 happy_var_3
)}}
-happyReduce_52 = happySpecReduce_3 22# happyReduction_52
-happyReduction_52 happy_x_3
+happyReduce_59 = happySpecReduce_3 25# happyReduction_59
+happyReduction_59 happy_x_3
happy_x_2
happy_x_1
- = case happyOut30 happy_x_1 of { happy_var_1 ->
- case happyOut22 happy_x_3 of { happy_var_3 ->
- happyIn27
+ = case happyOut33 happy_x_1 of { happy_var_1 ->
+ case happyOut25 happy_x_3 of { happy_var_3 ->
+ happyIn30
(BindVar happy_var_1 happy_var_3
)}}
-happyReduce_53 = happySpecReduce_1 22# happyReduction_53
-happyReduction_53 happy_x_1
- = case happyOut22 happy_x_1 of { happy_var_1 ->
- happyIn27
+happyReduce_60 = happySpecReduce_1 25# happyReduction_60
+happyReduction_60 happy_x_1
+ = case happyOut25 happy_x_1 of { happy_var_1 ->
+ happyIn30
(BindNoVar happy_var_1
)}
-happyReduce_54 = happySpecReduce_0 23# happyReduction_54
-happyReduction_54 = happyIn28
+happyReduce_61 = happySpecReduce_0 26# happyReduction_61
+happyReduction_61 = happyIn31
([]
)
-happyReduce_55 = happySpecReduce_3 23# happyReduction_55
-happyReduction_55 happy_x_3
+happyReduce_62 = happySpecReduce_3 26# happyReduction_62
+happyReduction_62 happy_x_3
happy_x_2
happy_x_1
- = case happyOut28 happy_x_1 of { happy_var_1 ->
- case happyOut27 happy_x_2 of { happy_var_2 ->
- happyIn28
+ = 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_56 = happyReduce 4# 24# happyReduction_56
-happyReduction_56 (happy_x_4 `HappyStk`
+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 happyOut30 happy_x_2 of { happy_var_2 ->
- case happyOut22 happy_x_4 of { happy_var_4 ->
- happyIn29
+ = 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_57 = happyReduce 7# 24# happyReduction_57
-happyReduction_57 (happy_x_7 `HappyStk`
+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`
@@ -899,470 +979,470 @@ happyReduction_57 (happy_x_7 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut30 happy_x_2 of { happy_var_2 ->
- case happyOut22 happy_x_4 of { happy_var_4 ->
- case happyOut22 happy_x_7 of { happy_var_7 ->
- happyIn29
+ = 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_58 = happySpecReduce_3 24# happyReduction_58
-happyReduction_58 happy_x_3
+happyReduce_65 = happySpecReduce_3 27# happyReduction_65
+happyReduction_65 happy_x_3
happy_x_2
happy_x_1
- = case happyOut31 happy_x_1 of { happy_var_1 ->
- case happyOut22 happy_x_3 of { happy_var_3 ->
- happyIn29
+ = 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_59 = happySpecReduce_1 24# happyReduction_59
-happyReduction_59 happy_x_1
- = case happyOut31 happy_x_1 of { happy_var_1 ->
- happyIn29
+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_60 = happySpecReduce_1 25# happyReduction_60
-happyReduction_60 happy_x_1
+happyReduce_67 = happySpecReduce_1 28# happyReduction_67
+happyReduction_67 happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- happyIn30
+ happyIn33
(VVar happy_var_1
)}
-happyReduce_61 = happySpecReduce_1 25# happyReduction_61
-happyReduction_61 happy_x_1
- = happyIn30
+happyReduce_68 = happySpecReduce_1 28# happyReduction_68
+happyReduction_68 happy_x_1
+ = happyIn33
(VWild
)
-happyReduce_62 = happySpecReduce_3 26# happyReduction_62
-happyReduction_62 happy_x_3
+happyReduce_69 = happySpecReduce_3 29# happyReduction_69
+happyReduction_69 happy_x_3
happy_x_2
happy_x_1
- = case happyOut31 happy_x_1 of { happy_var_1 ->
- case happyOut32 happy_x_3 of { happy_var_3 ->
- happyIn31
+ = 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_63 = happySpecReduce_3 26# happyReduction_63
-happyReduction_63 happy_x_3
+happyReduce_70 = happySpecReduce_3 29# happyReduction_70
+happyReduction_70 happy_x_3
happy_x_2
happy_x_1
- = case happyOut31 happy_x_1 of { happy_var_1 ->
- case happyOut32 happy_x_3 of { happy_var_3 ->
- happyIn31
+ = case happyOut34 happy_x_1 of { happy_var_1 ->
+ case happyOut35 happy_x_3 of { happy_var_3 ->
+ happyIn34
(EBindC happy_var_1 happy_var_3
)}}
-happyReduce_64 = happySpecReduce_1 26# happyReduction_64
-happyReduction_64 happy_x_1
- = case happyOut32 happy_x_1 of { happy_var_1 ->
- happyIn31
+happyReduce_71 = happySpecReduce_1 29# happyReduction_71
+happyReduction_71 happy_x_1
+ = case happyOut35 happy_x_1 of { happy_var_1 ->
+ happyIn34
(happy_var_1
)}
-happyReduce_65 = happySpecReduce_3 27# happyReduction_65
-happyReduction_65 happy_x_3
+happyReduce_72 = happySpecReduce_3 30# happyReduction_72
+happyReduction_72 happy_x_3
happy_x_2
happy_x_1
- = case happyOut33 happy_x_1 of { happy_var_1 ->
- case happyOut32 happy_x_3 of { happy_var_3 ->
- happyIn32
+ = case happyOut36 happy_x_1 of { happy_var_1 ->
+ case happyOut35 happy_x_3 of { happy_var_3 ->
+ happyIn35
(EOr happy_var_1 happy_var_3
)}}
-happyReduce_66 = happySpecReduce_1 27# happyReduction_66
-happyReduction_66 happy_x_1
- = case happyOut33 happy_x_1 of { happy_var_1 ->
- happyIn32
+happyReduce_73 = happySpecReduce_1 30# happyReduction_73
+happyReduction_73 happy_x_1
+ = case happyOut36 happy_x_1 of { happy_var_1 ->
+ happyIn35
(happy_var_1
)}
-happyReduce_67 = happySpecReduce_3 28# happyReduction_67
-happyReduction_67 happy_x_3
+happyReduce_74 = happySpecReduce_3 31# happyReduction_74
+happyReduction_74 happy_x_3
happy_x_2
happy_x_1
- = case happyOut34 happy_x_1 of { happy_var_1 ->
- case happyOut33 happy_x_3 of { happy_var_3 ->
- happyIn33
+ = 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
)}}
-happyReduce_68 = happySpecReduce_1 28# happyReduction_68
-happyReduction_68 happy_x_1
- = case happyOut34 happy_x_1 of { happy_var_1 ->
- happyIn33
+happyReduce_75 = happySpecReduce_1 31# happyReduction_75
+happyReduction_75 happy_x_1
+ = case happyOut37 happy_x_1 of { happy_var_1 ->
+ happyIn36
(happy_var_1
)}
-happyReduce_69 = happySpecReduce_3 29# happyReduction_69
-happyReduction_69 happy_x_3
+happyReduce_76 = happySpecReduce_3 32# happyReduction_76
+happyReduction_76 happy_x_3
happy_x_2
happy_x_1
- = case happyOut35 happy_x_1 of { happy_var_1 ->
- case happyOut35 happy_x_3 of { happy_var_3 ->
- happyIn34
+ = case happyOut38 happy_x_1 of { happy_var_1 ->
+ case happyOut38 happy_x_3 of { happy_var_3 ->
+ happyIn37
(EEq happy_var_1 happy_var_3
)}}
-happyReduce_70 = happySpecReduce_3 29# happyReduction_70
-happyReduction_70 happy_x_3
+happyReduce_77 = happySpecReduce_3 32# happyReduction_77
+happyReduction_77 happy_x_3
happy_x_2
happy_x_1
- = case happyOut35 happy_x_1 of { happy_var_1 ->
- case happyOut35 happy_x_3 of { happy_var_3 ->
- happyIn34
+ = 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
)}}
-happyReduce_71 = happySpecReduce_3 29# happyReduction_71
-happyReduction_71 happy_x_3
+happyReduce_78 = happySpecReduce_3 32# happyReduction_78
+happyReduction_78 happy_x_3
happy_x_2
happy_x_1
- = case happyOut35 happy_x_1 of { happy_var_1 ->
- case happyOut35 happy_x_3 of { happy_var_3 ->
- happyIn34
+ = 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
)}}
-happyReduce_72 = happySpecReduce_3 29# happyReduction_72
-happyReduction_72 happy_x_3
+happyReduce_79 = happySpecReduce_3 32# happyReduction_79
+happyReduction_79 happy_x_3
happy_x_2
happy_x_1
- = case happyOut35 happy_x_1 of { happy_var_1 ->
- case happyOut35 happy_x_3 of { happy_var_3 ->
- happyIn34
+ = 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
)}}
-happyReduce_73 = happySpecReduce_3 29# happyReduction_73
-happyReduction_73 happy_x_3
+happyReduce_80 = happySpecReduce_3 32# happyReduction_80
+happyReduction_80 happy_x_3
happy_x_2
happy_x_1
- = case happyOut35 happy_x_1 of { happy_var_1 ->
- case happyOut35 happy_x_3 of { happy_var_3 ->
- happyIn34
+ = 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
)}}
-happyReduce_74 = happySpecReduce_3 29# happyReduction_74
-happyReduction_74 happy_x_3
+happyReduce_81 = happySpecReduce_3 32# happyReduction_81
+happyReduction_81 happy_x_3
happy_x_2
happy_x_1
- = case happyOut35 happy_x_1 of { happy_var_1 ->
- case happyOut35 happy_x_3 of { happy_var_3 ->
- happyIn34
+ = 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
)}}
-happyReduce_75 = happySpecReduce_1 29# happyReduction_75
-happyReduction_75 happy_x_1
- = case happyOut35 happy_x_1 of { happy_var_1 ->
- happyIn34
+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_76 = happySpecReduce_3 30# happyReduction_76
-happyReduction_76 happy_x_3
+happyReduce_83 = happySpecReduce_3 33# happyReduction_83
+happyReduction_83 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 ->
- happyIn35
+ = case happyOut39 happy_x_1 of { happy_var_1 ->
+ case happyOut38 happy_x_3 of { happy_var_3 ->
+ happyIn38
(EListCons happy_var_1 happy_var_3
)}}
-happyReduce_77 = happySpecReduce_1 30# happyReduction_77
-happyReduction_77 happy_x_1
- = case happyOut36 happy_x_1 of { happy_var_1 ->
- happyIn35
+happyReduce_84 = happySpecReduce_1 33# happyReduction_84
+happyReduction_84 happy_x_1
+ = case happyOut39 happy_x_1 of { happy_var_1 ->
+ happyIn38
(happy_var_1
)}
-happyReduce_78 = happySpecReduce_3 31# happyReduction_78
-happyReduction_78 happy_x_3
+happyReduce_85 = happySpecReduce_3 34# happyReduction_85
+happyReduction_85 happy_x_3
happy_x_2
happy_x_1
- = case happyOut36 happy_x_1 of { happy_var_1 ->
- case happyOut37 happy_x_3 of { happy_var_3 ->
- happyIn36
+ = 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_79 = happySpecReduce_3 31# happyReduction_79
-happyReduction_79 happy_x_3
+happyReduce_86 = happySpecReduce_3 34# happyReduction_86
+happyReduction_86 happy_x_3
happy_x_2
happy_x_1
- = case happyOut36 happy_x_1 of { happy_var_1 ->
- case happyOut37 happy_x_3 of { happy_var_3 ->
- happyIn36
+ = case happyOut39 happy_x_1 of { happy_var_1 ->
+ case happyOut40 happy_x_3 of { happy_var_3 ->
+ happyIn39
(ESub happy_var_1 happy_var_3
)}}
-happyReduce_80 = happySpecReduce_1 31# happyReduction_80
-happyReduction_80 happy_x_1
- = case happyOut37 happy_x_1 of { happy_var_1 ->
- happyIn36
+happyReduce_87 = happySpecReduce_1 34# happyReduction_87
+happyReduction_87 happy_x_1
+ = case happyOut40 happy_x_1 of { happy_var_1 ->
+ happyIn39
(happy_var_1
)}
-happyReduce_81 = happySpecReduce_3 32# happyReduction_81
-happyReduction_81 happy_x_3
+happyReduce_88 = happySpecReduce_3 35# happyReduction_88
+happyReduction_88 happy_x_3
happy_x_2
happy_x_1
- = case happyOut37 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
- happyIn37
+ = 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
)}}
-happyReduce_82 = happySpecReduce_3 32# happyReduction_82
-happyReduction_82 happy_x_3
+happyReduce_89 = happySpecReduce_3 35# happyReduction_89
+happyReduction_89 happy_x_3
happy_x_2
happy_x_1
- = case happyOut37 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
- happyIn37
+ = 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
)}}
-happyReduce_83 = happySpecReduce_3 32# happyReduction_83
-happyReduction_83 happy_x_3
+happyReduce_90 = happySpecReduce_3 35# happyReduction_90
+happyReduction_90 happy_x_3
happy_x_2
happy_x_1
- = case happyOut37 happy_x_1 of { happy_var_1 ->
- case happyOut38 happy_x_3 of { happy_var_3 ->
- happyIn37
+ = 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
)}}
-happyReduce_84 = happySpecReduce_1 32# happyReduction_84
-happyReduction_84 happy_x_1
- = case happyOut38 happy_x_1 of { happy_var_1 ->
- happyIn37
+happyReduce_91 = happySpecReduce_1 35# happyReduction_91
+happyReduction_91 happy_x_1
+ = case happyOut41 happy_x_1 of { happy_var_1 ->
+ happyIn40
(happy_var_1
)}
-happyReduce_85 = happySpecReduce_2 33# happyReduction_85
-happyReduction_85 happy_x_2
+happyReduce_92 = happySpecReduce_2 36# happyReduction_92
+happyReduction_92 happy_x_2
happy_x_1
- = case happyOut38 happy_x_2 of { happy_var_2 ->
- happyIn38
+ = case happyOut41 happy_x_2 of { happy_var_2 ->
+ happyIn41
(ENeg happy_var_2
)}
-happyReduce_86 = happySpecReduce_1 33# happyReduction_86
-happyReduction_86 happy_x_1
- = case happyOut39 happy_x_1 of { happy_var_1 ->
- happyIn38
+happyReduce_93 = happySpecReduce_1 36# happyReduction_93
+happyReduction_93 happy_x_1
+ = case happyOut42 happy_x_1 of { happy_var_1 ->
+ happyIn41
(happy_var_1
)}
-happyReduce_87 = happySpecReduce_2 34# happyReduction_87
-happyReduction_87 happy_x_2
+happyReduce_94 = happySpecReduce_2 37# happyReduction_94
+happyReduction_94 happy_x_2
happy_x_1
- = case happyOut39 happy_x_1 of { happy_var_1 ->
- case happyOut40 happy_x_2 of { happy_var_2 ->
- happyIn39
+ = case happyOut42 happy_x_1 of { happy_var_1 ->
+ case happyOut43 happy_x_2 of { happy_var_2 ->
+ happyIn42
(EApp happy_var_1 happy_var_2
)}}
-happyReduce_88 = happySpecReduce_1 34# happyReduction_88
-happyReduction_88 happy_x_1
- = case happyOut40 happy_x_1 of { happy_var_1 ->
- happyIn39
+happyReduce_95 = happySpecReduce_1 37# happyReduction_95
+happyReduction_95 happy_x_1
+ = case happyOut43 happy_x_1 of { happy_var_1 ->
+ happyIn42
(happy_var_1
)}
-happyReduce_89 = happySpecReduce_3 35# happyReduction_89
-happyReduction_89 happy_x_3
+happyReduce_96 = happySpecReduce_3 38# happyReduction_96
+happyReduction_96 happy_x_3
happy_x_2
happy_x_1
- = case happyOut40 happy_x_1 of { happy_var_1 ->
+ = case happyOut43 happy_x_1 of { happy_var_1 ->
case happyOut5 happy_x_3 of { happy_var_3 ->
- happyIn40
+ happyIn43
(EProj happy_var_1 happy_var_3
)}}
-happyReduce_90 = happySpecReduce_1 35# happyReduction_90
-happyReduction_90 happy_x_1
- = case happyOut41 happy_x_1 of { happy_var_1 ->
- happyIn40
+happyReduce_97 = happySpecReduce_1 38# happyReduction_97
+happyReduction_97 happy_x_1
+ = case happyOut44 happy_x_1 of { happy_var_1 ->
+ happyIn43
(happy_var_1
)}
-happyReduce_91 = happyReduce 4# 36# happyReduction_91
-happyReduction_91 (happy_x_4 `HappyStk`
+happyReduce_98 = happyReduce 4# 39# happyReduction_98
+happyReduction_98 (happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut43 happy_x_3 of { happy_var_3 ->
- happyIn41
+ = case happyOut46 happy_x_3 of { happy_var_3 ->
+ happyIn44
(ERecType happy_var_3
) `HappyStk` happyRest}
-happyReduce_92 = happyReduce 4# 36# happyReduction_92
-happyReduction_92 (happy_x_4 `HappyStk`
+happyReduce_99 = happyReduce 4# 39# happyReduction_99
+happyReduction_99 (happy_x_4 `HappyStk`
happy_x_3 `HappyStk`
happy_x_2 `HappyStk`
happy_x_1 `HappyStk`
happyRest)
- = case happyOut45 happy_x_3 of { happy_var_3 ->
- happyIn41
+ = case happyOut48 happy_x_3 of { happy_var_3 ->
+ happyIn44
(ERec happy_var_3
) `HappyStk` happyRest}
-happyReduce_93 = happySpecReduce_3 36# happyReduction_93
-happyReduction_93 happy_x_3
+happyReduce_100 = happySpecReduce_3 39# happyReduction_100
+happyReduction_100 happy_x_3
happy_x_2
happy_x_1
- = case happyOut47 happy_x_2 of { happy_var_2 ->
- happyIn41
+ = case happyOut50 happy_x_2 of { happy_var_2 ->
+ happyIn44
(EList happy_var_2
)}
-happyReduce_94 = happySpecReduce_1 36# happyReduction_94
-happyReduction_94 happy_x_1
+happyReduce_101 = happySpecReduce_1 39# happyReduction_101
+happyReduction_101 happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- happyIn41
+ happyIn44
(EVar happy_var_1
)}
-happyReduce_95 = happySpecReduce_1 36# happyReduction_95
-happyReduction_95 happy_x_1
- = happyIn41
+happyReduce_102 = happySpecReduce_1 39# happyReduction_102
+happyReduction_102 happy_x_1
+ = happyIn44
(EType
)
-happyReduce_96 = happySpecReduce_1 36# happyReduction_96
-happyReduction_96 happy_x_1
+happyReduce_103 = happySpecReduce_1 39# happyReduction_103
+happyReduction_103 happy_x_1
= case happyOut6 happy_x_1 of { happy_var_1 ->
- happyIn41
+ happyIn44
(EStr happy_var_1
)}
-happyReduce_97 = happySpecReduce_1 36# happyReduction_97
-happyReduction_97 happy_x_1
+happyReduce_104 = happySpecReduce_1 39# happyReduction_104
+happyReduction_104 happy_x_1
= case happyOut7 happy_x_1 of { happy_var_1 ->
- happyIn41
+ happyIn44
(EInteger happy_var_1
)}
-happyReduce_98 = happySpecReduce_1 36# happyReduction_98
-happyReduction_98 happy_x_1
+happyReduce_105 = happySpecReduce_1 39# happyReduction_105
+happyReduction_105 happy_x_1
= case happyOut8 happy_x_1 of { happy_var_1 ->
- happyIn41
+ happyIn44
(EDouble happy_var_1
)}
-happyReduce_99 = happySpecReduce_1 36# happyReduction_99
-happyReduction_99 happy_x_1
- = happyIn41
+happyReduce_106 = happySpecReduce_1 39# happyReduction_106
+happyReduction_106 happy_x_1
+ = happyIn44
(EMeta
)
-happyReduce_100 = happySpecReduce_3 36# happyReduction_100
-happyReduction_100 happy_x_3
+happyReduce_107 = happySpecReduce_3 39# happyReduction_107
+happyReduction_107 happy_x_3
happy_x_2
happy_x_1
- = case happyOut22 happy_x_2 of { happy_var_2 ->
- happyIn41
+ = case happyOut25 happy_x_2 of { happy_var_2 ->
+ happyIn44
(happy_var_2
)}
-happyReduce_101 = happySpecReduce_3 37# happyReduction_101
-happyReduction_101 happy_x_3
+happyReduce_108 = happySpecReduce_3 40# happyReduction_108
+happyReduction_108 happy_x_3
happy_x_2
happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut22 happy_x_3 of { happy_var_3 ->
- happyIn42
+ case happyOut25 happy_x_3 of { happy_var_3 ->
+ happyIn45
(FieldType happy_var_1 happy_var_3
)}}
-happyReduce_102 = happySpecReduce_0 38# happyReduction_102
-happyReduction_102 = happyIn43
+happyReduce_109 = happySpecReduce_0 41# happyReduction_109
+happyReduction_109 = happyIn46
([]
)
-happyReduce_103 = happySpecReduce_1 38# happyReduction_103
-happyReduction_103 happy_x_1
- = case happyOut42 happy_x_1 of { happy_var_1 ->
- happyIn43
+happyReduce_110 = happySpecReduce_1 41# happyReduction_110
+happyReduction_110 happy_x_1
+ = case happyOut45 happy_x_1 of { happy_var_1 ->
+ happyIn46
((:[]) happy_var_1
)}
-happyReduce_104 = happySpecReduce_3 38# happyReduction_104
-happyReduction_104 happy_x_3
+happyReduce_111 = happySpecReduce_3 41# happyReduction_111
+happyReduction_111 happy_x_3
happy_x_2
happy_x_1
- = case happyOut42 happy_x_1 of { happy_var_1 ->
- case happyOut43 happy_x_3 of { happy_var_3 ->
- happyIn43
+ = case happyOut45 happy_x_1 of { happy_var_1 ->
+ case happyOut46 happy_x_3 of { happy_var_3 ->
+ happyIn46
((:) happy_var_1 happy_var_3
)}}
-happyReduce_105 = happySpecReduce_3 39# happyReduction_105
-happyReduction_105 happy_x_3
+happyReduce_112 = happySpecReduce_3 42# happyReduction_112
+happyReduction_112 happy_x_3
happy_x_2
happy_x_1
= case happyOut5 happy_x_1 of { happy_var_1 ->
- case happyOut22 happy_x_3 of { happy_var_3 ->
- happyIn44
+ case happyOut25 happy_x_3 of { happy_var_3 ->
+ happyIn47
(FieldValue happy_var_1 happy_var_3
)}}
-happyReduce_106 = happySpecReduce_0 40# happyReduction_106
-happyReduction_106 = happyIn45
+happyReduce_113 = happySpecReduce_0 43# happyReduction_113
+happyReduction_113 = happyIn48
([]
)
-happyReduce_107 = happySpecReduce_1 40# happyReduction_107
-happyReduction_107 happy_x_1
- = case happyOut44 happy_x_1 of { happy_var_1 ->
- happyIn45
+happyReduce_114 = happySpecReduce_1 43# happyReduction_114
+happyReduction_114 happy_x_1
+ = case happyOut47 happy_x_1 of { happy_var_1 ->
+ happyIn48
((:[]) happy_var_1
)}
-happyReduce_108 = happySpecReduce_3 40# happyReduction_108
-happyReduction_108 happy_x_3
+happyReduce_115 = happySpecReduce_3 43# happyReduction_115
+happyReduction_115 happy_x_3
happy_x_2
happy_x_1
- = case happyOut44 happy_x_1 of { happy_var_1 ->
- case happyOut45 happy_x_3 of { happy_var_3 ->
- happyIn45
+ = case happyOut47 happy_x_1 of { happy_var_1 ->
+ case happyOut48 happy_x_3 of { happy_var_3 ->
+ happyIn48
((:) happy_var_1 happy_var_3
)}}
-happyReduce_109 = happySpecReduce_1 41# happyReduction_109
-happyReduction_109 happy_x_1
- = case happyOut29 happy_x_1 of { happy_var_1 ->
- happyIn46
+happyReduce_116 = happySpecReduce_1 44# happyReduction_116
+happyReduction_116 happy_x_1
+ = case happyOut32 happy_x_1 of { happy_var_1 ->
+ happyIn49
(happy_var_1
)}
-happyReduce_110 = happySpecReduce_0 42# happyReduction_110
-happyReduction_110 = happyIn47
+happyReduce_117 = happySpecReduce_0 45# happyReduction_117
+happyReduction_117 = happyIn50
([]
)
-happyReduce_111 = happySpecReduce_1 42# happyReduction_111
-happyReduction_111 happy_x_1
- = case happyOut22 happy_x_1 of { happy_var_1 ->
- happyIn47
+happyReduce_118 = happySpecReduce_1 45# happyReduction_118
+happyReduction_118 happy_x_1
+ = case happyOut25 happy_x_1 of { happy_var_1 ->
+ happyIn50
((:[]) happy_var_1
)}
-happyReduce_112 = happySpecReduce_3 42# happyReduction_112
-happyReduction_112 happy_x_3
+happyReduce_119 = happySpecReduce_3 45# happyReduction_119
+happyReduction_119 happy_x_3
happy_x_2
happy_x_1
- = case happyOut22 happy_x_1 of { happy_var_1 ->
- case happyOut47 happy_x_3 of { happy_var_3 ->
- happyIn47
+ = case happyOut25 happy_x_1 of { happy_var_1 ->
+ case happyOut50 happy_x_3 of { happy_var_3 ->
+ happyIn50
((:) happy_var_1 happy_var_3
)}}
@@ -1378,32 +1458,32 @@ happyNewToken action sts stk (tk:tks) =
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 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 "::") -> 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#;
@@ -1443,7 +1523,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 (happyOut22 x))
+ happySomeParser = happyThen (happyParse 1# tks) (\x -> happyReturn (happyOut25 x))
happySeq = happyDontSeq
diff --git a/src/Transfer/Syntax/Par.y b/src/Transfer/Syntax/Par.y
index 48e9daa55..d850c8bd8 100644
--- a/src/Transfer/Syntax/Par.y
+++ b/src/Transfer/Syntax/Par.y
@@ -20,8 +20,12 @@ import Transfer.ErrM
'}' { PT _ (TS "}") }
'=' { PT _ (TS "=") }
'||' { PT _ (TS "||") }
+ '::' { PT _ (TS "::") }
'(' { PT _ (TS "(") }
')' { PT _ (TS ")") }
+ '[' { PT _ (TS "[") }
+ ']' { PT _ (TS "]") }
+ ',' { PT _ (TS ",") }
'_' { PT _ (TS "_") }
'->' { PT _ (TS "->") }
'<-' { PT _ (TS "<-") }
@@ -35,17 +39,13 @@ import Transfer.ErrM
'<=' { PT _ (TS "<=") }
'>' { PT _ (TS ">") }
'>=' { PT _ (TS ">=") }
- '::' { PT _ (TS "::") }
'+' { PT _ (TS "+") }
'-' { PT _ (TS "-") }
'*' { PT _ (TS "*") }
'/' { PT _ (TS "/") }
'%' { PT _ (TS "%") }
'.' { PT _ (TS ".") }
- '[' { PT _ (TS "[") }
- ']' { PT _ (TS "]") }
'?' { PT _ (TS "?") }
- ',' { PT _ (TS ",") }
'Type' { PT _ (TS "Type") }
'case' { PT _ (TS "case") }
'data' { PT _ (TS "data") }
@@ -119,12 +119,18 @@ Pattern : Pattern1 '||' Pattern { POr $1 $3 }
Pattern1 :: { Pattern }
-Pattern1 : Ident Pattern2 ListPattern { PConsTop $1 $2 (reverse $3) }
+Pattern1 : Pattern2 '::' Pattern1 { PListCons $1 $3 }
| Pattern2 { $1 }
Pattern2 :: { Pattern }
-Pattern2 : 'rec' '{' ListFieldPattern '}' { PRec $3 }
+Pattern2 : Ident Pattern3 ListPattern { PConsTop $1 $2 (reverse $3) }
+ | Pattern3 { $1 }
+
+
+Pattern3 :: { Pattern }
+Pattern3 : 'rec' '{' ListFieldPattern '}' { PRec $3 }
+ | '[' ListPListElem ']' { PList $2 }
| 'Type' { PType }
| String { PStr $1 }
| Integer { PInt $1 }
@@ -133,9 +139,19 @@ Pattern2 : 'rec' '{' ListFieldPattern '}' { PRec $3 }
| '(' Pattern ')' { $2 }
+PListElem :: { PListElem }
+PListElem : Pattern { PListElem $1 }
+
+
+ListPListElem :: { [PListElem] }
+ListPListElem : {- empty -} { [] }
+ | PListElem { (:[]) $1 }
+ | PListElem ',' ListPListElem { (:) $1 $3 }
+
+
ListPattern :: { [Pattern] }
ListPattern : {- empty -} { [] }
- | ListPattern Pattern2 { flip (:) $1 $2 }
+ | ListPattern Pattern3 { flip (:) $1 $2 }
FieldPattern :: { FieldPattern }
diff --git a/src/Transfer/Syntax/Print.hs b/src/Transfer/Syntax/Print.hs
index 5e17c4491..25593f98a 100644
--- a/src/Transfer/Syntax/Print.hs
+++ b/src/Transfer/Syntax/Print.hs
@@ -88,14 +88,17 @@ instance Print (Tree c) where
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])
POr pattern0 pattern1 -> prPrec _i 0 (concatD [prt 1 pattern0 , doc (showString "||") , prt 0 pattern1])
- PConsTop i pattern patterns -> prPrec _i 1 (concatD [prt 0 i , prt 2 pattern , prt 0 patterns])
- PCons i patterns -> prPrec _i 2 (concatD [doc (showString "(") , prt 0 i , prt 0 patterns , doc (showString ")")])
- PRec fieldpatterns -> prPrec _i 2 (concatD [doc (showString "rec") , doc (showString "{") , prt 0 fieldpatterns , doc (showString "}")])
- PType -> prPrec _i 2 (concatD [doc (showString "Type")])
- PStr str -> prPrec _i 2 (concatD [prt 0 str])
- PInt n -> prPrec _i 2 (concatD [prt 0 n])
- PVar i -> prPrec _i 2 (concatD [prt 0 i])
- PWild -> prPrec _i 2 (concatD [doc (showString "_")])
+ 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])
+ PCons i patterns -> prPrec _i 3 (concatD [doc (showString "(") , prt 0 i , prt 0 patterns , doc (showString ")")])
+ PRec fieldpatterns -> prPrec _i 3 (concatD [doc (showString "rec") , doc (showString "{") , prt 0 fieldpatterns , doc (showString "}")])
+ PList plistelems -> prPrec _i 3 (concatD [doc (showString "[") , prt 0 plistelems , doc (showString "]")])
+ PType -> prPrec _i 3 (concatD [doc (showString "Type")])
+ PStr str -> prPrec _i 3 (concatD [prt 0 str])
+ PInt n -> prPrec _i 3 (concatD [prt 0 n])
+ PVar i -> prPrec _i 3 (concatD [prt 0 i])
+ 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 "}")])
@@ -157,10 +160,15 @@ instance Print [ConsDecl] where
[] -> (concatD [])
[x] -> (concatD [prt 0 x])
x:xs -> (concatD [prt 0 x , doc (showString ";") , prt 0 xs])
+instance Print [PListElem] where
+ prt _ es = case es of
+ [] -> (concatD [])
+ [x] -> (concatD [prt 0 x])
+ x:xs -> (concatD [prt 0 x , doc (showString ",") , prt 0 xs])
instance Print [Pattern] where
prt _ es = case es of
[] -> (concatD [])
- x:xs -> (concatD [prt 2 x , prt 0 xs])
+ x:xs -> (concatD [prt 3 x , prt 0 xs])
instance Print [FieldPattern] where
prt _ es = case es of
[] -> (concatD [])
diff --git a/src/Transfer/Syntax/Skel.hs b/src/Transfer/Syntax/Skel.hs
index a28e4a46a..d41d5512f 100644
--- a/src/Transfer/Syntax/Skel.hs
+++ b/src/Transfer/Syntax/Skel.hs
@@ -19,14 +19,17 @@ transTree t = case t of
DeriveDecl i0 i1 -> failure t
ConsDecl i exp -> failure t
POr pattern0 pattern1 -> failure t
+ PListCons pattern0 pattern1 -> failure t
PConsTop i pattern patterns -> failure t
PCons i patterns -> failure t
PRec fieldpatterns -> failure t
+ PList plistelems -> failure t
PType -> failure t
PStr str -> failure t
PInt n -> failure t
PVar i -> failure t
PWild -> failure t
+ PListElem pattern -> failure t
FieldPattern i pattern -> failure t
ELet letdefs exp -> failure t
ECase exp cases -> failure t
@@ -95,15 +98,21 @@ transConsDecl t = case t of
transPattern :: Pattern -> Result
transPattern t = case t of
POr pattern0 pattern1 -> failure t
+ PListCons pattern0 pattern1 -> failure t
PConsTop i pattern patterns -> failure t
PCons i patterns -> failure t
PRec fieldpatterns -> failure t
+ PList plistelems -> failure t
PType -> failure t
PStr str -> failure t
PInt n -> failure t
PVar i -> failure t
PWild -> failure t
+transPListElem :: PListElem -> Result
+transPListElem t = case t of
+ PListElem pattern -> failure t
+
transFieldPattern :: FieldPattern -> Result
transFieldPattern t = case t of
FieldPattern i pattern -> failure t
diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf
index 71fdfc84a..64b588376 100644
--- a/src/Transfer/Syntax/Syntax.cf
+++ b/src/Transfer/Syntax/Syntax.cf
@@ -24,30 +24,39 @@ separator ConsDecl ";" ;
-- Disjunctive patterns.
POr. Pattern ::= Pattern1 "||" Pattern ;
+-- List constructor patterns
+PListCons. Pattern1 ::= Pattern2 "::" Pattern1 ;
+
-- Hack: constructor applied to at least one pattern
-- this is to separate it from variable patterns
-PConsTop. Pattern1 ::= Ident Pattern2 [Pattern] ;
+PConsTop. Pattern2 ::= Ident Pattern3 [Pattern] ;
-- Real constructor pattern
-internal PCons. Pattern2 ::= "(" Ident [Pattern] ")" ;
+internal PCons. Pattern3 ::= "(" Ident [Pattern] ")" ;
-- Record patterns
-PRec. Pattern2 ::= "rec" "{" [FieldPattern] "}";
+PRec. Pattern3 ::= "rec" "{" [FieldPattern] "}";
+
+-- List patterns
+PList. Pattern3 ::= "[" [PListElem] "]" ;
+PListElem. PListElem ::= Pattern ;
+separator PListElem "," ;
+
-- The pattern matching the Type constant
-PType. Pattern2 ::= "Type" ;
+PType. Pattern3 ::= "Type" ;
-- String literal patterns
-PStr. Pattern2 ::= String ;
+PStr. Pattern3 ::= String ;
-- Integer literal patterns
-PInt. Pattern2 ::= Integer ;
+PInt. Pattern3 ::= Integer ;
-- Variable patterns
-PVar. Pattern2 ::= Ident ;
+PVar. Pattern3 ::= Ident ;
-- Wild card patterns
-PWild. Pattern2 ::= "_" ;
+PWild. Pattern3 ::= "_" ;
-coercions Pattern 2 ;
+coercions Pattern 3 ;
[]. [Pattern] ::= ;
-(:). [Pattern] ::= Pattern2 [Pattern] ;
+(:). [Pattern] ::= Pattern3 [Pattern] ;
FieldPattern. FieldPattern ::= Ident "=" Pattern ;
separator FieldPattern ";" ;
diff --git a/src/Transfer/SyntaxToCore.hs b/src/Transfer/SyntaxToCore.hs
index 586160ebe..b13579293 100644
--- a/src/Transfer/SyntaxToCore.hs
+++ b/src/Transfer/SyntaxToCore.hs
@@ -381,6 +381,8 @@ desugar = return . map f
where
f :: Tree a -> Tree a
f x = case x of
+ PListCons p1 p2 -> pListCons <| p1 <| p2
+ PList xs -> pList (map f [p | PListElem p <- xs])
EIf exp0 exp1 exp2 -> ifBool <| exp0 <| exp1 <| exp2
EDo bs e -> mkDo (map f bs) (f e)
BindNoVar exp0 -> BindVar VWild <| exp0
@@ -407,6 +409,16 @@ desugar = return . map f
where g <| x = g (f x)
--
+-- * List patterns
+--
+
+pListCons :: Pattern -> Pattern -> Pattern
+pListCons p1 p2 = PCons (Ident "Cons") [PWild,p1,p2]
+
+pList :: [Pattern] -> Pattern
+pList = foldr pListCons (PCons (Ident "Nil") [PWild])
+
+--
-- * Use an overloaded function.
--
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 16:12:50 +0000