diff --git a/lib/haskell/natural4/src/TextuaL4.cf b/lib/haskell/natural4/src/TextuaL4.cf index b2e72726a..3a9aa5dff 100644 --- a/lib/haskell/natural4/src/TextuaL4.cf +++ b/lib/haskell/natural4/src/TextuaL4.cf @@ -42,7 +42,7 @@ HornlikeMeans. Rule3 ::= Text "MEANS" BoolStruct ; -- because there is no MEANS that breaks the RelationalPredicate HornlikeDecide. Rule3 ::= "DECIDE" [HornClause] ; -- Only Hornlikes have GIVETH -HlikeGiveth. Rule3 ::= "GIVETH" IsA "DECIDE" [HornClause] ; +HlikeGiveth. Rule3 ::= "GIVETH" [IsA] "DECIDE" [HornClause] ; HeadBody. HornClause ::= RelationalPredicate "IF" BoolStruct ; HeadOtherwise. HornClause ::= RelationalPredicate "OTHERWISE" ; diff --git a/lib/haskell/natural4/src/TextuaL4/AbsTextuaL.hs b/lib/haskell/natural4/src/TextuaL4/AbsTextuaL.hs index 12d0b255e..5e10a3eb4 100644 --- a/lib/haskell/natural4/src/TextuaL4/AbsTextuaL.hs +++ b/lib/haskell/natural4/src/TextuaL4/AbsTextuaL.hs @@ -33,7 +33,7 @@ data Rule | RegWhoInline BoolStruct Who InlineHornlike Deontic BoolStruct | HornlikeMeans Text BoolStruct | HornlikeDecide [HornClause] - | HlikeGiveth IsA [HornClause] + | HlikeGiveth [IsA] [HornClause] deriving (C.Eq, C.Ord, C.Show, C.Read) data HornClause diff --git a/lib/haskell/natural4/src/TextuaL4/ParTextuaL.hs b/lib/haskell/natural4/src/TextuaL4/ParTextuaL.hs index 694275ddc..b106e80ad 100644 --- a/lib/haskell/natural4/src/TextuaL4/ParTextuaL.hs +++ b/lib/haskell/natural4/src/TextuaL4/ParTextuaL.hs @@ -250,7 +250,7 @@ happyOutTok x = Happy_GHC_Exts.unsafeCoerce# x happyExpList :: HappyAddr -happyExpList = HappyA# "\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x72\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x72\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x72\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x72\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x40\x00\x00\x00\x00\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x88\x06\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x20\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x20\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc4\x9b\x66\x68\x73\xa5\x0c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x84\x00\x02\x01\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc4\x9b\x66\x68\x73\xa5\x0c\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x40\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x8c\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x44\x00\x80\x00\x18\x01\x00\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x84\x00\x02\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# +happyExpList = HappyA# "\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x72\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x72\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x72\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x72\x00\x00\x00\x00\x04\x00\x98\x06\x00\x00\x00\x70\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x40\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x88\x06\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x20\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x20\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc4\x9b\x66\x68\x73\xa5\x0c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x84\x00\x02\x01\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc4\x9b\x66\x68\x73\xa5\x0c\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x40\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x20\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x8c\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x80\x00\x18\x01\x00\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x84\x00\x02\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x20\x01\x73\x80\x28\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x20\x21\x01\x73\x81\x68\x7c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x70\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"# {-# NOINLINE happyExpListPerState #-} happyExpListPerState st = @@ -266,22 +266,22 @@ happyExpListPerState st = f (Prelude.True, nr) = [token_strs Prelude.!! nr] happyActOffsets :: HappyAddr -happyActOffsets = HappyA# "\x3f\x00\x3f\x00\xd3\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd1\xff\x00\x00\x00\x00\xde\xff\xf7\xff\x3f\x00\x2b\x00\xd6\xff\x01\x00\xd6\xff\xd6\xff\xd6\xff\x00\x00\x00\x00\x00\x00\xdc\xff\xe7\xff\x3f\x00\x48\x00\x18\x00\x11\x00\x2d\x00\x2f\x00\x00\x00\x00\x00\x00\x00\x35\x00\x00\x00\xff\xff\x81\x00\x72\x00\x31\x00\x81\x00\x36\x00\x37\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x43\x00\x00\x00\x2c\x00\x49\x00\x00\x00\xfc\xff\x00\x00\x51\x00\x01\x00\x2b\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x2b\x00\x00\x00\xd6\xff\x01\x00\x00\x00\x01\x00\x01\x00\x52\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3a\x00\x00\x00\x00\x00\x29\x00\x2b\x00\x01\x00\x8a\x00\x00\x00\x00\x00\x00\x00\x01\x00\x01\x00\x61\x00\x62\x00\x00\x00\x00\x00\xd6\xff\xf8\xff\x2b\x00\x00\x00\x00\x00\x00\x00\xd6\xff\xd6\xff\x45\x00\x4e\x00\xd6\xff\x50\x00\x00\x00\x01\x00\x01\x00\x00\x00\x00\x00\x01\x00\x13\x00\x01\x00\x00\x00\x76\x00\x7b\x00\x00\x00\x00\x00\x00\x00\x87\x00\x7c\x00\x8b\x00\x8d\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x01\x00\x00\x00\x2b\x00\x00\x00\x01\x00\x00\x00\x8c\x00\x95\x00\xd6\xff\x00\x00\xd6\xff\xd6\xff\x00\x00\x00\x00\x00\x00\x00\x00\x96\x00\x00\x00\xd6\xff\xd6\xff\x00\x00\x00\x00\x00\x00\x98\x00\x00\x00\x00\x00\x00\x00\xd6\xff\x00\x00\x00\x00"# +happyActOffsets = HappyA# "\x3f\x00\x3f\x00\xd3\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd1\xff\x00\x00\x00\x00\xde\xff\xf7\xff\x3f\x00\x2b\x00\xd6\xff\x01\x00\xd6\xff\xd6\xff\xd6\xff\x00\x00\x00\x00\x00\x00\xdc\xff\xe7\xff\x3f\x00\x48\x00\x26\x00\x1c\x00\x14\x00\x2f\x00\x00\x00\x00\x00\x00\x00\x35\x00\x00\x00\xff\xff\x81\x00\x72\x00\x31\x00\x81\x00\x36\x00\x37\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x43\x00\x00\x00\x2c\x00\x49\x00\x00\x00\xfc\xff\x00\x00\x51\x00\x01\x00\x2b\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x2b\x00\x00\x00\xd6\xff\x01\x00\x00\x00\x01\x00\x01\x00\x52\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3a\x00\x00\x00\x00\x00\x29\x00\x2b\x00\x01\x00\x8a\x00\x00\x00\x00\x00\x00\x00\x01\x00\x01\x00\x61\x00\x62\x00\x00\x00\x00\x00\xf8\xff\x2b\x00\xd6\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd6\xff\xd6\xff\x45\x00\x4e\x00\xd6\xff\x50\x00\x01\x00\x01\x00\x00\x00\x00\x00\x01\x00\x13\x00\x01\x00\x00\x00\x76\x00\x7b\x00\x00\x00\x00\x00\x00\x00\x87\x00\x7c\x00\x8b\x00\x8d\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x01\x00\x00\x00\x2b\x00\x00\x00\x01\x00\x00\x00\x8c\x00\x95\x00\xd6\xff\x00\x00\xd6\xff\xd6\xff\x00\x00\x00\x00\x00\x00\x00\x00\x96\x00\x00\x00\xd6\xff\xd6\xff\x00\x00\x00\x00\x00\x00\x98\x00\x00\x00\x00\x00\x00\x00\xd6\xff\x00\x00\x00\x00"# happyGotoOffsets :: HappyAddr -happyGotoOffsets = HappyA# "\x17\x01\x7d\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa2\x01\xb4\x00\x1b\x02\x7a\x01\xd4\x00\x40\x02\x7d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7d\x02\xc2\x00\x00\x00\x00\x00\x00\x00\xc7\x01\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00\x00\x58\x00\xf3\xff\x00\x00\xa0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x82\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x93\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9f\x01\xd1\x00\x00\x00\x00\x00\x00\x00\xa7\x01\x00\x00\xee\x00\x00\x00\x61\x01\xc4\x01\x00\x00\xf6\x00\x13\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xce\x01\xeb\x01\x1b\x00\x00\x00\x00\x00\x00\x00\xf3\x01\x10\x02\x00\x00\x00\x00\x00\x00\x00\x00\xf7\x01\x00\x00\x30\x01\x00\x00\x00\x00\x00\x00\xf1\x00\x33\x01\x00\x00\x00\x00\xe5\x01\x00\x00\x00\x00\x38\x01\x55\x01\x00\x00\x00\x00\x18\x02\x8f\x00\x35\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3d\x02\x00\x00\x00\x00\x5d\x01\x00\x00\x5a\x02\x00\x00\x62\x02\x00\x00\x00\x00\x00\x00\xee\x01\x00\x00\x65\x02\x13\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x38\x02\x5d\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x89\x02\x00\x00\x00\x00"# +happyGotoOffsets = HappyA# "\x17\x01\x7d\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa2\x01\xb4\x00\x40\x02\x7a\x01\xd4\x00\x61\x01\x7d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7d\x02\xc2\x00\x00\x00\x00\x00\x00\x00\xc7\x01\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00\x00\x58\x00\xf3\xff\x00\x00\xa0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x82\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x93\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9f\x01\xd1\x00\x00\x00\x00\x00\x00\x00\xa7\x01\x00\x00\xee\x00\x00\x00\xf7\x01\xc4\x01\x00\x00\xf6\x00\x13\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xce\x01\xeb\x01\x1b\x00\x00\x00\x00\x00\x00\x00\xf3\x01\x10\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x01\x1c\x02\x00\x00\x00\x00\x00\x00\x00\x00\xf1\x00\x33\x01\x00\x00\x00\x00\xe5\x01\x00\x00\x38\x01\x55\x01\x00\x00\x00\x00\x18\x02\x8f\x00\x35\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3d\x02\x00\x00\x00\x00\x5d\x01\x00\x00\x5a\x02\x00\x00\x62\x02\x00\x00\x00\x00\x00\x00\xee\x01\x00\x00\x65\x02\x13\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x38\x02\x5d\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x89\x02\x00\x00\x00\x00"# happyAdjustOffset :: Happy_GHC_Exts.Int# -> Happy_GHC_Exts.Int# happyAdjustOffset off = off happyDefActions :: HappyAddr -happyDefActions = HappyA# "\x00\x00\x00\x00\x00\x00\xfd\xff\xc6\xff\xc5\xff\xc4\xff\x00\x00\xe8\xff\xe7\xff\xe5\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfb\xff\xfa\xff\xf9\xff\x00\x00\xf8\xff\x00\x00\x00\x00\x00\x00\xf0\xff\xed\xff\x00\x00\xca\xff\xcb\xff\xb9\xff\xc3\xff\xc9\xff\xcc\xff\xd1\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\xff\xc7\xff\xa0\xff\xa1\xff\xa2\xff\xa5\xff\xa3\xff\x00\x00\xa6\xff\xa7\xff\xc8\xff\x00\x00\xfc\xff\xea\xff\xd8\xff\xdd\xff\xd9\xff\xcc\xff\x00\x00\x00\x00\x00\x00\xe3\xff\xde\xff\xe2\xff\x00\x00\xda\xff\x00\x00\xe6\xff\x00\x00\x00\x00\xbb\xff\x00\x00\x00\x00\x00\x00\xa8\xff\xa9\xff\xb3\xff\xb2\xff\xb1\xff\xb0\xff\x9a\xff\x9d\xff\xac\xff\x9e\xff\x9c\xff\xb4\xff\xb5\xff\xaf\xff\xb6\xff\xad\xff\x9b\xff\xab\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd5\xff\xd6\xff\xd4\xff\x00\x00\x00\x00\x00\x00\x00\x00\xc2\xff\xe4\xff\x00\x00\x00\x00\x00\x00\xe9\xff\xf7\xff\xdc\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xec\xff\x00\x00\x00\x00\xd0\xff\xd3\xff\x00\x00\x00\x00\x00\x00\xe1\xff\xce\xff\x00\x00\xaa\xff\xae\xff\x9f\xff\xb8\xff\x00\x00\x00\x00\x00\x00\xeb\xff\xd7\xff\xdb\xff\x00\x00\xc1\xff\xbe\xff\x00\x00\xcf\xff\x00\x00\xd2\xff\x00\x00\xe0\xff\x00\x00\x00\x00\x00\x00\xf4\xff\x00\x00\x00\x00\xf5\xff\xf6\xff\xf2\xff\xf3\xff\xef\xff\xf1\xff\xbf\xff\xbd\xff\xdf\xff\xcd\xff\xb7\xff\x00\x00\xba\xff\xbc\xff\xc0\xff\x00\x00\xee\xff"# +happyDefActions = HappyA# "\x00\x00\x00\x00\x00\x00\xfd\xff\xc6\xff\xc5\xff\xc4\xff\x00\x00\xe8\xff\xe7\xff\xe5\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfb\xff\xfa\xff\xf9\xff\x00\x00\xf8\xff\x00\x00\x00\x00\xed\xff\x00\x00\xf0\xff\x00\x00\xca\xff\xcb\xff\xb9\xff\xc3\xff\xc9\xff\xcc\xff\xd1\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa4\xff\xc7\xff\xa0\xff\xa1\xff\xa2\xff\xa5\xff\xa3\xff\x00\x00\xa6\xff\xa7\xff\xc8\xff\x00\x00\xfc\xff\xea\xff\xd8\xff\xdd\xff\xd9\xff\xcc\xff\x00\x00\x00\x00\x00\x00\xe3\xff\xde\xff\xe2\xff\x00\x00\xda\xff\x00\x00\xe6\xff\x00\x00\x00\x00\xbb\xff\x00\x00\x00\x00\x00\x00\xa8\xff\xa9\xff\xb3\xff\xb2\xff\xb1\xff\xb0\xff\x9a\xff\x9d\xff\xac\xff\x9e\xff\x9c\xff\xb4\xff\xb5\xff\xaf\xff\xb6\xff\xad\xff\x9b\xff\xab\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd5\xff\xd6\xff\xd4\xff\x00\x00\x00\x00\x00\x00\x00\x00\xc2\xff\xe4\xff\x00\x00\x00\x00\x00\x00\xe9\xff\xf7\xff\xec\xff\xdc\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xd0\xff\xd3\xff\x00\x00\x00\x00\x00\x00\xe1\xff\xce\xff\x00\x00\xaa\xff\xae\xff\x9f\xff\xb8\xff\x00\x00\x00\x00\x00\x00\xeb\xff\xd7\xff\xdb\xff\x00\x00\xc1\xff\xbe\xff\x00\x00\xcf\xff\x00\x00\xd2\xff\x00\x00\xe0\xff\x00\x00\x00\x00\x00\x00\xf4\xff\x00\x00\x00\x00\xf5\xff\xf6\xff\xf2\xff\xf3\xff\xef\xff\xf1\xff\xbf\xff\xbd\xff\xdf\xff\xcd\xff\xb7\xff\x00\x00\xba\xff\xbc\xff\xc0\xff\x00\x00\xee\xff"# happyCheck :: HappyAddr -happyCheck = HappyA# "\xff\xff\x09\x00\x01\x00\x10\x00\x11\x00\x0d\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0c\x00\x39\x00\x0c\x00\x0f\x00\x3e\x00\x0f\x00\x3b\x00\x3c\x00\x3d\x00\x36\x00\x14\x00\x1e\x00\x1b\x00\x17\x00\x22\x00\x3e\x00\x15\x00\x16\x00\x17\x00\x18\x00\x38\x00\x1f\x00\x20\x00\x2a\x00\x2b\x00\x23\x00\x24\x00\x25\x00\x2f\x00\x27\x00\x2d\x00\x12\x00\x10\x00\x01\x00\x12\x00\x1d\x00\x2e\x00\x01\x00\x04\x00\x01\x00\x32\x00\x21\x00\x34\x00\x35\x00\x01\x00\x01\x00\x26\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x14\x00\x01\x00\x12\x00\x17\x00\x30\x00\x01\x00\x16\x00\x1a\x00\x18\x00\x19\x00\x01\x00\x1f\x00\x20\x00\x17\x00\x04\x00\x23\x00\x24\x00\x25\x00\x12\x00\x13\x00\x02\x00\x02\x00\x16\x00\x1c\x00\x18\x00\x19\x00\x2e\x00\x12\x00\x13\x00\x33\x00\x32\x00\x16\x00\x34\x00\x18\x00\x19\x00\x01\x00\x01\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x34\x00\x3b\x00\x3c\x00\x3d\x00\x28\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x1b\x00\x1c\x00\x1d\x00\x28\x00\x38\x00\x28\x00\x03\x00\x3b\x00\x3c\x00\x3d\x00\x02\x00\x02\x00\x02\x00\x03\x00\x04\x00\x01\x00\x3b\x00\x3c\x00\x3d\x00\x05\x00\x06\x00\x07\x00\x08\x00\x03\x00\x0a\x00\x0b\x00\x02\x00\x02\x00\x0e\x00\x03\x00\x10\x00\x11\x00\x21\x00\x17\x00\x14\x00\x15\x00\x02\x00\x26\x00\x03\x00\x02\x00\x1a\x00\x09\x00\x1c\x00\x1d\x00\x10\x00\x1f\x00\x20\x00\x30\x00\xff\xff\x23\x00\x24\x00\x25\x00\xff\xff\x27\x00\x37\x00\x29\x00\x21\x00\x22\x00\x2c\x00\xff\xff\x2e\x00\x26\x00\xff\xff\x31\x00\x32\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x30\x00\x1b\x00\x1c\x00\x1d\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0e\x00\x0f\x00\x02\x00\x03\x00\x04\x00\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x0b\x00\x0c\x00\x0d\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x17\x00\x06\x00\xff\xff\x08\x00\xff\xff\xff\xff\x0e\x00\x0f\x00\xff\xff\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\xff\xff\x17\x00\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x0e\x00\x0f\x00\xff\xff\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\xff\xff\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x02\x00\x03\x00\x04\x00\x05\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\x0b\x00\x0c\x00\x0d\x00\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x17\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x0e\x00\x0f\x00\xff\xff\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\xff\xff\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x02\x00\x03\x00\x04\x00\xff\xff\x06\x00\x13\x00\x08\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x17\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\xff\xff\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\xff\xff\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0c\x00\x0d\x00\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\xff\xff\x1c\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x02\x00\x03\x00\x04\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x02\x00\x03\x00\x04\x00\x17\x00\x06\x00\x13\x00\x08\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\xff\xff\x17\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\xff\xff\x06\x00\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\xff\xff\x06\x00\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x07\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\xff\xff\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\xff\xff\x1c\x00\x02\x00\x03\x00\x04\x00\x05\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x07\x00\xff\xff\xff\xff\xff\xff\x17\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x17\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"# +happyCheck = HappyA# "\xff\xff\x09\x00\x01\x00\x10\x00\x11\x00\x0d\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0c\x00\x39\x00\x0c\x00\x0f\x00\x3e\x00\x0f\x00\x3b\x00\x3c\x00\x3d\x00\x36\x00\x14\x00\x1e\x00\x1b\x00\x17\x00\x22\x00\x3e\x00\x15\x00\x16\x00\x17\x00\x18\x00\x38\x00\x1f\x00\x20\x00\x2a\x00\x2b\x00\x23\x00\x24\x00\x25\x00\x2f\x00\x27\x00\x2d\x00\x04\x00\x10\x00\x01\x00\x12\x00\x12\x00\x2e\x00\x01\x00\x1d\x00\x01\x00\x32\x00\x21\x00\x34\x00\x35\x00\x01\x00\x01\x00\x26\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x14\x00\x01\x00\x12\x00\x17\x00\x30\x00\x01\x00\x16\x00\x1a\x00\x18\x00\x19\x00\x01\x00\x1f\x00\x20\x00\x17\x00\x04\x00\x23\x00\x24\x00\x25\x00\x12\x00\x13\x00\x02\x00\x02\x00\x16\x00\x1c\x00\x18\x00\x19\x00\x2e\x00\x12\x00\x13\x00\x33\x00\x32\x00\x16\x00\x34\x00\x18\x00\x19\x00\x01\x00\x01\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x34\x00\x3b\x00\x3c\x00\x3d\x00\x28\x00\x39\x00\x3a\x00\x3b\x00\x3c\x00\x3d\x00\x1b\x00\x1c\x00\x1d\x00\x28\x00\x38\x00\x28\x00\x03\x00\x3b\x00\x3c\x00\x3d\x00\x02\x00\x02\x00\x02\x00\x03\x00\x04\x00\x01\x00\x3b\x00\x3c\x00\x3d\x00\x05\x00\x06\x00\x07\x00\x08\x00\x03\x00\x0a\x00\x0b\x00\x02\x00\x02\x00\x0e\x00\x03\x00\x10\x00\x11\x00\x21\x00\x17\x00\x14\x00\x15\x00\x02\x00\x26\x00\x03\x00\x02\x00\x1a\x00\x09\x00\x1c\x00\x1d\x00\x10\x00\x1f\x00\x20\x00\x30\x00\xff\xff\x23\x00\x24\x00\x25\x00\xff\xff\x27\x00\x37\x00\x29\x00\x21\x00\x22\x00\x2c\x00\xff\xff\x2e\x00\x26\x00\xff\xff\x31\x00\x32\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x30\x00\x1b\x00\x1c\x00\x1d\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0e\x00\x0f\x00\x02\x00\x03\x00\x04\x00\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x0b\x00\x0c\x00\x0d\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x17\x00\x06\x00\xff\xff\x08\x00\xff\xff\xff\xff\x0e\x00\x0f\x00\xff\xff\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\xff\xff\x17\x00\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x0e\x00\x0f\x00\xff\xff\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\xff\xff\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x02\x00\x03\x00\x04\x00\x05\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\x0b\x00\x0c\x00\x0d\x00\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x17\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x0e\x00\x0f\x00\xff\xff\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\xff\xff\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x02\x00\x03\x00\x04\x00\xff\xff\x06\x00\x13\x00\x08\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x17\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\xff\xff\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\xff\xff\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x0c\x00\x0d\x00\xff\xff\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\xff\xff\x1c\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\x02\x00\x03\x00\x04\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x02\x00\x03\x00\x04\x00\x17\x00\x06\x00\x13\x00\x08\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\xff\xff\x17\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\xff\xff\x02\x00\x03\x00\x04\x00\xff\xff\x06\x00\x13\x00\x08\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\xff\xff\x17\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\xff\xff\x06\x00\xff\xff\x13\x00\xff\xff\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\xff\xff\x1c\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\x00\x00\x01\x00\x02\x00\x03\x00\x04\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x07\x00\x13\x00\x14\x00\x15\x00\x16\x00\x17\x00\x18\x00\xff\xff\x17\x00\x13\x00\x1c\x00\x15\x00\x16\x00\x17\x00\x18\x00\x19\x00\x17\x00\xff\xff\x1c\x00\x02\x00\x03\x00\x04\x00\x05\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x02\x00\x03\x00\x04\x00\xff\xff\xff\xff\x07\x00\xff\xff\xff\xff\xff\xff\x17\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x17\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"# happyTable :: HappyAddr -happyTable = HappyA# "\x00\x00\x72\x00\x28\x00\x60\x00\x61\x00\x73\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x68\x00\x04\x00\x29\x00\x69\x00\xff\xff\x2a\x00\x14\x00\x15\x00\x16\x00\x3f\x00\x2b\x00\x74\x00\x43\x00\x2c\x00\x3e\x00\xff\xff\x21\x00\x22\x00\x3b\x00\x69\x00\x19\x00\x2d\x00\x2e\x00\x75\x00\x76\x00\x2f\x00\x30\x00\x31\x00\x77\x00\x32\x00\x44\x00\x6e\x00\x7c\x00\x28\x00\x7d\x00\x6d\x00\x33\x00\x0d\x00\x6c\x00\x60\x00\x34\x00\x63\x00\x35\x00\x36\x00\x4b\x00\x4a\x00\x64\x00\x04\x00\x37\x00\x14\x00\x15\x00\x16\x00\x2b\x00\x0d\x00\x0e\x00\x2c\x00\x65\x00\x48\x00\x10\x00\x47\x00\x11\x00\x12\x00\x0d\x00\x2d\x00\x2e\x00\x2c\x00\x45\x00\x2f\x00\x30\x00\x31\x00\x0e\x00\x0f\x00\x42\x00\x85\x00\x10\x00\x84\x00\x11\x00\x12\x00\x33\x00\x0e\x00\x0f\x00\x83\x00\x34\x00\x10\x00\x35\x00\x11\x00\x12\x00\x7a\x00\x79\x00\x04\x00\x37\x00\x14\x00\x15\x00\x16\x00\x35\x00\x14\x00\x15\x00\x16\x00\x9b\x00\x04\x00\x37\x00\x14\x00\x15\x00\x16\x00\x66\x00\x4c\x00\x4d\x00\x9a\x00\x13\x00\x98\x00\x92\x00\x14\x00\x15\x00\x16\x00\x91\x00\x8f\x00\x04\x00\x05\x00\x06\x00\x28\x00\x14\x00\x15\x00\x16\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x90\x00\x53\x00\x54\x00\x8e\x00\xa3\x00\x55\x00\x8d\x00\x56\x00\x57\x00\x63\x00\x19\x00\x2b\x00\x58\x00\xa2\x00\x64\x00\xab\x00\xa8\x00\x59\x00\x45\x00\x5a\x00\x5b\x00\x93\x00\x2d\x00\x2e\x00\x65\x00\x00\x00\x2f\x00\x30\x00\x31\x00\x00\x00\x5c\x00\x66\x00\x5d\x00\x63\x00\x7f\x00\x5e\x00\x00\x00\x33\x00\x64\x00\x00\x00\x5f\x00\x34\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x65\x00\x4b\x00\x4c\x00\x4d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x38\x00\x39\x00\x04\x00\x05\x00\x06\x00\x3a\x00\x00\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x6e\x00\x09\x00\x0a\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x0b\x00\x1c\x00\x00\x00\x1d\x00\x00\x00\x00\x00\x38\x00\x3f\x00\x00\x00\x00\x00\x00\x00\x3a\x00\x00\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x00\x00\x1b\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x38\x00\x8a\x00\x00\x00\x00\x00\x00\x00\x3a\x00\x00\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x00\x00\x9c\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\x87\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x16\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\x86\x00\x0b\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x38\x00\x70\x00\x00\x00\x00\x00\x00\x00\x3a\x00\x00\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x00\x00\x9b\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\x96\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x1c\x00\x20\x00\x89\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\x95\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\xa5\x00\x1b\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x0b\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x48\x00\x00\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x3c\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x40\x00\x0b\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x8b\x00\x00\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x6a\x00\x0a\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x88\x00\x0b\x00\x00\x00\x26\x00\x80\x00\x81\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x04\x00\x05\x00\x06\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x98\x00\x1c\x00\x20\x00\x77\x00\x21\x00\x22\x00\x23\x00\x24\x00\x7f\x00\xa0\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x7b\x00\x00\x00\x1b\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x00\x00\x37\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x7a\x00\x9d\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x94\x00\x1b\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x00\x00\x1a\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x92\x00\xa9\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\xa6\x00\x1b\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x9e\x00\x80\x00\xa4\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x00\x00\xa8\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\xa3\x00\x9f\x00\x00\x00\x26\x00\x04\x00\x05\x00\x06\x00\x6f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x08\x00\x09\x00\x0a\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\xab\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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\x73\x00\x28\x00\x60\x00\x61\x00\x74\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x68\x00\x04\x00\x29\x00\x69\x00\xff\xff\x2a\x00\x14\x00\x15\x00\x16\x00\x3f\x00\x2b\x00\x75\x00\x43\x00\x2c\x00\x3e\x00\xff\xff\x21\x00\x22\x00\x3b\x00\x69\x00\x19\x00\x2d\x00\x2e\x00\x76\x00\x77\x00\x2f\x00\x30\x00\x31\x00\x78\x00\x32\x00\x44\x00\x6e\x00\x7c\x00\x28\x00\x7d\x00\x6d\x00\x33\x00\x0d\x00\x6c\x00\x60\x00\x34\x00\x63\x00\x35\x00\x36\x00\x4b\x00\x4a\x00\x64\x00\x04\x00\x37\x00\x14\x00\x15\x00\x16\x00\x2b\x00\x0d\x00\x0e\x00\x2c\x00\x65\x00\x48\x00\x10\x00\x47\x00\x11\x00\x12\x00\x0d\x00\x2d\x00\x2e\x00\x2c\x00\x45\x00\x2f\x00\x30\x00\x31\x00\x0e\x00\x0f\x00\x42\x00\x85\x00\x10\x00\x84\x00\x11\x00\x12\x00\x33\x00\x0e\x00\x0f\x00\x83\x00\x34\x00\x10\x00\x35\x00\x11\x00\x12\x00\x7a\x00\x79\x00\x04\x00\x37\x00\x14\x00\x15\x00\x16\x00\x35\x00\x14\x00\x15\x00\x16\x00\x9b\x00\x04\x00\x37\x00\x14\x00\x15\x00\x16\x00\x66\x00\x4c\x00\x4d\x00\x9a\x00\x13\x00\x98\x00\x92\x00\x14\x00\x15\x00\x16\x00\x91\x00\x8f\x00\x04\x00\x05\x00\x06\x00\x28\x00\x14\x00\x15\x00\x16\x00\x4f\x00\x50\x00\x51\x00\x52\x00\x90\x00\x53\x00\x54\x00\x8e\x00\xa3\x00\x55\x00\x8d\x00\x56\x00\x57\x00\x63\x00\x19\x00\x2b\x00\x58\x00\xa2\x00\x64\x00\xab\x00\xa8\x00\x59\x00\x45\x00\x5a\x00\x5b\x00\x93\x00\x2d\x00\x2e\x00\x65\x00\x00\x00\x2f\x00\x30\x00\x31\x00\x00\x00\x5c\x00\x66\x00\x5d\x00\x63\x00\x7f\x00\x5e\x00\x00\x00\x33\x00\x64\x00\x00\x00\x5f\x00\x34\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x65\x00\x4b\x00\x4c\x00\x4d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x38\x00\x39\x00\x04\x00\x05\x00\x06\x00\x3a\x00\x00\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x6e\x00\x09\x00\x0a\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x0b\x00\x1a\x00\x00\x00\x1d\x00\x00\x00\x00\x00\x38\x00\x3f\x00\x00\x00\x00\x00\x00\x00\x3a\x00\x00\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x00\x00\x1c\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x38\x00\x8a\x00\x00\x00\x00\x00\x00\x00\x3a\x00\x00\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x00\x00\x9c\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\x87\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x16\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\x86\x00\x0b\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x38\x00\x71\x00\x00\x00\x00\x00\x00\x00\x3a\x00\x00\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x00\x00\x9b\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\x96\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x1a\x00\x20\x00\x1b\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\x95\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x85\x00\xa5\x00\x1c\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x07\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x25\x00\x0b\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x48\x00\x00\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x3c\x00\x08\x00\x09\x00\x0a\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x40\x00\x0b\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x8b\x00\x00\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x6a\x00\x0a\x00\x00\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x88\x00\x0b\x00\x00\x00\x26\x00\x80\x00\x81\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x04\x00\x05\x00\x06\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x98\x00\x1a\x00\x20\x00\x89\x00\x21\x00\x22\x00\x23\x00\x24\x00\x7f\x00\xa0\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x7b\x00\x00\x00\x1c\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x1a\x00\x20\x00\x70\x00\x21\x00\x22\x00\x23\x00\x24\x00\x7a\x00\x9d\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\x94\x00\x00\x00\x1c\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x00\x00\x37\x00\x00\x00\x20\x00\x00\x00\x21\x00\x22\x00\x23\x00\x24\x00\x92\x00\xa9\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\xa6\x00\x1c\x00\x00\x00\x26\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x1e\x00\x1f\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x9e\x00\x80\x00\xa4\x00\x21\x00\x22\x00\x3b\x00\x24\x00\x00\x00\xa8\x00\x20\x00\x26\x00\x21\x00\x22\x00\x23\x00\x24\x00\xa3\x00\x9f\x00\x00\x00\x26\x00\x04\x00\x05\x00\x06\x00\x6f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x17\x00\x08\x00\x09\x00\x0a\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\xab\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\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 = Happy_Data_Array.array (2, 101) [ (2 , happyReduce_2), @@ -709,7 +709,7 @@ happyReduction_35 (happy_x_4 `HappyStk` happy_x_2 `HappyStk` happy_x_1 `HappyStk` happyRest) - = case happyOut11 happy_x_2 of { (HappyWrap11 happy_var_2) -> + = case happyOut13 happy_x_2 of { (HappyWrap13 happy_var_2) -> case happyOut20 happy_x_4 of { (HappyWrap20 happy_var_4) -> happyIn18 (TextuaL4.AbsTextuaL.HlikeGiveth happy_var_2 happy_var_4 diff --git a/lib/haskell/natural4/src/TextuaL4/ParTextuaL.y b/lib/haskell/natural4/src/TextuaL4/ParTextuaL.y index e41d5c975..b3cf8706c 100644 --- a/lib/haskell/natural4/src/TextuaL4/ParTextuaL.y +++ b/lib/haskell/natural4/src/TextuaL4/ParTextuaL.y @@ -152,7 +152,7 @@ Rule3 | 'EVERY' BoolStruct Who InlineHornlike Deontic BoolStruct { TextuaL4.AbsTextuaL.RegWhoInline $2 $3 $4 $5 $6 } | Text 'MEANS' BoolStruct { TextuaL4.AbsTextuaL.HornlikeMeans $1 $3 } | 'DECIDE' ListHornClause { TextuaL4.AbsTextuaL.HornlikeDecide $2 } - | 'GIVETH' IsA 'DECIDE' ListHornClause { TextuaL4.AbsTextuaL.HlikeGiveth $2 $4 } + | 'GIVETH' ListIsA 'DECIDE' ListHornClause { TextuaL4.AbsTextuaL.HlikeGiveth $2 $4 } HornClause :: { TextuaL4.AbsTextuaL.HornClause } HornClause diff --git a/lib/haskell/natural4/src/TextuaL4/Transform.hs b/lib/haskell/natural4/src/TextuaL4/Transform.hs index 03000e170..7484add70 100644 --- a/lib/haskell/natural4/src/TextuaL4/Transform.hs +++ b/lib/haskell/natural4/src/TextuaL4/Transform.hs @@ -54,13 +54,15 @@ transRule x = case x of -- Only Hornlikes have GIVETH -- GIVETH foo (IS A bar) DECIDE relpred - TL4.HlikeGiveth giveth hhead -> + TL4.HlikeGiveth (giv:givs) hhead -> let simple = transRule $ TL4.HornlikeDecide hhead in simple { - giveth = Just $ isa2pt giveth + giveth = Just $ fmap isa2tm (giv :| givs) } --- TypeDecl + TL4.HlikeGiveth _ hhead -> transRule $ TL4.HornlikeDecide hhead + + -- TypeDecl -- DECLARE Foo (IS A Bar) (HAS …)? TL4.TypeDecl isa fields -> let isaRule = transIsA isa diff --git a/lib/haskell/natural4/test/LS/TextuaL4Spec.hs b/lib/haskell/natural4/test/LS/TextuaL4Spec.hs index 13c633dd9..50747b82e 100644 --- a/lib/haskell/natural4/test/LS/TextuaL4Spec.hs +++ b/lib/haskell/natural4/test/LS/TextuaL4Spec.hs @@ -36,6 +36,7 @@ goldenGeneric name output_ = Golden spec :: Spec spec = do describe "TextuaL4 output" do + test "GIVETH x ; y DECIDE x IS 5; y IS 4" "hornlike-2-giveths" test "GIVEN foo GIVETH bar DECIDE bar IS 1 > 2" "hornlike-given-giveth-1" test "GIVEN foo IS A Number GIVETH bar IS A Boolean DECIDE bar IS foo > 2" "hornlike-given-giveth-2" test "EVERY tame ANY (Person, Animal) WHO Qualifies MEANS ALL(walks, ANY(eats, drinks), climbs) MUST ANY (sing, dance)" "regulative-any-tame-person-animal" diff --git a/lib/haskell/natural4/test/testdata/golden/hornlike-2-giveths.expected b/lib/haskell/natural4/test/testdata/golden/hornlike-2-giveths.expected new file mode 100644 index 000000000..e8f550ad6 --- /dev/null +++ b/lib/haskell/natural4/test/testdata/golden/hornlike-2-giveths.expected @@ -0,0 +1,47 @@ +Hornlike + { name = + [ MTT "x" ] + , super = Nothing + , keyword = Decide + , given = Nothing + , giveth = Just + ( + ( MTT "x" :| [] + , Nothing + ) :| + [ + ( MTT "y" :| [] + , Nothing + ) + ] + ) + , upon = Nothing + , clauses = + [ HC + { hHead = RPConstraint + [ MTT "x" ] RPis + [ MTI 5 ] + , hBody = Nothing + } + , HC + { hHead = RPConstraint + [ MTT "y" ] RPis + [ MTI 4 ] + , hBody = Nothing + } + ] + , rlabel = Nothing + , lsource = Nothing + , wwhere = [] + , srcref = Just + ( SrcRef + { url = "test/Spec" + , short = "test/Spec" + , srcrow = 1 + , srccol = 1 + , version = Nothing + } + ) + , defaults = [] + , symtab = [] + } \ No newline at end of file