From 12d4bc020d62d2012067393f5babc024249def80 Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 1 Dec 2005 15:37:47 +0000 Subject: [PATCH] Transfer: added support for disjunctive patterns. --- src/Transfer/Syntax/Abs.hs | 111 ++-- src/Transfer/Syntax/Doc.tex | 21 +- src/Transfer/Syntax/Lex.x | 2 +- src/Transfer/Syntax/Par.hs | 1134 +++++++++++++++++---------------- src/Transfer/Syntax/Par.y | 15 +- src/Transfer/Syntax/Print.hs | 19 +- src/Transfer/Syntax/Skel.hs | 2 + src/Transfer/Syntax/Syntax.cf | 28 +- src/Transfer/SyntaxToCore.hs | 35 + transfer/README | 23 + transfer/examples/disjpatt.tr | 24 + 11 files changed, 772 insertions(+), 642 deletions(-) create mode 100644 transfer/README create mode 100644 transfer/examples/disjpatt.tr diff --git a/src/Transfer/Syntax/Abs.hs b/src/Transfer/Syntax/Abs.hs index 0817b78d1..20acca269 100644 --- a/src/Transfer/Syntax/Abs.hs +++ b/src/Transfer/Syntax/Abs.hs @@ -43,6 +43,7 @@ data Tree :: * -> * where ValueDecl :: Ident -> [Pattern] -> Exp -> Tree Decl_ DeriveDecl :: Ident -> Ident -> Tree Decl_ ConsDecl :: Ident -> Exp -> Tree ConsDecl_ + POr :: Pattern -> Pattern -> Tree Pattern_ PConsTop :: Ident -> Pattern -> [Pattern] -> Tree Pattern_ PCons :: Ident -> [Pattern] -> Tree Pattern_ PRec :: [FieldPattern] -> Tree Pattern_ @@ -117,6 +118,7 @@ composOpM f t = case t of ValueDecl i patterns exp -> return ValueDecl `ap` f i `ap` mapM f patterns `ap` f exp DeriveDecl i0 i1 -> return DeriveDecl `ap` f i0 `ap` f i1 ConsDecl i exp -> return ConsDecl `ap` f i `ap` f exp + POr pattern0 pattern1 -> return POr `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 @@ -170,6 +172,7 @@ composOpFold zero combine f t = case t of ValueDecl i patterns exp -> f i `combine` foldr combine zero (map f patterns) `combine` f exp DeriveDecl i0 i1 -> f i0 `combine` f i1 ConsDecl i exp -> f i `combine` f exp + POr 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) @@ -223,6 +226,7 @@ instance Show (Tree c) where ValueDecl i patterns exp -> opar n . showString "ValueDecl" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 patterns . showChar ' ' . showsPrec 1 exp . cpar n DeriveDecl i0 i1 -> opar n . showString "DeriveDecl" . showChar ' ' . showsPrec 1 i0 . showChar ' ' . showsPrec 1 i1 . cpar n ConsDecl i exp -> opar n . showString "ConsDecl" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp . cpar n + POr pattern0 pattern1 -> opar n . showString "POr" . 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 @@ -288,6 +292,7 @@ johnMajorEq (TypeDecl i exp) (TypeDecl i_ exp_) = i == i_ && exp == exp_ johnMajorEq (ValueDecl i patterns exp) (ValueDecl i_ patterns_ exp_) = i == i_ && patterns == patterns_ && exp == exp_ johnMajorEq (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 (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_ @@ -352,58 +357,59 @@ instance Ord (Tree c) where index (ValueDecl _ _ _) = 4 index (DeriveDecl _ _) = 5 index (ConsDecl _ _) = 6 - index (PConsTop _ _ _) = 7 - index (PCons _ _) = 8 - index (PRec _) = 9 - index (PType ) = 10 - index (PStr _) = 11 - index (PInt _) = 12 - index (PVar _) = 13 - index (PWild ) = 14 - index (FieldPattern _ _) = 15 - index (ELet _ _) = 16 - index (ECase _ _) = 17 - index (EIf _ _ _) = 18 - index (EDo _ _) = 19 - index (EAbs _ _) = 20 - index (EPi _ _ _) = 21 - index (EPiNoVar _ _) = 22 - index (EBind _ _) = 23 - index (EBindC _ _) = 24 - index (EOr _ _) = 25 - index (EAnd _ _) = 26 - index (EEq _ _) = 27 - index (ENe _ _) = 28 - index (ELt _ _) = 29 - index (ELe _ _) = 30 - index (EGt _ _) = 31 - index (EGe _ _) = 32 - index (EListCons _ _) = 33 - index (EAdd _ _) = 34 - index (ESub _ _) = 35 - index (EMul _ _) = 36 - index (EDiv _ _) = 37 - index (EMod _ _) = 38 - index (ENeg _) = 39 - index (EApp _ _) = 40 - index (EProj _ _) = 41 - index (ERecType _) = 42 - index (ERec _) = 43 - index (EList _) = 44 - index (EVar _) = 45 - index (EType ) = 46 - index (EStr _) = 47 - index (EInt _) = 48 - index (EMeta ) = 49 - index (LetDef _ _ _) = 50 - index (Case _ _) = 51 - index (BindVar _ _) = 52 - index (BindNoVar _) = 53 - index (VVar _) = 54 - index (VWild ) = 55 - index (FieldType _ _) = 56 - index (FieldValue _ _) = 57 - index (Ident _) = 58 + 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 (EInt _) = 49 + index (EMeta ) = 50 + index (LetDef _ _ _) = 51 + index (Case _ _) = 52 + index (BindVar _ _) = 53 + index (BindNoVar _) = 54 + index (VVar _) = 55 + index (VWild ) = 56 + index (FieldType _ _) = 57 + index (FieldValue _ _) = 58 + index (Ident _) = 59 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_)) @@ -411,6 +417,7 @@ instance Ord (Tree c) where compareSame (ValueDecl i patterns exp) (ValueDecl i_ patterns_ exp_) = mappend (compare i i_) (mappend (compare patterns patterns_) (compare exp exp_)) compareSame (DeriveDecl i0 i1) (DeriveDecl i0_ i1_) = mappend (compare i0 i0_) (compare i1 i1_) compareSame (ConsDecl i exp) (ConsDecl i_ exp_) = mappend (compare i i_) (compare exp exp_) + compareSame (POr pattern0 pattern1) (POr 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_ diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex index d2a1fd559..781f9c4fb 100644 --- a/src/Transfer/Syntax/Doc.tex +++ b/src/Transfer/Syntax/Doc.tex @@ -56,10 +56,10 @@ The symbols used in Syntax are the following: \\ \begin{tabular}{lll} {\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{$\backslash$}} \\ +{\symb{{$>$}{$>$}{$=$}}} &{\symb{{$>$}{$>$}}} &{\symb{\&\&}} \\ {\symb{{$=$}{$=$}}} &{\symb{/{$=$}}} &{\symb{{$<$}}} \\ {\symb{{$<$}{$=$}}} &{\symb{{$>$}}} &{\symb{{$>$}{$=$}}} \\ {\symb{::}} &{\symb{{$+$}}} &{\symb{{$-$}}} \\ @@ -115,23 +115,28 @@ All other symbols are terminals.\\ \end{tabular}\\ \begin{tabular}{lll} -{\nonterminal{Pattern}} & {\arrow} &{\nonterminal{Ident}} {\nonterminal{Pattern1}} {\nonterminal{ListPattern}} \\ +{\nonterminal{Pattern}} & {\arrow} &{\nonterminal{Pattern1}} {\terminal{{$|$}{$|$}}} {\nonterminal{Pattern}} \\ & {\delimit} &{\nonterminal{Pattern1}} \\ \end{tabular}\\ \begin{tabular}{lll} -{\nonterminal{Pattern1}} & {\arrow} &{\terminal{(}} {\nonterminal{Ident}} {\nonterminal{ListPattern}} {\terminal{)}} \\ - & {\delimit} &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}} \\ +{\nonterminal{Pattern1}} & {\arrow} &{\nonterminal{Ident}} {\nonterminal{Pattern2}} {\nonterminal{ListPattern}} \\ + & {\delimit} &{\nonterminal{Pattern2}} \\ +\end{tabular}\\ + +\begin{tabular}{lll} +{\nonterminal{Pattern2}} & {\arrow} &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}} \\ & {\delimit} &{\terminal{Type}} \\ & {\delimit} &{\nonterminal{String}} \\ & {\delimit} &{\nonterminal{Integer}} \\ & {\delimit} &{\nonterminal{Ident}} \\ & {\delimit} &{\terminal{\_}} \\ + & {\delimit} &{\terminal{(}} {\nonterminal{Pattern}} {\terminal{)}} \\ \end{tabular}\\ \begin{tabular}{lll} {\nonterminal{ListPattern}} & {\arrow} &{\emptyP} \\ - & {\delimit} &{\nonterminal{Pattern1}} {\nonterminal{ListPattern}} \\ + & {\delimit} &{\nonterminal{Pattern2}} {\nonterminal{ListPattern}} \\ \end{tabular}\\ \begin{tabular}{lll} diff --git a/src/Transfer/Syntax/Lex.x b/src/Transfer/Syntax/Lex.x index faa30740c..41f8e1fd0 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 a49b14702..8108d9bd6 100644 --- a/src/Transfer/Syntax/Par.hs +++ b/src/Transfer/Syntax/Par.hs @@ -85,82 +85,82 @@ happyIn16 x = unsafeCoerce# x happyOut16 :: (HappyAbsSyn ) -> (Pattern) happyOut16 x = unsafeCoerce# x {-# INLINE happyOut16 #-} -happyIn17 :: ([Pattern]) -> (HappyAbsSyn ) +happyIn17 :: (Pattern) -> (HappyAbsSyn ) happyIn17 x = unsafeCoerce# x {-# INLINE happyIn17 #-} -happyOut17 :: (HappyAbsSyn ) -> ([Pattern]) +happyOut17 :: (HappyAbsSyn ) -> (Pattern) happyOut17 x = unsafeCoerce# x {-# INLINE happyOut17 #-} -happyIn18 :: (FieldPattern) -> (HappyAbsSyn ) +happyIn18 :: ([Pattern]) -> (HappyAbsSyn ) happyIn18 x = unsafeCoerce# x {-# INLINE happyIn18 #-} -happyOut18 :: (HappyAbsSyn ) -> (FieldPattern) +happyOut18 :: (HappyAbsSyn ) -> ([Pattern]) happyOut18 x = unsafeCoerce# x {-# INLINE happyOut18 #-} -happyIn19 :: ([FieldPattern]) -> (HappyAbsSyn ) +happyIn19 :: (FieldPattern) -> (HappyAbsSyn ) happyIn19 x = unsafeCoerce# x {-# INLINE happyIn19 #-} -happyOut19 :: (HappyAbsSyn ) -> ([FieldPattern]) +happyOut19 :: (HappyAbsSyn ) -> (FieldPattern) happyOut19 x = unsafeCoerce# x {-# INLINE happyOut19 #-} -happyIn20 :: (Exp) -> (HappyAbsSyn ) +happyIn20 :: ([FieldPattern]) -> (HappyAbsSyn ) happyIn20 x = unsafeCoerce# x {-# INLINE happyIn20 #-} -happyOut20 :: (HappyAbsSyn ) -> (Exp) +happyOut20 :: (HappyAbsSyn ) -> ([FieldPattern]) happyOut20 x = unsafeCoerce# x {-# INLINE happyOut20 #-} -happyIn21 :: (LetDef) -> (HappyAbsSyn ) +happyIn21 :: (Exp) -> (HappyAbsSyn ) happyIn21 x = unsafeCoerce# x {-# INLINE happyIn21 #-} -happyOut21 :: (HappyAbsSyn ) -> (LetDef) +happyOut21 :: (HappyAbsSyn ) -> (Exp) happyOut21 x = unsafeCoerce# x {-# INLINE happyOut21 #-} -happyIn22 :: ([LetDef]) -> (HappyAbsSyn ) +happyIn22 :: (LetDef) -> (HappyAbsSyn ) happyIn22 x = unsafeCoerce# x {-# INLINE happyIn22 #-} -happyOut22 :: (HappyAbsSyn ) -> ([LetDef]) +happyOut22 :: (HappyAbsSyn ) -> (LetDef) happyOut22 x = unsafeCoerce# x {-# INLINE happyOut22 #-} -happyIn23 :: (Case) -> (HappyAbsSyn ) +happyIn23 :: ([LetDef]) -> (HappyAbsSyn ) happyIn23 x = unsafeCoerce# x {-# INLINE happyIn23 #-} -happyOut23 :: (HappyAbsSyn ) -> (Case) +happyOut23 :: (HappyAbsSyn ) -> ([LetDef]) happyOut23 x = unsafeCoerce# x {-# INLINE happyOut23 #-} -happyIn24 :: ([Case]) -> (HappyAbsSyn ) +happyIn24 :: (Case) -> (HappyAbsSyn ) happyIn24 x = unsafeCoerce# x {-# INLINE happyIn24 #-} -happyOut24 :: (HappyAbsSyn ) -> ([Case]) +happyOut24 :: (HappyAbsSyn ) -> (Case) happyOut24 x = unsafeCoerce# x {-# INLINE happyOut24 #-} -happyIn25 :: (Bind) -> (HappyAbsSyn ) +happyIn25 :: ([Case]) -> (HappyAbsSyn ) happyIn25 x = unsafeCoerce# x {-# INLINE happyIn25 #-} -happyOut25 :: (HappyAbsSyn ) -> (Bind) +happyOut25 :: (HappyAbsSyn ) -> ([Case]) happyOut25 x = unsafeCoerce# x {-# INLINE happyOut25 #-} -happyIn26 :: ([Bind]) -> (HappyAbsSyn ) +happyIn26 :: (Bind) -> (HappyAbsSyn ) happyIn26 x = unsafeCoerce# x {-# INLINE happyIn26 #-} -happyOut26 :: (HappyAbsSyn ) -> ([Bind]) +happyOut26 :: (HappyAbsSyn ) -> (Bind) happyOut26 x = unsafeCoerce# x {-# INLINE happyOut26 #-} -happyIn27 :: (Exp) -> (HappyAbsSyn ) +happyIn27 :: ([Bind]) -> (HappyAbsSyn ) happyIn27 x = unsafeCoerce# x {-# INLINE happyIn27 #-} -happyOut27 :: (HappyAbsSyn ) -> (Exp) +happyOut27 :: (HappyAbsSyn ) -> ([Bind]) happyOut27 x = unsafeCoerce# x {-# INLINE happyOut27 #-} -happyIn28 :: (VarOrWild) -> (HappyAbsSyn ) +happyIn28 :: (Exp) -> (HappyAbsSyn ) happyIn28 x = unsafeCoerce# x {-# INLINE happyIn28 #-} -happyOut28 :: (HappyAbsSyn ) -> (VarOrWild) +happyOut28 :: (HappyAbsSyn ) -> (Exp) happyOut28 x = unsafeCoerce# x {-# INLINE happyOut28 #-} -happyIn29 :: (Exp) -> (HappyAbsSyn ) +happyIn29 :: (VarOrWild) -> (HappyAbsSyn ) happyIn29 x = unsafeCoerce# x {-# INLINE happyIn29 #-} -happyOut29 :: (HappyAbsSyn ) -> (Exp) +happyOut29 :: (HappyAbsSyn ) -> (VarOrWild) happyOut29 x = unsafeCoerce# x {-# INLINE happyOut29 #-} happyIn30 :: (Exp) -> (HappyAbsSyn ) @@ -223,42 +223,48 @@ happyIn39 x = unsafeCoerce# x happyOut39 :: (HappyAbsSyn ) -> (Exp) happyOut39 x = unsafeCoerce# x {-# INLINE happyOut39 #-} -happyIn40 :: (FieldType) -> (HappyAbsSyn ) +happyIn40 :: (Exp) -> (HappyAbsSyn ) happyIn40 x = unsafeCoerce# x {-# INLINE happyIn40 #-} -happyOut40 :: (HappyAbsSyn ) -> (FieldType) +happyOut40 :: (HappyAbsSyn ) -> (Exp) happyOut40 x = unsafeCoerce# x {-# INLINE happyOut40 #-} -happyIn41 :: ([FieldType]) -> (HappyAbsSyn ) +happyIn41 :: (FieldType) -> (HappyAbsSyn ) happyIn41 x = unsafeCoerce# x {-# INLINE happyIn41 #-} -happyOut41 :: (HappyAbsSyn ) -> ([FieldType]) +happyOut41 :: (HappyAbsSyn ) -> (FieldType) happyOut41 x = unsafeCoerce# x {-# INLINE happyOut41 #-} -happyIn42 :: (FieldValue) -> (HappyAbsSyn ) +happyIn42 :: ([FieldType]) -> (HappyAbsSyn ) happyIn42 x = unsafeCoerce# x {-# INLINE happyIn42 #-} -happyOut42 :: (HappyAbsSyn ) -> (FieldValue) +happyOut42 :: (HappyAbsSyn ) -> ([FieldType]) happyOut42 x = unsafeCoerce# x {-# INLINE happyOut42 #-} -happyIn43 :: ([FieldValue]) -> (HappyAbsSyn ) +happyIn43 :: (FieldValue) -> (HappyAbsSyn ) happyIn43 x = unsafeCoerce# x {-# INLINE happyIn43 #-} -happyOut43 :: (HappyAbsSyn ) -> ([FieldValue]) +happyOut43 :: (HappyAbsSyn ) -> (FieldValue) happyOut43 x = unsafeCoerce# x {-# INLINE happyOut43 #-} -happyIn44 :: (Exp) -> (HappyAbsSyn ) +happyIn44 :: ([FieldValue]) -> (HappyAbsSyn ) happyIn44 x = unsafeCoerce# x {-# INLINE happyIn44 #-} -happyOut44 :: (HappyAbsSyn ) -> (Exp) +happyOut44 :: (HappyAbsSyn ) -> ([FieldValue]) happyOut44 x = unsafeCoerce# x {-# INLINE happyOut44 #-} -happyIn45 :: ([Exp]) -> (HappyAbsSyn ) +happyIn45 :: (Exp) -> (HappyAbsSyn ) happyIn45 x = unsafeCoerce# x {-# INLINE happyIn45 #-} -happyOut45 :: (HappyAbsSyn ) -> ([Exp]) +happyOut45 :: (HappyAbsSyn ) -> (Exp) happyOut45 x = unsafeCoerce# x {-# INLINE happyOut45 #-} +happyIn46 :: ([Exp]) -> (HappyAbsSyn ) +happyIn46 x = unsafeCoerce# x +{-# INLINE happyIn46 #-} +happyOut46 :: (HappyAbsSyn ) -> ([Exp]) +happyOut46 x = unsafeCoerce# x +{-# INLINE happyOut46 #-} happyInTok :: Token -> (HappyAbsSyn ) happyInTok x = unsafeCoerce# x {-# INLINE happyInTok #-} @@ -267,21 +273,21 @@ happyOutTok x = unsafeCoerce# x {-# INLINE happyOutTok #-} happyActOffsets :: HappyAddr -happyActOffsets = HappyA# "\x9d\x01\x30\x00\x84\x01\x00\x00\x00\x00\x00\x00\x00\x00\x7f\x01\x00\x00\x8b\x00\x00\x00\xa4\x01\xa2\x01\x89\x02\x0d\x01\xea\x00\x00\x00\x4d\x00\x86\x01\x00\x00\x00\x00\x13\x00\xff\xff\x46\x00\x30\x00\x00\x00\x00\x00\x30\x00\xad\x01\x30\x00\xac\x01\x90\x01\x8d\x01\x00\x00\x00\x00\x5d\x01\x8e\x01\xea\xff\x5e\x01\x00\x00\x8b\x01\x6d\x01\x00\x00\x5c\x01\x5c\x01\x48\x01\x4f\x01\x4f\x01\x4f\x01\x3e\x01\x00\x00\x40\x01\x4d\x01\x4c\x01\x00\x00\x30\x00\x00\x00\x60\x01\x00\x00\x07\x00\x55\x01\x4b\x01\x1b\x01\x2d\x01\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x30\x00\x46\x00\x46\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xea\x00\xea\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00\x00\x00\x30\x00\x00\x00\x30\x00\x47\x01\x13\x00\x30\x00\x46\x01\x45\x01\x43\x01\x34\x01\x29\x01\x23\x01\x26\x01\x25\x01\x12\x01\x00\x00\xc3\x00\xde\x00\xea\xff\xfc\xff\x30\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00\xb2\x00\x00\x00\x00\x00\xdc\x00\x00\x00\x30\x00\x00\x00\x00\x00\xa8\x00\x30\x00\x00\x00\xa8\x00\x30\x00\xa7\x00\x91\x00\x30\x00\x99\x00\xb6\x00\xb7\x00\x94\x00\x60\x00\x00\x00\x00\x00\x8c\x00\x93\x00\x60\x00\x86\x00\x00\x00\x8a\x00\x82\x00\x30\x00\x00\x00\x00\x00\x30\x00\x7d\x00\x00\x00\x30\x00\x00\x00\x00\x00\x00\x00\x00\x00\x51\x00\x44\x00\x00\x00\x00\x00\x69\x00\x68\x00\x6a\x00\x65\x00\x61\x00\x00\x00\x30\x00\x00\x00\x00\x00\x00\x00\x60\x00\x30\x00\x00\x00\x30\x00\x00\x00\x60\x00\x00\x00\x00\x00\x00\x00\x2f\x00\x00\x00\x2f\x00\x60\x00\x00\x00\x00\x00\x00\x00\x59\x00\x55\x00\x4a\x00\x00\x00\x24\x00\x30\x00\x00\x00\x00\x00\x00\x00"# +happyActOffsets = HappyA# "\x9b\x01\x29\x00\x92\x01\x00\x00\x00\x00\x00\x00\x00\x00\x90\x01\x00\x00\xfd\xff\x00\x00\xb4\x01\x9a\x01\xac\x01\xe6\x00\x6e\x01\x00\x00\x48\x00\x8f\x01\x00\x00\x00\x00\x12\x00\xf9\xff\x40\x00\x29\x00\x00\x00\x00\x00\x29\x00\xa5\x01\x29\x00\xa3\x01\xa2\x01\xa1\x01\x00\x00\x00\x00\x63\x01\x91\x01\xe5\xff\x61\x01\x00\x00\x8e\x01\x8d\x01\x00\x00\x55\x01\x55\x01\x5c\x01\x41\x01\x41\x01\x41\x01\x45\x01\x00\x00\x43\x01\x50\x01\x4f\x01\x00\x00\x29\x00\x00\x00\x4c\x01\x00\x00\x0f\x00\x64\x01\x4b\x01\x21\x01\x36\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\x6e\x01\x6e\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x00\x00\x00\x29\x00\x00\x00\x29\x00\x49\x01\x12\x00\x29\x00\x48\x01\x38\x01\x37\x01\x33\x01\x35\x01\x31\x01\x32\x01\x1d\x01\x15\x01\x00\x00\xea\x00\x13\x01\xe5\xff\xfc\xff\x29\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x00\x55\x00\x00\x00\x00\x00\x11\x01\x00\x00\x29\x00\x00\x00\x00\x00\xd3\x00\x29\x00\x00\x00\xd3\x00\x29\x00\xe9\x00\xd1\x00\x29\x00\xda\x00\xbe\x00\xe7\x00\xcf\x00\x55\x00\x00\x00\x00\x00\xc1\x00\xbd\x00\x55\x00\xb4\x00\xb7\x00\x00\x00\xb8\x00\xb2\x00\x29\x00\x00\x00\x00\x00\x29\x00\xa0\x00\x00\x00\x29\x00\x00\x00\x00\x00\x00\x00\x00\x00\x78\x00\x72\x00\x8b\x00\x00\x00\x00\x00\x85\x00\x76\x00\x6f\x00\x63\x00\x00\x00\x29\x00\x00\x00\x00\x00\x00\x00\x55\x00\x55\x00\x29\x00\x00\x00\x29\x00\x00\x00\x55\x00\x00\x00\x00\x00\x00\x00\x00\x00\x27\x00\x00\x00\x27\x00\x55\x00\x00\x00\x00\x00\x43\x00\x3f\x00\x39\x00\x00\x00\x08\x00\x29\x00\x00\x00\x00\x00\x00\x00"# happyGotoOffsets :: HappyAddr -happyGotoOffsets = HappyA# "\xfd\x00\xcf\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\xbc\x00\x00\x00\x00\x00\x00\x00\xf0\x00\x08\x00\x5a\x02\xaa\x00\x00\x00\x00\x00\xac\x03\x00\x00\x89\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xad\x00\x4b\x00\x00\x00\x32\x00\x00\x00\x00\x00\x39\x00\x37\x00\x20\x00\x06\x00\x21\x00\x12\x00\x00\x00\x1e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x66\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x31\x00\x00\x00\x37\x02\x14\x02\xf1\x01\xab\x01\xce\x01\xb5\x00\x88\x01\x65\x01\x42\x01\x1f\x01\xfc\x00\xd9\x00\x15\x04\x02\x04\x43\x03\xf2\x03\xdf\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\x20\x03\x00\x00\xfd\x02\x00\x00\x87\x00\x00\x00\xcd\x00\xda\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0f\x00\x00\x00\x75\x00\x30\x02\xb7\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x94\x02\x0c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x71\x02\x00\x00\x00\x00\x03\x00\x4e\x02\x00\x00\x1c\x00\x2b\x02\x00\x00\x05\x00\x08\x02\x00\x00\x00\x00\x00\x00\x00\x00\x3b\x04\x00\x00\x00\x00\x00\x00\x00\x00\x0d\x02\x00\x00\x00\x00\x00\x00\x00\x00\xe5\x01\x00\x00\x00\x00\xc2\x01\x00\x00\x00\x00\x9f\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3c\x00\x14\x00\x00\x00\xb0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7c\x01\x00\x00\x00\x00\x00\x00\x38\x04\x59\x01\x04\x00\x36\x01\x00\x00\xb0\x00\x00\x00\x00\x00\x00\x00\x50\x00\x00\x00\x0a\x00\x83\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x13\x01\x00\x00\x00\x00\x00\x00"# +happyGotoOffsets = HappyA# "\xe1\x00\x1b\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\x7e\x00\x00\x00\x00\x00\x00\x00\xd7\x00\x04\x00\xdf\x03\x8f\x00\x00\x00\x00\x00\x07\x03\x00\x00\xe3\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x86\x01\x36\x00\x00\x00\x05\x00\x00\x00\x00\x00\x32\x00\x2b\x00\x66\x00\x68\x00\x26\x00\x13\x00\x00\x00\x11\x00\x00\x00\x00\x00\x00\x00\x00\x00\xcf\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x23\x00\x00\x00\xdb\x03\xcb\x03\xc7\x03\xb2\x03\xc3\x03\xb7\x03\x9f\x03\x8e\x03\x87\x03\x7b\x03\x74\x03\xbf\x00\x63\x03\x50\x03\xab\x02\x3f\x03\x2c\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\x97\x02\x00\x00\x73\x02\x00\x00\x7b\x00\x00\x00\xb3\x00\x5f\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\xe3\x00\x53\x01\x3b\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x27\x02\x4e\x01\x00\x00\x00\x00\x00\x00\x00\x00\x03\x02\x00\x00\x00\x00\x64\x00\xef\x01\x00\x00\x14\x00\xcb\x01\x00\x00\x10\x00\xb7\x01\x00\x00\x00\x00\x00\x00\x00\x00\x03\x04\x00\x00\x00\x00\x00\x00\x00\x00\x1b\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x93\x01\x00\x00\x00\x00\x7f\x01\x00\x00\x00\x00\x5b\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x60\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x47\x01\x00\x00\x00\x00\x00\x00\x0c\x00\x16\x01\x23\x01\x02\x00\x0f\x01\x00\x00\x82\x00\x00\x00\x00\x00\x00\x00\x00\x00\x82\x01\x00\x00\x54\x00\xba\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x49\x00\xeb\x00\x00\x00\x00\x00\x00\x00"# happyDefActions :: HappyAddr -happyDefActions = HappyA# "\xf8\xff\x00\x00\x00\x00\xfd\xff\xa4\xff\xa2\xff\xa1\xff\x00\x00\x96\xff\xc7\xff\xc2\xff\xc0\xff\xbe\xff\xb7\xff\xb5\xff\xb2\xff\xae\xff\xac\xff\xaa\xff\xa8\xff\xd7\xff\x00\x00\x00\x00\x00\x00\x95\xff\xa0\xff\xa3\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfc\xff\xfb\xff\x00\x00\xf7\xff\xf1\xff\x00\x00\xf9\xff\xe1\xff\xf0\xff\xfa\xff\x00\x00\x00\x00\xf8\xff\x9d\xff\x99\xff\xd5\xff\x00\x00\xcc\xff\x00\x00\x94\xff\x00\x00\xad\xff\x00\x00\xc6\xff\x00\x00\xc5\xff\xa4\xff\x00\x00\x00\x00\x00\x00\xab\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\xc3\xff\xc4\xff\xc8\xff\xc1\xff\xbf\xff\xb8\xff\xb9\xff\xba\xff\xbb\xff\xbc\xff\xbd\xff\xb3\xff\xb4\xff\xb6\xff\xaf\xff\xb0\xff\xb1\xff\xa9\xff\x00\x00\x9f\xff\x00\x00\xa5\xff\x95\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd4\xff\x00\x00\x00\x00\x98\xff\x00\x00\x00\x00\x9c\xff\x00\x00\xf6\xff\x00\x00\x00\x00\xf1\xff\x00\x00\x00\x00\xf4\xff\xe3\xff\xe5\xff\xe4\xff\xe0\xff\x00\x00\x00\x00\xe2\xff\xe6\xff\x00\x00\xef\xff\x00\x00\xf2\xff\xa7\xff\x9d\xff\x00\x00\xa6\xff\x99\xff\x00\x00\x00\x00\xd5\xff\x00\x00\x00\x00\xcd\xff\x00\x00\x00\x00\xd1\xff\x93\xff\xca\xff\x00\x00\x00\x00\xe3\xff\x00\x00\xe9\xff\xd0\xff\x00\x00\x00\x00\xcb\xff\xd8\xff\x00\x00\x00\x00\xd3\xff\x00\x00\x9a\xff\x97\xff\x9e\xff\x9b\xff\x00\x00\xde\xff\xe1\xff\xf3\xff\x00\x00\x00\x00\xdd\xff\x00\x00\x00\x00\xdb\xff\x00\x00\xd9\xff\xce\xff\xda\xff\xd1\xff\x00\x00\xe1\xff\x00\x00\xc9\xff\xea\xff\xd2\xff\xcf\xff\xd6\xff\xed\xff\xe7\xff\xde\xff\x00\x00\xe8\xff\xdf\xff\xdc\xff\x00\x00\xec\xff\x00\x00\xf5\xff\xed\xff\x00\x00\xee\xff\xeb\xff"# +happyDefActions = HappyA# "\xf8\xff\x00\x00\x00\x00\xfd\xff\xa2\xff\xa0\xff\x9f\xff\x00\x00\x94\xff\xc5\xff\xc0\xff\xbe\xff\xbc\xff\xb5\xff\xb3\xff\xb0\xff\xac\xff\xaa\xff\xa8\xff\xa6\xff\xd5\xff\x00\x00\x00\x00\x00\x00\x93\xff\x9e\xff\xa1\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfc\xff\xfb\xff\x00\x00\xf7\xff\xf1\xff\x00\x00\xf9\xff\xdf\xff\xf0\xff\xfa\xff\x00\x00\x00\x00\xf8\xff\x9b\xff\x97\xff\xd3\xff\x00\x00\xca\xff\x00\x00\x92\xff\x00\x00\xab\xff\x00\x00\xc4\xff\x00\x00\xc3\xff\xa2\xff\x00\x00\x00\x00\x00\x00\xa9\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\xc1\xff\xc2\xff\xc6\xff\xbf\xff\xbd\xff\xb6\xff\xb7\xff\xb8\xff\xb9\xff\xba\xff\xbb\xff\xb1\xff\xb2\xff\xb4\xff\xad\xff\xae\xff\xaf\xff\xa7\xff\x00\x00\x9d\xff\x00\x00\xa3\xff\x93\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd2\xff\x00\x00\x00\x00\x96\xff\x00\x00\x00\x00\x9a\xff\x00\x00\xf6\xff\x00\x00\x00\x00\xf1\xff\x00\x00\x00\x00\xf4\xff\xe2\xff\xe4\xff\xe3\xff\xde\xff\x00\x00\x00\x00\xe1\xff\xe5\xff\x00\x00\xef\xff\x00\x00\xf2\xff\xa5\xff\x9b\xff\x00\x00\xa4\xff\x97\xff\x00\x00\x00\x00\xd3\xff\x00\x00\x00\x00\xcb\xff\x00\x00\x00\x00\xcf\xff\x91\xff\xc8\xff\x00\x00\x00\x00\xe2\xff\x00\x00\xe9\xff\xe7\xff\xce\xff\x00\x00\x00\x00\xc9\xff\xd6\xff\x00\x00\x00\x00\xd1\xff\x00\x00\x98\xff\x95\xff\x9c\xff\x99\xff\x00\x00\xdc\xff\x00\x00\xf3\xff\xe0\xff\x00\x00\xdb\xff\x00\x00\x00\x00\xd9\xff\x00\x00\xd7\xff\xcc\xff\xd8\xff\xcf\xff\x00\x00\x00\x00\xdf\xff\x00\x00\xc7\xff\xe8\xff\xd0\xff\xea\xff\xcd\xff\xd4\xff\xed\xff\xe6\xff\xdc\xff\x00\x00\xdd\xff\xda\xff\x00\x00\xec\xff\x00\x00\xf5\xff\xed\xff\x00\x00\xee\xff\xeb\xff"# happyCheck :: HappyAddr -happyCheck = HappyA# "\xff\xff\x05\x00\x06\x00\x00\x00\x08\x00\x00\x00\x00\x00\x08\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x23\x00\x24\x00\x00\x00\x0c\x00\x0a\x00\x00\x00\x08\x00\x09\x00\x10\x00\x11\x00\x0d\x00\x0e\x00\x06\x00\x30\x00\x08\x00\x00\x00\x21\x00\x0b\x00\x17\x00\x0c\x00\x00\x00\x10\x00\x11\x00\x04\x00\x05\x00\x23\x00\x24\x00\x2c\x00\x23\x00\x24\x00\x18\x00\x30\x00\x31\x00\x32\x00\x30\x00\x1d\x00\x00\x00\x1f\x00\x15\x00\x21\x00\x22\x00\x06\x00\x00\x00\x25\x00\x00\x00\x27\x00\x0b\x00\x00\x00\x2a\x00\x0c\x00\x2c\x00\x2d\x00\x25\x00\x26\x00\x30\x00\x31\x00\x32\x00\x25\x00\x26\x00\x18\x00\x0d\x00\x0e\x00\x00\x00\x06\x00\x1d\x00\x04\x00\x1f\x00\x00\x00\x21\x00\x22\x00\x06\x00\x30\x00\x25\x00\x01\x00\x27\x00\x08\x00\x09\x00\x2a\x00\x02\x00\x2c\x00\x2d\x00\x18\x00\x30\x00\x30\x00\x31\x00\x32\x00\x1d\x00\x03\x00\x1f\x00\x06\x00\x21\x00\x08\x00\x04\x00\x1d\x00\x01\x00\x1f\x00\x05\x00\x21\x00\x06\x00\x07\x00\x08\x00\x2c\x00\x2d\x00\x30\x00\x00\x00\x30\x00\x31\x00\x32\x00\x2c\x00\x2d\x00\x06\x00\x07\x00\x30\x00\x31\x00\x32\x00\x2f\x00\x21\x00\x05\x00\x00\x00\x01\x00\x02\x00\x04\x00\x00\x00\x01\x00\x02\x00\x21\x00\x01\x00\x2c\x00\x0a\x00\x0b\x00\x09\x00\x30\x00\x31\x00\x32\x00\x07\x00\x09\x00\x2c\x00\x0f\x00\x0c\x00\x0d\x00\x30\x00\x31\x00\x32\x00\x09\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\x00\x00\x01\x00\x02\x00\x00\x00\x27\x00\x28\x00\x00\x00\x01\x00\x02\x00\x06\x00\x07\x00\x00\x00\x01\x00\x02\x00\x01\x00\x0f\x00\x04\x00\x0b\x00\x00\x00\x01\x00\x02\x00\x26\x00\x16\x00\x30\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x29\x00\x27\x00\x28\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x30\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x21\x00\x22\x00\x03\x00\x02\x00\x14\x00\x30\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\x00\x00\x01\x00\x02\x00\x30\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x03\x00\x04\x00\x05\x00\x19\x00\x1a\x00\x1b\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\x00\x00\x01\x00\x02\x00\x04\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x16\x00\x17\x00\x18\x00\x01\x00\x04\x00\x02\x00\x16\x00\x01\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x05\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x01\x00\x04\x00\x02\x00\x1c\x00\x03\x00\x30\x00\x16\x00\x02\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x07\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x09\x00\x1e\x00\x2b\x00\x2e\x00\x20\x00\x01\x00\x16\x00\x28\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x30\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x30\x00\x02\x00\x30\x00\x01\x00\x03\x00\x34\x00\x16\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\x00\x00\x01\x00\x02\x00\x1c\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x03\x00\x03\x00\x0f\x00\x0e\x00\x34\x00\x30\x00\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x28\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\x00\x00\x01\x00\x02\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x0b\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\x00\x00\x01\x00\x02\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x0b\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\x1f\x00\x20\x00\x21\x00\x22\x00\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\x0b\x00\xff\xff\x0a\x00\x0b\x00\xff\xff\xff\xff\xff\xff\x12\x00\x13\x00\xff\xff\x12\x00\x13\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"# +happyCheck = HappyA# "\xff\xff\x05\x00\x09\x00\x07\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x23\x00\x24\x00\x0d\x00\x0e\x00\x00\x00\x01\x00\x02\x00\x0d\x00\x00\x00\x02\x00\x0d\x00\x00\x00\x00\x00\x30\x00\x0a\x00\x0b\x00\x0c\x00\x07\x00\x0b\x00\x09\x00\x18\x00\x21\x00\x0c\x00\x13\x00\x14\x00\x11\x00\x12\x00\x00\x00\x11\x00\x12\x00\x00\x00\x16\x00\x2c\x00\x30\x00\x18\x00\x00\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\x30\x00\x27\x00\x26\x00\x27\x00\x2a\x00\x04\x00\x2c\x00\x2d\x00\x01\x00\x18\x00\x30\x00\x31\x00\x32\x00\x02\x00\x1d\x00\x07\x00\x1f\x00\x00\x00\x21\x00\x22\x00\x26\x00\x27\x00\x25\x00\x07\x00\x27\x00\x08\x00\x09\x00\x2a\x00\x00\x00\x2c\x00\x2d\x00\x30\x00\x18\x00\x30\x00\x31\x00\x32\x00\x07\x00\x1d\x00\x09\x00\x1f\x00\x00\x00\x21\x00\x0e\x00\x0f\x00\x00\x00\x1d\x00\x03\x00\x1f\x00\x00\x00\x21\x00\x04\x00\x05\x00\x2c\x00\x2d\x00\x0e\x00\x0f\x00\x30\x00\x31\x00\x32\x00\x04\x00\x2c\x00\x2d\x00\x21\x00\x01\x00\x30\x00\x31\x00\x32\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x2c\x00\x00\x00\x01\x00\x02\x00\x30\x00\x31\x00\x32\x00\x24\x00\x25\x00\x05\x00\x10\x00\x24\x00\x25\x00\x0c\x00\x00\x00\x01\x00\x02\x00\x17\x00\x08\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x22\x00\x23\x00\x30\x00\x28\x00\x29\x00\x05\x00\x17\x00\x2f\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x04\x00\x28\x00\x29\x00\x01\x00\x00\x00\x01\x00\x02\x00\x06\x00\x0a\x00\x00\x00\x01\x00\x02\x00\x04\x00\x10\x00\x0a\x00\x0b\x00\x0c\x00\x0a\x00\x15\x00\x08\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\x00\x00\x01\x00\x02\x00\x0b\x00\x28\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x03\x00\x04\x00\x05\x00\x10\x00\x01\x00\x06\x00\x07\x00\x00\x00\x01\x00\x02\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\x10\x00\x16\x00\x17\x00\x18\x00\x28\x00\x26\x00\x30\x00\x17\x00\x30\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x29\x00\x28\x00\x03\x00\x02\x00\x00\x00\x01\x00\x02\x00\x04\x00\x30\x00\x00\x00\x01\x00\x02\x00\x01\x00\x10\x00\x0a\x00\x0b\x00\x0c\x00\x00\x00\x01\x00\x02\x00\x17\x00\x0c\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x02\x00\x04\x00\x01\x00\x28\x00\x05\x00\x01\x00\x17\x00\x04\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x02\x00\x28\x00\x03\x00\x02\x00\x00\x00\x01\x00\x02\x00\x30\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x0a\x00\x10\x00\x0a\x00\x0b\x00\x0c\x00\x00\x00\x01\x00\x02\x00\x17\x00\x0c\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x08\x00\x1e\x00\x2b\x00\x28\x00\x20\x00\x30\x00\x17\x00\x2e\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x00\x00\x28\x00\x28\x00\x30\x00\x00\x00\x19\x00\x1a\x00\x1b\x00\x08\x00\x09\x00\x06\x00\x07\x00\x01\x00\x10\x00\x02\x00\x30\x00\x01\x00\x00\x00\x01\x00\x02\x00\x17\x00\x34\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x03\x00\x03\x00\x03\x00\x28\x00\x03\x00\x0f\x00\x17\x00\x1c\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x06\x00\x28\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x30\x00\x28\x00\x34\x00\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x00\x00\x01\x00\x02\x00\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x20\x00\x21\x00\x22\x00\x23\x00\x20\x00\x21\x00\x22\x00\x23\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\x20\x00\x21\x00\x22\x00\x23\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\x0b\x00\x0c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x13\x00\x14\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"# happyTable :: HappyAddr -happyTable = HappyA# "\x00\x00\x80\x00\x81\x00\x71\x00\x82\x00\x6b\x00\x71\x00\x3b\x00\x38\x00\xc6\xff\xae\x00\xc7\x00\xab\x00\x2c\x00\x2d\x00\x86\x00\xbc\x00\xc6\xff\x6b\x00\xc8\x00\xce\x00\x6c\x00\xa3\x00\xaf\x00\xc6\x00\x16\x00\x04\x00\x3b\x00\x6e\x00\x83\x00\x17\x00\x39\x00\xad\x00\x6e\x00\x6c\x00\x6d\x00\x24\x00\x74\x00\x72\x00\xa8\x00\x84\x00\x72\x00\x73\x00\x18\x00\x04\x00\x22\x00\x23\x00\x04\x00\x19\x00\x62\x00\x1a\x00\x69\x00\x1b\x00\x1c\x00\x16\x00\x75\x00\x1d\x00\x76\x00\x1e\x00\x17\x00\xae\x00\x1f\x00\x78\x00\x20\x00\x21\x00\x6f\x00\xa6\x00\x04\x00\x22\x00\x23\x00\x6f\x00\x70\x00\x18\x00\xaf\x00\xb0\x00\x27\x00\x38\x00\x19\x00\xcb\x00\x1a\x00\xc7\x00\x1b\x00\x1c\x00\x38\x00\x04\x00\x1d\x00\xcc\x00\x1e\x00\xc8\x00\xc9\x00\x1f\x00\xcd\x00\x20\x00\x21\x00\x18\x00\x04\x00\x04\x00\x22\x00\x23\x00\x19\x00\xc1\x00\x1a\x00\x81\x00\x1b\x00\x82\x00\xc2\x00\x19\x00\xc3\x00\x1a\x00\xc4\x00\x1b\x00\x81\x00\xc5\x00\x82\x00\x20\x00\x21\x00\x04\x00\x28\x00\x04\x00\x22\x00\x23\x00\x20\x00\x21\x00\x29\x00\x84\x00\x04\x00\x22\x00\x23\x00\xb2\x00\x83\x00\xb4\x00\x99\x00\x7c\x00\x7d\x00\xb7\x00\x04\x00\x05\x00\x06\x00\x83\x00\xb8\x00\x84\x00\xc5\x00\x9b\x00\xb9\x00\x04\x00\x22\x00\x23\x00\x99\x00\x4f\x00\x84\x00\x34\x00\x50\x00\x51\x00\x04\x00\x22\x00\x23\x00\xbb\x00\x08\x00\x9f\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x28\x00\x14\x00\x95\x00\x7b\x00\x7c\x00\x7d\x00\x29\x00\x2a\x00\x04\x00\x05\x00\x06\x00\xa0\x00\x34\x00\xa1\x00\x7e\x00\x04\x00\x05\x00\x06\x00\xa2\x00\x08\x00\x04\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x3b\x00\x05\x00\x06\x00\xa5\x00\x14\x00\x35\x00\x5c\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x04\x00\x05\x00\x06\x00\x91\x00\x3f\x00\x13\x00\xab\x00\x86\x00\x92\x00\x04\x00\x08\x00\x93\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x3b\x00\x05\x00\x06\x00\x04\x00\x14\x00\x56\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x3c\x00\x23\x00\x24\x00\x25\x00\x41\x00\x42\x00\x43\x00\x08\x00\x3d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x88\x00\x14\x00\x57\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xcd\x00\x44\x00\x45\x00\x46\x00\x89\x00\x8b\x00\x8a\x00\x08\x00\x8c\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x8d\x00\x14\x00\x58\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xbb\x00\x8f\x00\x8e\x00\x90\x00\x3f\x00\x95\x00\x04\x00\x08\x00\x64\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x65\x00\x14\x00\x59\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xbd\x00\x66\x00\x67\x00\x69\x00\x6b\x00\x68\x00\x78\x00\x08\x00\x27\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x04\x00\x14\x00\x5a\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xbf\x00\x04\x00\x7a\x00\x04\x00\x2e\x00\x2f\x00\xff\xff\x08\x00\x30\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x3f\x00\x14\x00\x5b\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xb2\x00\x31\x00\x33\x00\x4d\x00\x4e\x00\xff\xff\x04\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x27\x00\x14\x00\x5e\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xb4\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x5d\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xb5\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x7b\x00\x7c\x00\x7d\x00\x5f\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xa2\x00\xb9\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x7b\x00\x7c\x00\x7d\x00\x60\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xa5\x00\x7e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x61\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xa7\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x36\x00\x11\x00\x12\x00\x13\x00\x00\x00\x00\x00\x00\x00\xa9\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x00\x00\x00\x00\x00\x00\x00\x00\xac\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x90\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x96\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x97\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x53\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x31\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x33\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x07\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x51\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x52\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x54\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x55\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x99\x00\x7c\x00\x7d\x00\x99\x00\x7c\x00\x7d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9a\x00\x9b\x00\x00\x00\x9a\x00\x9b\x00\x00\x00\x00\x00\x00\x00\x9c\x00\xbe\x00\x00\x00\x9c\x00\x9d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x80\x00\x3b\x00\x81\x00\x38\x00\x82\x00\x86\x00\x4f\x00\x2c\x00\x2d\x00\x50\x00\x51\x00\x99\x00\x7c\x00\x7d\x00\xbe\x00\x6b\x00\xc4\xff\x78\x00\x6b\x00\x6e\x00\x04\x00\x9a\x00\x9b\x00\x9c\x00\x16\x00\xc4\xff\x3b\x00\x39\x00\x83\x00\x17\x00\x9d\x00\xc1\x00\x6c\x00\xa4\x00\x62\x00\x6c\x00\x6d\x00\x6e\x00\x69\x00\x84\x00\x04\x00\x18\x00\x75\x00\x04\x00\x22\x00\x23\x00\x19\x00\x16\x00\x1a\x00\x76\x00\x1b\x00\x1c\x00\x17\x00\x27\x00\x1d\x00\x04\x00\x1e\x00\x6f\x00\xa7\x00\x1f\x00\xcd\x00\x20\x00\x21\x00\xce\x00\x18\x00\x04\x00\x22\x00\x23\x00\xcf\x00\x19\x00\x38\x00\x1a\x00\xc9\x00\x1b\x00\x1c\x00\x6f\x00\x70\x00\x1d\x00\x38\x00\x1e\x00\xca\x00\xd0\x00\x1f\x00\xaf\x00\x20\x00\x21\x00\x04\x00\x18\x00\x04\x00\x22\x00\x23\x00\x81\x00\x19\x00\x82\x00\x1a\x00\xaf\x00\x1b\x00\xb0\x00\xc8\x00\x71\x00\x19\x00\xc4\x00\x1a\x00\x71\x00\x1b\x00\x24\x00\x74\x00\x20\x00\x21\x00\xb0\x00\xb1\x00\x04\x00\x22\x00\x23\x00\xc5\x00\x20\x00\x21\x00\x83\x00\xc6\x00\x04\x00\x22\x00\x23\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x84\x00\x7b\x00\x7c\x00\x7d\x00\x04\x00\x22\x00\x23\x00\x72\x00\xa9\x00\xc7\x00\x34\x00\x72\x00\x73\x00\x7e\x00\x04\x00\x05\x00\x06\x00\x08\x00\xaf\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x34\x00\x3f\x00\x13\x00\x04\x00\x14\x00\x95\x00\xb5\x00\x08\x00\xb3\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x3b\x00\x05\x00\x06\x00\xb8\x00\x14\x00\x35\x00\xb9\x00\x99\x00\x7c\x00\x7d\x00\xba\x00\xbb\x00\x04\x00\x05\x00\x06\x00\xa2\x00\x91\x00\xc7\x00\x9b\x00\x9c\x00\xbd\x00\x92\x00\x99\x00\x08\x00\x93\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x3b\x00\x05\x00\x06\x00\xa0\x00\x14\x00\x56\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x28\x00\x23\x00\x24\x00\x25\x00\x3c\x00\xa1\x00\x29\x00\x84\x00\x04\x00\x05\x00\x06\x00\x08\x00\x3d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xcf\x00\x44\x00\x45\x00\x46\x00\x14\x00\xa3\x00\x04\x00\x08\x00\x04\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xa6\x00\x14\x00\xac\x00\x86\x00\x99\x00\x7c\x00\x7d\x00\x88\x00\x04\x00\x7b\x00\x7c\x00\x7d\x00\x89\x00\xbd\x00\xc0\x00\x9b\x00\x9c\x00\x04\x00\x05\x00\x06\x00\x08\x00\xbb\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xbf\x00\x8a\x00\x8b\x00\x8c\x00\x14\x00\x8d\x00\x8f\x00\x08\x00\x8e\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x90\x00\x14\x00\x95\x00\x64\x00\x99\x00\x7c\x00\x7d\x00\x04\x00\x3f\x00\x7b\x00\x7c\x00\x7d\x00\x66\x00\xc2\x00\xac\x00\x9b\x00\x9c\x00\x04\x00\x05\x00\x06\x00\x08\x00\x7e\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xb3\x00\x65\x00\x67\x00\x69\x00\x14\x00\x68\x00\x04\x00\x08\x00\x6b\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xc9\x00\x14\x00\x27\x00\x04\x00\x28\x00\x41\x00\x42\x00\x43\x00\xca\x00\xcb\x00\x29\x00\x2a\x00\x78\x00\xb5\x00\x7a\x00\x04\x00\x2e\x00\x04\x00\x05\x00\x06\x00\x08\x00\xff\xff\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xb6\x00\x2f\x00\x30\x00\x31\x00\x14\x00\x33\x00\x4d\x00\x08\x00\x3f\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x4e\x00\x14\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x04\x00\x27\x00\xff\xff\x00\x00\x00\x00\xa3\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xa6\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa8\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xaa\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xad\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x7a\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x90\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x96\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x97\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x53\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3c\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x31\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x33\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x07\x00\x04\x00\x05\x00\x06\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x51\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x52\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x54\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x55\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x57\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x58\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x59\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x5a\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x5b\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x5e\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x5c\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x5d\x00\x10\x00\x11\x00\x12\x00\x13\x00\x5f\x00\x11\x00\x12\x00\x13\x00\x60\x00\x11\x00\x12\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x61\x00\x11\x00\x12\x00\x13\x00\x36\x00\x11\x00\x12\x00\x13\x00\x99\x00\x7c\x00\x7d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9a\x00\x9b\x00\x9c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9d\x00\x9e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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, 108) [ +happyReduceArr = array (2, 110) [ (2 , happyReduce_2), (3 , happyReduce_3), (4 , happyReduce_4), @@ -388,11 +394,13 @@ happyReduceArr = array (2, 108) [ (105 , happyReduce_105), (106 , happyReduce_106), (107 , happyReduce_107), - (108 , happyReduce_108) + (108 , happyReduce_108), + (109 , happyReduce_109), + (110 , happyReduce_110) ] happy_n_terms = 53 :: Int -happy_n_nonterms = 41 :: Int +happy_n_nonterms = 42 :: Int happyReduce_2 = happySpecReduce_1 0# happyReduction_2 happyReduction_2 happy_x_1 @@ -465,7 +473,7 @@ happyReduction_10 (happy_x_8 `HappyStk` happy_x_1 `HappyStk` happyRest) = case happyOut5 happy_x_2 of { happy_var_2 -> - case happyOut20 happy_x_4 of { happy_var_4 -> + case happyOut21 happy_x_4 of { happy_var_4 -> case happyOut14 happy_x_7 of { happy_var_7 -> happyIn11 (DataDecl happy_var_2 happy_var_4 happy_var_7 @@ -476,7 +484,7 @@ happyReduction_11 happy_x_3 happy_x_2 happy_x_1 = case happyOut5 happy_x_1 of { happy_var_1 -> - case happyOut20 happy_x_3 of { happy_var_3 -> + case happyOut21 happy_x_3 of { happy_var_3 -> happyIn11 (TypeDecl happy_var_1 happy_var_3 )}} @@ -488,8 +496,8 @@ happyReduction_12 (happy_x_4 `HappyStk` happy_x_1 `HappyStk` happyRest) = case happyOut5 happy_x_1 of { happy_var_1 -> - case happyOut17 happy_x_2 of { happy_var_2 -> - case happyOut20 happy_x_4 of { happy_var_4 -> + case happyOut18 happy_x_2 of { happy_var_2 -> + case happyOut21 happy_x_4 of { happy_var_4 -> happyIn11 (ValueDecl happy_var_1 (reverse happy_var_2) happy_var_4 ) `HappyStk` happyRest}}} @@ -531,7 +539,7 @@ happyReduction_17 happy_x_3 happy_x_2 happy_x_1 = case happyOut5 happy_x_1 of { happy_var_1 -> - case happyOut20 happy_x_3 of { happy_var_3 -> + case happyOut21 happy_x_3 of { happy_var_3 -> happyIn13 (ConsDecl happy_var_1 happy_var_3 )}} @@ -562,12 +570,11 @@ happyReduce_21 = happySpecReduce_3 10# happyReduction_21 happyReduction_21 happy_x_3 happy_x_2 happy_x_1 - = case happyOut5 happy_x_1 of { happy_var_1 -> - case happyOut16 happy_x_2 of { happy_var_2 -> - case happyOut17 happy_x_3 of { happy_var_3 -> + = case happyOut16 happy_x_1 of { happy_var_1 -> + case happyOut15 happy_x_3 of { happy_var_3 -> happyIn15 - (PConsTop happy_var_1 happy_var_2 (reverse happy_var_3) - )}}} + (POr happy_var_1 happy_var_3 + )}} happyReduce_22 = happySpecReduce_1 10# happyReduction_22 happyReduction_22 happy_x_1 @@ -576,137 +583,124 @@ happyReduction_22 happy_x_1 (happy_var_1 )} -happyReduce_23 = happyReduce 4# 11# happyReduction_23 -happyReduction_23 (happy_x_4 `HappyStk` - happy_x_3 `HappyStk` - happy_x_2 `HappyStk` - happy_x_1 `HappyStk` - happyRest) - = case happyOut5 happy_x_2 of { happy_var_2 -> - case happyOut17 happy_x_3 of { happy_var_3 -> +happyReduce_23 = happySpecReduce_3 11# happyReduction_23 +happyReduction_23 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut5 happy_x_1 of { happy_var_1 -> + case happyOut17 happy_x_2 of { happy_var_2 -> + case happyOut18 happy_x_3 of { happy_var_3 -> happyIn16 - (PCons happy_var_2 (reverse happy_var_3) - ) `HappyStk` happyRest}} + (PConsTop happy_var_1 happy_var_2 (reverse happy_var_3) + )}}} -happyReduce_24 = happyReduce 4# 11# happyReduction_24 -happyReduction_24 (happy_x_4 `HappyStk` +happyReduce_24 = happySpecReduce_1 11# happyReduction_24 +happyReduction_24 happy_x_1 + = case happyOut17 happy_x_1 of { happy_var_1 -> + happyIn16 + (happy_var_1 + )} + +happyReduce_25 = happyReduce 4# 12# happyReduction_25 +happyReduction_25 (happy_x_4 `HappyStk` happy_x_3 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut19 happy_x_3 of { happy_var_3 -> - happyIn16 + = case happyOut20 happy_x_3 of { happy_var_3 -> + happyIn17 (PRec happy_var_3 ) `HappyStk` happyRest} -happyReduce_25 = happySpecReduce_1 11# happyReduction_25 -happyReduction_25 happy_x_1 - = happyIn16 +happyReduce_26 = happySpecReduce_1 12# happyReduction_26 +happyReduction_26 happy_x_1 + = happyIn17 (PType ) -happyReduce_26 = happySpecReduce_1 11# happyReduction_26 -happyReduction_26 happy_x_1 +happyReduce_27 = happySpecReduce_1 12# happyReduction_27 +happyReduction_27 happy_x_1 = case happyOut6 happy_x_1 of { happy_var_1 -> - happyIn16 + happyIn17 (PStr happy_var_1 )} -happyReduce_27 = happySpecReduce_1 11# happyReduction_27 -happyReduction_27 happy_x_1 +happyReduce_28 = happySpecReduce_1 12# happyReduction_28 +happyReduction_28 happy_x_1 = case happyOut7 happy_x_1 of { happy_var_1 -> - happyIn16 + happyIn17 (PInt happy_var_1 )} -happyReduce_28 = happySpecReduce_1 11# happyReduction_28 -happyReduction_28 happy_x_1 +happyReduce_29 = happySpecReduce_1 12# happyReduction_29 +happyReduction_29 happy_x_1 = case happyOut5 happy_x_1 of { happy_var_1 -> - happyIn16 + happyIn17 (PVar happy_var_1 )} -happyReduce_29 = happySpecReduce_1 11# happyReduction_29 -happyReduction_29 happy_x_1 - = happyIn16 +happyReduce_30 = happySpecReduce_1 12# happyReduction_30 +happyReduction_30 happy_x_1 + = happyIn17 (PWild ) -happyReduce_30 = happySpecReduce_0 12# happyReduction_30 -happyReduction_30 = happyIn17 +happyReduce_31 = happySpecReduce_3 12# happyReduction_31 +happyReduction_31 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut15 happy_x_2 of { happy_var_2 -> + happyIn17 + (happy_var_2 + )} + +happyReduce_32 = happySpecReduce_0 13# happyReduction_32 +happyReduction_32 = happyIn18 ([] ) -happyReduce_31 = happySpecReduce_2 12# happyReduction_31 -happyReduction_31 happy_x_2 +happyReduce_33 = happySpecReduce_2 13# happyReduction_33 +happyReduction_33 happy_x_2 happy_x_1 - = case happyOut17 happy_x_1 of { happy_var_1 -> - case happyOut16 happy_x_2 of { happy_var_2 -> - happyIn17 + = case happyOut18 happy_x_1 of { happy_var_1 -> + case happyOut17 happy_x_2 of { happy_var_2 -> + happyIn18 (flip (:) happy_var_1 happy_var_2 )}} -happyReduce_32 = happySpecReduce_3 13# happyReduction_32 -happyReduction_32 happy_x_3 +happyReduce_34 = happySpecReduce_3 14# happyReduction_34 +happyReduction_34 happy_x_3 happy_x_2 happy_x_1 = case happyOut5 happy_x_1 of { happy_var_1 -> case happyOut15 happy_x_3 of { happy_var_3 -> - happyIn18 + happyIn19 (FieldPattern happy_var_1 happy_var_3 )}} -happyReduce_33 = happySpecReduce_0 14# happyReduction_33 -happyReduction_33 = happyIn19 +happyReduce_35 = happySpecReduce_0 15# happyReduction_35 +happyReduction_35 = happyIn20 ([] ) -happyReduce_34 = happySpecReduce_1 14# happyReduction_34 -happyReduction_34 happy_x_1 - = case happyOut18 happy_x_1 of { happy_var_1 -> - happyIn19 +happyReduce_36 = happySpecReduce_1 15# happyReduction_36 +happyReduction_36 happy_x_1 + = case happyOut19 happy_x_1 of { happy_var_1 -> + happyIn20 ((:[]) happy_var_1 )} -happyReduce_35 = happySpecReduce_3 14# happyReduction_35 -happyReduction_35 happy_x_3 +happyReduce_37 = happySpecReduce_3 15# happyReduction_37 +happyReduction_37 happy_x_3 happy_x_2 happy_x_1 - = case happyOut18 happy_x_1 of { happy_var_1 -> - case happyOut19 happy_x_3 of { happy_var_3 -> - happyIn19 + = case happyOut19 happy_x_1 of { happy_var_1 -> + case happyOut20 happy_x_3 of { happy_var_3 -> + happyIn20 ((:) happy_var_1 happy_var_3 )}} -happyReduce_36 = happyReduce 6# 15# happyReduction_36 -happyReduction_36 (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_3 of { happy_var_3 -> - case happyOut20 happy_x_6 of { happy_var_6 -> - happyIn20 - (ELet happy_var_3 happy_var_6 - ) `HappyStk` happyRest}} - -happyReduce_37 = happyReduce 6# 15# happyReduction_37 -happyReduction_37 (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 happyOut20 happy_x_2 of { happy_var_2 -> - case happyOut24 happy_x_5 of { happy_var_5 -> - happyIn20 - (ECase happy_var_2 happy_var_5 - ) `HappyStk` happyRest}} - -happyReduce_38 = happyReduce 6# 15# happyReduction_38 +happyReduce_38 = happyReduce 6# 16# happyReduction_38 happyReduction_38 (happy_x_6 `HappyStk` happy_x_5 `HappyStk` happy_x_4 `HappyStk` @@ -714,32 +708,40 @@ happyReduction_38 (happy_x_6 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut20 happy_x_2 of { happy_var_2 -> - case happyOut20 happy_x_4 of { happy_var_4 -> - case happyOut20 happy_x_6 of { happy_var_6 -> - happyIn20 - (EIf happy_var_2 happy_var_4 happy_var_6 - ) `HappyStk` happyRest}}} + = case happyOut23 happy_x_3 of { happy_var_3 -> + case happyOut21 happy_x_6 of { happy_var_6 -> + happyIn21 + (ELet happy_var_3 happy_var_6 + ) `HappyStk` happyRest}} -happyReduce_39 = happyReduce 5# 15# happyReduction_39 -happyReduction_39 (happy_x_5 `HappyStk` +happyReduce_39 = happyReduce 6# 16# happyReduction_39 +happyReduction_39 (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 happyOut26 happy_x_3 of { happy_var_3 -> - case happyOut20 happy_x_4 of { happy_var_4 -> - happyIn20 - (EDo (reverse happy_var_3) happy_var_4 + = case happyOut21 happy_x_2 of { happy_var_2 -> + case happyOut25 happy_x_5 of { happy_var_5 -> + happyIn21 + (ECase happy_var_2 happy_var_5 ) `HappyStk` happyRest}} -happyReduce_40 = happySpecReduce_1 15# happyReduction_40 -happyReduction_40 happy_x_1 - = case happyOut44 happy_x_1 of { happy_var_1 -> - happyIn20 - (happy_var_1 - )} +happyReduce_40 = happyReduce 6# 16# happyReduction_40 +happyReduction_40 (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 happyOut21 happy_x_2 of { happy_var_2 -> + case happyOut21 happy_x_4 of { happy_var_4 -> + case happyOut21 happy_x_6 of { happy_var_6 -> + happyIn21 + (EIf happy_var_2 happy_var_4 happy_var_6 + ) `HappyStk` happyRest}}} happyReduce_41 = happyReduce 5# 16# happyReduction_41 happyReduction_41 (happy_x_5 `HappyStk` @@ -748,113 +750,133 @@ happyReduction_41 (happy_x_5 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut5 happy_x_1 of { happy_var_1 -> - case happyOut20 happy_x_3 of { happy_var_3 -> - case happyOut20 happy_x_5 of { happy_var_5 -> + = case happyOut27 happy_x_3 of { happy_var_3 -> + case happyOut21 happy_x_4 of { happy_var_4 -> happyIn21 - (LetDef happy_var_1 happy_var_3 happy_var_5 - ) `HappyStk` happyRest}}} + (EDo (reverse happy_var_3) happy_var_4 + ) `HappyStk` happyRest}} -happyReduce_42 = happySpecReduce_0 17# happyReduction_42 -happyReduction_42 = happyIn22 - ([] - ) - -happyReduce_43 = happySpecReduce_1 17# happyReduction_43 -happyReduction_43 happy_x_1 - = case happyOut21 happy_x_1 of { happy_var_1 -> - happyIn22 - ((:[]) happy_var_1 +happyReduce_42 = happySpecReduce_1 16# happyReduction_42 +happyReduction_42 happy_x_1 + = case happyOut45 happy_x_1 of { happy_var_1 -> + happyIn21 + (happy_var_1 )} -happyReduce_44 = happySpecReduce_3 17# happyReduction_44 -happyReduction_44 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut21 happy_x_1 of { happy_var_1 -> - case happyOut22 happy_x_3 of { happy_var_3 -> - happyIn22 - ((:) happy_var_1 happy_var_3 - )}} - -happyReduce_45 = happySpecReduce_3 18# happyReduction_45 -happyReduction_45 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut15 happy_x_1 of { happy_var_1 -> - case happyOut20 happy_x_3 of { happy_var_3 -> - happyIn23 - (Case happy_var_1 happy_var_3 - )}} - -happyReduce_46 = happySpecReduce_0 19# happyReduction_46 -happyReduction_46 = happyIn24 - ([] - ) - -happyReduce_47 = happySpecReduce_1 19# happyReduction_47 -happyReduction_47 happy_x_1 - = case happyOut23 happy_x_1 of { happy_var_1 -> - happyIn24 - ((:[]) happy_var_1 - )} - -happyReduce_48 = happySpecReduce_3 19# happyReduction_48 -happyReduction_48 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 - ((:) happy_var_1 happy_var_3 - )}} - -happyReduce_49 = happySpecReduce_3 20# happyReduction_49 -happyReduction_49 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut28 happy_x_1 of { happy_var_1 -> - case happyOut20 happy_x_3 of { happy_var_3 -> - happyIn25 - (BindVar happy_var_1 happy_var_3 - )}} - -happyReduce_50 = happySpecReduce_1 20# happyReduction_50 -happyReduction_50 happy_x_1 - = case happyOut20 happy_x_1 of { happy_var_1 -> - happyIn25 - (BindNoVar happy_var_1 - )} - -happyReduce_51 = happySpecReduce_0 21# happyReduction_51 -happyReduction_51 = happyIn26 - ([] - ) - -happyReduce_52 = happySpecReduce_3 21# happyReduction_52 -happyReduction_52 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut26 happy_x_1 of { happy_var_1 -> - case happyOut25 happy_x_2 of { happy_var_2 -> - happyIn26 - (flip (:) happy_var_1 happy_var_2 - )}} - -happyReduce_53 = happyReduce 4# 22# happyReduction_53 -happyReduction_53 (happy_x_4 `HappyStk` +happyReduce_43 = happyReduce 5# 17# happyReduction_43 +happyReduction_43 (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_2 of { happy_var_2 -> - case happyOut20 happy_x_4 of { happy_var_4 -> + = case happyOut5 happy_x_1 of { happy_var_1 -> + case happyOut21 happy_x_3 of { happy_var_3 -> + case happyOut21 happy_x_5 of { happy_var_5 -> + happyIn22 + (LetDef happy_var_1 happy_var_3 happy_var_5 + ) `HappyStk` happyRest}}} + +happyReduce_44 = happySpecReduce_0 18# happyReduction_44 +happyReduction_44 = happyIn23 + ([] + ) + +happyReduce_45 = happySpecReduce_1 18# happyReduction_45 +happyReduction_45 happy_x_1 + = case happyOut22 happy_x_1 of { happy_var_1 -> + happyIn23 + ((:[]) happy_var_1 + )} + +happyReduce_46 = happySpecReduce_3 18# happyReduction_46 +happyReduction_46 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut22 happy_x_1 of { happy_var_1 -> + case happyOut23 happy_x_3 of { happy_var_3 -> + happyIn23 + ((:) happy_var_1 happy_var_3 + )}} + +happyReduce_47 = happySpecReduce_3 19# happyReduction_47 +happyReduction_47 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut15 happy_x_1 of { happy_var_1 -> + case happyOut21 happy_x_3 of { happy_var_3 -> + happyIn24 + (Case happy_var_1 happy_var_3 + )}} + +happyReduce_48 = happySpecReduce_0 20# happyReduction_48 +happyReduction_48 = happyIn25 + ([] + ) + +happyReduce_49 = happySpecReduce_1 20# happyReduction_49 +happyReduction_49 happy_x_1 + = case happyOut24 happy_x_1 of { happy_var_1 -> + happyIn25 + ((:[]) happy_var_1 + )} + +happyReduce_50 = happySpecReduce_3 20# happyReduction_50 +happyReduction_50 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut24 happy_x_1 of { happy_var_1 -> + case happyOut25 happy_x_3 of { happy_var_3 -> + happyIn25 + ((:) happy_var_1 happy_var_3 + )}} + +happyReduce_51 = happySpecReduce_3 21# happyReduction_51 +happyReduction_51 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut29 happy_x_1 of { happy_var_1 -> + case happyOut21 happy_x_3 of { happy_var_3 -> + happyIn26 + (BindVar happy_var_1 happy_var_3 + )}} + +happyReduce_52 = happySpecReduce_1 21# happyReduction_52 +happyReduction_52 happy_x_1 + = case happyOut21 happy_x_1 of { happy_var_1 -> + happyIn26 + (BindNoVar happy_var_1 + )} + +happyReduce_53 = happySpecReduce_0 22# happyReduction_53 +happyReduction_53 = happyIn27 + ([] + ) + +happyReduce_54 = happySpecReduce_3 22# happyReduction_54 +happyReduction_54 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut27 happy_x_1 of { happy_var_1 -> + case happyOut26 happy_x_2 of { happy_var_2 -> happyIn27 + (flip (:) happy_var_1 happy_var_2 + )}} + +happyReduce_55 = happyReduce 4# 23# happyReduction_55 +happyReduction_55 (happy_x_4 `HappyStk` + happy_x_3 `HappyStk` + happy_x_2 `HappyStk` + happy_x_1 `HappyStk` + happyRest) + = case happyOut29 happy_x_2 of { happy_var_2 -> + case happyOut21 happy_x_4 of { happy_var_4 -> + happyIn28 (EAbs happy_var_2 happy_var_4 ) `HappyStk` happyRest}} -happyReduce_54 = happyReduce 7# 22# happyReduction_54 -happyReduction_54 (happy_x_7 `HappyStk` +happyReduce_56 = happyReduce 7# 23# happyReduction_56 +happyReduction_56 (happy_x_7 `HappyStk` happy_x_6 `HappyStk` happy_x_5 `HappyStk` happy_x_4 `HappyStk` @@ -862,78 +884,61 @@ happyReduction_54 (happy_x_7 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut28 happy_x_2 of { happy_var_2 -> - case happyOut20 happy_x_4 of { happy_var_4 -> - case happyOut20 happy_x_7 of { happy_var_7 -> - happyIn27 + = case happyOut29 happy_x_2 of { happy_var_2 -> + case happyOut21 happy_x_4 of { happy_var_4 -> + case happyOut21 happy_x_7 of { happy_var_7 -> + happyIn28 (EPi happy_var_2 happy_var_4 happy_var_7 ) `HappyStk` happyRest}}} -happyReduce_55 = happySpecReduce_3 22# happyReduction_55 -happyReduction_55 happy_x_3 +happyReduce_57 = happySpecReduce_3 23# happyReduction_57 +happyReduction_57 happy_x_3 happy_x_2 happy_x_1 - = case happyOut29 happy_x_1 of { happy_var_1 -> - case happyOut20 happy_x_3 of { happy_var_3 -> - happyIn27 + = case happyOut30 happy_x_1 of { happy_var_1 -> + case happyOut21 happy_x_3 of { happy_var_3 -> + happyIn28 (EPiNoVar happy_var_1 happy_var_3 )}} -happyReduce_56 = happySpecReduce_1 22# happyReduction_56 -happyReduction_56 happy_x_1 - = case happyOut29 happy_x_1 of { happy_var_1 -> - happyIn27 +happyReduce_58 = happySpecReduce_1 23# happyReduction_58 +happyReduction_58 happy_x_1 + = case happyOut30 happy_x_1 of { happy_var_1 -> + happyIn28 (happy_var_1 )} -happyReduce_57 = happySpecReduce_1 23# happyReduction_57 -happyReduction_57 happy_x_1 +happyReduce_59 = happySpecReduce_1 24# happyReduction_59 +happyReduction_59 happy_x_1 = case happyOut5 happy_x_1 of { happy_var_1 -> - happyIn28 + happyIn29 (VVar happy_var_1 )} -happyReduce_58 = happySpecReduce_1 23# happyReduction_58 -happyReduction_58 happy_x_1 - = happyIn28 +happyReduce_60 = happySpecReduce_1 24# happyReduction_60 +happyReduction_60 happy_x_1 + = happyIn29 (VWild ) -happyReduce_59 = happySpecReduce_3 24# happyReduction_59 -happyReduction_59 happy_x_3 +happyReduce_61 = happySpecReduce_3 25# happyReduction_61 +happyReduction_61 happy_x_3 happy_x_2 happy_x_1 - = case happyOut29 happy_x_1 of { happy_var_1 -> - case happyOut30 happy_x_3 of { happy_var_3 -> - happyIn29 + = case happyOut30 happy_x_1 of { happy_var_1 -> + case happyOut31 happy_x_3 of { happy_var_3 -> + happyIn30 (EBind happy_var_1 happy_var_3 )}} -happyReduce_60 = happySpecReduce_3 24# happyReduction_60 -happyReduction_60 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut29 happy_x_1 of { happy_var_1 -> - case happyOut30 happy_x_3 of { happy_var_3 -> - happyIn29 - (EBindC happy_var_1 happy_var_3 - )}} - -happyReduce_61 = happySpecReduce_1 24# happyReduction_61 -happyReduction_61 happy_x_1 - = case happyOut30 happy_x_1 of { happy_var_1 -> - happyIn29 - (happy_var_1 - )} - happyReduce_62 = happySpecReduce_3 25# happyReduction_62 happyReduction_62 happy_x_3 happy_x_2 happy_x_1 - = case happyOut31 happy_x_1 of { happy_var_1 -> - case happyOut30 happy_x_3 of { happy_var_3 -> + = case happyOut30 happy_x_1 of { happy_var_1 -> + case happyOut31 happy_x_3 of { happy_var_3 -> happyIn30 - (EOr happy_var_1 happy_var_3 + (EBindC happy_var_1 happy_var_3 )}} happyReduce_63 = happySpecReduce_1 25# happyReduction_63 @@ -950,7 +955,7 @@ happyReduction_64 happy_x_3 = case happyOut32 happy_x_1 of { happy_var_1 -> case happyOut31 happy_x_3 of { happy_var_3 -> happyIn31 - (EAnd happy_var_1 happy_var_3 + (EOr happy_var_1 happy_var_3 )}} happyReduce_65 = happySpecReduce_1 26# happyReduction_65 @@ -965,76 +970,76 @@ happyReduction_66 happy_x_3 happy_x_2 happy_x_1 = case happyOut33 happy_x_1 of { happy_var_1 -> - case happyOut33 happy_x_3 of { happy_var_3 -> + case happyOut32 happy_x_3 of { happy_var_3 -> happyIn32 - (EEq happy_var_1 happy_var_3 + (EAnd happy_var_1 happy_var_3 )}} -happyReduce_67 = happySpecReduce_3 27# happyReduction_67 -happyReduction_67 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut33 happy_x_1 of { happy_var_1 -> - case happyOut33 happy_x_3 of { happy_var_3 -> - happyIn32 - (ENe happy_var_1 happy_var_3 - )}} - -happyReduce_68 = happySpecReduce_3 27# happyReduction_68 -happyReduction_68 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut33 happy_x_1 of { happy_var_1 -> - case happyOut33 happy_x_3 of { happy_var_3 -> - happyIn32 - (ELt happy_var_1 happy_var_3 - )}} - -happyReduce_69 = happySpecReduce_3 27# happyReduction_69 -happyReduction_69 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut33 happy_x_1 of { happy_var_1 -> - case happyOut33 happy_x_3 of { happy_var_3 -> - happyIn32 - (ELe happy_var_1 happy_var_3 - )}} - -happyReduce_70 = happySpecReduce_3 27# happyReduction_70 -happyReduction_70 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut33 happy_x_1 of { happy_var_1 -> - case happyOut33 happy_x_3 of { happy_var_3 -> - happyIn32 - (EGt happy_var_1 happy_var_3 - )}} - -happyReduce_71 = happySpecReduce_3 27# happyReduction_71 -happyReduction_71 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut33 happy_x_1 of { happy_var_1 -> - case happyOut33 happy_x_3 of { happy_var_3 -> - happyIn32 - (EGe happy_var_1 happy_var_3 - )}} - -happyReduce_72 = happySpecReduce_1 27# happyReduction_72 -happyReduction_72 happy_x_1 +happyReduce_67 = happySpecReduce_1 27# happyReduction_67 +happyReduction_67 happy_x_1 = case happyOut33 happy_x_1 of { happy_var_1 -> happyIn32 (happy_var_1 )} +happyReduce_68 = happySpecReduce_3 28# happyReduction_68 +happyReduction_68 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut34 happy_x_1 of { happy_var_1 -> + case happyOut34 happy_x_3 of { happy_var_3 -> + happyIn33 + (EEq happy_var_1 happy_var_3 + )}} + +happyReduce_69 = happySpecReduce_3 28# happyReduction_69 +happyReduction_69 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut34 happy_x_1 of { happy_var_1 -> + case happyOut34 happy_x_3 of { happy_var_3 -> + happyIn33 + (ENe happy_var_1 happy_var_3 + )}} + +happyReduce_70 = happySpecReduce_3 28# happyReduction_70 +happyReduction_70 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut34 happy_x_1 of { happy_var_1 -> + case happyOut34 happy_x_3 of { happy_var_3 -> + happyIn33 + (ELt happy_var_1 happy_var_3 + )}} + +happyReduce_71 = happySpecReduce_3 28# happyReduction_71 +happyReduction_71 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut34 happy_x_1 of { happy_var_1 -> + case happyOut34 happy_x_3 of { happy_var_3 -> + happyIn33 + (ELe happy_var_1 happy_var_3 + )}} + +happyReduce_72 = happySpecReduce_3 28# happyReduction_72 +happyReduction_72 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut34 happy_x_1 of { happy_var_1 -> + case happyOut34 happy_x_3 of { happy_var_3 -> + happyIn33 + (EGt happy_var_1 happy_var_3 + )}} + happyReduce_73 = happySpecReduce_3 28# happyReduction_73 happyReduction_73 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 -> + case happyOut34 happy_x_3 of { happy_var_3 -> happyIn33 - (EListCons happy_var_1 happy_var_3 + (EGe happy_var_1 happy_var_3 )}} happyReduce_74 = happySpecReduce_1 28# happyReduction_74 @@ -1048,29 +1053,29 @@ happyReduce_75 = happySpecReduce_3 29# happyReduction_75 happyReduction_75 happy_x_3 happy_x_2 happy_x_1 - = case happyOut34 happy_x_1 of { happy_var_1 -> - case happyOut35 happy_x_3 of { happy_var_3 -> + = case happyOut35 happy_x_1 of { happy_var_1 -> + case happyOut34 happy_x_3 of { happy_var_3 -> happyIn34 - (EAdd happy_var_1 happy_var_3 + (EListCons happy_var_1 happy_var_3 )}} -happyReduce_76 = happySpecReduce_3 29# happyReduction_76 -happyReduction_76 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut34 happy_x_1 of { happy_var_1 -> - case happyOut35 happy_x_3 of { happy_var_3 -> - happyIn34 - (ESub happy_var_1 happy_var_3 - )}} - -happyReduce_77 = happySpecReduce_1 29# happyReduction_77 -happyReduction_77 happy_x_1 +happyReduce_76 = happySpecReduce_1 29# happyReduction_76 +happyReduction_76 happy_x_1 = case happyOut35 happy_x_1 of { happy_var_1 -> happyIn34 (happy_var_1 )} +happyReduce_77 = happySpecReduce_3 30# happyReduction_77 +happyReduction_77 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut35 happy_x_1 of { happy_var_1 -> + case happyOut36 happy_x_3 of { happy_var_3 -> + happyIn35 + (EAdd happy_var_1 happy_var_3 + )}} + happyReduce_78 = happySpecReduce_3 30# happyReduction_78 happyReduction_78 happy_x_3 happy_x_2 @@ -1078,43 +1083,45 @@ happyReduction_78 happy_x_3 = case happyOut35 happy_x_1 of { happy_var_1 -> case happyOut36 happy_x_3 of { happy_var_3 -> happyIn35 - (EMul happy_var_1 happy_var_3 + (ESub happy_var_1 happy_var_3 )}} -happyReduce_79 = happySpecReduce_3 30# happyReduction_79 -happyReduction_79 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut35 happy_x_1 of { happy_var_1 -> - case happyOut36 happy_x_3 of { happy_var_3 -> - happyIn35 - (EDiv happy_var_1 happy_var_3 - )}} - -happyReduce_80 = happySpecReduce_3 30# happyReduction_80 -happyReduction_80 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut35 happy_x_1 of { happy_var_1 -> - case happyOut36 happy_x_3 of { happy_var_3 -> - happyIn35 - (EMod happy_var_1 happy_var_3 - )}} - -happyReduce_81 = happySpecReduce_1 30# happyReduction_81 -happyReduction_81 happy_x_1 +happyReduce_79 = happySpecReduce_1 30# happyReduction_79 +happyReduction_79 happy_x_1 = case happyOut36 happy_x_1 of { happy_var_1 -> happyIn35 (happy_var_1 )} -happyReduce_82 = happySpecReduce_2 31# happyReduction_82 -happyReduction_82 happy_x_2 +happyReduce_80 = happySpecReduce_3 31# happyReduction_80 +happyReduction_80 happy_x_3 + happy_x_2 happy_x_1 - = case happyOut36 happy_x_2 of { happy_var_2 -> + = case happyOut36 happy_x_1 of { happy_var_1 -> + case happyOut37 happy_x_3 of { happy_var_3 -> happyIn36 - (ENeg happy_var_2 - )} + (EMul happy_var_1 happy_var_3 + )}} + +happyReduce_81 = happySpecReduce_3 31# happyReduction_81 +happyReduction_81 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 + (EDiv happy_var_1 happy_var_3 + )}} + +happyReduce_82 = happySpecReduce_3 31# happyReduction_82 +happyReduction_82 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 + (EMod happy_var_1 happy_var_3 + )}} happyReduce_83 = happySpecReduce_1 31# happyReduction_83 happyReduction_83 happy_x_1 @@ -1126,11 +1133,10 @@ happyReduction_83 happy_x_1 happyReduce_84 = happySpecReduce_2 32# happyReduction_84 happyReduction_84 happy_x_2 happy_x_1 - = case happyOut37 happy_x_1 of { happy_var_1 -> - case happyOut38 happy_x_2 of { happy_var_2 -> + = case happyOut37 happy_x_2 of { happy_var_2 -> happyIn37 - (EApp happy_var_1 happy_var_2 - )}} + (ENeg happy_var_2 + )} happyReduce_85 = happySpecReduce_1 32# happyReduction_85 happyReduction_85 happy_x_1 @@ -1139,14 +1145,13 @@ happyReduction_85 happy_x_1 (happy_var_1 )} -happyReduce_86 = happySpecReduce_3 33# happyReduction_86 -happyReduction_86 happy_x_3 - happy_x_2 +happyReduce_86 = happySpecReduce_2 33# happyReduction_86 +happyReduction_86 happy_x_2 happy_x_1 = case happyOut38 happy_x_1 of { happy_var_1 -> - case happyOut5 happy_x_3 of { happy_var_3 -> + case happyOut39 happy_x_2 of { happy_var_2 -> happyIn38 - (EProj happy_var_1 happy_var_3 + (EApp happy_var_1 happy_var_2 )}} happyReduce_87 = happySpecReduce_1 33# happyReduction_87 @@ -1156,169 +1161,186 @@ happyReduction_87 happy_x_1 (happy_var_1 )} -happyReduce_88 = happyReduce 4# 34# happyReduction_88 -happyReduction_88 (happy_x_4 `HappyStk` - happy_x_3 `HappyStk` - happy_x_2 `HappyStk` - happy_x_1 `HappyStk` - happyRest) - = case happyOut41 happy_x_3 of { happy_var_3 -> - happyIn39 - (ERecType happy_var_3 - ) `HappyStk` happyRest} - -happyReduce_89 = happyReduce 4# 34# happyReduction_89 -happyReduction_89 (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 -> - happyIn39 - (ERec happy_var_3 - ) `HappyStk` happyRest} - -happyReduce_90 = happySpecReduce_3 34# happyReduction_90 -happyReduction_90 happy_x_3 +happyReduce_88 = happySpecReduce_3 34# happyReduction_88 +happyReduction_88 happy_x_3 happy_x_2 happy_x_1 - = case happyOut45 happy_x_2 of { happy_var_2 -> + = case happyOut39 happy_x_1 of { happy_var_1 -> + case happyOut5 happy_x_3 of { happy_var_3 -> happyIn39 - (EList happy_var_2 - )} - -happyReduce_91 = happySpecReduce_1 34# happyReduction_91 -happyReduction_91 happy_x_1 - = case happyOut5 happy_x_1 of { happy_var_1 -> - happyIn39 - (EVar happy_var_1 - )} - -happyReduce_92 = happySpecReduce_1 34# happyReduction_92 -happyReduction_92 happy_x_1 - = happyIn39 - (EType - ) - -happyReduce_93 = happySpecReduce_1 34# happyReduction_93 -happyReduction_93 happy_x_1 - = case happyOut6 happy_x_1 of { happy_var_1 -> - happyIn39 - (EStr happy_var_1 - )} - -happyReduce_94 = happySpecReduce_1 34# happyReduction_94 -happyReduction_94 happy_x_1 - = case happyOut7 happy_x_1 of { happy_var_1 -> - happyIn39 - (EInt happy_var_1 - )} - -happyReduce_95 = happySpecReduce_1 34# happyReduction_95 -happyReduction_95 happy_x_1 - = happyIn39 - (EMeta - ) - -happyReduce_96 = happySpecReduce_3 34# happyReduction_96 -happyReduction_96 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut20 happy_x_2 of { happy_var_2 -> - happyIn39 - (happy_var_2 - )} - -happyReduce_97 = happySpecReduce_3 35# happyReduction_97 -happyReduction_97 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut5 happy_x_1 of { happy_var_1 -> - case happyOut20 happy_x_3 of { happy_var_3 -> - happyIn40 - (FieldType happy_var_1 happy_var_3 + (EProj happy_var_1 happy_var_3 )}} -happyReduce_98 = happySpecReduce_0 36# happyReduction_98 -happyReduction_98 = happyIn41 - ([] - ) - -happyReduce_99 = happySpecReduce_1 36# happyReduction_99 -happyReduction_99 happy_x_1 +happyReduce_89 = happySpecReduce_1 34# happyReduction_89 +happyReduction_89 happy_x_1 = case happyOut40 happy_x_1 of { happy_var_1 -> - happyIn41 - ((:[]) happy_var_1 - )} - -happyReduce_100 = happySpecReduce_3 36# happyReduction_100 -happyReduction_100 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut40 happy_x_1 of { happy_var_1 -> - case happyOut41 happy_x_3 of { happy_var_3 -> - happyIn41 - ((:) happy_var_1 happy_var_3 - )}} - -happyReduce_101 = happySpecReduce_3 37# happyReduction_101 -happyReduction_101 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut5 happy_x_1 of { happy_var_1 -> - case happyOut20 happy_x_3 of { happy_var_3 -> - happyIn42 - (FieldValue happy_var_1 happy_var_3 - )}} - -happyReduce_102 = happySpecReduce_0 38# happyReduction_102 -happyReduction_102 = happyIn43 - ([] - ) - -happyReduce_103 = happySpecReduce_1 38# happyReduction_103 -happyReduction_103 happy_x_1 - = case happyOut42 happy_x_1 of { happy_var_1 -> - happyIn43 - ((:[]) happy_var_1 - )} - -happyReduce_104 = happySpecReduce_3 38# happyReduction_104 -happyReduction_104 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 - ((:) happy_var_1 happy_var_3 - )}} - -happyReduce_105 = happySpecReduce_1 39# happyReduction_105 -happyReduction_105 happy_x_1 - = case happyOut27 happy_x_1 of { happy_var_1 -> - happyIn44 + happyIn39 (happy_var_1 )} -happyReduce_106 = happySpecReduce_0 40# happyReduction_106 -happyReduction_106 = happyIn45 +happyReduce_90 = happyReduce 4# 35# happyReduction_90 +happyReduction_90 (happy_x_4 `HappyStk` + happy_x_3 `HappyStk` + happy_x_2 `HappyStk` + happy_x_1 `HappyStk` + happyRest) + = case happyOut42 happy_x_3 of { happy_var_3 -> + happyIn40 + (ERecType happy_var_3 + ) `HappyStk` happyRest} + +happyReduce_91 = happyReduce 4# 35# happyReduction_91 +happyReduction_91 (happy_x_4 `HappyStk` + happy_x_3 `HappyStk` + happy_x_2 `HappyStk` + happy_x_1 `HappyStk` + happyRest) + = case happyOut44 happy_x_3 of { happy_var_3 -> + happyIn40 + (ERec happy_var_3 + ) `HappyStk` happyRest} + +happyReduce_92 = happySpecReduce_3 35# happyReduction_92 +happyReduction_92 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut46 happy_x_2 of { happy_var_2 -> + happyIn40 + (EList happy_var_2 + )} + +happyReduce_93 = happySpecReduce_1 35# happyReduction_93 +happyReduction_93 happy_x_1 + = case happyOut5 happy_x_1 of { happy_var_1 -> + happyIn40 + (EVar happy_var_1 + )} + +happyReduce_94 = happySpecReduce_1 35# happyReduction_94 +happyReduction_94 happy_x_1 + = happyIn40 + (EType + ) + +happyReduce_95 = happySpecReduce_1 35# happyReduction_95 +happyReduction_95 happy_x_1 + = case happyOut6 happy_x_1 of { happy_var_1 -> + happyIn40 + (EStr happy_var_1 + )} + +happyReduce_96 = happySpecReduce_1 35# happyReduction_96 +happyReduction_96 happy_x_1 + = case happyOut7 happy_x_1 of { happy_var_1 -> + happyIn40 + (EInt happy_var_1 + )} + +happyReduce_97 = happySpecReduce_1 35# happyReduction_97 +happyReduction_97 happy_x_1 + = happyIn40 + (EMeta + ) + +happyReduce_98 = happySpecReduce_3 35# happyReduction_98 +happyReduction_98 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut21 happy_x_2 of { happy_var_2 -> + happyIn40 + (happy_var_2 + )} + +happyReduce_99 = happySpecReduce_3 36# happyReduction_99 +happyReduction_99 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut5 happy_x_1 of { happy_var_1 -> + case happyOut21 happy_x_3 of { happy_var_3 -> + happyIn41 + (FieldType happy_var_1 happy_var_3 + )}} + +happyReduce_100 = happySpecReduce_0 37# happyReduction_100 +happyReduction_100 = happyIn42 ([] ) -happyReduce_107 = happySpecReduce_1 40# happyReduction_107 -happyReduction_107 happy_x_1 - = case happyOut20 happy_x_1 of { happy_var_1 -> - happyIn45 +happyReduce_101 = happySpecReduce_1 37# happyReduction_101 +happyReduction_101 happy_x_1 + = case happyOut41 happy_x_1 of { happy_var_1 -> + happyIn42 ((:[]) happy_var_1 )} -happyReduce_108 = happySpecReduce_3 40# happyReduction_108 -happyReduction_108 happy_x_3 +happyReduce_102 = happySpecReduce_3 37# happyReduction_102 +happyReduction_102 happy_x_3 happy_x_2 happy_x_1 - = case happyOut20 happy_x_1 of { happy_var_1 -> - case happyOut45 happy_x_3 of { happy_var_3 -> + = case happyOut41 happy_x_1 of { happy_var_1 -> + case happyOut42 happy_x_3 of { happy_var_3 -> + happyIn42 + ((:) happy_var_1 happy_var_3 + )}} + +happyReduce_103 = happySpecReduce_3 38# happyReduction_103 +happyReduction_103 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut5 happy_x_1 of { happy_var_1 -> + case happyOut21 happy_x_3 of { happy_var_3 -> + happyIn43 + (FieldValue happy_var_1 happy_var_3 + )}} + +happyReduce_104 = happySpecReduce_0 39# happyReduction_104 +happyReduction_104 = happyIn44 + ([] + ) + +happyReduce_105 = happySpecReduce_1 39# happyReduction_105 +happyReduction_105 happy_x_1 + = case happyOut43 happy_x_1 of { happy_var_1 -> + happyIn44 + ((:[]) happy_var_1 + )} + +happyReduce_106 = happySpecReduce_3 39# happyReduction_106 +happyReduction_106 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut43 happy_x_1 of { happy_var_1 -> + case happyOut44 happy_x_3 of { happy_var_3 -> + happyIn44 + ((:) happy_var_1 happy_var_3 + )}} + +happyReduce_107 = happySpecReduce_1 40# happyReduction_107 +happyReduction_107 happy_x_1 + = case happyOut28 happy_x_1 of { happy_var_1 -> happyIn45 + (happy_var_1 + )} + +happyReduce_108 = happySpecReduce_0 41# happyReduction_108 +happyReduction_108 = happyIn46 + ([] + ) + +happyReduce_109 = happySpecReduce_1 41# happyReduction_109 +happyReduction_109 happy_x_1 + = case happyOut21 happy_x_1 of { happy_var_1 -> + happyIn46 + ((:[]) happy_var_1 + )} + +happyReduce_110 = happySpecReduce_3 41# happyReduction_110 +happyReduction_110 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut21 happy_x_1 of { happy_var_1 -> + case happyOut46 happy_x_3 of { happy_var_3 -> + happyIn46 ((:) happy_var_1 happy_var_3 )}} @@ -1333,15 +1355,15 @@ happyNewToken action sts stk (tk:tks) = PT _ (TS "{") -> cont 3#; PT _ (TS "}") -> cont 4#; PT _ (TS "=") -> cont 5#; - PT _ (TS "(") -> cont 6#; - PT _ (TS ")") -> cont 7#; - PT _ (TS "_") -> cont 8#; - PT _ (TS "->") -> cont 9#; - PT _ (TS "<-") -> cont 10#; - PT _ (TS "\\") -> cont 11#; - PT _ (TS ">>=") -> cont 12#; - PT _ (TS ">>") -> cont 13#; - PT _ (TS "||") -> cont 14#; + PT _ (TS "||") -> cont 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#; @@ -1398,7 +1420,7 @@ pModule tks = happySomeParser where happySomeParser = happyThen (happyParse 0# tks) (\x -> happyReturn (happyOut8 x)) pExp tks = happySomeParser where - happySomeParser = happyThen (happyParse 1# tks) (\x -> happyReturn (happyOut20 x)) + happySomeParser = happyThen (happyParse 1# tks) (\x -> happyReturn (happyOut21 x)) happySeq = happyDontSeq diff --git a/src/Transfer/Syntax/Par.y b/src/Transfer/Syntax/Par.y index 313977c77..3ed2c3141 100644 --- a/src/Transfer/Syntax/Par.y +++ b/src/Transfer/Syntax/Par.y @@ -19,6 +19,7 @@ import Transfer.ErrM '{' { PT _ (TS "{") } '}' { PT _ (TS "}") } '=' { PT _ (TS "=") } + '||' { PT _ (TS "||") } '(' { PT _ (TS "(") } ')' { PT _ (TS ")") } '_' { PT _ (TS "_") } @@ -27,7 +28,6 @@ import Transfer.ErrM '\\' { PT _ (TS "\\") } '>>=' { PT _ (TS ">>=") } '>>' { PT _ (TS ">>") } - '||' { PT _ (TS "||") } '&&' { PT _ (TS "&&") } '==' { PT _ (TS "==") } '/=' { PT _ (TS "/=") } @@ -112,23 +112,28 @@ ListConsDecl : {- empty -} { [] } Pattern :: { Pattern } -Pattern : Ident Pattern1 ListPattern { PConsTop $1 $2 (reverse $3) } +Pattern : Pattern1 '||' Pattern { POr $1 $3 } | Pattern1 { $1 } Pattern1 :: { Pattern } -Pattern1 : '(' Ident ListPattern ')' { PCons $2 (reverse $3) } - | 'rec' '{' ListFieldPattern '}' { PRec $3 } +Pattern1 : Ident Pattern2 ListPattern { PConsTop $1 $2 (reverse $3) } + | Pattern2 { $1 } + + +Pattern2 :: { Pattern } +Pattern2 : 'rec' '{' ListFieldPattern '}' { PRec $3 } | 'Type' { PType } | String { PStr $1 } | Integer { PInt $1 } | Ident { PVar $1 } | '_' { PWild } + | '(' Pattern ')' { $2 } ListPattern :: { [Pattern] } ListPattern : {- empty -} { [] } - | ListPattern Pattern1 { flip (:) $1 $2 } + | ListPattern Pattern2 { flip (:) $1 $2 } FieldPattern :: { FieldPattern } diff --git a/src/Transfer/Syntax/Print.hs b/src/Transfer/Syntax/Print.hs index cc93f4383..cd0975fa8 100644 --- a/src/Transfer/Syntax/Print.hs +++ b/src/Transfer/Syntax/Print.hs @@ -87,14 +87,15 @@ instance Print (Tree c) where ValueDecl i patterns exp -> prPrec _i 0 (concatD [prt 0 i , prt 0 patterns , doc (showString "=") , prt 0 exp]) DeriveDecl i0 i1 -> prPrec _i 0 (concatD [doc (showString "derive") , prt 0 i0 , prt 0 i1]) ConsDecl i exp -> prPrec _i 0 (concatD [prt 0 i , doc (showString ":") , prt 0 exp]) - PConsTop i pattern patterns -> prPrec _i 0 (concatD [prt 0 i , prt 1 pattern , prt 0 patterns]) - PCons i patterns -> prPrec _i 1 (concatD [doc (showString "(") , prt 0 i , prt 0 patterns , doc (showString ")")]) - PRec fieldpatterns -> prPrec _i 1 (concatD [doc (showString "rec") , doc (showString "{") , prt 0 fieldpatterns , doc (showString "}")]) - PType -> prPrec _i 1 (concatD [doc (showString "Type")]) - PStr str -> prPrec _i 1 (concatD [prt 0 str]) - PInt n -> prPrec _i 1 (concatD [prt 0 n]) - PVar i -> prPrec _i 1 (concatD [prt 0 i]) - PWild -> prPrec _i 1 (concatD [doc (showString "_")]) + 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 "_")]) 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 "}")]) @@ -158,7 +159,7 @@ instance Print [ConsDecl] where instance Print [Pattern] where prt _ es = case es of [] -> (concatD []) - x:xs -> (concatD [prt 1 x , prt 0 xs]) + x:xs -> (concatD [prt 2 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 680ea1256..d9e51e9f6 100644 --- a/src/Transfer/Syntax/Skel.hs +++ b/src/Transfer/Syntax/Skel.hs @@ -18,6 +18,7 @@ transTree t = case t of ValueDecl i patterns exp -> failure t DeriveDecl i0 i1 -> failure t ConsDecl i exp -> failure t + POr pattern0 pattern1 -> failure t PConsTop i pattern patterns -> failure t PCons i patterns -> failure t PRec fieldpatterns -> failure t @@ -92,6 +93,7 @@ transConsDecl t = case t of transPattern :: Pattern -> Result transPattern t = case t of + POr pattern0 pattern1 -> failure t PConsTop i pattern patterns -> failure t PCons i patterns -> failure t PRec fieldpatterns -> failure t diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf index b64edb438..3550786d5 100644 --- a/src/Transfer/Syntax/Syntax.cf +++ b/src/Transfer/Syntax/Syntax.cf @@ -21,27 +21,33 @@ separator Decl ";" ; ConsDecl. ConsDecl ::= Ident ":" Exp ; separator ConsDecl ";" ; +-- Disjunctive patterns. +POr. Pattern ::= Pattern1 "||" Pattern ; + -- Hack: constructor applied to at least one pattern -- this is to separate it from variable patterns -PConsTop. Pattern ::= Ident Pattern1 [Pattern] ; -_. Pattern ::= Pattern1 ; --- Constructor pattern with parantheses -PCons. Pattern1 ::= "(" Ident [Pattern] ")" ; +PConsTop. Pattern1 ::= Ident Pattern2 [Pattern] ; + +-- Real constructor pattern +internal PCons. Pattern2 ::= "(" Ident [Pattern] ")" ; + -- Record patterns -PRec. Pattern1 ::= "rec" "{" [FieldPattern] "}"; +PRec. Pattern2 ::= "rec" "{" [FieldPattern] "}"; -- The pattern matching the Type constant -PType. Pattern1 ::= "Type" ; +PType. Pattern2 ::= "Type" ; -- String literal patterns -PStr. Pattern1 ::= String ; +PStr. Pattern2 ::= String ; -- Integer literal patterns -PInt. Pattern1 ::= Integer ; +PInt. Pattern2 ::= Integer ; -- Variable patterns -PVar. Pattern1 ::= Ident ; +PVar. Pattern2 ::= Ident ; -- Wild card patterns -PWild. Pattern1 ::= "_" ; +PWild. Pattern2 ::= "_" ; + +coercions Pattern 2 ; []. [Pattern] ::= ; -(:). [Pattern] ::= Pattern1 [Pattern] ; +(:). [Pattern] ::= Pattern2 [Pattern] ; FieldPattern. FieldPattern ::= Ident "=" Pattern ; separator FieldPattern ";" ; diff --git a/src/Transfer/SyntaxToCore.hs b/src/Transfer/SyntaxToCore.hs index f3e7f828d..586160ebe 100644 --- a/src/Transfer/SyntaxToCore.hs +++ b/src/Transfer/SyntaxToCore.hs @@ -33,6 +33,7 @@ declsToCore_ = desugar >>> deriveDecls >>> replaceCons >>> compilePattDecls + >>> expandOrPatts >>> optimize optimize :: [Decl] -> C [Decl] @@ -343,6 +344,34 @@ onlyBindsFieldToVariable _ _ = False fieldPatternVars :: Ident -> [FieldPattern] -> [Ident] fieldPatternVars f fps = [p | FieldPattern f' (PVar p) <- fps, f == f'] +-- +-- * Expand disjunctive patterns. +-- + +expandOrPatts :: [Decl] -> C [Decl] +expandOrPatts = return . map f + where + f :: Tree a -> Tree a + f x = case x of + ECase e cs -> ECase (f e) (concatMap (expandCase . f) cs) + _ -> composOp f x + +expandCase :: Case -> [Case] +expandCase (Case p e) = [ Case p' e | p' <- expandPatt p ] + +expandPatt :: Pattern -> [Pattern] +expandPatt p = case p of + POr p1 p2 -> expandPatt p1 ++ expandPatt p2 + PCons i ps -> map (PCons i) $ expandPatts ps + PRec fps -> let (fs,ps) = unzip $ fromPRec fps + fpss = map (zip fs) (expandPatts ps) + in map (PRec . toPRec) fpss + _ -> [p] + +expandPatts :: [Pattern] -> [[Pattern]] +expandPatts [] = [[]] +expandPatts (p:ps) = [ p':ps' | p' <- expandPatt p, ps' <- expandPatts ps] + -- -- * Remove simple syntactic sugar. -- @@ -549,6 +578,12 @@ isValueDecl :: Ident -> Decl -> Bool isValueDecl x (ValueDecl y _ _) = x == y isValueDecl _ _ = False +fromPRec :: [FieldPattern] -> [(Ident,Pattern)] +fromPRec fps = [ (l,p) | FieldPattern l p <- fps ] + +toPRec :: [(Ident,Pattern)] -> [FieldPattern] +toPRec = map (uncurry FieldPattern) + -- -- * Data types -- diff --git a/transfer/README b/transfer/README new file mode 100644 index 000000000..ed31ae3f9 --- /dev/null +++ b/transfer/README @@ -0,0 +1,23 @@ +Some features of the Transfer language: + +* Purely functional +* Dependent types +* Eager evaluation +* Generalized algebraic datatypes +* Metavariables +* Records with subtyping +* Overloading by explicit dictionary passing +* Pattern matching by case expressions + +Additional features in the front-end language: + +* Disjunctive patterns +* do-notation +* Hidden arguments (not implemented yet) +* Automatic derivation of some operations on user-defined GADTs: + - Compositional maps and folds + - Equality + - Ordering + - Showing +* Pattern equations +* Operator syntax for common functions, most are overloaded diff --git a/transfer/examples/disjpatt.tr b/transfer/examples/disjpatt.tr new file mode 100644 index 000000000..740e08a7b --- /dev/null +++ b/transfer/examples/disjpatt.tr @@ -0,0 +1,24 @@ +data Cat : Type where + VarOrWild : Cat + Exp : Cat + Ident : Cat + +data Tree : Cat -> Type where + EAbs : Tree VarOrWild -> Tree Exp -> Tree Exp + EPi : Tree VarOrWild -> Tree Exp -> Tree Exp -> Tree Exp + EVar : Tree Ident -> Tree Exp + EType : Tree Exp + EStr : String -> Tree Exp + EInt : Integer -> Tree Exp + VVar : Tree Ident -> Tree VarOrWild + VWild : Tree VarOrWild + Ident : String -> Tree Ident + + +f e = case e of + EAbs (VWild || VVar _) e || EPi (VWild || VVar _) _ e -> doSomething e + Ident i -> Ident i + _ -> catchAll + + +g (Ident x || EAbs (VWild || VVar _) t e) = x e \ No newline at end of file