From eef20fa404f11fda0b9f73da1a3ee41db3201062 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 29 Nov 2005 15:48:13 +0000 Subject: [PATCH] Added meta variables to transfer front-end and core. --- src/Transfer/Core/Abs.hs | 24 +- src/Transfer/Core/Core.cf | 4 + src/Transfer/Core/Doc.tex | 5 + src/Transfer/Core/Lex.hs | 23 +- src/Transfer/Core/Lex.x | 3 + src/Transfer/Core/Par.hs | 693 ++++++++++++++++++---------------- src/Transfer/Core/Par.y | 3 + src/Transfer/Core/Print.hs | 2 + src/Transfer/Core/Skel.hs | 7 + src/Transfer/Interpreter.hs | 2 + src/Transfer/Syntax/Abs.hs | 19 +- src/Transfer/Syntax/Doc.tex | 2 + src/Transfer/Syntax/Layout.hs | 2 +- src/Transfer/Syntax/Lex.hs | 2 +- src/Transfer/Syntax/Lex.x | 2 +- src/Transfer/Syntax/Par.hs | 90 +++-- src/Transfer/Syntax/Par.y | 2 + src/Transfer/Syntax/Print.hs | 1 + src/Transfer/Syntax/Skel.hs | 2 + src/Transfer/Syntax/Syntax.cf | 1 + src/Transfer/SyntaxToCore.hs | 35 +- 21 files changed, 517 insertions(+), 407 deletions(-) diff --git a/src/Transfer/Core/Abs.hs b/src/Transfer/Core/Abs.hs index 242cd5a78..070ee87dc 100644 --- a/src/Transfer/Core/Abs.hs +++ b/src/Transfer/Core/Abs.hs @@ -28,6 +28,8 @@ data FieldType_ type FieldType = Tree FieldType_ data FieldValue_ type FieldValue = Tree FieldValue_ +data TMeta_ +type TMeta = Tree TMeta_ data CIdent_ type CIdent = Tree CIdent_ @@ -59,10 +61,12 @@ data Tree :: * -> * where EType :: Tree Exp_ EStr :: String -> Tree Exp_ EInt :: Integer -> Tree Exp_ + EMeta :: TMeta -> Tree Exp_ LetDef :: CIdent -> Exp -> Exp -> Tree LetDef_ Case :: Pattern -> Exp -> Tree Case_ FieldType :: CIdent -> Exp -> Tree FieldType_ FieldValue :: CIdent -> Exp -> Tree FieldValue_ + TMeta :: String -> Tree TMeta_ CIdent :: String -> Tree CIdent_ composOp :: (forall a. Tree a -> Tree a) -> Tree c -> Tree c @@ -98,6 +102,7 @@ composOpM f t = case t of ERecType fieldtypes -> return ERecType `ap` mapM f fieldtypes ERec fieldvalues -> return ERec `ap` mapM f fieldvalues EVar cident -> return EVar `ap` f cident + EMeta tmeta -> return EMeta `ap` f tmeta LetDef cident exp0 exp1 -> return LetDef `ap` f cident `ap` f exp0 `ap` f exp1 Case pattern exp -> return Case `ap` f pattern `ap` f exp FieldType cident exp -> return FieldType `ap` f cident `ap` f exp @@ -125,6 +130,7 @@ composOpFold zero combine f t = case t of ERecType fieldtypes -> foldr combine zero (map f fieldtypes) ERec fieldvalues -> foldr combine zero (map f fieldvalues) EVar cident -> f cident + EMeta tmeta -> f tmeta LetDef cident exp0 exp1 -> f cident `combine` f exp0 `combine` f exp1 Case pattern exp -> f pattern `combine` f exp FieldType cident exp -> f cident `combine` f exp @@ -160,10 +166,12 @@ instance Show (Tree c) where EType -> showString "EType" EStr str -> opar n . showString "EStr" . showChar ' ' . showsPrec 1 str . cpar n EInt n -> opar n . showString "EInt" . showChar ' ' . showsPrec 1 n . cpar n + EMeta tmeta -> opar n . showString "EMeta" . showChar ' ' . showsPrec 1 tmeta . cpar n LetDef cident exp0 exp1 -> opar n . showString "LetDef" . showChar ' ' . showsPrec 1 cident . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n Case pattern exp -> opar n . showString "Case" . showChar ' ' . showsPrec 1 pattern . showChar ' ' . showsPrec 1 exp . cpar n FieldType cident exp -> opar n . showString "FieldType" . showChar ' ' . showsPrec 1 cident . showChar ' ' . showsPrec 1 exp . cpar n FieldValue cident exp -> opar n . showString "FieldValue" . showChar ' ' . showsPrec 1 cident . showChar ' ' . showsPrec 1 exp . cpar n + TMeta str -> opar n . showString "TMeta" . showChar ' ' . showsPrec 1 str . cpar n CIdent str -> opar n . showString "CIdent" . showChar ' ' . showsPrec 1 str . cpar n where opar n = if n > 0 then showChar '(' else id cpar n = if n > 0 then showChar ')' else id @@ -198,10 +206,12 @@ johnMajorEq (EVar cident) (EVar cident_) = cident == cident_ johnMajorEq EType EType = True johnMajorEq (EStr str) (EStr str_) = str == str_ johnMajorEq (EInt n) (EInt n_) = n == n_ +johnMajorEq (EMeta tmeta) (EMeta tmeta_) = tmeta == tmeta_ johnMajorEq (LetDef cident exp0 exp1) (LetDef cident_ exp0_ exp1_) = cident == cident_ && exp0 == exp0_ && exp1 == exp1_ johnMajorEq (Case pattern exp) (Case pattern_ exp_) = pattern == pattern_ && exp == exp_ johnMajorEq (FieldType cident exp) (FieldType cident_ exp_) = cident == cident_ && exp == exp_ johnMajorEq (FieldValue cident exp) (FieldValue cident_ exp_) = cident == cident_ && exp == exp_ +johnMajorEq (TMeta str) (TMeta str_) = str == str_ johnMajorEq (CIdent str) (CIdent str_) = str == str_ johnMajorEq _ _ = False @@ -235,11 +245,13 @@ instance Ord (Tree c) where index (EType ) = 24 index (EStr _) = 25 index (EInt _) = 26 - index (LetDef _ _ _) = 27 - index (Case _ _) = 28 - index (FieldType _ _) = 29 - index (FieldValue _ _) = 30 - index (CIdent _) = 31 + index (EMeta _) = 27 + index (LetDef _ _ _) = 28 + index (Case _ _) = 29 + index (FieldType _ _) = 30 + index (FieldValue _ _) = 31 + index (TMeta _) = 32 + index (CIdent _) = 33 compareSame (Module decls) (Module decls_) = compare decls decls_ compareSame (DataDecl cident exp consdecls) (DataDecl cident_ exp_ consdecls_) = mappend (compare cident cident_) (mappend (compare exp exp_) (compare consdecls consdecls_)) compareSame (TypeDecl cident exp) (TypeDecl cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) @@ -267,9 +279,11 @@ instance Ord (Tree c) where compareSame EType EType = EQ compareSame (EStr str) (EStr str_) = compare str str_ compareSame (EInt n) (EInt n_) = compare n n_ + compareSame (EMeta tmeta) (EMeta tmeta_) = compare tmeta tmeta_ compareSame (LetDef cident exp0 exp1) (LetDef cident_ exp0_ exp1_) = mappend (compare cident cident_) (mappend (compare exp0 exp0_) (compare exp1 exp1_)) compareSame (Case pattern exp) (Case pattern_ exp_) = mappend (compare pattern pattern_) (compare exp exp_) compareSame (FieldType cident exp) (FieldType cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) compareSame (FieldValue cident exp) (FieldValue cident_ exp_) = mappend (compare cident cident_) (compare exp exp_) + compareSame (TMeta str) (TMeta str_) = compare str str_ compareSame (CIdent str) (CIdent str_) = compare str str_ compareSame x y = error "BNFC error:" compareSame diff --git a/src/Transfer/Core/Core.cf b/src/Transfer/Core/Core.cf index 790b2815a..c2d9d3175 100644 --- a/src/Transfer/Core/Core.cf +++ b/src/Transfer/Core/Core.cf @@ -72,6 +72,10 @@ EType. Exp5 ::= "Type" ; EStr. Exp5 ::= String ; -- Integer literal expressions. EInt. Exp5 ::= Integer ; +-- Meta variables +EMeta. Exp5 ::= TMeta ; + +token TMeta ('?' digit+) ; coercions Exp 5 ; diff --git a/src/Transfer/Core/Doc.tex b/src/Transfer/Core/Doc.tex index 431aa1e54..c3f95fedc 100644 --- a/src/Transfer/Core/Doc.tex +++ b/src/Transfer/Core/Doc.tex @@ -34,6 +34,10 @@ Integer literals \nonterminal{Int}\ are nonempty sequences of digits. + +TMeta literals are recognized by the regular expression +\(\mbox{`?'} {\nonterminal{digit}}+\) + CIdent literals are recognized by the regular expression \(({\nonterminal{letter}} \mid \mbox{`\_'}) ({\nonterminal{letter}} \mid {\nonterminal{digit}} \mid \mbox{`\_'} \mid \mbox{`''})*\) @@ -162,6 +166,7 @@ All other symbols are terminals.\\ & {\delimit} &{\terminal{Type}} \\ & {\delimit} &{\nonterminal{String}} \\ & {\delimit} &{\nonterminal{Integer}} \\ + & {\delimit} &{\nonterminal{TMeta}} \\ & {\delimit} &{\terminal{(}} {\nonterminal{Exp}} {\terminal{)}} \\ \end{tabular}\\ diff --git a/src/Transfer/Core/Lex.hs b/src/Transfer/Core/Lex.hs index 6ca05c276..f69fab590 100644 --- a/src/Transfer/Core/Lex.hs +++ b/src/Transfer/Core/Lex.hs @@ -24,19 +24,19 @@ import GHC.Exts import GlaExts #endif alex_base :: AlexAddr -alex_base = AlexA# "\x01\x00\x00\x00\x15\x00\x00\x00\x39\x00\x00\x00\x3a\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x00\x00\x00\x00\x44\x00\x00\x00\x45\x00\x00\x00\x1b\x00\x00\x00\x1c\x00\x00\x00\x1d\x00\x00\x00\x42\x00\x00\x00\x00\x00\x00\x00\x9c\x00\x00\x00\x6c\x01\x00\x00\x3c\x02\x00\x00\x00\x00\x00\x00\x17\x01\x00\x00\xd5\x00\x00\x00\x33\x00\x00\x00"# +alex_base = AlexA# "\x01\x00\x00\x00\x15\x00\x00\x00\x39\x00\x00\x00\x3a\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x00\x00\x00\x00\x44\x00\x00\x00\x45\x00\x00\x00\x1b\x00\x00\x00\x1c\x00\x00\x00\x1d\x00\x00\x00\x42\x00\x00\x00\x00\x00\x00\x00\x9c\x00\x00\x00\x33\x00\x00\x00\xe7\x00\x00\x00\x6c\x01\x00\x00\x3c\x02\x00\x00\x00\x00\x00\x00\x17\x01\x00\x00\xd5\x00\x00\x00\xf2\x00\x00\x00"# alex_table :: AlexAddr -alex_table = AlexA# "\x00\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\xff\xff\x13\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0e\x00\x0e\x00\xff\xff\xff\xff\xff\xff\x05\x00\x0e\x00\xff\xff\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x0e\x00\x0e\x00\xff\xff\x0e\x00\xff\xff\xff\xff\xff\xff\x04\x00\xff\xff\xff\xff\x03\x00\x03\x00\x09\x00\x09\x00\x09\x00\x0b\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0e\x00\x00\x00\x00\x00\x00\x00\x00\x00\xff\xff\x0e\x00\xff\xff\xff\xff\x0f\x00\xff\xff\x0d\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0c\x00\xff\xff\x0e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x06\x00\x07\x00\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x00\x00\x00\x00\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x13\x00\xff\xff\x00\x00\x00\x00\x10\x00\x13\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xff\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\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x14\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x00\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x11\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x00\x00\x00\x00\x00\x00\x00\x00\x11\x00\x00\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x00\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x00\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00\x11\x00"# +alex_table = AlexA# "\x00\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\xff\xff\x15\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0e\x00\x0e\x00\xff\xff\xff\xff\xff\xff\x05\x00\x0e\x00\xff\xff\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x0e\x00\x0e\x00\xff\xff\x0e\x00\xff\xff\x11\x00\xff\xff\x04\x00\xff\xff\xff\xff\x03\x00\x03\x00\x09\x00\x09\x00\x09\x00\x0b\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0e\x00\x00\x00\x00\x00\x00\x00\x00\x00\xff\xff\x0e\x00\xff\xff\xff\xff\x0f\x00\xff\xff\x0d\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0c\x00\xff\xff\x0e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x06\x00\x07\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x00\x00\x00\x00\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x15\x00\xff\xff\x00\x00\x00\x00\x12\x00\x15\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\x10\x00\xff\xff\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x16\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x12\x00\x00\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x00\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x13\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x12\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\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\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x00\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x00\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00\x13\x00"# alex_check :: AlexAddr -alex_check = AlexA# "\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x05\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x29\x00\x2a\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x3e\x00\x3f\x00\x40\x00\x2d\x00\x0a\x00\x0a\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x5b\x00\x5c\x00\x5d\x00\x5e\x00\x5f\x00\x60\x00\x20\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\x2d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x7b\x00\x7c\x00\x7d\x00\x7e\x00\x7f\x00\x80\x00\x81\x00\x82\x00\x83\x00\x84\x00\x85\x00\x86\x00\x87\x00\x88\x00\x89\x00\x8a\x00\x8b\x00\x8c\x00\x8d\x00\x8e\x00\x8f\x00\x90\x00\x91\x00\x92\x00\x93\x00\x94\x00\x95\x00\x96\x00\x97\x00\x98\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x9d\x00\x9e\x00\x9f\x00\xa0\x00\xa1\x00\xa2\x00\xa3\x00\xa4\x00\xa5\x00\xa6\x00\xa7\x00\xa8\x00\xa9\x00\xaa\x00\xab\x00\xac\x00\xad\x00\xae\x00\xaf\x00\xb0\x00\xb1\x00\xb2\x00\xb3\x00\xb4\x00\xb5\x00\xb6\x00\xb7\x00\xb8\x00\xb9\x00\xba\x00\xbb\x00\xbc\x00\xbd\x00\xbe\x00\xbf\x00\x7d\x00\x7d\x00\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xd7\x00\xff\xff\xff\xff\xff\xff\xff\xff\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x53\x00\x54\x00\x55\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\x22\x00\xf7\x00\xff\xff\xff\xff\x5f\x00\x27\x00\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x7a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x5c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x22\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x6e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x74\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xc4\x00\xc5\x00\xc6\x00\xc7\x00\xc8\x00\xc9\x00\xca\x00\xcb\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xd2\x00\xd3\x00\xd4\x00\xd5\x00\xd6\x00\x5c\x00\xd8\x00\xd9\x00\xda\x00\xdb\x00\xdc\x00\xdd\x00\xde\x00\xdf\x00\xe0\x00\xe1\x00\xe2\x00\xe3\x00\xe4\x00\xe5\x00\xe6\x00\xe7\x00\xe8\x00\xe9\x00\xea\x00\xeb\x00\xec\x00\xed\x00\xee\x00\xef\x00\xf0\x00\xf1\x00\xf2\x00\xf3\x00\xf4\x00\xf5\x00\xf6\x00\x27\x00\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xfe\x00\xff\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x53\x00\x54\x00\x55\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\xff\xff\xff\xff\xff\xff\xff\xff\x5f\x00\xff\xff\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x7a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xc4\x00\xc5\x00\xc6\x00\xc7\x00\xc8\x00\xc9\x00\xca\x00\xcb\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xd2\x00\xd3\x00\xd4\x00\xd5\x00\xd6\x00\xff\xff\xd8\x00\xd9\x00\xda\x00\xdb\x00\xdc\x00\xdd\x00\xde\x00\xdf\x00\xe0\x00\xe1\x00\xe2\x00\xe3\x00\xe4\x00\xe5\x00\xe6\x00\xe7\x00\xe8\x00\xe9\x00\xea\x00\xeb\x00\xec\x00\xed\x00\xee\x00\xef\x00\xf0\x00\xf1\x00\xf2\x00\xf3\x00\xf4\x00\xf5\x00\xf6\x00\x27\x00\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xfe\x00\xff\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x53\x00\x54\x00\x55\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\xff\xff\xff\xff\xff\xff\xff\xff\x5f\x00\xff\xff\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x7a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xc4\x00\xc5\x00\xc6\x00\xc7\x00\xc8\x00\xc9\x00\xca\x00\xcb\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xd2\x00\xd3\x00\xd4\x00\xd5\x00\xd6\x00\xff\xff\xd8\x00\xd9\x00\xda\x00\xdb\x00\xdc\x00\xdd\x00\xde\x00\xdf\x00\xe0\x00\xe1\x00\xe2\x00\xe3\x00\xe4\x00\xe5\x00\xe6\x00\xe7\x00\xe8\x00\xe9\x00\xea\x00\xeb\x00\xec\x00\xed\x00\xee\x00\xef\x00\xf0\x00\xf1\x00\xf2\x00\xf3\x00\xf4\x00\xf5\x00\xf6\x00\xff\xff\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xfe\x00\xff\x00"# +alex_check = AlexA# "\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x05\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x29\x00\x2a\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x3e\x00\x3f\x00\x40\x00\x2d\x00\x0a\x00\x0a\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x5b\x00\x5c\x00\x5d\x00\x5e\x00\x5f\x00\x60\x00\x20\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\x2d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x7b\x00\x7c\x00\x7d\x00\x7e\x00\x7f\x00\x80\x00\x81\x00\x82\x00\x83\x00\x84\x00\x85\x00\x86\x00\x87\x00\x88\x00\x89\x00\x8a\x00\x8b\x00\x8c\x00\x8d\x00\x8e\x00\x8f\x00\x90\x00\x91\x00\x92\x00\x93\x00\x94\x00\x95\x00\x96\x00\x97\x00\x98\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x9d\x00\x9e\x00\x9f\x00\xa0\x00\xa1\x00\xa2\x00\xa3\x00\xa4\x00\xa5\x00\xa6\x00\xa7\x00\xa8\x00\xa9\x00\xaa\x00\xab\x00\xac\x00\xad\x00\xae\x00\xaf\x00\xb0\x00\xb1\x00\xb2\x00\xb3\x00\xb4\x00\xb5\x00\xb6\x00\xb7\x00\xb8\x00\xb9\x00\xba\x00\xbb\x00\xbc\x00\xbd\x00\xbe\x00\xbf\x00\x7d\x00\x7d\x00\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xd7\x00\xff\xff\xff\xff\xff\xff\xff\xff\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x53\x00\x54\x00\x55\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\x22\x00\xf7\x00\xff\xff\xff\xff\x5f\x00\x27\x00\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x7a\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x0a\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x5c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x22\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x6e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x74\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xc4\x00\xc5\x00\xc6\x00\xc7\x00\xc8\x00\xc9\x00\xca\x00\xcb\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xd2\x00\xd3\x00\xd4\x00\xd5\x00\xd6\x00\x5c\x00\xd8\x00\xd9\x00\xda\x00\xdb\x00\xdc\x00\xdd\x00\xde\x00\xdf\x00\xe0\x00\xe1\x00\xe2\x00\xe3\x00\xe4\x00\xe5\x00\xe6\x00\xe7\x00\xe8\x00\xe9\x00\xea\x00\xeb\x00\xec\x00\xed\x00\xee\x00\xef\x00\xf0\x00\xf1\x00\xf2\x00\xf3\x00\xf4\x00\xf5\x00\xf6\x00\x27\x00\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xfe\x00\xff\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x53\x00\x54\x00\x55\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\xff\xff\xff\xff\xff\xff\xff\xff\x5f\x00\xff\xff\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x7a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xc4\x00\xc5\x00\xc6\x00\xc7\x00\xc8\x00\xc9\x00\xca\x00\xcb\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xd2\x00\xd3\x00\xd4\x00\xd5\x00\xd6\x00\xff\xff\xd8\x00\xd9\x00\xda\x00\xdb\x00\xdc\x00\xdd\x00\xde\x00\xdf\x00\xe0\x00\xe1\x00\xe2\x00\xe3\x00\xe4\x00\xe5\x00\xe6\x00\xe7\x00\xe8\x00\xe9\x00\xea\x00\xeb\x00\xec\x00\xed\x00\xee\x00\xef\x00\xf0\x00\xf1\x00\xf2\x00\xf3\x00\xf4\x00\xf5\x00\xf6\x00\x27\x00\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xfe\x00\xff\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x53\x00\x54\x00\x55\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\xff\xff\xff\xff\xff\xff\xff\xff\x5f\x00\xff\xff\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x7a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xc4\x00\xc5\x00\xc6\x00\xc7\x00\xc8\x00\xc9\x00\xca\x00\xcb\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xd2\x00\xd3\x00\xd4\x00\xd5\x00\xd6\x00\xff\xff\xd8\x00\xd9\x00\xda\x00\xdb\x00\xdc\x00\xdd\x00\xde\x00\xdf\x00\xe0\x00\xe1\x00\xe2\x00\xe3\x00\xe4\x00\xe5\x00\xe6\x00\xe7\x00\xe8\x00\xe9\x00\xea\x00\xeb\x00\xec\x00\xed\x00\xee\x00\xef\x00\xf0\x00\xf1\x00\xf2\x00\xf3\x00\xf4\x00\xf5\x00\xf6\x00\xff\xff\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xfe\x00\xff\x00"# alex_deflt :: AlexAddr -alex_deflt = AlexA# "\x11\x00\xff\xff\x02\x00\x02\x00\xff\xff\xff\xff\x0a\x00\xff\xff\x0a\x00\x0a\x00\x0a\x00\x0a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x13\x00\xff\xff\xff\xff"# +alex_deflt = AlexA# "\x13\x00\xff\xff\x02\x00\x02\x00\xff\xff\xff\xff\x0a\x00\xff\xff\x0a\x00\x0a\x00\x0a\x00\x0a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x15\x00\xff\xff\xff\xff"# -alex_accept = listArray (0::Int,21) [[],[],[(AlexAccSkip)],[(AlexAccSkip)],[],[],[(AlexAccSkip)],[(AlexAccSkip)],[],[],[],[],[(AlexAcc (alex_action_3))],[(AlexAccSkip)],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_4))],[(AlexAcc (alex_action_4))],[(AlexAcc (alex_action_6))],[],[],[(AlexAcc (alex_action_7))]] -{-# LINE 35 "Transfer/Core/Lex.x" #-} +alex_accept = listArray (0::Int,23) [[],[],[(AlexAccSkip)],[(AlexAccSkip)],[],[],[(AlexAccSkip)],[(AlexAccSkip)],[],[],[],[],[(AlexAcc (alex_action_3))],[(AlexAccSkip)],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_3))],[(AlexAcc (alex_action_4))],[],[(AlexAcc (alex_action_5))],[(AlexAcc (alex_action_5))],[(AlexAcc (alex_action_7))],[],[],[(AlexAcc (alex_action_8))]] +{-# LINE 36 "Transfer/Core/Lex.x" #-} tok f p s = f p s @@ -50,6 +50,7 @@ data Tok = | TV !String -- identifiers | TD !String -- double precision float literals | TC !String -- character literals + | T_TMeta !String | T_CIdent !String deriving (Eq,Show,Ord) @@ -72,6 +73,7 @@ prToken t = case t of PT _ (TV s) -> s PT _ (TD s) -> s PT _ (TC s) -> s + PT _ (T_TMeta s) -> s PT _ (T_CIdent s) -> s _ -> show t @@ -140,10 +142,11 @@ alexInputPrevChar :: AlexInput -> Char alexInputPrevChar (p, c, s) = c alex_action_3 = tok (\p s -> PT p (TS $ share s)) -alex_action_4 = tok (\p s -> PT p (eitherResIdent (T_CIdent . share) s)) -alex_action_5 = tok (\p s -> PT p (eitherResIdent (TV . share) s)) -alex_action_6 = tok (\p s -> PT p (TL $ share $ unescapeInitTail s)) -alex_action_7 = tok (\p s -> PT p (TI $ share s)) +alex_action_4 = tok (\p s -> PT p (eitherResIdent (T_TMeta . share) s)) +alex_action_5 = tok (\p s -> PT p (eitherResIdent (T_CIdent . share) s)) +alex_action_6 = tok (\p s -> PT p (eitherResIdent (TV . share) s)) +alex_action_7 = tok (\p s -> PT p (TL $ share $ unescapeInitTail s)) +alex_action_8 = tok (\p s -> PT p (TI $ share s)) {-# LINE 1 "GenericTemplate.hs" #-} {-# LINE 1 "" #-} {-# LINE 1 "" #-} diff --git a/src/Transfer/Core/Lex.x b/src/Transfer/Core/Lex.x index 6946d5fe8..10a286d66 100644 --- a/src/Transfer/Core/Lex.x +++ b/src/Transfer/Core/Lex.x @@ -24,6 +24,7 @@ $u = [\0-\255] -- universal: any character $white+ ; @rsyms { tok (\p s -> PT p (TS $ share s)) } +\? $d + { tok (\p s -> PT p (eitherResIdent (T_TMeta . share) s)) } ($l | \_)($l | $d | \_ | \')* { tok (\p s -> PT p (eitherResIdent (T_CIdent . share) s)) } $l $i* { tok (\p s -> PT p (eitherResIdent (TV . share) s)) } @@ -46,6 +47,7 @@ data Tok = | TV !String -- identifiers | TD !String -- double precision float literals | TC !String -- character literals + | T_TMeta !String | T_CIdent !String deriving (Eq,Show,Ord) @@ -68,6 +70,7 @@ prToken t = case t of PT _ (TV s) -> s PT _ (TD s) -> s PT _ (TC s) -> s + PT _ (T_TMeta s) -> s PT _ (T_CIdent s) -> s _ -> show t diff --git a/src/Transfer/Core/Par.hs b/src/Transfer/Core/Par.hs index 661f20460..59321b367 100644 --- a/src/Transfer/Core/Par.hs +++ b/src/Transfer/Core/Par.hs @@ -25,94 +25,94 @@ happyIn6 x = unsafeCoerce# x happyOut6 :: (HappyAbsSyn ) -> (Integer) happyOut6 x = unsafeCoerce# x {-# INLINE happyOut6 #-} -happyIn7 :: (CIdent) -> (HappyAbsSyn ) +happyIn7 :: (TMeta) -> (HappyAbsSyn ) happyIn7 x = unsafeCoerce# x {-# INLINE happyIn7 #-} -happyOut7 :: (HappyAbsSyn ) -> (CIdent) +happyOut7 :: (HappyAbsSyn ) -> (TMeta) happyOut7 x = unsafeCoerce# x {-# INLINE happyOut7 #-} -happyIn8 :: (Module) -> (HappyAbsSyn ) +happyIn8 :: (CIdent) -> (HappyAbsSyn ) happyIn8 x = unsafeCoerce# x {-# INLINE happyIn8 #-} -happyOut8 :: (HappyAbsSyn ) -> (Module) +happyOut8 :: (HappyAbsSyn ) -> (CIdent) happyOut8 x = unsafeCoerce# x {-# INLINE happyOut8 #-} -happyIn9 :: ([Decl]) -> (HappyAbsSyn ) +happyIn9 :: (Module) -> (HappyAbsSyn ) happyIn9 x = unsafeCoerce# x {-# INLINE happyIn9 #-} -happyOut9 :: (HappyAbsSyn ) -> ([Decl]) +happyOut9 :: (HappyAbsSyn ) -> (Module) happyOut9 x = unsafeCoerce# x {-# INLINE happyOut9 #-} -happyIn10 :: (Decl) -> (HappyAbsSyn ) +happyIn10 :: ([Decl]) -> (HappyAbsSyn ) happyIn10 x = unsafeCoerce# x {-# INLINE happyIn10 #-} -happyOut10 :: (HappyAbsSyn ) -> (Decl) +happyOut10 :: (HappyAbsSyn ) -> ([Decl]) happyOut10 x = unsafeCoerce# x {-# INLINE happyOut10 #-} -happyIn11 :: (ConsDecl) -> (HappyAbsSyn ) +happyIn11 :: (Decl) -> (HappyAbsSyn ) happyIn11 x = unsafeCoerce# x {-# INLINE happyIn11 #-} -happyOut11 :: (HappyAbsSyn ) -> (ConsDecl) +happyOut11 :: (HappyAbsSyn ) -> (Decl) happyOut11 x = unsafeCoerce# x {-# INLINE happyOut11 #-} -happyIn12 :: ([ConsDecl]) -> (HappyAbsSyn ) +happyIn12 :: (ConsDecl) -> (HappyAbsSyn ) happyIn12 x = unsafeCoerce# x {-# INLINE happyIn12 #-} -happyOut12 :: (HappyAbsSyn ) -> ([ConsDecl]) +happyOut12 :: (HappyAbsSyn ) -> (ConsDecl) happyOut12 x = unsafeCoerce# x {-# INLINE happyOut12 #-} -happyIn13 :: ([Pattern]) -> (HappyAbsSyn ) +happyIn13 :: ([ConsDecl]) -> (HappyAbsSyn ) happyIn13 x = unsafeCoerce# x {-# INLINE happyIn13 #-} -happyOut13 :: (HappyAbsSyn ) -> ([Pattern]) +happyOut13 :: (HappyAbsSyn ) -> ([ConsDecl]) happyOut13 x = unsafeCoerce# x {-# INLINE happyOut13 #-} -happyIn14 :: (Pattern) -> (HappyAbsSyn ) +happyIn14 :: ([Pattern]) -> (HappyAbsSyn ) happyIn14 x = unsafeCoerce# x {-# INLINE happyIn14 #-} -happyOut14 :: (HappyAbsSyn ) -> (Pattern) +happyOut14 :: (HappyAbsSyn ) -> ([Pattern]) happyOut14 x = unsafeCoerce# x {-# INLINE happyOut14 #-} -happyIn15 :: (FieldPattern) -> (HappyAbsSyn ) +happyIn15 :: (Pattern) -> (HappyAbsSyn ) happyIn15 x = unsafeCoerce# x {-# INLINE happyIn15 #-} -happyOut15 :: (HappyAbsSyn ) -> (FieldPattern) +happyOut15 :: (HappyAbsSyn ) -> (Pattern) happyOut15 x = unsafeCoerce# x {-# INLINE happyOut15 #-} -happyIn16 :: ([FieldPattern]) -> (HappyAbsSyn ) +happyIn16 :: (FieldPattern) -> (HappyAbsSyn ) happyIn16 x = unsafeCoerce# x {-# INLINE happyIn16 #-} -happyOut16 :: (HappyAbsSyn ) -> ([FieldPattern]) +happyOut16 :: (HappyAbsSyn ) -> (FieldPattern) happyOut16 x = unsafeCoerce# x {-# INLINE happyOut16 #-} -happyIn17 :: (PatternVariable) -> (HappyAbsSyn ) +happyIn17 :: ([FieldPattern]) -> (HappyAbsSyn ) happyIn17 x = unsafeCoerce# x {-# INLINE happyIn17 #-} -happyOut17 :: (HappyAbsSyn ) -> (PatternVariable) +happyOut17 :: (HappyAbsSyn ) -> ([FieldPattern]) happyOut17 x = unsafeCoerce# x {-# INLINE happyOut17 #-} -happyIn18 :: (Exp) -> (HappyAbsSyn ) +happyIn18 :: (PatternVariable) -> (HappyAbsSyn ) happyIn18 x = unsafeCoerce# x {-# INLINE happyIn18 #-} -happyOut18 :: (HappyAbsSyn ) -> (Exp) +happyOut18 :: (HappyAbsSyn ) -> (PatternVariable) happyOut18 x = unsafeCoerce# x {-# INLINE happyOut18 #-} -happyIn19 :: (LetDef) -> (HappyAbsSyn ) +happyIn19 :: (Exp) -> (HappyAbsSyn ) happyIn19 x = unsafeCoerce# x {-# INLINE happyIn19 #-} -happyOut19 :: (HappyAbsSyn ) -> (LetDef) +happyOut19 :: (HappyAbsSyn ) -> (Exp) happyOut19 x = unsafeCoerce# x {-# INLINE happyOut19 #-} -happyIn20 :: ([LetDef]) -> (HappyAbsSyn ) +happyIn20 :: (LetDef) -> (HappyAbsSyn ) happyIn20 x = unsafeCoerce# x {-# INLINE happyIn20 #-} -happyOut20 :: (HappyAbsSyn ) -> ([LetDef]) +happyOut20 :: (HappyAbsSyn ) -> (LetDef) happyOut20 x = unsafeCoerce# x {-# INLINE happyOut20 #-} -happyIn21 :: (Exp) -> (HappyAbsSyn ) +happyIn21 :: ([LetDef]) -> (HappyAbsSyn ) happyIn21 x = unsafeCoerce# x {-# INLINE happyIn21 #-} -happyOut21 :: (HappyAbsSyn ) -> (Exp) +happyOut21 :: (HappyAbsSyn ) -> ([LetDef]) happyOut21 x = unsafeCoerce# x {-# INLINE happyOut21 #-} happyIn22 :: (Exp) -> (HappyAbsSyn ) @@ -139,42 +139,48 @@ happyIn25 x = unsafeCoerce# x happyOut25 :: (HappyAbsSyn ) -> (Exp) happyOut25 x = unsafeCoerce# x {-# INLINE happyOut25 #-} -happyIn26 :: (Case) -> (HappyAbsSyn ) +happyIn26 :: (Exp) -> (HappyAbsSyn ) happyIn26 x = unsafeCoerce# x {-# INLINE happyIn26 #-} -happyOut26 :: (HappyAbsSyn ) -> (Case) +happyOut26 :: (HappyAbsSyn ) -> (Exp) happyOut26 x = unsafeCoerce# x {-# INLINE happyOut26 #-} -happyIn27 :: ([Case]) -> (HappyAbsSyn ) +happyIn27 :: (Case) -> (HappyAbsSyn ) happyIn27 x = unsafeCoerce# x {-# INLINE happyIn27 #-} -happyOut27 :: (HappyAbsSyn ) -> ([Case]) +happyOut27 :: (HappyAbsSyn ) -> (Case) happyOut27 x = unsafeCoerce# x {-# INLINE happyOut27 #-} -happyIn28 :: (FieldType) -> (HappyAbsSyn ) +happyIn28 :: ([Case]) -> (HappyAbsSyn ) happyIn28 x = unsafeCoerce# x {-# INLINE happyIn28 #-} -happyOut28 :: (HappyAbsSyn ) -> (FieldType) +happyOut28 :: (HappyAbsSyn ) -> ([Case]) happyOut28 x = unsafeCoerce# x {-# INLINE happyOut28 #-} -happyIn29 :: ([FieldType]) -> (HappyAbsSyn ) +happyIn29 :: (FieldType) -> (HappyAbsSyn ) happyIn29 x = unsafeCoerce# x {-# INLINE happyIn29 #-} -happyOut29 :: (HappyAbsSyn ) -> ([FieldType]) +happyOut29 :: (HappyAbsSyn ) -> (FieldType) happyOut29 x = unsafeCoerce# x {-# INLINE happyOut29 #-} -happyIn30 :: (FieldValue) -> (HappyAbsSyn ) +happyIn30 :: ([FieldType]) -> (HappyAbsSyn ) happyIn30 x = unsafeCoerce# x {-# INLINE happyIn30 #-} -happyOut30 :: (HappyAbsSyn ) -> (FieldValue) +happyOut30 :: (HappyAbsSyn ) -> ([FieldType]) happyOut30 x = unsafeCoerce# x {-# INLINE happyOut30 #-} -happyIn31 :: ([FieldValue]) -> (HappyAbsSyn ) +happyIn31 :: (FieldValue) -> (HappyAbsSyn ) happyIn31 x = unsafeCoerce# x {-# INLINE happyIn31 #-} -happyOut31 :: (HappyAbsSyn ) -> ([FieldValue]) +happyOut31 :: (HappyAbsSyn ) -> (FieldValue) happyOut31 x = unsafeCoerce# x {-# INLINE happyOut31 #-} +happyIn32 :: ([FieldValue]) -> (HappyAbsSyn ) +happyIn32 x = unsafeCoerce# x +{-# INLINE happyIn32 #-} +happyOut32 :: (HappyAbsSyn ) -> ([FieldValue]) +happyOut32 x = unsafeCoerce# x +{-# INLINE happyOut32 #-} happyInTok :: Token -> (HappyAbsSyn ) happyInTok x = unsafeCoerce# x {-# INLINE happyInTok #-} @@ -183,21 +189,21 @@ happyOutTok x = unsafeCoerce# x {-# INLINE happyOutTok #-} happyActOffsets :: HappyAddr -happyActOffsets = HappyA# "\xf8\xff\x38\x01\xe9\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe3\x00\x00\x00\x6a\x01\xea\x00\x00\x00\x00\x00\x11\x00\x25\x01\xfa\xff\x00\x00\x38\x01\xf0\x00\x00\x00\x00\x00\x42\x00\xe2\x00\x00\x00\xf1\x00\xdf\x00\xe5\x00\xf8\xff\x38\x01\x38\x01\xdc\x00\xcf\x00\x00\x00\xde\x00\x00\x00\x56\x01\xdd\x00\xd6\x00\x2d\x00\xd7\x00\xd8\x00\xd4\x00\xd2\x00\x00\x00\xc2\x00\xc9\x00\x38\x01\x00\x00\x00\x00\xb6\x00\x00\x00\xb6\x00\x38\x01\x38\x01\x00\x00\x38\x01\x38\x01\xc0\x00\xc8\x00\xc1\x00\xaa\x00\x00\x00\x00\x00\x00\x00\x38\x01\x9b\x00\xa9\x00\x91\x00\x38\x01\x60\x01\x00\x00\x9e\x00\x00\x00\x00\x00\x8f\x00\x00\x00\x8b\x00\x00\x00\x7e\x00\x00\x00\x00\x00\x77\x00\x00\x00\x73\x00\x81\x00\x6b\x00\x6b\x00\x00\x00\x63\x00\x00\x00\x38\x01\x70\x00\x56\x00\x00\x00\x38\x01\x00\x00\x5f\x00\x62\x00\x53\x00\x00\x00\x60\x01\x38\x01\x38\x01\x00\x00\x00\x00\x00\x00\x00\x00\x3a\x00\x60\x01\x4b\x01\x00\x00\x54\x00\x4d\x00\x36\x00\x00\x00\x19\x00\x38\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# +happyActOffsets = HappyA# "\x3c\x00\x44\x01\xd6\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xce\x00\x00\x00\x86\x01\xd5\x00\x00\x00\x00\x00\xff\xff\x30\x01\xfa\xff\x00\x00\x44\x01\xdc\x00\x00\x00\x00\x00\x00\x00\x6b\x00\xcd\x00\x00\x00\xdd\x00\xc7\x00\xd1\x00\x3c\x00\x44\x01\x44\x01\xb5\x00\xb9\x00\x00\x00\xc8\x00\x00\x00\x58\x01\xc6\x00\xc0\x00\x2f\x00\xc1\x00\xbd\x00\xbe\x00\xbc\x00\x00\x00\x9f\x00\xa9\x00\x44\x01\x00\x00\x00\x00\x97\x00\x00\x00\x97\x00\x44\x01\x44\x01\x00\x00\x44\x01\x44\x01\xa7\x00\xaa\x00\xa8\x00\xa0\x00\x00\x00\x00\x00\x00\x00\x44\x01\x91\x00\x93\x00\x78\x00\x44\x01\x7b\x01\x00\x00\x9a\x00\x00\x00\x00\x00\x95\x00\x00\x00\x86\x00\x00\x00\x8c\x00\x00\x00\x00\x00\x85\x00\x00\x00\x84\x00\x88\x00\x6e\x00\x6e\x00\x00\x00\x81\x00\x00\x00\x44\x01\x80\x00\x63\x00\x00\x00\x44\x01\x00\x00\x73\x00\x70\x00\x6a\x00\x00\x00\x7b\x01\x44\x01\x44\x01\x00\x00\x00\x00\x00\x00\x00\x00\x45\x00\x7b\x01\x6c\x01\x00\x00\x3b\x00\x59\x00\x4f\x00\x00\x00\x21\x00\x44\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# happyGotoOffsets :: HappyAddr -happyGotoOffsets = HappyA# "\x98\x00\x13\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x23\x00\x00\x00\x00\x00\x00\x00\xff\xff\x2b\x00\x02\x00\x00\x00\x0b\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x27\x00\x00\x00\xb5\x00\xf6\x00\xee\x00\x37\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\x00\x00\x00\xd9\x00\x00\x00\x00\x00\x01\x00\x00\x00\x0a\x00\xd1\x00\xbc\x00\x00\x00\xb4\x00\x9f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x97\x00\x00\x00\x00\x00\x03\x00\x82\x00\x1e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x41\x00\x08\x00\x00\x00\x00\x00\x00\x00\x7a\x00\x00\x00\xb9\x00\x00\x00\x65\x00\x0c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x07\x00\x5d\x00\x48\x00\x00\x00\x00\x00\x00\x00\x00\x00\x26\x00\x7d\x00\x60\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9c\x00\x40\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# +happyGotoOffsets = HappyA# "\x62\x00\x1d\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x25\x00\x00\x00\x00\x00\x00\x00\xfe\xff\x2d\x00\x02\x00\x00\x00\x15\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x28\x00\x00\x00\x06\x00\xff\x00\xf7\x00\x39\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x1e\x00\x00\x00\xe1\x00\x00\x00\x00\x00\x01\x00\x00\x00\x0b\x00\xd9\x00\xc3\x00\x00\x00\xbb\x00\xa5\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9d\x00\x00\x00\x00\x00\x03\x00\x87\x00\x1f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x44\x00\x17\x00\x00\x00\x00\x00\x00\x00\x7f\x00\x00\x00\x5f\x01\x00\x00\x69\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x07\x00\x61\x00\x4b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x27\x00\x48\x01\x34\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x59\x01\x43\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# happyDefActions :: HappyAddr -happyDefActions = HappyA# "\xf9\xff\x00\x00\x00\x00\xfd\xff\xce\xff\xcd\xff\xd0\xff\x00\x00\xcb\xff\xd8\xff\xd6\xff\xd4\xff\xdf\xff\x00\x00\x00\x00\x00\x00\xcf\xff\x00\x00\x00\x00\xfc\xff\xfb\xff\x00\x00\x00\x00\xfa\xff\xf8\xff\x00\x00\x00\x00\xf9\xff\x00\x00\x00\x00\xdd\xff\x00\x00\xe3\xff\x00\x00\xe2\xff\xe3\xff\x00\x00\x00\x00\x00\x00\xc5\xff\x00\x00\xc2\xff\x00\x00\xd3\xff\x00\x00\xd7\xff\x00\x00\xd5\xff\xd1\xff\x00\x00\xd2\xff\x00\x00\x00\x00\x00\x00\xcc\xff\x00\x00\x00\x00\x00\x00\x00\x00\xdc\xff\x00\x00\xf4\xff\xf5\xff\xf7\xff\x00\x00\x00\x00\x00\x00\xdd\xff\x00\x00\xc9\xff\xda\xff\x00\x00\xc3\xff\xc6\xff\x00\x00\xc4\xff\x00\x00\xc1\xff\x00\x00\xe9\xff\xe8\xff\x00\x00\xec\xff\xc8\xff\x00\x00\xe6\xff\x00\x00\xea\xff\x00\x00\xdb\xff\x00\x00\x00\x00\xf2\xff\xe1\xff\x00\x00\xef\xff\x00\x00\xe5\xff\x00\x00\xe0\xff\xc9\xff\x00\x00\x00\x00\xd9\xff\xca\xff\xc7\xff\xeb\xff\xe6\xff\x00\x00\x00\x00\xde\xff\x00\x00\xf1\xff\x00\x00\xf6\xff\xf2\xff\x00\x00\xee\xff\xed\xff\xe7\xff\xe4\xff\xf3\xff\xf0\xff"# +happyDefActions = HappyA# "\xf8\xff\x00\x00\x00\x00\xfd\xff\xcd\xff\xcc\xff\xcb\xff\xcf\xff\x00\x00\xc9\xff\xd7\xff\xd5\xff\xd3\xff\xde\xff\x00\x00\x00\x00\x00\x00\xce\xff\x00\x00\x00\x00\xfc\xff\xfb\xff\xfa\xff\x00\x00\x00\x00\xf9\xff\xf7\xff\x00\x00\x00\x00\xf8\xff\x00\x00\x00\x00\xdc\xff\x00\x00\xe2\xff\x00\x00\xe1\xff\xe2\xff\x00\x00\x00\x00\x00\x00\xc3\xff\x00\x00\xc0\xff\x00\x00\xd2\xff\x00\x00\xd6\xff\x00\x00\xd4\xff\xd0\xff\x00\x00\xd1\xff\x00\x00\x00\x00\x00\x00\xca\xff\x00\x00\x00\x00\x00\x00\x00\x00\xdb\xff\x00\x00\xf3\xff\xf4\xff\xf6\xff\x00\x00\x00\x00\x00\x00\xdc\xff\x00\x00\xc7\xff\xd9\xff\x00\x00\xc1\xff\xc4\xff\x00\x00\xc2\xff\x00\x00\xbf\xff\x00\x00\xe8\xff\xe7\xff\x00\x00\xeb\xff\xc6\xff\x00\x00\xe5\xff\x00\x00\xe9\xff\x00\x00\xda\xff\x00\x00\x00\x00\xf1\xff\xe0\xff\x00\x00\xee\xff\x00\x00\xe4\xff\x00\x00\xdf\xff\xc7\xff\x00\x00\x00\x00\xd8\xff\xc8\xff\xc5\xff\xea\xff\xe5\xff\x00\x00\x00\x00\xdd\xff\x00\x00\xf0\xff\x00\x00\xf5\xff\xf1\xff\x00\x00\xed\xff\xec\xff\xe6\xff\xe3\xff\xf2\xff\xef\xff"# happyCheck :: HappyAddr -happyCheck = HappyA# "\xff\xff\x02\x00\x08\x00\x02\x00\x02\x00\x02\x00\x0e\x00\x00\x00\x01\x00\x02\x00\x02\x00\x02\x00\x02\x00\x15\x00\x0c\x00\x15\x00\x09\x00\x0e\x00\x0f\x00\x0c\x00\x08\x00\x04\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x19\x00\x1a\x00\x15\x00\x16\x00\x00\x00\x01\x00\x02\x00\x17\x00\x18\x00\x00\x00\x01\x00\x02\x00\x15\x00\x09\x00\x02\x00\x02\x00\x0c\x00\x00\x00\x01\x00\x02\x00\x15\x00\x02\x00\x0a\x00\x0b\x00\x05\x00\x15\x00\x16\x00\x12\x00\x13\x00\x0c\x00\x0d\x00\x02\x00\x04\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x01\x00\x02\x00\x02\x00\x02\x00\x0e\x00\x0f\x00\x05\x00\x00\x00\x01\x00\x02\x00\x0a\x00\x0b\x00\x0d\x00\x01\x00\x15\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x0d\x00\x02\x00\x04\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x01\x00\x05\x00\x00\x00\x01\x00\x02\x00\x05\x00\x09\x00\x0d\x00\x15\x00\x0c\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x0d\x00\x03\x00\x01\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x15\x00\x0a\x00\x00\x00\x01\x00\x02\x00\x04\x00\x09\x00\x0d\x00\x0a\x00\x0c\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x0d\x00\x05\x00\x02\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x01\x00\x02\x00\x02\x00\x03\x00\x04\x00\x05\x00\x02\x00\x00\x00\x01\x00\x02\x00\x06\x00\x07\x00\x0d\x00\x07\x00\x15\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x0d\x00\x12\x00\x04\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x01\x00\x02\x00\x02\x00\x0f\x00\x04\x00\x05\x00\x02\x00\x00\x00\x01\x00\x02\x00\x06\x00\x07\x00\x0d\x00\x01\x00\x03\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x0d\x00\x02\x00\x15\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x01\x00\x02\x00\x0b\x00\x01\x00\x04\x00\x15\x00\x01\x00\x00\x00\x01\x00\x02\x00\x04\x00\x07\x00\x0d\x00\x02\x00\x11\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x0d\x00\x02\x00\x0a\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x01\x00\x02\x00\x15\x00\x01\x00\x03\x00\x15\x00\x0b\x00\x00\x00\x01\x00\x02\x00\x17\x00\x17\x00\x0d\x00\x13\x00\xff\xff\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x0d\x00\xff\xff\xff\xff\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\x0d\x00\xff\xff\xff\xff\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x0d\x00\xff\xff\xff\xff\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x03\x00\xff\xff\xff\xff\x06\x00\xff\xff\x08\x00\x09\x00\xff\xff\xff\xff\x0c\x00\x0d\x00\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\x13\x00\x14\x00\x15\x00\x03\x00\xff\xff\xff\xff\x06\x00\xff\xff\xff\xff\x09\x00\xff\xff\xff\xff\x0c\x00\x0d\x00\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\x13\x00\x14\x00\x15\x00\x03\x00\xff\xff\xff\xff\x06\x00\x07\x00\x08\x00\xff\xff\xff\xff\xff\xff\x0c\x00\xff\xff\x03\x00\xff\xff\xff\xff\x06\x00\x07\x00\x13\x00\x14\x00\x15\x00\x0b\x00\x0c\x00\x03\x00\xff\xff\xff\xff\x06\x00\xff\xff\x08\x00\x13\x00\x14\x00\x15\x00\x0c\x00\x03\x00\xff\xff\xff\xff\x06\x00\xff\xff\xff\xff\x13\x00\x14\x00\x15\x00\x0c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x13\x00\x14\x00\x15\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"# +happyCheck = HappyA# "\xff\xff\x03\x00\x08\x00\x04\x00\x03\x00\x03\x00\x03\x00\x00\x00\x01\x00\x03\x00\x03\x00\x05\x00\x06\x00\x09\x00\x03\x00\x0d\x00\x16\x00\x0a\x00\x0f\x00\x10\x00\x0d\x00\x16\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x03\x00\x1a\x00\x1b\x00\x16\x00\x17\x00\x00\x00\x01\x00\x03\x00\x03\x00\x18\x00\x19\x00\x00\x00\x01\x00\x02\x00\x03\x00\x0a\x00\x03\x00\x03\x00\x0d\x00\x00\x00\x01\x00\x02\x00\x03\x00\x02\x00\x0b\x00\x0c\x00\x05\x00\x16\x00\x17\x00\x16\x00\x13\x00\x14\x00\x0d\x00\x0e\x00\x03\x00\x02\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x00\x00\x01\x00\x02\x00\x03\x00\x03\x00\x0f\x00\x10\x00\x0e\x00\x00\x00\x01\x00\x02\x00\x03\x00\x0b\x00\x0c\x00\x0e\x00\x16\x00\x04\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x0e\x00\x01\x00\x16\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x00\x00\x01\x00\x02\x00\x03\x00\x03\x00\x04\x00\x05\x00\x06\x00\x00\x00\x01\x00\x02\x00\x03\x00\x02\x00\x04\x00\x0e\x00\x05\x00\x01\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x0e\x00\x05\x00\x16\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x00\x00\x01\x00\x02\x00\x03\x00\x03\x00\x16\x00\x01\x00\x05\x00\x00\x00\x01\x00\x02\x00\x03\x00\x05\x00\x04\x00\x0e\x00\x16\x00\x0a\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x0e\x00\x0a\x00\x02\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x00\x00\x01\x00\x02\x00\x03\x00\x07\x00\x0f\x00\x12\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x01\x00\x03\x00\x0e\x00\x02\x00\x16\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x0e\x00\x0b\x00\x16\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x00\x00\x01\x00\x02\x00\x03\x00\x01\x00\x04\x00\x04\x00\x01\x00\x00\x00\x01\x00\x02\x00\x03\x00\x07\x00\x02\x00\x0e\x00\x11\x00\x16\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x0e\x00\x0a\x00\x02\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x00\x00\x01\x00\x02\x00\x03\x00\x16\x00\x01\x00\x03\x00\x0b\x00\x00\x00\x01\x00\x02\x00\x03\x00\x18\x00\x18\x00\x0e\x00\xff\xff\x13\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x0e\x00\xff\xff\xff\xff\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x0e\x00\xff\xff\xff\xff\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x0e\x00\xff\xff\xff\xff\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\xff\xff\xff\xff\x0e\x00\xff\xff\xff\xff\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x0e\x00\xff\xff\xff\xff\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x03\x00\x00\x00\x01\x00\x06\x00\x03\x00\x08\x00\x09\x00\xff\xff\xff\xff\x0c\x00\x0d\x00\x0a\x00\xff\xff\x10\x00\x0d\x00\xff\xff\x13\x00\x14\x00\x15\x00\x16\x00\x03\x00\x00\x00\x01\x00\x06\x00\x03\x00\xff\xff\x09\x00\xff\xff\xff\xff\x0c\x00\x0d\x00\x0a\x00\xff\xff\x10\x00\x0d\x00\xff\xff\x13\x00\x14\x00\x15\x00\x16\x00\x03\x00\x03\x00\xff\xff\x06\x00\x07\x00\x07\x00\x08\x00\x03\x00\x0b\x00\x0c\x00\xff\xff\x07\x00\x08\x00\xff\xff\xff\xff\xff\xff\x13\x00\x14\x00\x15\x00\x16\x00\x03\x00\xff\xff\xff\xff\x06\x00\x07\x00\x08\x00\xff\xff\xff\xff\xff\xff\x0c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x03\x00\x13\x00\x14\x00\x06\x00\x16\x00\x08\x00\xff\xff\xff\xff\xff\xff\x0c\x00\xff\xff\x03\x00\xff\xff\xff\xff\x06\x00\xff\xff\x13\x00\x14\x00\xff\xff\x16\x00\x0c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x13\x00\x14\x00\x15\x00\x16\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"# happyTable :: HappyAddr -happyTable = HappyA# "\x00\x00\x26\x00\x23\x00\x4c\x00\x20\x00\x3a\x00\x1a\x00\x4f\x00\x50\x00\x20\x00\x5f\x00\x2f\x00\x4a\x00\x15\x00\x21\x00\x15\x00\x51\x00\x3b\x00\x59\x00\x52\x00\x6d\x00\x2c\x00\x27\x00\x28\x00\x29\x00\x2a\x00\x29\x00\x4d\x00\x53\x00\x69\x00\x4f\x00\x50\x00\x20\x00\x27\x00\x4b\x00\x04\x00\x05\x00\x06\x00\x15\x00\x51\x00\x60\x00\x1a\x00\x52\x00\x04\x00\x05\x00\x23\x00\x15\x00\x35\x00\x61\x00\x78\x00\x36\x00\x53\x00\x54\x00\x2d\x00\x0b\x00\x24\x00\x25\x00\x3a\x00\x73\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x04\x00\x05\x00\x06\x00\x60\x00\x1d\x00\x3b\x00\x3c\x00\x1e\x00\x04\x00\x05\x00\x06\x00\x61\x00\x62\x00\x79\x00\x74\x00\x15\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x67\x00\x75\x00\x6b\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x04\x00\x05\x00\x06\x00\x4f\x00\x50\x00\x20\x00\x6c\x00\x6d\x00\x04\x00\x05\x00\x06\x00\x5f\x00\x75\x00\x68\x00\x15\x00\x52\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x6e\x00\x5d\x00\x65\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x04\x00\x05\x00\x06\x00\x4f\x00\x50\x00\x20\x00\x15\x00\x66\x00\x04\x00\x05\x00\x06\x00\x64\x00\x77\x00\x5d\x00\x67\x00\x52\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x58\x00\x36\x00\x35\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x04\x00\x05\x00\x06\x00\x15\x00\x16\x00\x17\x00\x18\x00\x6f\x00\x04\x00\x05\x00\x06\x00\x70\x00\x7a\x00\x41\x00\x4f\x00\x15\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x46\x00\x5c\x00\x43\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x04\x00\x05\x00\x06\x00\x15\x00\x5b\x00\x3f\x00\x18\x00\x6f\x00\x04\x00\x05\x00\x06\x00\x70\x00\x71\x00\x47\x00\x44\x00\x46\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x48\x00\x45\x00\x15\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x04\x00\x05\x00\x06\x00\x2d\x00\x32\x00\x31\x00\x15\x00\x34\x00\x04\x00\x05\x00\x06\x00\x33\x00\x37\x00\x49\x00\x38\x00\x3a\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x25\x00\x41\x00\x39\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x04\x00\x05\x00\x06\x00\x15\x00\x1c\x00\x1f\x00\x15\x00\x2d\x00\x04\x00\x05\x00\x06\x00\xff\xff\xff\xff\x3d\x00\x04\x00\x00\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x3e\x00\x00\x00\x00\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x1f\x00\x00\x00\x00\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x07\x00\x00\x00\x00\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0e\x00\x00\x00\x00\x00\x0f\x00\x00\x00\x23\x00\x10\x00\x00\x00\x00\x00\x11\x00\x12\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x04\x00\x14\x00\x15\x00\x0e\x00\x00\x00\x00\x00\x0f\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x00\x11\x00\x12\x00\x00\x00\x00\x00\x13\x00\x00\x00\x00\x00\x04\x00\x14\x00\x15\x00\x56\x00\x00\x00\x00\x00\x57\x00\x77\x00\x23\x00\x00\x00\x00\x00\x00\x00\x58\x00\x00\x00\xd0\xff\x00\x00\x00\x00\xd0\xff\xd0\xff\x04\x00\x14\x00\x15\x00\xd0\xff\xd0\xff\x56\x00\x00\x00\x00\x00\x57\x00\x00\x00\x23\x00\xd0\xff\xd0\xff\xd0\xff\x58\x00\x0e\x00\x00\x00\x00\x00\x2f\x00\x00\x00\x00\x00\x04\x00\x14\x00\x15\x00\x11\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x14\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# +happyTable = HappyA# "\x00\x00\x28\x00\x25\x00\x2e\x00\x4e\x00\x22\x00\x3c\x00\x51\x00\x52\x00\x17\x00\x22\x00\x41\x00\x1a\x00\x6f\x00\x4c\x00\x23\x00\x17\x00\x53\x00\x3d\x00\x5b\x00\x54\x00\x17\x00\x29\x00\x2a\x00\x2b\x00\x2c\x00\x61\x00\x2b\x00\x4f\x00\x55\x00\x6b\x00\x51\x00\x52\x00\x31\x00\x22\x00\x29\x00\x4d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x53\x00\x62\x00\x1c\x00\x54\x00\x04\x00\x05\x00\x06\x00\x25\x00\x37\x00\x63\x00\x7a\x00\x38\x00\x55\x00\x56\x00\x17\x00\x2f\x00\x0c\x00\x26\x00\x27\x00\x3c\x00\x77\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x62\x00\x3d\x00\x3e\x00\x1c\x00\x04\x00\x05\x00\x06\x00\x07\x00\x63\x00\x64\x00\x7b\x00\x17\x00\x75\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x69\x00\x76\x00\x17\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x04\x00\x05\x00\x06\x00\x07\x00\x1f\x00\x6d\x00\x6a\x00\x20\x00\x6e\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x70\x00\x6f\x00\x17\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x5f\x00\x17\x00\x67\x00\x61\x00\x04\x00\x05\x00\x06\x00\x07\x00\x38\x00\x66\x00\x5f\x00\x17\x00\x68\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x5a\x00\x69\x00\x37\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x51\x00\x5d\x00\x5e\x00\x45\x00\x04\x00\x05\x00\x06\x00\x07\x00\x46\x00\x48\x00\x43\x00\x47\x00\x17\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x48\x00\x2f\x00\x17\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x34\x00\x33\x00\x35\x00\x36\x00\x04\x00\x05\x00\x06\x00\x07\x00\x39\x00\x3a\x00\x49\x00\x3c\x00\x17\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x4a\x00\x3b\x00\x43\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x17\x00\x1e\x00\x21\x00\x2f\x00\x04\x00\x05\x00\x06\x00\x07\x00\xff\xff\xff\xff\x4b\x00\x00\x00\x04\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x27\x00\x00\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x3f\x00\x00\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x40\x00\x00\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x07\x00\x00\x00\x00\x00\x21\x00\x00\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x08\x00\x00\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0f\x00\x51\x00\x52\x00\x10\x00\x22\x00\x25\x00\x11\x00\x00\x00\x00\x00\x12\x00\x13\x00\x77\x00\x00\x00\x14\x00\x54\x00\x00\x00\x04\x00\x15\x00\x16\x00\x17\x00\x0f\x00\x51\x00\x52\x00\x10\x00\x22\x00\x00\x00\x11\x00\x00\x00\x00\x00\x12\x00\x13\x00\x79\x00\x00\x00\x14\x00\x54\x00\x00\x00\x04\x00\x15\x00\x16\x00\x17\x00\xcf\xff\x71\x00\x00\x00\xcf\xff\xcf\xff\x72\x00\x7c\x00\x71\x00\xcf\xff\xcf\xff\x00\x00\x72\x00\x73\x00\x00\x00\x00\x00\x00\x00\xcf\xff\xcf\xff\xcf\xff\xcf\xff\x58\x00\x00\x00\x00\x00\x59\x00\x79\x00\x25\x00\x00\x00\x00\x00\x00\x00\x5a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x58\x00\x04\x00\x15\x00\x59\x00\x17\x00\x25\x00\x00\x00\x00\x00\x00\x00\x5a\x00\x00\x00\x0f\x00\x00\x00\x00\x00\x31\x00\x00\x00\x04\x00\x15\x00\x00\x00\x17\x00\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x15\x00\x16\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# -happyReduceArr = array (2, 62) [ +happyReduceArr = array (2, 64) [ (2 , happyReduce_2), (3 , happyReduce_3), (4 , happyReduce_4), @@ -258,11 +264,13 @@ happyReduceArr = array (2, 62) [ (59 , happyReduce_59), (60 , happyReduce_60), (61 , happyReduce_61), - (62 , happyReduce_62) + (62 , happyReduce_62), + (63 , happyReduce_63), + (64 , happyReduce_64) ] -happy_n_terms = 24 :: Int -happy_n_nonterms = 27 :: Int +happy_n_terms = 25 :: Int +happy_n_nonterms = 28 :: Int happyReduce_2 = happySpecReduce_1 0# happyReduction_2 happyReduction_2 happy_x_1 @@ -280,42 +288,49 @@ happyReduction_3 happy_x_1 happyReduce_4 = happySpecReduce_1 2# happyReduction_4 happyReduction_4 happy_x_1 - = case happyOutTok happy_x_1 of { (PT _ (T_CIdent happy_var_1)) -> + = case happyOutTok happy_x_1 of { (PT _ (T_TMeta happy_var_1)) -> happyIn7 - (CIdent (happy_var_1) + (TMeta (happy_var_1) )} happyReduce_5 = happySpecReduce_1 3# happyReduction_5 happyReduction_5 happy_x_1 - = case happyOut9 happy_x_1 of { happy_var_1 -> + = case happyOutTok happy_x_1 of { (PT _ (T_CIdent happy_var_1)) -> happyIn8 + (CIdent (happy_var_1) + )} + +happyReduce_6 = happySpecReduce_1 4# happyReduction_6 +happyReduction_6 happy_x_1 + = case happyOut10 happy_x_1 of { happy_var_1 -> + happyIn9 (Module happy_var_1 )} -happyReduce_6 = happySpecReduce_0 4# happyReduction_6 -happyReduction_6 = happyIn9 +happyReduce_7 = happySpecReduce_0 5# happyReduction_7 +happyReduction_7 = happyIn10 ([] ) -happyReduce_7 = happySpecReduce_1 4# happyReduction_7 -happyReduction_7 happy_x_1 - = case happyOut10 happy_x_1 of { happy_var_1 -> - happyIn9 +happyReduce_8 = happySpecReduce_1 5# happyReduction_8 +happyReduction_8 happy_x_1 + = case happyOut11 happy_x_1 of { happy_var_1 -> + happyIn10 ((:[]) happy_var_1 )} -happyReduce_8 = happySpecReduce_3 4# happyReduction_8 -happyReduction_8 happy_x_3 +happyReduce_9 = happySpecReduce_3 5# happyReduction_9 +happyReduction_9 happy_x_3 happy_x_2 happy_x_1 - = case happyOut10 happy_x_1 of { happy_var_1 -> - case happyOut9 happy_x_3 of { happy_var_3 -> - happyIn9 + = case happyOut11 happy_x_1 of { happy_var_1 -> + case happyOut10 happy_x_3 of { happy_var_3 -> + happyIn10 ((:) happy_var_1 happy_var_3 )}} -happyReduce_9 = happyReduce 8# 5# happyReduction_9 -happyReduction_9 (happy_x_8 `HappyStk` +happyReduce_10 = happyReduce 8# 6# happyReduction_10 +happyReduction_10 (happy_x_8 `HappyStk` happy_x_7 `HappyStk` happy_x_6 `HappyStk` happy_x_5 `HappyStk` @@ -324,187 +339,173 @@ happyReduction_9 (happy_x_8 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut7 happy_x_2 of { happy_var_2 -> - case happyOut18 happy_x_4 of { happy_var_4 -> - case happyOut12 happy_x_7 of { happy_var_7 -> - happyIn10 + = case happyOut8 happy_x_2 of { happy_var_2 -> + case happyOut19 happy_x_4 of { happy_var_4 -> + case happyOut13 happy_x_7 of { happy_var_7 -> + happyIn11 (DataDecl happy_var_2 happy_var_4 happy_var_7 ) `HappyStk` happyRest}}} -happyReduce_10 = happySpecReduce_3 5# happyReduction_10 -happyReduction_10 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut7 happy_x_1 of { happy_var_1 -> - case happyOut18 happy_x_3 of { happy_var_3 -> - happyIn10 - (TypeDecl happy_var_1 happy_var_3 - )}} - -happyReduce_11 = happySpecReduce_3 5# happyReduction_11 +happyReduce_11 = happySpecReduce_3 6# happyReduction_11 happyReduction_11 happy_x_3 happy_x_2 happy_x_1 - = case happyOut7 happy_x_1 of { happy_var_1 -> - case happyOut18 happy_x_3 of { happy_var_3 -> - happyIn10 - (ValueDecl happy_var_1 happy_var_3 + = case happyOut8 happy_x_1 of { happy_var_1 -> + case happyOut19 happy_x_3 of { happy_var_3 -> + happyIn11 + (TypeDecl happy_var_1 happy_var_3 )}} happyReduce_12 = happySpecReduce_3 6# happyReduction_12 happyReduction_12 happy_x_3 happy_x_2 happy_x_1 - = case happyOut7 happy_x_1 of { happy_var_1 -> - case happyOut18 happy_x_3 of { happy_var_3 -> + = case happyOut8 happy_x_1 of { happy_var_1 -> + case happyOut19 happy_x_3 of { happy_var_3 -> happyIn11 + (ValueDecl happy_var_1 happy_var_3 + )}} + +happyReduce_13 = happySpecReduce_3 7# happyReduction_13 +happyReduction_13 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut8 happy_x_1 of { happy_var_1 -> + case happyOut19 happy_x_3 of { happy_var_3 -> + happyIn12 (ConsDecl happy_var_1 happy_var_3 )}} -happyReduce_13 = happySpecReduce_0 7# happyReduction_13 -happyReduction_13 = happyIn12 +happyReduce_14 = happySpecReduce_0 8# happyReduction_14 +happyReduction_14 = happyIn13 ([] ) -happyReduce_14 = happySpecReduce_1 7# happyReduction_14 -happyReduction_14 happy_x_1 - = case happyOut11 happy_x_1 of { happy_var_1 -> - happyIn12 +happyReduce_15 = happySpecReduce_1 8# happyReduction_15 +happyReduction_15 happy_x_1 + = case happyOut12 happy_x_1 of { happy_var_1 -> + happyIn13 ((:[]) happy_var_1 )} -happyReduce_15 = happySpecReduce_3 7# happyReduction_15 -happyReduction_15 happy_x_3 +happyReduce_16 = happySpecReduce_3 8# happyReduction_16 +happyReduction_16 happy_x_3 happy_x_2 happy_x_1 - = case happyOut11 happy_x_1 of { happy_var_1 -> - case happyOut12 happy_x_3 of { happy_var_3 -> - happyIn12 + = case happyOut12 happy_x_1 of { happy_var_1 -> + case happyOut13 happy_x_3 of { happy_var_3 -> + happyIn13 ((:) happy_var_1 happy_var_3 )}} -happyReduce_16 = happySpecReduce_0 8# happyReduction_16 -happyReduction_16 = happyIn13 +happyReduce_17 = happySpecReduce_0 9# happyReduction_17 +happyReduction_17 = happyIn14 ([] ) -happyReduce_17 = happySpecReduce_2 8# happyReduction_17 -happyReduction_17 happy_x_2 +happyReduce_18 = happySpecReduce_2 9# happyReduction_18 +happyReduction_18 happy_x_2 happy_x_1 - = case happyOut13 happy_x_1 of { happy_var_1 -> - case happyOut14 happy_x_2 of { happy_var_2 -> - happyIn13 + = case happyOut14 happy_x_1 of { happy_var_1 -> + case happyOut15 happy_x_2 of { happy_var_2 -> + happyIn14 (flip (:) happy_var_1 happy_var_2 )}} -happyReduce_18 = happyReduce 4# 9# happyReduction_18 -happyReduction_18 (happy_x_4 `HappyStk` +happyReduce_19 = happyReduce 4# 10# happyReduction_19 +happyReduction_19 (happy_x_4 `HappyStk` happy_x_3 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut7 happy_x_2 of { happy_var_2 -> - case happyOut13 happy_x_3 of { happy_var_3 -> - happyIn14 + = case happyOut8 happy_x_2 of { happy_var_2 -> + case happyOut14 happy_x_3 of { happy_var_3 -> + happyIn15 (PCons happy_var_2 (reverse happy_var_3) ) `HappyStk` happyRest}} -happyReduce_19 = happySpecReduce_1 9# happyReduction_19 -happyReduction_19 happy_x_1 - = case happyOut17 happy_x_1 of { happy_var_1 -> - happyIn14 +happyReduce_20 = happySpecReduce_1 10# happyReduction_20 +happyReduction_20 happy_x_1 + = case happyOut18 happy_x_1 of { happy_var_1 -> + happyIn15 (PVar happy_var_1 )} -happyReduce_20 = happySpecReduce_3 9# happyReduction_20 -happyReduction_20 happy_x_3 +happyReduce_21 = happySpecReduce_3 10# happyReduction_21 +happyReduction_21 happy_x_3 happy_x_2 happy_x_1 - = case happyOut16 happy_x_2 of { happy_var_2 -> - happyIn14 + = case happyOut17 happy_x_2 of { happy_var_2 -> + happyIn15 (PRec happy_var_2 )} -happyReduce_21 = happySpecReduce_1 9# happyReduction_21 -happyReduction_21 happy_x_1 - = happyIn14 +happyReduce_22 = happySpecReduce_1 10# happyReduction_22 +happyReduction_22 happy_x_1 + = happyIn15 (PType ) -happyReduce_22 = happySpecReduce_1 9# happyReduction_22 -happyReduction_22 happy_x_1 +happyReduce_23 = happySpecReduce_1 10# happyReduction_23 +happyReduction_23 happy_x_1 = case happyOut5 happy_x_1 of { happy_var_1 -> - happyIn14 + happyIn15 (PStr happy_var_1 )} -happyReduce_23 = happySpecReduce_1 9# happyReduction_23 -happyReduction_23 happy_x_1 +happyReduce_24 = happySpecReduce_1 10# happyReduction_24 +happyReduction_24 happy_x_1 = case happyOut6 happy_x_1 of { happy_var_1 -> - happyIn14 + happyIn15 (PInt happy_var_1 )} -happyReduce_24 = happySpecReduce_3 10# happyReduction_24 -happyReduction_24 happy_x_3 +happyReduce_25 = happySpecReduce_3 11# happyReduction_25 +happyReduction_25 happy_x_3 happy_x_2 happy_x_1 - = case happyOut7 happy_x_1 of { happy_var_1 -> - case happyOut14 happy_x_3 of { happy_var_3 -> - happyIn15 + = case happyOut8 happy_x_1 of { happy_var_1 -> + case happyOut15 happy_x_3 of { happy_var_3 -> + happyIn16 (FieldPattern happy_var_1 happy_var_3 )}} -happyReduce_25 = happySpecReduce_0 11# happyReduction_25 -happyReduction_25 = happyIn16 +happyReduce_26 = happySpecReduce_0 12# happyReduction_26 +happyReduction_26 = happyIn17 ([] ) -happyReduce_26 = happySpecReduce_1 11# happyReduction_26 -happyReduction_26 happy_x_1 - = case happyOut15 happy_x_1 of { happy_var_1 -> - happyIn16 +happyReduce_27 = happySpecReduce_1 12# happyReduction_27 +happyReduction_27 happy_x_1 + = case happyOut16 happy_x_1 of { happy_var_1 -> + happyIn17 ((:[]) happy_var_1 )} -happyReduce_27 = happySpecReduce_3 11# happyReduction_27 -happyReduction_27 happy_x_3 +happyReduce_28 = happySpecReduce_3 12# happyReduction_28 +happyReduction_28 happy_x_3 happy_x_2 happy_x_1 - = case happyOut15 happy_x_1 of { happy_var_1 -> - case happyOut16 happy_x_3 of { happy_var_3 -> - happyIn16 + = case happyOut16 happy_x_1 of { happy_var_1 -> + case happyOut17 happy_x_3 of { happy_var_3 -> + happyIn17 ((:) happy_var_1 happy_var_3 )}} -happyReduce_28 = happySpecReduce_1 12# happyReduction_28 -happyReduction_28 happy_x_1 - = case happyOut7 happy_x_1 of { happy_var_1 -> - happyIn17 +happyReduce_29 = happySpecReduce_1 13# happyReduction_29 +happyReduction_29 happy_x_1 + = case happyOut8 happy_x_1 of { happy_var_1 -> + happyIn18 (PVVar happy_var_1 )} -happyReduce_29 = happySpecReduce_1 12# happyReduction_29 -happyReduction_29 happy_x_1 - = happyIn17 +happyReduce_30 = happySpecReduce_1 13# happyReduction_30 +happyReduction_30 happy_x_1 + = happyIn18 (PVWild ) -happyReduce_30 = happyReduce 6# 13# happyReduction_30 -happyReduction_30 (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_3 of { happy_var_3 -> - case happyOut18 happy_x_6 of { happy_var_6 -> - happyIn18 - (ELet happy_var_3 happy_var_6 - ) `HappyStk` happyRest}} - -happyReduce_31 = happyReduce 6# 13# happyReduction_31 +happyReduce_31 = happyReduce 6# 14# happyReduction_31 happyReduction_31 (happy_x_6 `HappyStk` happy_x_5 `HappyStk` happy_x_4 `HappyStk` @@ -512,69 +513,83 @@ happyReduction_31 (happy_x_6 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut18 happy_x_2 of { happy_var_2 -> - case happyOut27 happy_x_5 of { happy_var_5 -> - happyIn18 - (ECase happy_var_2 happy_var_5 + = case happyOut21 happy_x_3 of { happy_var_3 -> + case happyOut19 happy_x_6 of { happy_var_6 -> + happyIn19 + (ELet happy_var_3 happy_var_6 ) `HappyStk` happyRest}} -happyReduce_32 = happySpecReduce_1 13# happyReduction_32 -happyReduction_32 happy_x_1 - = case happyOut25 happy_x_1 of { happy_var_1 -> - happyIn18 - (happy_var_1 - )} - -happyReduce_33 = happyReduce 5# 14# happyReduction_33 -happyReduction_33 (happy_x_5 `HappyStk` +happyReduce_32 = happyReduce 6# 14# happyReduction_32 +happyReduction_32 (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 happyOut7 happy_x_1 of { happy_var_1 -> - case happyOut18 happy_x_3 of { happy_var_3 -> - case happyOut18 happy_x_5 of { happy_var_5 -> + = case happyOut19 happy_x_2 of { happy_var_2 -> + case happyOut28 happy_x_5 of { happy_var_5 -> happyIn19 - (LetDef happy_var_1 happy_var_3 happy_var_5 - ) `HappyStk` happyRest}}} + (ECase happy_var_2 happy_var_5 + ) `HappyStk` happyRest}} -happyReduce_34 = happySpecReduce_0 15# happyReduction_34 -happyReduction_34 = happyIn20 - ([] - ) - -happyReduce_35 = happySpecReduce_1 15# happyReduction_35 -happyReduction_35 happy_x_1 - = case happyOut19 happy_x_1 of { happy_var_1 -> - happyIn20 - ((:[]) happy_var_1 +happyReduce_33 = happySpecReduce_1 14# happyReduction_33 +happyReduction_33 happy_x_1 + = case happyOut26 happy_x_1 of { happy_var_1 -> + happyIn19 + (happy_var_1 )} -happyReduce_36 = happySpecReduce_3 15# happyReduction_36 -happyReduction_36 happy_x_3 - happy_x_2 - happy_x_1 - = 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_37 = happyReduce 4# 16# happyReduction_37 -happyReduction_37 (happy_x_4 `HappyStk` +happyReduce_34 = happyReduce 5# 15# happyReduction_34 +happyReduction_34 (happy_x_5 `HappyStk` + happy_x_4 `HappyStk` happy_x_3 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut17 happy_x_2 of { happy_var_2 -> - case happyOut18 happy_x_4 of { happy_var_4 -> + = case happyOut8 happy_x_1 of { happy_var_1 -> + case happyOut19 happy_x_3 of { happy_var_3 -> + case happyOut19 happy_x_5 of { happy_var_5 -> + happyIn20 + (LetDef happy_var_1 happy_var_3 happy_var_5 + ) `HappyStk` happyRest}}} + +happyReduce_35 = happySpecReduce_0 16# happyReduction_35 +happyReduction_35 = happyIn21 + ([] + ) + +happyReduce_36 = happySpecReduce_1 16# happyReduction_36 +happyReduction_36 happy_x_1 + = case happyOut20 happy_x_1 of { happy_var_1 -> happyIn21 + ((:[]) happy_var_1 + )} + +happyReduce_37 = happySpecReduce_3 16# happyReduction_37 +happyReduction_37 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut20 happy_x_1 of { happy_var_1 -> + case happyOut21 happy_x_3 of { happy_var_3 -> + happyIn21 + ((:) happy_var_1 happy_var_3 + )}} + +happyReduce_38 = happyReduce 4# 17# happyReduction_38 +happyReduction_38 (happy_x_4 `HappyStk` + happy_x_3 `HappyStk` + happy_x_2 `HappyStk` + happy_x_1 `HappyStk` + happyRest) + = case happyOut18 happy_x_2 of { happy_var_2 -> + case happyOut19 happy_x_4 of { happy_var_4 -> + happyIn22 (EAbs happy_var_2 happy_var_4 ) `HappyStk` happyRest}} -happyReduce_38 = happyReduce 7# 16# happyReduction_38 -happyReduction_38 (happy_x_7 `HappyStk` +happyReduce_39 = happyReduce 7# 17# happyReduction_39 +happyReduction_39 (happy_x_7 `HappyStk` happy_x_6 `HappyStk` happy_x_5 `HappyStk` happy_x_4 `HappyStk` @@ -582,209 +597,216 @@ happyReduction_38 (happy_x_7 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut17 happy_x_2 of { happy_var_2 -> - case happyOut18 happy_x_4 of { happy_var_4 -> - case happyOut18 happy_x_7 of { happy_var_7 -> - happyIn21 + = case happyOut18 happy_x_2 of { happy_var_2 -> + case happyOut19 happy_x_4 of { happy_var_4 -> + case happyOut19 happy_x_7 of { happy_var_7 -> + happyIn22 (EPi happy_var_2 happy_var_4 happy_var_7 ) `HappyStk` happyRest}}} -happyReduce_39 = happySpecReduce_1 16# happyReduction_39 -happyReduction_39 happy_x_1 - = case happyOut22 happy_x_1 of { happy_var_1 -> - happyIn21 +happyReduce_40 = happySpecReduce_1 17# happyReduction_40 +happyReduction_40 happy_x_1 + = case happyOut23 happy_x_1 of { happy_var_1 -> + happyIn22 (happy_var_1 )} -happyReduce_40 = happySpecReduce_2 17# happyReduction_40 -happyReduction_40 happy_x_2 +happyReduce_41 = happySpecReduce_2 18# happyReduction_41 +happyReduction_41 happy_x_2 happy_x_1 - = case happyOut22 happy_x_1 of { happy_var_1 -> - case happyOut23 happy_x_2 of { happy_var_2 -> - happyIn22 + = case happyOut23 happy_x_1 of { happy_var_1 -> + case happyOut24 happy_x_2 of { happy_var_2 -> + happyIn23 (EApp happy_var_1 happy_var_2 )}} -happyReduce_41 = happySpecReduce_1 17# happyReduction_41 -happyReduction_41 happy_x_1 - = case happyOut23 happy_x_1 of { happy_var_1 -> - happyIn22 - (happy_var_1 - )} - -happyReduce_42 = happySpecReduce_3 18# happyReduction_42 -happyReduction_42 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut23 happy_x_1 of { happy_var_1 -> - case happyOut7 happy_x_3 of { happy_var_3 -> - happyIn23 - (EProj happy_var_1 happy_var_3 - )}} - -happyReduce_43 = happySpecReduce_1 18# happyReduction_43 -happyReduction_43 happy_x_1 +happyReduce_42 = happySpecReduce_1 18# happyReduction_42 +happyReduction_42 happy_x_1 = case happyOut24 happy_x_1 of { happy_var_1 -> happyIn23 (happy_var_1 )} -happyReduce_44 = happySpecReduce_2 19# happyReduction_44 -happyReduction_44 happy_x_2 +happyReduce_43 = happySpecReduce_3 19# happyReduction_43 +happyReduction_43 happy_x_3 + happy_x_2 happy_x_1 - = happyIn24 + = case happyOut24 happy_x_1 of { happy_var_1 -> + case happyOut8 happy_x_3 of { happy_var_3 -> + happyIn24 + (EProj happy_var_1 happy_var_3 + )}} + +happyReduce_44 = happySpecReduce_1 19# happyReduction_44 +happyReduction_44 happy_x_1 + = case happyOut25 happy_x_1 of { happy_var_1 -> + happyIn24 + (happy_var_1 + )} + +happyReduce_45 = happySpecReduce_2 20# happyReduction_45 +happyReduction_45 happy_x_2 + happy_x_1 + = happyIn25 (EEmptyRec ) -happyReduce_45 = happySpecReduce_3 19# happyReduction_45 -happyReduction_45 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut29 happy_x_2 of { happy_var_2 -> - happyIn24 - (ERecType happy_var_2 - )} - -happyReduce_46 = happySpecReduce_3 19# happyReduction_46 +happyReduce_46 = happySpecReduce_3 20# happyReduction_46 happyReduction_46 happy_x_3 happy_x_2 happy_x_1 - = case happyOut31 happy_x_2 of { happy_var_2 -> - happyIn24 + = case happyOut30 happy_x_2 of { happy_var_2 -> + happyIn25 + (ERecType happy_var_2 + )} + +happyReduce_47 = happySpecReduce_3 20# happyReduction_47 +happyReduction_47 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut32 happy_x_2 of { happy_var_2 -> + happyIn25 (ERec happy_var_2 )} -happyReduce_47 = happySpecReduce_1 19# happyReduction_47 -happyReduction_47 happy_x_1 - = case happyOut7 happy_x_1 of { happy_var_1 -> - happyIn24 +happyReduce_48 = happySpecReduce_1 20# happyReduction_48 +happyReduction_48 happy_x_1 + = case happyOut8 happy_x_1 of { happy_var_1 -> + happyIn25 (EVar happy_var_1 )} -happyReduce_48 = happySpecReduce_1 19# happyReduction_48 -happyReduction_48 happy_x_1 - = happyIn24 +happyReduce_49 = happySpecReduce_1 20# happyReduction_49 +happyReduction_49 happy_x_1 + = happyIn25 (EType ) -happyReduce_49 = happySpecReduce_1 19# happyReduction_49 -happyReduction_49 happy_x_1 +happyReduce_50 = happySpecReduce_1 20# happyReduction_50 +happyReduction_50 happy_x_1 = case happyOut5 happy_x_1 of { happy_var_1 -> - happyIn24 + happyIn25 (EStr happy_var_1 )} -happyReduce_50 = happySpecReduce_1 19# happyReduction_50 -happyReduction_50 happy_x_1 +happyReduce_51 = happySpecReduce_1 20# happyReduction_51 +happyReduction_51 happy_x_1 = case happyOut6 happy_x_1 of { happy_var_1 -> - happyIn24 + happyIn25 (EInt happy_var_1 )} -happyReduce_51 = happySpecReduce_3 19# happyReduction_51 -happyReduction_51 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut18 happy_x_2 of { happy_var_2 -> - happyIn24 - (happy_var_2 - )} - happyReduce_52 = happySpecReduce_1 20# happyReduction_52 happyReduction_52 happy_x_1 - = case happyOut21 happy_x_1 of { happy_var_1 -> + = case happyOut7 happy_x_1 of { happy_var_1 -> happyIn25 - (happy_var_1 + (EMeta happy_var_1 )} -happyReduce_53 = happySpecReduce_3 21# happyReduction_53 +happyReduce_53 = happySpecReduce_3 20# happyReduction_53 happyReduction_53 happy_x_3 happy_x_2 happy_x_1 - = case happyOut14 happy_x_1 of { happy_var_1 -> - case happyOut18 happy_x_3 of { happy_var_3 -> + = case happyOut19 happy_x_2 of { happy_var_2 -> + happyIn25 + (happy_var_2 + )} + +happyReduce_54 = happySpecReduce_1 21# happyReduction_54 +happyReduction_54 happy_x_1 + = case happyOut22 happy_x_1 of { happy_var_1 -> happyIn26 + (happy_var_1 + )} + +happyReduce_55 = happySpecReduce_3 22# happyReduction_55 +happyReduction_55 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut15 happy_x_1 of { happy_var_1 -> + case happyOut19 happy_x_3 of { happy_var_3 -> + happyIn27 (Case happy_var_1 happy_var_3 )}} -happyReduce_54 = happySpecReduce_0 22# happyReduction_54 -happyReduction_54 = happyIn27 +happyReduce_56 = happySpecReduce_0 23# happyReduction_56 +happyReduction_56 = happyIn28 ([] ) -happyReduce_55 = happySpecReduce_1 22# happyReduction_55 -happyReduction_55 happy_x_1 - = case happyOut26 happy_x_1 of { happy_var_1 -> - happyIn27 +happyReduce_57 = happySpecReduce_1 23# happyReduction_57 +happyReduction_57 happy_x_1 + = case happyOut27 happy_x_1 of { happy_var_1 -> + happyIn28 ((:[]) happy_var_1 )} -happyReduce_56 = happySpecReduce_3 22# happyReduction_56 -happyReduction_56 happy_x_3 +happyReduce_58 = happySpecReduce_3 23# happyReduction_58 +happyReduction_58 happy_x_3 happy_x_2 happy_x_1 - = case happyOut26 happy_x_1 of { happy_var_1 -> - case happyOut27 happy_x_3 of { happy_var_3 -> - happyIn27 + = case happyOut27 happy_x_1 of { happy_var_1 -> + case happyOut28 happy_x_3 of { happy_var_3 -> + happyIn28 ((:) happy_var_1 happy_var_3 )}} -happyReduce_57 = happySpecReduce_3 23# happyReduction_57 -happyReduction_57 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut7 happy_x_1 of { happy_var_1 -> - case happyOut18 happy_x_3 of { happy_var_3 -> - happyIn28 - (FieldType happy_var_1 happy_var_3 - )}} - -happyReduce_58 = happySpecReduce_1 24# happyReduction_58 -happyReduction_58 happy_x_1 - = case happyOut28 happy_x_1 of { happy_var_1 -> - happyIn29 - ((:[]) happy_var_1 - )} - happyReduce_59 = happySpecReduce_3 24# happyReduction_59 happyReduction_59 happy_x_3 happy_x_2 happy_x_1 - = case happyOut28 happy_x_1 of { happy_var_1 -> - case happyOut29 happy_x_3 of { happy_var_3 -> + = case happyOut8 happy_x_1 of { happy_var_1 -> + case happyOut19 happy_x_3 of { happy_var_3 -> happyIn29 - ((:) happy_var_1 happy_var_3 + (FieldType happy_var_1 happy_var_3 )}} -happyReduce_60 = happySpecReduce_3 25# happyReduction_60 -happyReduction_60 happy_x_3 - happy_x_2 - happy_x_1 - = case happyOut7 happy_x_1 of { happy_var_1 -> - case happyOut18 happy_x_3 of { happy_var_3 -> +happyReduce_60 = happySpecReduce_1 25# happyReduction_60 +happyReduction_60 happy_x_1 + = case happyOut29 happy_x_1 of { happy_var_1 -> happyIn30 - (FieldValue happy_var_1 happy_var_3 - )}} - -happyReduce_61 = happySpecReduce_1 26# happyReduction_61 -happyReduction_61 happy_x_1 - = case happyOut30 happy_x_1 of { happy_var_1 -> - happyIn31 ((:[]) happy_var_1 )} +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 -> + happyIn30 + ((:) happy_var_1 happy_var_3 + )}} + happyReduce_62 = happySpecReduce_3 26# happyReduction_62 happyReduction_62 happy_x_3 happy_x_2 happy_x_1 - = case happyOut30 happy_x_1 of { happy_var_1 -> - case happyOut31 happy_x_3 of { happy_var_3 -> + = case happyOut8 happy_x_1 of { happy_var_1 -> + case happyOut19 happy_x_3 of { happy_var_3 -> happyIn31 + (FieldValue happy_var_1 happy_var_3 + )}} + +happyReduce_63 = happySpecReduce_1 27# happyReduction_63 +happyReduction_63 happy_x_1 + = case happyOut31 happy_x_1 of { happy_var_1 -> + happyIn32 + ((:[]) happy_var_1 + )} + +happyReduce_64 = happySpecReduce_3 27# happyReduction_64 +happyReduction_64 happy_x_3 + happy_x_2 + happy_x_1 + = case happyOut31 happy_x_1 of { happy_var_1 -> + case happyOut32 happy_x_3 of { happy_var_3 -> + happyIn32 ((:) happy_var_1 happy_var_3 )}} happyNewToken action sts stk [] = - happyDoAction 23# (error "reading EOF!") action sts stk [] + happyDoAction 24# (error "reading EOF!") action sts stk [] happyNewToken action sts stk (tk:tks) = let cont i = happyDoAction i tk action sts stk tks in @@ -809,8 +831,9 @@ happyNewToken action sts stk (tk:tks) = PT _ (TS "where") -> cont 18#; PT _ (TL happy_dollar_dollar) -> cont 19#; PT _ (TI happy_dollar_dollar) -> cont 20#; - PT _ (T_CIdent happy_dollar_dollar) -> cont 21#; - _ -> cont 22#; + PT _ (T_TMeta happy_dollar_dollar) -> cont 21#; + PT _ (T_CIdent happy_dollar_dollar) -> cont 22#; + _ -> cont 23#; _ -> happyError' (tk:tks) } @@ -827,10 +850,10 @@ happyError' :: () => [Token] -> Err a happyError' = happyError pModule tks = happySomeParser where - happySomeParser = happyThen (happyParse 0# tks) (\x -> happyReturn (happyOut8 x)) + happySomeParser = happyThen (happyParse 0# tks) (\x -> happyReturn (happyOut9 x)) pExp tks = happySomeParser where - happySomeParser = happyThen (happyParse 1# tks) (\x -> happyReturn (happyOut18 x)) + happySomeParser = happyThen (happyParse 1# tks) (\x -> happyReturn (happyOut19 x)) happySeq = happyDontSeq diff --git a/src/Transfer/Core/Par.y b/src/Transfer/Core/Par.y index 23bb44de1..187aec348 100644 --- a/src/Transfer/Core/Par.y +++ b/src/Transfer/Core/Par.y @@ -35,6 +35,7 @@ import Transfer.ErrM L_quoted { PT _ (TL $$) } L_integ { PT _ (TI $$) } +L_TMeta { PT _ (T_TMeta $$) } L_CIdent { PT _ (T_CIdent $$) } L_err { _ } @@ -43,6 +44,7 @@ L_err { _ } String :: { String } : L_quoted { $1 } Integer :: { Integer } : L_integ { (read $1) :: Integer } +TMeta :: { TMeta} : L_TMeta { TMeta ($1)} CIdent :: { CIdent} : L_CIdent { CIdent ($1)} Module :: { Module } @@ -140,6 +142,7 @@ Exp5 : '{' '}' { EEmptyRec } | 'Type' { EType } | String { EStr $1 } | Integer { EInt $1 } + | TMeta { EMeta $1 } | '(' Exp ')' { $2 } diff --git a/src/Transfer/Core/Print.hs b/src/Transfer/Core/Print.hs index 8f46f9e5e..7083e73bc 100644 --- a/src/Transfer/Core/Print.hs +++ b/src/Transfer/Core/Print.hs @@ -107,10 +107,12 @@ instance Print (Tree c) where EType -> prPrec _i 5 (concatD [doc (showString "Type")]) EStr str -> prPrec _i 5 (concatD [prt 0 str]) EInt n -> prPrec _i 5 (concatD [prt 0 n]) + EMeta tmeta -> prPrec _i 5 (concatD [prt 0 tmeta]) LetDef cident exp0 exp1 -> prPrec _i 0 (concatD [prt 0 cident , doc (showString ":") , prt 0 exp0 , doc (showString "=") , prt 0 exp1]) Case pattern exp -> prPrec _i 0 (concatD [prt 0 pattern , doc (showString "->") , prt 0 exp]) FieldType cident exp -> prPrec _i 0 (concatD [prt 0 cident , doc (showString ":") , prt 0 exp]) FieldValue cident exp -> prPrec _i 0 (concatD [prt 0 cident , doc (showString "=") , prt 0 exp]) + TMeta str -> prPrec _i 0 (doc (showString str)) CIdent str -> prPrec _i 0 (doc (showString str)) instance Print [Decl] where diff --git a/src/Transfer/Core/Skel.hs b/src/Transfer/Core/Skel.hs index 287b237e0..22be8efe9 100644 --- a/src/Transfer/Core/Skel.hs +++ b/src/Transfer/Core/Skel.hs @@ -38,10 +38,12 @@ transTree t = case t of EType -> failure t EStr str -> failure t EInt n -> failure t + EMeta tmeta -> failure t LetDef cident exp0 exp1 -> failure t Case pattern exp -> failure t FieldType cident exp -> failure t FieldValue cident exp -> failure t + TMeta str -> failure t CIdent str -> failure t transModule :: Module -> Result @@ -91,6 +93,7 @@ transExp t = case t of EType -> failure t EStr str -> failure t EInt n -> failure t + EMeta tmeta -> failure t transLetDef :: LetDef -> Result transLetDef t = case t of @@ -108,6 +111,10 @@ transFieldValue :: FieldValue -> Result transFieldValue t = case t of FieldValue cident exp -> failure t +transTMeta :: TMeta -> Result +transTMeta t = case t of + TMeta str -> failure t + transCIdent :: CIdent -> Result transCIdent t = case t of CIdent str -> failure t diff --git a/src/Transfer/Interpreter.hs b/src/Transfer/Interpreter.hs index 44618b756..78b004c8d 100644 --- a/src/Transfer/Interpreter.hs +++ b/src/Transfer/Interpreter.hs @@ -16,6 +16,7 @@ data Value = VStr String | VClos Env Exp | VCons CIdent [Value] | VPrim (Value -> Value) + | VMeta Integer deriving (Show) instance Show (a -> b) where @@ -128,6 +129,7 @@ eval env x = case x of EType -> VType EStr str -> VStr str EInt n -> VInt n + EMeta (TMeta t) -> VMeta (read $ drop 1 t) firstMatch :: Value -> [Case] -> Maybe (Exp,[(CIdent,Value)]) firstMatch _ [] = Nothing diff --git a/src/Transfer/Syntax/Abs.hs b/src/Transfer/Syntax/Abs.hs index fb9b9adbe..7dfaf0596 100644 --- a/src/Transfer/Syntax/Abs.hs +++ b/src/Transfer/Syntax/Abs.hs @@ -79,6 +79,7 @@ data Tree :: * -> * where EType :: Tree Exp_ EStr :: String -> Tree Exp_ EInt :: Integer -> Tree Exp_ + EMeta :: Tree Exp_ LetDef :: Ident -> Exp -> Exp -> Tree LetDef_ Case :: Pattern -> Exp -> Tree Case_ VVar :: Ident -> Tree VarOrWild_ @@ -238,6 +239,7 @@ instance Show (Tree c) where EType -> showString "EType" EStr str -> opar n . showString "EStr" . showChar ' ' . showsPrec 1 str . cpar n EInt n -> opar n . showString "EInt" . showChar ' ' . showsPrec 1 n . cpar n + EMeta -> showString "EMeta" LetDef i exp0 exp1 -> opar n . showString "LetDef" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n Case pattern exp -> opar n . showString "Case" . showChar ' ' . showsPrec 1 pattern . showChar ' ' . showsPrec 1 exp . cpar n VVar i -> opar n . showString "VVar" . showChar ' ' . showsPrec 1 i . cpar n @@ -296,6 +298,7 @@ johnMajorEq (EVar i) (EVar i_) = i == i_ johnMajorEq EType EType = True johnMajorEq (EStr str) (EStr str_) = str == str_ johnMajorEq (EInt n) (EInt n_) = n == n_ +johnMajorEq EMeta EMeta = True johnMajorEq (LetDef i exp0 exp1) (LetDef i_ exp0_ exp1_) = i == i_ && exp0 == exp0_ && exp1 == exp1_ johnMajorEq (Case pattern exp) (Case pattern_ exp_) = pattern == pattern_ && exp == exp_ johnMajorEq (VVar i) (VVar i_) = i == i_ @@ -353,13 +356,14 @@ instance Ord (Tree c) where index (EType ) = 42 index (EStr _) = 43 index (EInt _) = 44 - index (LetDef _ _ _) = 45 - index (Case _ _) = 46 - index (VVar _) = 47 - index (VWild ) = 48 - index (FieldType _ _) = 49 - index (FieldValue _ _) = 50 - index (Ident _) = 51 + index (EMeta ) = 45 + index (LetDef _ _ _) = 46 + index (Case _ _) = 47 + index (VVar _) = 48 + index (VWild ) = 49 + index (FieldType _ _) = 50 + index (FieldValue _ _) = 51 + index (Ident _) = 52 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_)) @@ -405,6 +409,7 @@ instance Ord (Tree c) where compareSame EType EType = EQ compareSame (EStr str) (EStr str_) = compare str str_ compareSame (EInt n) (EInt n_) = compare n n_ + compareSame EMeta EMeta = EQ compareSame (LetDef i exp0 exp1) (LetDef i_ exp0_ exp1_) = mappend (compare i i_) (mappend (compare exp0 exp0_) (compare exp1 exp1_)) compareSame (Case pattern exp) (Case pattern_ exp_) = mappend (compare pattern pattern_) (compare exp exp_) compareSame (VVar i) (VVar i_) = compare i i_ diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex index d49729f19..ba8d22b1f 100644 --- a/src/Transfer/Syntax/Doc.tex +++ b/src/Transfer/Syntax/Doc.tex @@ -62,6 +62,7 @@ The symbols used in Syntax are the following: \\ {\symb{{$<$}{$=$}}} &{\symb{{$>$}}} &{\symb{{$>$}{$=$}}} \\ {\symb{{$+$}}} &{\symb{{$-$}}} &{\symb{*}} \\ {\symb{/}} &{\symb{\%}} &{\symb{.}} \\ +{\symb{?}} & & \\ \end{tabular}\\ \subsection*{Comments} @@ -235,6 +236,7 @@ All other symbols are terminals.\\ & {\delimit} &{\terminal{Type}} \\ & {\delimit} &{\nonterminal{String}} \\ & {\delimit} &{\nonterminal{Integer}} \\ + & {\delimit} &{\terminal{?}} \\ & {\delimit} &{\terminal{(}} {\nonterminal{Exp}} {\terminal{)}} \\ \end{tabular}\\ diff --git a/src/Transfer/Syntax/Layout.hs b/src/Transfer/Syntax/Layout.hs index 9e8056a7d..31417038d 100644 --- a/src/Transfer/Syntax/Layout.hs +++ b/src/Transfer/Syntax/Layout.hs @@ -38,7 +38,7 @@ resolveLayout tp = res Nothing [if tl then Implicit 1 else Explicit] -- We found an open brace in the input, -- put an explicit layout block on the stack. -- This is done even if there was no layout word, - -- to keep of opening and closing braces. + -- to keep opening and closing braces. | isLayoutOpen t0 = moveAlong (Explicit:st) [t0] ts res _ st (t0:ts) diff --git a/src/Transfer/Syntax/Lex.hs b/src/Transfer/Syntax/Lex.hs index e10c890c4..86f366166 100644 --- a/src/Transfer/Syntax/Lex.hs +++ b/src/Transfer/Syntax/Lex.hs @@ -27,7 +27,7 @@ alex_base :: AlexAddr alex_base = AlexA# "\x01\x00\x00\x00\x15\x00\x00\x00\x39\x00\x00\x00\x3a\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x00\x00\x00\x00\x44\x00\x00\x00\x45\x00\x00\x00\x1b\x00\x00\x00\x1c\x00\x00\x00\x1d\x00\x00\x00\x42\x00\x00\x00\x00\x00\x00\x00\x13\x00\x00\x00\x14\x00\x00\x00\x16\x00\x00\x00\x17\x00\x00\x00\xd6\xff\xff\xff\x2f\x00\x00\x00\x9c\x00\x00\x00\x00\x00\x00\x00\x17\x01\x00\x00\xd5\x00\x00\x00\x33\x00\x00\x00"# alex_table :: AlexAddr -alex_table = AlexA# "\x00\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\xff\xff\x17\x00\xff\xff\xff\xff\x0e\x00\x14\x00\xff\xff\x0e\x00\x0e\x00\x0e\x00\x0e\x00\xff\xff\x05\x00\x0e\x00\x10\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x0e\x00\x0e\x00\x11\x00\x0f\x00\x12\x00\xff\xff\xff\xff\x04\x00\xff\xff\xff\xff\x03\x00\x03\x00\x09\x00\x09\x00\x09\x00\x0b\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x00\x00\x0e\x00\x00\x00\x00\x00\x00\x00\x00\x00\xff\xff\x0e\x00\xff\xff\xff\xff\x0e\x00\xff\xff\x0d\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0c\x00\x13\x00\x0e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x06\x00\x07\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x00\x00\x00\x00\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x17\x00\xff\xff\x00\x00\x00\x00\x15\x00\x17\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xff\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\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x16\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x18\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x00\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# +alex_table = AlexA# "\x00\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0d\x00\xff\xff\x17\x00\xff\xff\xff\xff\x0e\x00\x14\x00\xff\xff\x0e\x00\x0e\x00\x0e\x00\x0e\x00\xff\xff\x05\x00\x0e\x00\x10\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x0e\x00\x0e\x00\x11\x00\x0f\x00\x12\x00\x0e\x00\xff\xff\x04\x00\xff\xff\xff\xff\x03\x00\x03\x00\x09\x00\x09\x00\x09\x00\x0b\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0d\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x0e\x00\x00\x00\x0e\x00\x00\x00\x00\x00\x00\x00\x00\x00\xff\xff\x0e\x00\xff\xff\xff\xff\x0e\x00\xff\xff\x0d\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x19\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0c\x00\x13\x00\x0e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x06\x00\x07\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x00\x00\x00\x00\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x17\x00\xff\xff\x00\x00\x00\x00\x15\x00\x17\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xff\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\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x16\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x18\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x00\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x15\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# alex_check :: AlexAddr alex_check = AlexA# "\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x05\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x26\x00\x27\x00\x28\x00\x29\x00\x2a\x00\x2b\x00\x2c\x00\x2d\x00\x2e\x00\x2f\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x3e\x00\x3f\x00\x40\x00\x2d\x00\x0a\x00\x0a\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x2d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x3d\x00\x3d\x00\x7c\x00\x3d\x00\x3d\x00\x26\x00\xff\xff\x3e\x00\xff\xff\xff\xff\xff\xff\xff\xff\x5b\x00\x5c\x00\x5d\x00\x5e\x00\x5f\x00\x60\x00\x20\x00\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xff\xff\xff\xff\x2d\x00\x2d\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x7b\x00\x7c\x00\x7d\x00\x7e\x00\x7f\x00\x80\x00\x81\x00\x82\x00\x83\x00\x84\x00\x85\x00\x86\x00\x87\x00\x88\x00\x89\x00\x8a\x00\x8b\x00\x8c\x00\x8d\x00\x8e\x00\x8f\x00\x90\x00\x91\x00\x92\x00\x93\x00\x94\x00\x95\x00\x96\x00\x97\x00\x98\x00\x99\x00\x9a\x00\x9b\x00\x9c\x00\x9d\x00\x9e\x00\x9f\x00\xa0\x00\xa1\x00\xa2\x00\xa3\x00\xa4\x00\xa5\x00\xa6\x00\xa7\x00\xa8\x00\xa9\x00\xaa\x00\xab\x00\xac\x00\xad\x00\xae\x00\xaf\x00\xb0\x00\xb1\x00\xb2\x00\xb3\x00\xb4\x00\xb5\x00\xb6\x00\xb7\x00\xb8\x00\xb9\x00\xba\x00\xbb\x00\xbc\x00\xbd\x00\xbe\x00\xbf\x00\x7d\x00\x7d\x00\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x30\x00\x31\x00\x32\x00\x33\x00\x34\x00\x35\x00\x36\x00\x37\x00\x38\x00\x39\x00\xff\xff\xff\xff\xd7\x00\xff\xff\xff\xff\xff\xff\xff\xff\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x4d\x00\x4e\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x53\x00\x54\x00\x55\x00\x56\x00\x57\x00\x58\x00\x59\x00\x5a\x00\x22\x00\xf7\x00\xff\xff\xff\xff\x5f\x00\x27\x00\x61\x00\x62\x00\x63\x00\x64\x00\x65\x00\x66\x00\x67\x00\x68\x00\x69\x00\x6a\x00\x6b\x00\x6c\x00\x6d\x00\x6e\x00\x6f\x00\x70\x00\x71\x00\x72\x00\x73\x00\x74\x00\x75\x00\x76\x00\x77\x00\x78\x00\x79\x00\x7a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x5c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x22\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x6e\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x74\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xc0\x00\xc1\x00\xc2\x00\xc3\x00\xc4\x00\xc5\x00\xc6\x00\xc7\x00\xc8\x00\xc9\x00\xca\x00\xcb\x00\xcc\x00\xcd\x00\xce\x00\xcf\x00\xd0\x00\xd1\x00\xd2\x00\xd3\x00\xd4\x00\xd5\x00\xd6\x00\x5c\x00\xd8\x00\xd9\x00\xda\x00\xdb\x00\xdc\x00\xdd\x00\xde\x00\xdf\x00\xe0\x00\xe1\x00\xe2\x00\xe3\x00\xe4\x00\xe5\x00\xe6\x00\xe7\x00\xe8\x00\xe9\x00\xea\x00\xeb\x00\xec\x00\xed\x00\xee\x00\xef\x00\xf0\x00\xf1\x00\xf2\x00\xf3\x00\xf4\x00\xf5\x00\xf6\x00\xff\xff\xf8\x00\xf9\x00\xfa\x00\xfb\x00\xfc\x00\xfd\x00\xfe\x00\xff\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"# diff --git a/src/Transfer/Syntax/Lex.x b/src/Transfer/Syntax/Lex.x index 01bf6c23e..f61124bb7 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 e007741d7..b5a1b5ff1 100644 --- a/src/Transfer/Syntax/Par.hs +++ b/src/Transfer/Syntax/Par.hs @@ -237,21 +237,21 @@ happyOutTok x = unsafeCoerce# x {-# INLINE happyOutTok #-} happyActOffsets :: HappyAddr -happyActOffsets = HappyA# "\x91\x02\x2a\x00\x85\x02\x00\x00\x00\x00\x00\x00\x00\x00\x80\x02\x00\x00\xa2\x02\x87\x02\x99\x02\x8b\x02\xe8\x01\x00\x00\x58\x00\x90\x02\x00\x00\x00\x00\x1a\x00\x15\x00\xfb\xff\x53\x00\x00\x00\x2a\x00\x2a\x00\xa1\x02\x00\x00\x00\x00\x66\x02\x8f\x02\x70\x02\x5b\x02\x00\x00\x81\x02\x7e\x02\x00\x00\x45\x02\x45\x02\x47\x02\x40\x02\x1e\x02\x23\x02\x00\x00\x2a\x00\x00\x00\x2e\x02\x00\x00\xfe\xff\x2c\x02\x30\x02\x6e\x00\x0c\x02\xcd\x01\xc0\x01\xad\x01\x00\x00\xfd\x01\x89\x01\x53\x00\x53\x00\x53\x00\x53\x00\x53\x00\x53\x00\x53\x00\x53\x00\x53\x00\x53\x00\x53\x00\x53\x00\x53\x00\x2a\x00\x00\x00\x00\x00\x00\x00\xe8\x01\xe8\x01\x86\x00\x86\x00\x86\x00\x86\x00\x86\x00\x86\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xea\x01\x00\x00\xea\x01\x2a\x00\x2a\x00\x2a\x00\x00\x00\x2a\x00\x8e\x01\x2a\x00\x7f\x01\x70\x01\x5d\x01\x00\x00\xe9\x01\x4f\x01\x70\x02\x44\x00\x2a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xcb\x01\x2a\x00\xcb\x01\x00\x00\x00\x00\x00\x00\x2a\x00\x00\x00\x21\x01\xbb\x01\x2a\x00\x14\x01\x4f\x00\x00\x00\x1a\x01\x00\x00\x00\x00\x0f\x01\x00\x00\xfe\x01\x00\x00\xf8\x00\x4f\x00\xe8\x00\x00\x00\xe0\x00\xcd\x00\x2a\x00\xec\x01\x00\x00\x2a\x00\x9d\x00\x00\x00\x00\x00\xd9\x01\xb0\x00\x9b\x00\x00\x00\x6a\x00\x4f\x00\x3a\x00\x92\x00\x00\x00\x2a\x00\x00\x00\x00\x00\x4f\x00\x2a\x00\x00\x00\x2a\x00\x00\x00\x4f\x00\x00\x00\x00\x00\x00\x00\x5b\x00\x00\x00\x00\x00\x00\x00\x79\x00\x57\x00\x73\x00\x00\x00\x05\x00\x2a\x00\x00\x00\x00\x00\x00\x00"# +happyActOffsets = HappyA# "\x92\x02\x30\x00\x8a\x02\x00\x00\x00\x00\x00\x00\x00\x00\x85\x02\x00\x00\xa5\x02\xa2\x02\xa0\x02\x95\x02\x00\x02\x00\x00\x5e\x00\x93\x02\x00\x00\x00\x00\x19\x00\x16\x00\x13\x00\x56\x00\x00\x00\x00\x00\x30\x00\x30\x00\x9b\x02\x00\x00\x00\x00\x80\x02\x9a\x02\x1e\x02\x77\x02\x00\x00\x98\x02\x96\x02\x00\x00\x65\x02\x65\x02\x66\x02\x5c\x02\x5d\x02\x5b\x02\x00\x00\x30\x00\x00\x00\x43\x02\x00\x00\xfe\xff\x74\x02\x46\x02\x4e\x00\x3f\x02\x3b\x02\x1d\x02\x19\x02\x00\x00\xf6\x01\x03\x02\x56\x00\x56\x00\x56\x00\x56\x00\x56\x00\x56\x00\x56\x00\x56\x00\x56\x00\x56\x00\x56\x00\x56\x00\x56\x00\x30\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x02\xd2\x01\xd2\x01\xd2\x01\xd2\x01\xd2\x01\xd2\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xeb\x01\x00\x00\xeb\x01\x30\x00\x30\x00\x30\x00\x00\x00\x30\x00\x08\x02\x30\x00\xac\x01\x9d\x01\x8a\x01\x00\x00\x58\x01\x6c\x01\x1e\x02\x40\x00\x30\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x38\x01\x30\x00\x38\x01\x00\x00\x00\x00\x00\x00\x30\x00\x00\x00\x2d\x01\x18\x01\x30\x00\x10\x01\x5a\x00\x00\x00\x17\x01\x00\x00\x00\x00\x0c\x01\x00\x00\x05\x02\x00\x00\xf5\x00\x5a\x00\xe5\x00\x00\x00\xdd\x00\xca\x00\x30\x00\xf2\x01\x00\x00\x30\x00\xb6\x01\x00\x00\x00\x00\xc9\x01\xbd\x00\xaa\x00\x00\x00\x66\x00\x5a\x00\x26\x00\x9b\x00\x00\x00\x30\x00\x00\x00\x00\x00\x5a\x00\x30\x00\x00\x00\x30\x00\x00\x00\x5a\x00\x00\x00\x00\x00\x00\x00\x61\x00\x00\x00\x00\x00\x00\x00\x81\x00\x7e\x00\x6f\x00\x00\x00\x48\x00\x30\x00\x00\x00\x00\x00\x00\x00"# happyGotoOffsets :: HappyAddr -happyGotoOffsets = HappyA# "\x9e\x02\xbc\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x56\x02\x00\x00\x00\x00\x00\x00\x72\x00\x6d\x00\x1c\x00\x53\x02\x00\x00\xac\x01\x9c\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa0\x02\x66\x00\x00\x00\x0e\x00\x00\x00\x00\x00\x5c\x00\x37\x00\x49\x00\x54\x00\x00\x00\x00\x00\x00\x00\x8c\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x32\x00\x00\x00\x46\x02\x42\x02\x3e\x02\x1f\x02\x10\x02\x0a\x02\x00\x02\xfa\x01\xeb\x01\x34\x02\x2f\x02\xdb\x01\xcc\x01\x7c\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x02\x00\x6c\x01\x5c\x01\x4c\x01\x00\x00\x3c\x01\x00\x00\x2c\x01\x00\x00\x00\x00\x00\x00\x00\x00\x2c\x00\x00\x00\x8d\x02\x86\x02\x1c\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xe1\x01\x0c\x01\x26\x00\x00\x00\x00\x00\x00\x00\xfc\x00\x00\x00\x00\x00\x35\x00\xec\x00\x00\x00\x77\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x67\x02\x00\x00\x00\x00\x00\x00\x00\x00\xdc\x00\x00\x00\x00\x00\xcc\x00\x00\x00\x0d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x2b\x00\x7a\x02\x96\x00\x00\x00\x00\x00\xbc\x00\x00\x00\x00\x00\x6b\x02\xac\x00\xfc\xff\x9c\x00\x00\x00\x96\x00\x00\x00\x00\x00\x00\x00\x8e\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5a\x00\x8c\x00\x00\x00\x00\x00\x00\x00"# +happyGotoOffsets = HappyA# "\xc6\x01\xb9\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x6f\x02\x00\x00\x00\x00\x00\x00\xbe\x01\x79\x00\x1f\x00\x6c\x02\x00\x00\x00\x00\xa9\x01\x99\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x09\x02\x6d\x00\x00\x00\x57\x00\x00\x00\x00\x00\x37\x00\x32\x00\xe6\x01\x65\x00\x00\x00\x00\x00\x00\x00\x89\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x2b\x00\x00\x00\x4d\x02\x49\x02\x45\x02\x37\x02\x18\x02\x12\x02\x0c\x02\x06\x02\xe7\x01\x41\x02\x3c\x02\xe1\x01\xd8\x01\x79\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x02\x00\x69\x01\x59\x01\x49\x01\x00\x00\x39\x01\x00\x00\x29\x01\x00\x00\x00\x00\x00\x00\x00\x00\x23\x00\x00\x00\x3b\x00\x94\x02\x19\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x51\x00\x09\x01\x1a\x00\x00\x00\x00\x00\x00\x00\xf9\x00\x00\x00\x00\x00\x5b\x00\xe9\x00\x00\x00\x8e\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x91\x02\x00\x00\x00\x00\x00\x00\x00\x00\xd9\x00\x00\x00\x00\x00\xc9\x00\x00\x00\xfc\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x47\x00\x75\x02\x78\x02\x00\x00\x00\x00\xb9\x00\x00\x00\x00\x00\x72\x02\xa9\x00\xf7\xff\x99\x00\x00\x00\x78\x02\x00\x00\x00\x00\x00\x00\xe4\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x69\x00\x89\x00\x00\x00\x00\x00\x00\x00"# happyDefActions :: HappyAddr -happyDefActions = HappyA# "\xf8\xff\x00\x00\x00\x00\xfd\xff\xae\xff\xac\xff\xab\xff\x00\x00\xa3\xff\xcc\xff\xc8\xff\xc6\xff\xbf\xff\xbc\xff\xb8\xff\xb6\xff\xb4\xff\xb2\xff\xd8\xff\x00\x00\x00\x00\x00\x00\x00\x00\xad\xff\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\xd6\xff\x00\x00\x00\x00\xb7\xff\x00\x00\xcb\xff\x00\x00\xca\xff\xcb\xff\x00\x00\x00\x00\x00\x00\xa8\xff\x00\x00\xa5\xff\x00\x00\xb1\xff\x00\x00\xb5\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\xcd\xff\xc9\xff\xc7\xff\xbd\xff\xbe\xff\xc0\xff\xc1\xff\xc2\xff\xc3\xff\xc4\xff\xc5\xff\xb9\xff\xba\xff\xbb\xff\xb3\xff\xaf\xff\x00\x00\xb0\xff\x00\x00\x00\x00\x00\x00\x00\x00\xaa\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd5\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\xde\xff\x00\x00\x00\x00\xe2\xff\xe6\xff\xef\xff\x00\x00\xf2\xff\x00\x00\xd6\xff\x00\x00\x00\x00\xd2\xff\xcf\xff\x00\x00\xa6\xff\xa9\xff\x00\x00\xa7\xff\x00\x00\xa4\xff\x00\x00\xe3\xff\x00\x00\xe9\xff\xd1\xff\x00\x00\x00\x00\x00\x00\xd4\xff\x00\x00\x00\x00\xe1\xff\xf3\xff\x00\x00\xdd\xff\x00\x00\xe7\xff\xde\xff\x00\x00\x00\x00\x00\x00\xdb\xff\x00\x00\xd9\xff\xda\xff\xd2\xff\x00\x00\xe1\xff\x00\x00\xce\xff\xea\xff\xd3\xff\xd0\xff\xd7\xff\xed\xff\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\xae\xff\xac\xff\xab\xff\x00\x00\xa2\xff\xcc\xff\xc8\xff\xc6\xff\xbf\xff\xbc\xff\xb8\xff\xb6\xff\xb4\xff\xb2\xff\xd8\xff\x00\x00\x00\x00\x00\x00\x00\x00\xaa\xff\xad\xff\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\xd6\xff\x00\x00\x00\x00\xb7\xff\x00\x00\xcb\xff\x00\x00\xca\xff\xcb\xff\x00\x00\x00\x00\x00\x00\xa7\xff\x00\x00\xa4\xff\x00\x00\xb1\xff\x00\x00\xb5\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\xcd\xff\xc9\xff\xc7\xff\xbd\xff\xbe\xff\xc0\xff\xc1\xff\xc2\xff\xc3\xff\xc4\xff\xc5\xff\xb9\xff\xba\xff\xbb\xff\xb3\xff\xaf\xff\x00\x00\xb0\xff\x00\x00\x00\x00\x00\x00\x00\x00\xa9\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd5\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\xde\xff\x00\x00\x00\x00\xe2\xff\xe6\xff\xef\xff\x00\x00\xf2\xff\x00\x00\xd6\xff\x00\x00\x00\x00\xd2\xff\xcf\xff\x00\x00\xa5\xff\xa8\xff\x00\x00\xa6\xff\x00\x00\xa3\xff\x00\x00\xe3\xff\x00\x00\xe9\xff\xd1\xff\x00\x00\x00\x00\x00\x00\xd4\xff\x00\x00\x00\x00\xe1\xff\xf3\xff\x00\x00\xdd\xff\x00\x00\xe7\xff\xde\xff\x00\x00\x00\x00\x00\x00\xdb\xff\x00\x00\xd9\xff\xda\xff\xd2\xff\x00\x00\xe1\xff\x00\x00\xce\xff\xea\xff\xd3\xff\xd0\xff\xd7\xff\xed\xff\xe8\xff\xdf\xff\xdc\xff\x00\x00\xec\xff\x00\x00\xf5\xff\xed\xff\x00\x00\xee\xff\xeb\xff"# happyCheck :: HappyAddr -happyCheck = HappyA# "\xff\xff\x03\x00\x00\x00\x08\x00\x06\x00\x07\x00\x00\x00\x09\x00\x0c\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x03\x00\x0c\x00\x0c\x00\x06\x00\x00\x00\x08\x00\x04\x00\x0a\x00\x25\x00\x1f\x00\x20\x00\x25\x00\x26\x00\x27\x00\x00\x00\x21\x00\x22\x00\x14\x00\x25\x00\x00\x00\x00\x00\x03\x00\x19\x00\x1a\x00\x06\x00\x15\x00\x00\x00\x1e\x00\x0a\x00\x00\x00\x21\x00\x00\x00\x0d\x00\x0e\x00\x25\x00\x26\x00\x27\x00\x03\x00\x14\x00\x25\x00\x06\x00\x07\x00\x08\x00\x19\x00\x1a\x00\x10\x00\x11\x00\x03\x00\x1e\x00\x05\x00\x06\x00\x21\x00\x08\x00\x04\x00\x05\x00\x25\x00\x26\x00\x27\x00\x03\x00\x19\x00\x00\x00\x06\x00\x03\x00\x08\x00\x01\x00\x06\x00\x00\x00\x03\x00\x00\x00\x19\x00\x06\x00\x25\x00\x26\x00\x27\x00\x08\x00\x09\x00\x10\x00\x11\x00\x00\x00\x14\x00\x19\x00\x25\x00\x26\x00\x27\x00\x19\x00\x00\x00\x01\x00\x02\x00\x02\x00\x19\x00\x00\x00\x05\x00\x25\x00\x26\x00\x27\x00\x04\x00\x25\x00\x26\x00\x27\x00\x02\x00\x0f\x00\x25\x00\x26\x00\x27\x00\x25\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x25\x00\x23\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x03\x00\x00\x00\x01\x00\x02\x00\x13\x00\x14\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x04\x00\x14\x00\x0b\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x01\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x24\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x04\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x01\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x09\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x09\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x02\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x07\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x1d\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x20\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x02\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x04\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x01\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x02\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x03\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x18\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x04\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x01\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x04\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x05\x00\x23\x00\x25\x00\x00\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x0d\x00\x0e\x00\x25\x00\x05\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x15\x00\x16\x00\x17\x00\x00\x00\x01\x00\x02\x00\x05\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x01\x00\x25\x00\x25\x00\x00\x00\x01\x00\x02\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x25\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x02\x00\x07\x00\x00\x00\x01\x00\x02\x00\x09\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x23\x00\x00\x00\x01\x00\x02\x00\x22\x00\x00\x00\x01\x00\x02\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x25\x00\x1f\x00\x00\x00\x01\x00\x02\x00\x25\x00\x00\x00\x01\x00\x02\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0b\x00\x1d\x00\x1e\x00\x0a\x00\x0b\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x12\x00\x13\x00\x01\x00\x25\x00\x0a\x00\x0b\x00\x02\x00\x0a\x00\x0b\x00\x00\x00\x01\x00\x02\x00\x12\x00\x13\x00\x1b\x00\x1c\x00\x00\x00\x00\x00\x29\x00\x01\x00\x0b\x00\x0b\x00\x06\x00\x07\x00\x25\x00\x08\x00\x09\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x00\x00\x03\x00\x04\x00\x05\x00\x03\x00\x0c\x00\x06\x00\x07\x00\x18\x00\x29\x00\x25\x00\x09\x00\xff\xff\xff\xff\xff\xff\xff\xff\x1f\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"# +happyCheck = HappyA# "\xff\xff\x03\x00\x00\x00\x0c\x00\x06\x00\x07\x00\x00\x00\x09\x00\x0c\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x03\x00\x00\x00\x08\x00\x06\x00\x04\x00\x08\x00\x00\x00\x0a\x00\x1f\x00\x20\x00\x00\x00\x26\x00\x27\x00\x28\x00\x21\x00\x22\x00\x03\x00\x14\x00\x00\x00\x06\x00\x07\x00\x08\x00\x19\x00\x1a\x00\x1b\x00\x00\x00\x03\x00\x15\x00\x1f\x00\x06\x00\x00\x00\x22\x00\x26\x00\x0a\x00\x00\x00\x26\x00\x27\x00\x28\x00\x26\x00\x1a\x00\x06\x00\x07\x00\x03\x00\x14\x00\x05\x00\x06\x00\x00\x00\x08\x00\x19\x00\x1a\x00\x1b\x00\x26\x00\x27\x00\x28\x00\x1f\x00\x02\x00\x00\x00\x22\x00\x05\x00\x0d\x00\x0e\x00\x26\x00\x27\x00\x28\x00\x03\x00\x1a\x00\x00\x00\x06\x00\x03\x00\x0d\x00\x0e\x00\x06\x00\x03\x00\x08\x00\x0c\x00\x06\x00\x00\x00\x26\x00\x27\x00\x28\x00\x00\x00\x14\x00\x10\x00\x11\x00\x00\x00\x26\x00\x19\x00\x1a\x00\x08\x00\x09\x00\x04\x00\x1a\x00\x10\x00\x11\x00\x19\x00\x1a\x00\x00\x00\x01\x00\x02\x00\x26\x00\x27\x00\x28\x00\x01\x00\x26\x00\x27\x00\x28\x00\x02\x00\x26\x00\x27\x00\x28\x00\x26\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x26\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x03\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x04\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x01\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x04\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x01\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x09\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x09\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x02\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x07\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x1e\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x26\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x21\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x26\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x02\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x26\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x04\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x01\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x02\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x00\x00\x01\x00\x02\x00\x23\x00\x14\x00\x00\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x0f\x00\x03\x00\x04\x00\x05\x00\x23\x00\x14\x00\x05\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x25\x00\x23\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x00\x00\x13\x00\x14\x00\x00\x00\x01\x00\x02\x00\x04\x00\x05\x00\x08\x00\x09\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x05\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x00\x00\x05\x00\x03\x00\x00\x00\x01\x00\x02\x00\x06\x00\x07\x00\x26\x00\x00\x00\x01\x00\x02\x00\x15\x00\x16\x00\x17\x00\x00\x00\x01\x00\x02\x00\x18\x00\x26\x00\x04\x00\x01\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x1c\x00\x1d\x00\x00\x00\x01\x00\x02\x00\x04\x00\x01\x00\x00\x00\x01\x00\x02\x00\x26\x00\x00\x00\x01\x00\x02\x00\x02\x00\x00\x00\x01\x00\x02\x00\x09\x00\x00\x00\x01\x00\x02\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x07\x00\x0a\x00\x0b\x00\x23\x00\x0a\x00\x0b\x00\x24\x00\x26\x00\x0b\x00\x12\x00\x13\x00\x20\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x26\x00\x1d\x00\x1e\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x01\x00\x0a\x00\x0b\x00\x02\x00\x01\x00\x0b\x00\x26\x00\x03\x00\x0b\x00\x12\x00\x13\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x2a\x00\x18\x00\x0c\x00\x0b\x00\x09\x00\x2a\x00\x26\x00\xff\xff\x20\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"# happyTable :: HappyAddr -happyTable = HappyA# "\x00\x00\xae\xff\x82\x00\x30\x00\xae\xff\xae\xff\x84\x00\xae\xff\xa4\x00\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\x14\x00\x99\x00\x6a\x00\x15\x00\x2d\x00\x30\x00\x39\x00\x16\x00\x04\x00\x34\x00\x83\x00\xae\xff\xae\xff\xae\xff\x91\x00\x36\x00\x85\x00\x17\x00\x04\x00\x93\x00\x78\x00\x14\x00\x18\x00\x19\x00\x15\x00\x2e\x00\x57\x00\x1a\x00\x16\x00\x63\x00\x1b\x00\x67\x00\x94\x00\xab\x00\x04\x00\x1c\x00\x1d\x00\x72\x00\x17\x00\x04\x00\x74\x00\xaa\x00\x75\x00\x18\x00\x19\x00\x64\x00\x8e\x00\x72\x00\x1a\x00\x73\x00\x74\x00\x1b\x00\x75\x00\x1e\x00\x66\x00\x04\x00\x1c\x00\x1d\x00\x72\x00\x76\x00\x63\x00\x74\x00\x14\x00\x75\x00\xb1\x00\x2d\x00\xac\x00\x14\x00\x68\x00\x76\x00\x2d\x00\x04\x00\x1c\x00\x1d\x00\xad\x00\xb3\x00\x64\x00\x65\x00\x21\x00\x17\x00\x76\x00\x04\x00\x1c\x00\x1d\x00\x18\x00\x30\x00\x05\x00\x06\x00\x5d\x00\x18\x00\x33\x00\x5e\x00\x04\x00\x1c\x00\x1d\x00\xb0\x00\x04\x00\x1c\x00\x1d\x00\xb2\x00\x31\x00\x04\x00\x1c\x00\x1d\x00\x04\x00\x08\x00\x32\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x04\x00\x12\x00\x34\x00\x35\x00\x36\x00\x37\x00\xa9\x00\x6d\x00\x6e\x00\x6f\x00\x45\x00\x46\x00\xb2\x00\x04\x00\x05\x00\x06\x00\x97\x00\x08\x00\x70\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\xa3\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x98\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\xa5\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x9b\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\xa7\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x9f\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x9b\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\xa0\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x9d\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\xa1\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x8d\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\xa3\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x90\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x5d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x92\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x87\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x6c\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x8d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x7c\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x90\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x7e\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x78\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x7f\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x7a\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x80\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x7b\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x81\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x7c\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x49\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x7e\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x31\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x3a\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x29\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x59\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x2a\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x5a\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x07\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x5b\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x99\x00\x12\x00\x04\x00\x93\x00\x4a\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x94\x00\x95\x00\x04\x00\x9d\x00\x4b\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x3c\x00\x3d\x00\x3e\x00\x04\x00\x05\x00\x06\x00\x5e\x00\x4e\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x5c\x00\x04\x00\x04\x00\x04\x00\x05\x00\x06\x00\x4f\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x50\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x04\x00\x51\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x52\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x5f\x00\x60\x00\x04\x00\x05\x00\x06\x00\x61\x00\x53\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x63\x00\x04\x00\x05\x00\x06\x00\x62\x00\x04\x00\x05\x00\x06\x00\x4c\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x4d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x54\x00\x0f\x00\x10\x00\x11\x00\x55\x00\x0f\x00\x10\x00\x11\x00\x56\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x21\x00\x6d\x00\x6e\x00\x6f\x00\x04\x00\x87\x00\x6e\x00\x6f\x00\x2b\x00\x0f\x00\x10\x00\x11\x00\xa1\x00\x3a\x00\x11\x00\x88\x00\x89\x00\x87\x00\x6e\x00\x6f\x00\x87\x00\x6e\x00\x6f\x00\x8a\x00\xa6\x00\x6a\x00\x04\x00\x88\x00\x89\x00\x6c\x00\xaa\x00\x89\x00\x6d\x00\x6e\x00\x6f\x00\x8a\x00\x8b\x00\x26\x00\x27\x00\x22\x00\xac\x00\xff\xff\x28\x00\x70\x00\x48\x00\x23\x00\x76\x00\x04\x00\xad\x00\xae\x00\x3f\x00\x40\x00\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x22\x00\x1d\x00\x1e\x00\x1f\x00\x29\x00\x47\x00\x23\x00\x24\x00\x3a\x00\xff\xff\x04\x00\x49\x00\x00\x00\x00\x00\x00\x00\x00\x00\x21\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\xae\xff\x83\x00\xa5\x00\xae\xff\xae\xff\x85\x00\xae\xff\x9a\x00\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\xae\xff\x14\x00\x92\x00\x31\x00\x15\x00\x3a\x00\x31\x00\x2e\x00\x16\x00\x35\x00\x84\x00\x79\x00\xae\xff\xae\xff\xae\xff\x37\x00\x86\x00\x73\x00\x17\x00\x58\x00\x75\x00\xab\x00\x76\x00\x18\x00\x19\x00\x1a\x00\x68\x00\x14\x00\x2f\x00\x1b\x00\x15\x00\x69\x00\x1c\x00\x04\x00\x16\x00\x23\x00\x04\x00\x1d\x00\x1e\x00\x04\x00\x77\x00\x24\x00\x77\x00\x73\x00\x17\x00\x74\x00\x75\x00\x94\x00\x76\x00\x18\x00\x19\x00\x1a\x00\x04\x00\x1d\x00\x1e\x00\x1b\x00\x5e\x00\x94\x00\x1c\x00\x5f\x00\x95\x00\xac\x00\x04\x00\x1d\x00\x1e\x00\x14\x00\x77\x00\x64\x00\x2e\x00\x73\x00\x95\x00\x96\x00\x75\x00\x14\x00\x76\x00\x6b\x00\x2e\x00\x64\x00\x04\x00\x1d\x00\x1e\x00\xad\x00\x17\x00\x65\x00\x8f\x00\x22\x00\x04\x00\x18\x00\x19\x00\xae\x00\xb4\x00\xb1\x00\x77\x00\x65\x00\x66\x00\x18\x00\x19\x00\x31\x00\x05\x00\x06\x00\x04\x00\x1d\x00\x1e\x00\xb2\x00\x04\x00\x1d\x00\x1e\x00\xb3\x00\x04\x00\x1d\x00\x1e\x00\x04\x00\x32\x00\x04\x00\x05\x00\x06\x00\x04\x00\x08\x00\x33\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\xb3\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\xaa\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\xa4\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x98\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\xa6\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x99\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\xa8\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\xa0\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x9c\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\xa1\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x9e\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\xa2\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x8e\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\xa4\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x91\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x5e\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x93\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x88\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x6d\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x8e\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x7d\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x04\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x7f\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x91\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x80\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x04\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x81\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x79\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x82\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x04\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x4a\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x7b\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x32\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x7c\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x2a\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x7d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x2b\x00\x04\x00\x05\x00\x06\x00\x12\x00\x08\x00\x34\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x07\x00\x1e\x00\x1f\x00\x20\x00\x12\x00\x08\x00\x9a\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x9c\x00\x12\x00\x35\x00\x36\x00\x37\x00\x38\x00\x04\x00\x05\x00\x06\x00\xad\x00\x46\x00\x47\x00\x04\x00\x05\x00\x06\x00\x1f\x00\x67\x00\xae\x00\xaf\x00\x4b\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x9e\x00\x4c\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x4f\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x23\x00\x5f\x00\x7f\x00\x04\x00\x05\x00\x06\x00\x24\x00\x25\x00\x04\x00\x04\x00\x05\x00\x06\x00\x3d\x00\x3e\x00\x3f\x00\x04\x00\x05\x00\x06\x00\x3b\x00\x04\x00\x5a\x00\x5b\x00\x50\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x51\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x52\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x53\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x27\x00\x28\x00\x04\x00\x05\x00\x06\x00\x5c\x00\x5d\x00\x04\x00\x05\x00\x06\x00\x04\x00\x04\x00\x05\x00\x06\x00\x60\x00\x04\x00\x05\x00\x06\x00\x62\x00\x04\x00\x05\x00\x06\x00\x54\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x4d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x4e\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x55\x00\x0f\x00\x10\x00\x11\x00\x56\x00\x0f\x00\x10\x00\x11\x00\x57\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x88\x00\x6f\x00\x70\x00\x88\x00\x6f\x00\x70\x00\x6e\x00\x6f\x00\x70\x00\x61\x00\x89\x00\x8a\x00\x63\x00\xab\x00\x8a\x00\x64\x00\x04\x00\x71\x00\x8b\x00\xa7\x00\x22\x00\x2c\x00\x0f\x00\x10\x00\x11\x00\x04\x00\x3b\x00\x11\x00\x88\x00\x6f\x00\x70\x00\x6e\x00\x6f\x00\x70\x00\x6e\x00\x6f\x00\x70\x00\x6b\x00\x89\x00\x8a\x00\x6d\x00\x29\x00\xa2\x00\x04\x00\x2a\x00\x71\x00\x8b\x00\x8c\x00\x40\x00\x41\x00\x42\x00\x43\x00\x44\x00\x45\x00\x46\x00\x47\x00\xff\xff\x3b\x00\x48\x00\x49\x00\x4a\x00\xff\xff\x04\x00\x00\x00\x22\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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, 92) [ +happyReduceArr = array (2, 93) [ (2 , happyReduce_2), (3 , happyReduce_3), (4 , happyReduce_4), @@ -342,10 +342,11 @@ happyReduceArr = array (2, 92) [ (89 , happyReduce_89), (90 , happyReduce_90), (91 , happyReduce_91), - (92 , happyReduce_92) + (92 , happyReduce_92), + (93 , happyReduce_93) ] -happy_n_terms = 42 :: Int +happy_n_terms = 43 :: Int happy_n_nonterms = 36 :: Int happyReduce_2 = happySpecReduce_1 0# happyReduction_2 @@ -1071,8 +1072,14 @@ happyReduction_84 happy_x_1 (EInt happy_var_1 )} -happyReduce_85 = happySpecReduce_3 30# happyReduction_85 -happyReduction_85 happy_x_3 +happyReduce_85 = happySpecReduce_1 30# happyReduction_85 +happyReduction_85 happy_x_1 + = happyIn35 + (EMeta + ) + +happyReduce_86 = happySpecReduce_3 30# happyReduction_86 +happyReduction_86 happy_x_3 happy_x_2 happy_x_1 = case happyOut20 happy_x_2 of { happy_var_2 -> @@ -1080,8 +1087,8 @@ happyReduction_85 happy_x_3 (happy_var_2 )} -happyReduce_86 = happySpecReduce_3 31# happyReduction_86 -happyReduction_86 happy_x_3 +happyReduce_87 = happySpecReduce_3 31# happyReduction_87 +happyReduction_87 happy_x_3 happy_x_2 happy_x_1 = case happyOut5 happy_x_1 of { happy_var_1 -> @@ -1090,15 +1097,15 @@ happyReduction_86 happy_x_3 (FieldType happy_var_1 happy_var_3 )}} -happyReduce_87 = happySpecReduce_1 32# happyReduction_87 -happyReduction_87 happy_x_1 +happyReduce_88 = happySpecReduce_1 32# happyReduction_88 +happyReduction_88 happy_x_1 = case happyOut36 happy_x_1 of { happy_var_1 -> happyIn37 ((:[]) happy_var_1 )} -happyReduce_88 = happySpecReduce_3 32# happyReduction_88 -happyReduction_88 happy_x_3 +happyReduce_89 = happySpecReduce_3 32# happyReduction_89 +happyReduction_89 happy_x_3 happy_x_2 happy_x_1 = case happyOut36 happy_x_1 of { happy_var_1 -> @@ -1107,8 +1114,8 @@ happyReduction_88 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_89 = happySpecReduce_3 33# happyReduction_89 -happyReduction_89 happy_x_3 +happyReduce_90 = happySpecReduce_3 33# happyReduction_90 +happyReduction_90 happy_x_3 happy_x_2 happy_x_1 = case happyOut5 happy_x_1 of { happy_var_1 -> @@ -1117,15 +1124,15 @@ happyReduction_89 happy_x_3 (FieldValue happy_var_1 happy_var_3 )}} -happyReduce_90 = happySpecReduce_1 34# happyReduction_90 -happyReduction_90 happy_x_1 +happyReduce_91 = happySpecReduce_1 34# happyReduction_91 +happyReduction_91 happy_x_1 = case happyOut38 happy_x_1 of { happy_var_1 -> happyIn39 ((:[]) happy_var_1 )} -happyReduce_91 = happySpecReduce_3 34# happyReduction_91 -happyReduction_91 happy_x_3 +happyReduce_92 = happySpecReduce_3 34# happyReduction_92 +happyReduction_92 happy_x_3 happy_x_2 happy_x_1 = case happyOut38 happy_x_1 of { happy_var_1 -> @@ -1134,15 +1141,15 @@ happyReduction_91 happy_x_3 ((:) happy_var_1 happy_var_3 )}} -happyReduce_92 = happySpecReduce_1 35# happyReduction_92 -happyReduction_92 happy_x_1 +happyReduce_93 = happySpecReduce_1 35# happyReduction_93 +happyReduction_93 happy_x_1 = case happyOut25 happy_x_1 of { happy_var_1 -> happyIn40 (happy_var_1 )} happyNewToken action sts stk [] = - happyDoAction 41# (error "reading EOF!") action sts stk [] + happyDoAction 42# (error "reading EOF!") action sts stk [] happyNewToken action sts stk (tk:tks) = let cont i = happyDoAction i tk action sts stk tks in @@ -1171,22 +1178,23 @@ happyNewToken action sts stk (tk:tks) = PT _ (TS "/") -> cont 22#; PT _ (TS "%") -> cont 23#; PT _ (TS ".") -> cont 24#; - PT _ (TS "Type") -> cont 25#; - PT _ (TS "case") -> cont 26#; - PT _ (TS "data") -> cont 27#; - PT _ (TS "derive") -> cont 28#; - PT _ (TS "else") -> cont 29#; - PT _ (TS "if") -> cont 30#; - PT _ (TS "import") -> cont 31#; - PT _ (TS "in") -> cont 32#; - PT _ (TS "let") -> cont 33#; - PT _ (TS "of") -> cont 34#; - PT _ (TS "then") -> cont 35#; - PT _ (TS "where") -> cont 36#; - PT _ (TV happy_dollar_dollar) -> cont 37#; - PT _ (TL happy_dollar_dollar) -> cont 38#; - PT _ (TI happy_dollar_dollar) -> cont 39#; - _ -> cont 40#; + PT _ (TS "?") -> cont 25#; + PT _ (TS "Type") -> cont 26#; + PT _ (TS "case") -> cont 27#; + PT _ (TS "data") -> cont 28#; + PT _ (TS "derive") -> cont 29#; + PT _ (TS "else") -> cont 30#; + PT _ (TS "if") -> cont 31#; + PT _ (TS "import") -> cont 32#; + PT _ (TS "in") -> cont 33#; + PT _ (TS "let") -> cont 34#; + PT _ (TS "of") -> cont 35#; + PT _ (TS "then") -> cont 36#; + PT _ (TS "where") -> cont 37#; + PT _ (TV happy_dollar_dollar) -> cont 38#; + PT _ (TL happy_dollar_dollar) -> cont 39#; + PT _ (TI happy_dollar_dollar) -> cont 40#; + _ -> cont 41#; _ -> happyError' (tk:tks) } diff --git a/src/Transfer/Syntax/Par.y b/src/Transfer/Syntax/Par.y index d9bb771f6..42a8ec002 100644 --- a/src/Transfer/Syntax/Par.y +++ b/src/Transfer/Syntax/Par.y @@ -38,6 +38,7 @@ import Transfer.ErrM '/' { PT _ (TS "/") } '%' { PT _ (TS "%") } '.' { PT _ (TS ".") } + '?' { PT _ (TS "?") } 'Type' { PT _ (TS "Type") } 'case' { PT _ (TS "case") } 'data' { PT _ (TS "data") } @@ -225,6 +226,7 @@ Exp11 : '{' '}' { EEmptyRec } | 'Type' { EType } | String { EStr $1 } | Integer { EInt $1 } + | '?' { EMeta } | '(' Exp ')' { $2 } diff --git a/src/Transfer/Syntax/Print.hs b/src/Transfer/Syntax/Print.hs index ceaffa218..c9dcacdf5 100644 --- a/src/Transfer/Syntax/Print.hs +++ b/src/Transfer/Syntax/Print.hs @@ -125,6 +125,7 @@ instance Print (Tree c) where EType -> prPrec _i 11 (concatD [doc (showString "Type")]) EStr str -> prPrec _i 11 (concatD [prt 0 str]) EInt n -> prPrec _i 11 (concatD [prt 0 n]) + EMeta -> prPrec _i 11 (concatD [doc (showString "?")]) LetDef i exp0 exp1 -> prPrec _i 0 (concatD [prt 0 i , doc (showString ":") , prt 0 exp0 , doc (showString "=") , prt 0 exp1]) Case pattern exp -> prPrec _i 0 (concatD [prt 0 pattern , doc (showString "->") , prt 0 exp]) VVar i -> prPrec _i 0 (concatD [prt 0 i]) diff --git a/src/Transfer/Syntax/Skel.hs b/src/Transfer/Syntax/Skel.hs index 40152c998..4d2dd8f55 100644 --- a/src/Transfer/Syntax/Skel.hs +++ b/src/Transfer/Syntax/Skel.hs @@ -56,6 +56,7 @@ transTree t = case t of EType -> failure t EStr str -> failure t EInt n -> failure t + EMeta -> failure t LetDef i exp0 exp1 -> failure t Case pattern exp -> failure t VVar i -> failure t @@ -129,6 +130,7 @@ transExp t = case t of EType -> failure t EStr str -> failure t EInt n -> failure t + EMeta -> failure t transLetDef :: LetDef -> Result transLetDef t = case t of diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf index 54866508b..1c4ecb559 100644 --- a/src/Transfer/Syntax/Syntax.cf +++ b/src/Transfer/Syntax/Syntax.cf @@ -99,6 +99,7 @@ EVar. Exp11 ::= Ident ; EType. Exp11 ::= "Type" ; EStr. Exp11 ::= String ; EInt. Exp11 ::= Integer ; +EMeta. Exp11 ::= "?" ; coercions Exp 11 ; diff --git a/src/Transfer/SyntaxToCore.hs b/src/Transfer/SyntaxToCore.hs index ff11b35b6..637623c83 100644 --- a/src/Transfer/SyntaxToCore.hs +++ b/src/Transfer/SyntaxToCore.hs @@ -17,7 +17,10 @@ import Debug.Trace type C a = State CState a -type CState = Integer +data CState = CState { + nextVar :: Integer, + nextMeta :: Integer + } @@ -25,7 +28,8 @@ declsToCore :: [Decl] -> [Decl] declsToCore m = evalState (declsToCore_ m) newState declsToCore_ :: [Decl] -> C [Decl] -declsToCore_ = deriveDecls +declsToCore_ = numberMetas + >>> deriveDecls >>> replaceCons >>> compilePattDecls >>> desugar @@ -37,7 +41,25 @@ optimize = removeUnusedVariables >>> betaReduce newState :: CState -newState = 0 +newState = CState { + nextVar = 0, + nextMeta = 0 + } + +-- +-- * Number meta variables +-- + +numberMetas :: [Decl] -> C [Decl] +numberMetas = mapM f + where + f :: Tree a -> C (Tree a) + f t = case t of + EMeta -> do + st <- get + put (st { nextMeta = nextMeta st + 1}) + return $ EVar $ Ident $ "?" ++ show (nextMeta st) + _ -> composOpM f t -- -- * Pattern equations @@ -178,6 +200,7 @@ replaceCons ds = mapM f ds -- redexes produced here. EVar id | isCons id -> do let Just n = Map.lookup id cs + -- abstract n (apply t) vs <- freshIdents n let c = apply t (map EVar vs) return $ foldr (EAbs . VVar) c vs @@ -354,9 +377,9 @@ abstractType ts f = -- code, and which has not been generated before. freshIdent :: C Ident freshIdent = do - i <- get - put (i+1) - return (Ident ("x_"++show i)) + st <- get + put (st { nextVar = nextVar st + 1 }) + return (Ident ("x_"++show (nextVar st))) freshIdents :: Int -> C [Ident] freshIdents n = replicateM n freshIdent