{-# OPTIONS_GHC -w #-}
{-# LANGUAGE CPP #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE PatternGuards #-}
{-# LANGUAGE NoStrictData #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE OverloadedStrings #-}
module Language.Cimple.CommentParser
    ( parseComment
    ) where

import           Data.Fix                    (Fix (..))
import           Data.Text                   (Text)
import qualified Data.Text                   as Text
import           Data.List                   (dropWhile)

import           Language.Cimple.Ast         (Comment, CommentF (..))
import           Language.Cimple.DescribeAst (describeLexeme, sloc)
import           Language.Cimple.Lexer       (AlexPosn (..), Lexeme (..))
import           Language.Cimple.ParseResult (ParseResult)
import           Language.Cimple.Tokens      (LexemeClass (..))
import qualified Control.Monad as Happy_Prelude
import qualified Data.Bool as Happy_Prelude
import qualified Data.Function as Happy_Prelude
import qualified Data.Int as Happy_Prelude
import qualified Data.List as Happy_Prelude
import qualified Data.Maybe as Happy_Prelude
import qualified Data.String as Happy_Prelude
import qualified Data.Tuple as Happy_Prelude
import qualified GHC.Err as Happy_Prelude
import qualified GHC.Num as Happy_Prelude
import qualified Text.Show as Happy_Prelude
import qualified Data.Array as Happy_Data_Array
import qualified Data.Bits as Bits
import qualified GHC.Exts as Happy_GHC_Exts
import Control.Applicative(Applicative(..))
import Control.Monad (ap)

-- parser produced by Happy Version 2.1.6

newtype HappyAbsSyn  = HappyAbsSyn HappyAny
#if __GLASGOW_HASKELL__ >= 607
type HappyAny = Happy_GHC_Exts.Any
#else
type HappyAny = forall a . a
#endif
newtype HappyWrap5 = HappyWrap5 (NonTerm)
happyIn5 :: (NonTerm) -> (HappyAbsSyn )
happyIn5 :: NonTerm -> HappyAbsSyn
happyIn5 NonTerm
x = HappyWrap5 -> HappyAbsSyn
Happy_GHC_Exts.unsafeCoerce# (NonTerm -> HappyWrap5
HappyWrap5 NonTerm
x)
{-# INLINE happyIn5 #-}
happyOut5 :: (HappyAbsSyn ) -> HappyWrap5
happyOut5 :: HappyAbsSyn -> HappyWrap5
happyOut5 HappyAbsSyn
x = HappyAbsSyn -> HappyWrap5
Happy_GHC_Exts.unsafeCoerce# HappyAbsSyn
x
{-# INLINE happyOut5 #-}
newtype HappyWrap6 = HappyWrap6 ([NonTerm])
happyIn6 :: ([NonTerm]) -> (HappyAbsSyn )
happyIn6 :: [NonTerm] -> HappyAbsSyn
happyIn6 [NonTerm]
x = HappyWrap6 -> HappyAbsSyn
Happy_GHC_Exts.unsafeCoerce# ([NonTerm] -> HappyWrap6
HappyWrap6 [NonTerm]
x)
{-# INLINE happyIn6 #-}
happyOut6 :: (HappyAbsSyn ) -> HappyWrap6
happyOut6 :: HappyAbsSyn -> HappyWrap6
happyOut6 HappyAbsSyn
x = HappyAbsSyn -> HappyWrap6
Happy_GHC_Exts.unsafeCoerce# HappyAbsSyn
x
{-# INLINE happyOut6 #-}
newtype HappyWrap7 = HappyWrap7 (NonTerm)
happyIn7 :: (NonTerm) -> (HappyAbsSyn )
happyIn7 :: NonTerm -> HappyAbsSyn
happyIn7 NonTerm
x = HappyWrap7 -> HappyAbsSyn
Happy_GHC_Exts.unsafeCoerce# (NonTerm -> HappyWrap7
HappyWrap7 NonTerm
x)
{-# INLINE happyIn7 #-}
happyOut7 :: (HappyAbsSyn ) -> HappyWrap7
happyOut7 :: HappyAbsSyn -> HappyWrap7
happyOut7 HappyAbsSyn
x = HappyAbsSyn -> HappyWrap7
Happy_GHC_Exts.unsafeCoerce# HappyAbsSyn
x
{-# INLINE happyOut7 #-}
newtype HappyWrap8 = HappyWrap8 ([NonTerm])
happyIn8 :: ([NonTerm]) -> (HappyAbsSyn )
happyIn8 :: [NonTerm] -> HappyAbsSyn
happyIn8 [NonTerm]
x = HappyWrap8 -> HappyAbsSyn
Happy_GHC_Exts.unsafeCoerce# ([NonTerm] -> HappyWrap8
HappyWrap8 [NonTerm]
x)
{-# INLINE happyIn8 #-}
happyOut8 :: (HappyAbsSyn ) -> HappyWrap8
happyOut8 :: HappyAbsSyn -> HappyWrap8
happyOut8 HappyAbsSyn
x = HappyAbsSyn -> HappyWrap8
Happy_GHC_Exts.unsafeCoerce# HappyAbsSyn
x
{-# INLINE happyOut8 #-}
newtype HappyWrap9 = HappyWrap9 (NonTerm)
happyIn9 :: (NonTerm) -> (HappyAbsSyn )
happyIn9 :: NonTerm -> HappyAbsSyn
happyIn9 NonTerm
x = HappyWrap9 -> HappyAbsSyn
Happy_GHC_Exts.unsafeCoerce# (NonTerm -> HappyWrap9
HappyWrap9 NonTerm
x)
{-# INLINE happyIn9 #-}
happyOut9 :: (HappyAbsSyn ) -> HappyWrap9
happyOut9 :: HappyAbsSyn -> HappyWrap9
happyOut9 HappyAbsSyn
x = HappyAbsSyn -> HappyWrap9
Happy_GHC_Exts.unsafeCoerce# HappyAbsSyn
x
{-# INLINE happyOut9 #-}
newtype HappyWrap10 = HappyWrap10 (NonTerm)
happyIn10 :: (NonTerm) -> (HappyAbsSyn )
happyIn10 :: NonTerm -> HappyAbsSyn
happyIn10 NonTerm
x = HappyWrap10 -> HappyAbsSyn
Happy_GHC_Exts.unsafeCoerce# (NonTerm -> HappyWrap10
HappyWrap10 NonTerm
x)
{-# INLINE happyIn10 #-}
happyOut10 :: (HappyAbsSyn ) -> HappyWrap10
happyOut10 :: HappyAbsSyn -> HappyWrap10
happyOut10 HappyAbsSyn
x = HappyAbsSyn -> HappyWrap10
Happy_GHC_Exts.unsafeCoerce# HappyAbsSyn
x
{-# INLINE happyOut10 #-}
newtype HappyWrap11 = HappyWrap11 ([NonTerm])
happyIn11 :: ([NonTerm]) -> (HappyAbsSyn )
happyIn11 :: [NonTerm] -> HappyAbsSyn
happyIn11 [NonTerm]
x = HappyWrap11 -> HappyAbsSyn
Happy_GHC_Exts.unsafeCoerce# ([NonTerm] -> HappyWrap11
HappyWrap11 [NonTerm]
x)
{-# INLINE happyIn11 #-}
happyOut11 :: (HappyAbsSyn ) -> HappyWrap11
happyOut11 :: HappyAbsSyn -> HappyWrap11
happyOut11 HappyAbsSyn
x = HappyAbsSyn -> HappyWrap11
Happy_GHC_Exts.unsafeCoerce# HappyAbsSyn
x
{-# INLINE happyOut11 #-}
newtype HappyWrap12 = HappyWrap12 (NonTerm)
happyIn12 :: (NonTerm) -> (HappyAbsSyn )
happyIn12 :: NonTerm -> HappyAbsSyn
happyIn12 NonTerm
x = HappyWrap12 -> HappyAbsSyn
Happy_GHC_Exts.unsafeCoerce# (NonTerm -> HappyWrap12
HappyWrap12 NonTerm
x)
{-# INLINE happyIn12 #-}
happyOut12 :: (HappyAbsSyn ) -> HappyWrap12
happyOut12 :: HappyAbsSyn -> HappyWrap12
happyOut12 HappyAbsSyn
x = HappyAbsSyn -> HappyWrap12
Happy_GHC_Exts.unsafeCoerce# HappyAbsSyn
x
{-# INLINE happyOut12 #-}
happyInTok :: (Term) -> (HappyAbsSyn )
happyInTok :: Term -> HappyAbsSyn
happyInTok Term
x = Term -> HappyAbsSyn
Happy_GHC_Exts.unsafeCoerce# Term
x
{-# INLINE happyInTok #-}
happyOutTok :: (HappyAbsSyn ) -> (Term)
happyOutTok :: HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
x = HappyAbsSyn -> Term
Happy_GHC_Exts.unsafeCoerce# HappyAbsSyn
x
{-# INLINE happyOutTok #-}


{-# NOINLINE happyTokenStrings #-}
happyTokenStrings :: [String]
happyTokenStrings = [String
"'@attention'",String
"'@brief'",String
"'@deprecated'",String
"'@file'",String
"'@extends'",String
"'@implements'",String
"'@note'",String
"'@param'",String
"'@private'",String
"'@ref'",String
"'@p'",String
"'@return'",String
"'@retval'",String
"'@section'",String
"'@subsection'",String
"'@see'",String
"'@security_rank'",String
"'@code'",String
"'@endcode'",String
"'/n'",String
"'/**'",String
"'*/'",String
"' '",String
"'('",String
"')'",String
"','",String
"'[in]'",String
"TOKEN",String
"%eof"]

happyActOffsets :: HappyAddr
happyActOffsets :: HappyAddr
happyActOffsets = Addr# -> HappyAddr
HappyA# Addr#
"\x05\x00\x00\x00\x1c\x00\x00\x00\x1b\x00\x00\x00\x20\x00\x00\x00\x1b\x00\x00\x00\x3a\x00\x00\x00\x1b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x21\x00\x00\x00\x40\x00\x00\x00\x00\x00\x00\x00\x32\x00\x00\x00\x00\x00\x00\x00\x41\x00\x00\x00\x42\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x43\x00\x00\x00\x45\x00\x00\x00\x46\x00\x00\x00\x37\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\x49\x00\x00\x00\x00\x00\x00\x00\x4b\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\x47\x00\x00\x00\x4a\x00\x00\x00\x4c\x00\x00\x00\x4d\x00\x00\x00\x4f\x00\x00\x00\x51\x00\x00\x00\x52\x00\x00\x00\x53\x00\x00\x00\x54\x00\x00\x00\x55\x00\x00\x00\x00\x00\x00\x00\xff\xff\xff\xff\x56\x00\x00\x00\xff\xff\xff\xff\x5b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x57\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x58\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x5d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x59\x00\x00\x00\x38\x00\x00\x00\x00\x00\x00\x00\x5f\x00\x00\x00\x5c\x00\x00\x00\x5e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"#

happyGotoOffsets :: HappyAddr
happyGotoOffsets :: HappyAddr
happyGotoOffsets = Addr# -> HappyAddr
HappyA# Addr#
"\x61\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x00\x00\x00\x2c\x00\x00\x00\x00\x00\x00\x00\x48\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x4e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x50\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3f\x00\x00\x00\x00\x00\x00\x00\x44\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"#

happyDefActions :: HappyAddr
happyDefActions :: HappyAddr
happyDefActions = Addr# -> HappyAddr
HappyA# Addr#
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf9\xff\xff\xff\x00\x00\x00\x00\xf9\xff\xff\xff\xf2\xff\xff\xff\xf1\xff\xff\xff\xf0\xff\xff\xff\xef\xff\xff\xff\xee\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\xeb\xff\xff\xff\x00\x00\x00\x00\xe8\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\xe5\xff\xff\xff\xe4\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xdd\xff\xff\xff\xf6\xff\xff\xff\xf5\xff\xff\xff\xf4\xff\xff\xff\xf3\xff\xff\xff\xf7\xff\xff\xff\x00\x00\x00\x00\xfe\xff\xff\xff\x00\x00\x00\x00\xdd\xff\xff\xff\xd6\xff\xff\xff\xda\xff\xff\xff\xd9\xff\xff\xff\xd8\xff\xff\xff\xd7\xff\xff\xff\xdb\xff\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\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xf8\xff\xff\xff\xf9\xff\xff\xff\x00\x00\x00\x00\xf9\xff\xff\xff\x00\x00\x00\x00\xed\xff\xff\xff\xec\xff\xff\xff\x00\x00\x00\x00\xe9\xff\xff\xff\xe7\xff\xff\xff\xe6\xff\xff\xff\xe3\xff\xff\xff\xe2\xff\xff\xff\xe1\xff\xff\xff\x00\x00\x00\x00\xdc\xff\xff\xff\xde\xff\xff\xff\x00\x00\x00\x00\xea\xff\xff\xff\xfa\xff\xff\xff\xfb\xff\xff\xff\xfd\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\xe0\xff\xff\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xdf\xff\xff\xff"#

happyCheck :: HappyAddr
happyCheck :: HappyAddr
happyCheck = Addr# -> HappyAddr
HappyA# Addr#
"\xff\xff\xff\xff\x02\x00\x00\x00\x03\x00\x00\x00\x04\x00\x00\x00\x05\x00\x00\x00\x06\x00\x00\x00\x07\x00\x00\x00\x08\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x00\x00\x0b\x00\x00\x00\x0c\x00\x00\x00\x0d\x00\x00\x00\x0e\x00\x00\x00\x0f\x00\x00\x00\x10\x00\x00\x00\x11\x00\x00\x00\x12\x00\x00\x00\x13\x00\x00\x00\x03\x00\x00\x00\x04\x00\x00\x00\x05\x00\x00\x00\x17\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x1b\x00\x00\x00\x16\x00\x00\x00\x1d\x00\x00\x00\x02\x00\x00\x00\x03\x00\x00\x00\x04\x00\x00\x00\x05\x00\x00\x00\x06\x00\x00\x00\x07\x00\x00\x00\x08\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x00\x00\x0b\x00\x00\x00\x0c\x00\x00\x00\x0d\x00\x00\x00\x0e\x00\x00\x00\x0f\x00\x00\x00\x10\x00\x00\x00\x11\x00\x00\x00\x12\x00\x00\x00\x13\x00\x00\x00\x03\x00\x00\x00\x04\x00\x00\x00\x05\x00\x00\x00\x16\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x1b\x00\x00\x00\x15\x00\x00\x00\x1d\x00\x00\x00\x18\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x1b\x00\x00\x00\x1e\x00\x00\x00\x1d\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x03\x00\x00\x00\x04\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x03\x00\x00\x00\x04\x00\x00\x00\x05\x00\x00\x00\x18\x00\x00\x00\x03\x00\x00\x00\x04\x00\x00\x00\x05\x00\x00\x00\x1c\x00\x00\x00\x15\x00\x00\x00\x19\x00\x00\x00\x17\x00\x00\x00\x1a\x00\x00\x00\x1b\x00\x00\x00\x06\x00\x00\x00\x07\x00\x00\x00\x06\x00\x00\x00\x07\x00\x00\x00\x18\x00\x00\x00\x18\x00\x00\x00\x18\x00\x00\x00\x18\x00\x00\x00\xff\xff\xff\xff\x18\x00\x00\x00\x18\x00\x00\x00\x14\x00\x00\x00\x17\x00\x00\x00\x00\x00\x00\x00\xff\xff\xff\xff\xff\xff\xff\xff\x1d\x00\x00\x00\xff\xff\xff\xff\xff\xff\xff\xff\x1d\x00\x00\x00\xff\xff\xff\xff\x1d\x00\x00\x00\x1d\x00\x00\x00\x18\x00\x00\x00\x1d\x00\x00\x00\x17\x00\x00\x00\x1d\x00\x00\x00\x1d\x00\x00\x00\x15\x00\x00\x00\x1d\x00\x00\x00\x1d\x00\x00\x00\x1b\x00\x00\x00\x1d\x00\x00\x00\x18\x00\x00\x00\x1d\x00\x00\x00\x18\x00\x00\x00\x1a\x00\x00\x00\x1d\x00\x00\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"#

happyTable :: HappyAddr
happyTable :: HappyAddr
happyTable = Addr# -> HappyAddr
HappyA# Addr#
"\x00\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x00\x00\x0b\x00\x00\x00\x0c\x00\x00\x00\x0d\x00\x00\x00\x0e\x00\x00\x00\x0f\x00\x00\x00\x10\x00\x00\x00\x11\x00\x00\x00\x12\x00\x00\x00\x13\x00\x00\x00\x14\x00\x00\x00\x15\x00\x00\x00\x16\x00\x00\x00\x17\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x1f\x00\x00\x00\x06\x00\x00\x00\x07\x00\x00\x00\xfc\xff\xff\xff\x1b\x00\x00\x00\x1c\x00\x00\x00\x1d\x00\x00\x00\x1e\x00\x00\x00\x05\x00\x00\x00\x1f\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x00\x00\x0b\x00\x00\x00\x0c\x00\x00\x00\x0d\x00\x00\x00\x0e\x00\x00\x00\x0f\x00\x00\x00\x10\x00\x00\x00\x11\x00\x00\x00\x12\x00\x00\x00\x13\x00\x00\x00\x14\x00\x00\x00\x15\x00\x00\x00\x16\x00\x00\x00\x17\x00\x00\x00\x18\x00\x00\x00\x19\x00\x00\x00\x1a\x00\x00\x00\x05\x00\x00\x00\x06\x00\x00\x00\x07\x00\x00\x00\x03\x00\x00\x00\x1b\x00\x00\x00\x1c\x00\x00\x00\x1d\x00\x00\x00\x1e\x00\x00\x00\x24\x00\x00\x00\x1f\x00\x00\x00\x33\x00\x00\x00\x25\x00\x00\x00\x26\x00\x00\x00\x27\x00\x00\x00\x28\x00\x00\x00\xff\xff\xff\xff\x29\x00\x00\x00\x35\x00\x00\x00\x36\x00\x00\x00\x37\x00\x00\x00\x06\x00\x00\x00\x07\x00\x00\x00\x47\x00\x00\x00\x36\x00\x00\x00\x37\x00\x00\x00\x06\x00\x00\x00\x07\x00\x00\x00\x30\x00\x00\x00\x33\x00\x00\x00\x06\x00\x00\x00\x07\x00\x00\x00\x31\x00\x00\x00\x35\x00\x00\x00\x2a\x00\x00\x00\x21\x00\x00\x00\x4c\x00\x00\x00\x4d\x00\x00\x00\x21\x00\x00\x00\x22\x00\x00\x00\x42\x00\x00\x00\x22\x00\x00\x00\x32\x00\x00\x00\x2f\x00\x00\x00\x2e\x00\x00\x00\x2d\x00\x00\x00\x00\x00\x00\x00\x2c\x00\x00\x00\x2b\x00\x00\x00\x44\x00\x00\x00\x21\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x42\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x41\x00\x00\x00\x00\x00\x00\x00\x40\x00\x00\x00\x3f\x00\x00\x00\x3b\x00\x00\x00\x3e\x00\x00\x00\x49\x00\x00\x00\x3d\x00\x00\x00\x3c\x00\x00\x00\x47\x00\x00\x00\x3a\x00\x00\x00\x39\x00\x00\x00\x45\x00\x00\x00\x46\x00\x00\x00\x4a\x00\x00\x00\x4b\x00\x00\x00\x4e\x00\x00\x00\x50\x00\x00\x00\x4f\x00\x00\x00\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
  Int
  (Int#
   -> Term
   -> Int#
   -> Happy_IntList
   -> HappyStk HappyAbsSyn
   -> [Term]
   -> ParseResult HappyAbsSyn)
happyReduceArr = (Int, Int)
-> [(Int,
     Int#
     -> Term
     -> Int#
     -> Happy_IntList
     -> HappyStk HappyAbsSyn
     -> [Term]
     -> ParseResult HappyAbsSyn)]
-> Array
     Int
     (Int#
      -> Term
      -> Int#
      -> Happy_IntList
      -> HappyStk HappyAbsSyn
      -> [Term]
      -> ParseResult HappyAbsSyn)
forall i e. Ix i => (i, i) -> [(i, e)] -> Array i e
Happy_Data_Array.array (Int
1, Int
41) [
        (Int
1 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_1),
        (Int
2 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_2),
        (Int
3 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_3),
        (Int
4 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_4),
        (Int
5 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_5),
        (Int
6 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_6),
        (Int
7 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_7),
        (Int
8 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_8),
        (Int
9 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_9),
        (Int
10 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_10),
        (Int
11 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_11),
        (Int
12 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_12),
        (Int
13 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_13),
        (Int
14 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_14),
        (Int
15 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_15),
        (Int
16 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_16),
        (Int
17 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_17),
        (Int
18 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_18),
        (Int
19 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_19),
        (Int
20 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_20),
        (Int
21 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_21),
        (Int
22 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_22),
        (Int
23 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_23),
        (Int
24 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_24),
        (Int
25 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_25),
        (Int
26 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_26),
        (Int
27 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_27),
        (Int
28 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_28),
        (Int
29 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_29),
        (Int
30 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_30),
        (Int
31 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_31),
        (Int
32 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_32),
        (Int
33 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_33),
        (Int
34 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_34),
        (Int
35 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_35),
        (Int
36 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_36),
        (Int
37 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_37),
        (Int
38 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_38),
        (Int
39 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_39),
        (Int
40 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_40),
        (Int
41 , Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_41)
        ]

happyRuleArr :: HappyAddr
happyRuleArr :: HappyAddr
happyRuleArr = Addr# -> HappyAddr
HappyA# Addr#
"\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x02\x00\x00\x00\x02\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x02\x00\x00\x00\x04\x00\x00\x00\x01\x00\x00\x00\x04\x00\x00\x00\x01\x00\x00\x00\x04\x00\x00\x00\x01\x00\x00\x00\x04\x00\x00\x00\x01\x00\x00\x00\x04\x00\x00\x00\x01\x00\x00\x00\x04\x00\x00\x00\x01\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x05\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x05\x00\x00\x00\x04\x00\x00\x00\x05\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x05\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x05\x00\x00\x00\x01\x00\x00\x00\x05\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x03\x00\x00\x00\x05\x00\x00\x00\x07\x00\x00\x00\x05\x00\x00\x00\x0a\x00\x00\x00\x05\x00\x00\x00\x03\x00\x00\x00\x06\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x02\x00\x00\x00\x07\x00\x00\x00\x01\x00\x00\x00\x07\x00\x00\x00\x01\x00\x00\x00\x07\x00\x00\x00\x01\x00\x00\x00\x07\x00\x00\x00\x01\x00\x00\x00\x07\x00\x00\x00\x01\x00\x00\x00\x07\x00\x00\x00\x01\x00\x00\x00"#

happyCatchStates :: [Happy_Prelude.Int]
happyCatchStates :: [Int]
happyCatchStates = []

happy_n_terms :: Int
happy_n_terms = Int
31 :: Happy_Prelude.Int
happy_n_nonterms :: Int
happy_n_nonterms = Int
8 :: Happy_Prelude.Int

happy_n_starts :: Int
happy_n_starts = Int
1 :: Happy_Prelude.Int

happyReduce_1 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_1 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
0# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p p. p -> HappyAbsSyn -> p -> HappyAbsSyn
happyReduction_1
happyReduction_1 :: p -> HappyAbsSyn -> p -> HappyAbsSyn
happyReduction_1 p
happy_x_3
        HappyAbsSyn
happy_x_2
        p
happy_x_1
         =  case HappyAbsSyn -> HappyWrap8
happyOut8 HappyAbsSyn
happy_x_2 of { (HappyWrap8 [NonTerm]
happy_var_2) -> 
        NonTerm -> HappyAbsSyn
happyIn5
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ [NonTerm] -> CommentF Term NonTerm
forall lexeme a. [a] -> CommentF lexeme a
DocComment [CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix ([NonTerm] -> CommentF Term NonTerm
forall lexeme a. [a] -> CommentF lexeme a
DocLine [NonTerm]
happy_var_2)]
        )}

happyReduce_2 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_2 = Int#
-> Int#
-> (HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce Int#
5# Int#
0# HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
happyReduction_2
happyReduction_2 :: HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
happyReduction_2 (HappyAbsSyn
happy_x_5 `HappyStk`
        HappyAbsSyn
happy_x_4 `HappyStk`
        HappyAbsSyn
happy_x_3 `HappyStk`
        HappyAbsSyn
happy_x_2 `HappyStk`
        HappyAbsSyn
happy_x_1 `HappyStk`
        HappyStk HappyAbsSyn
happyRest)
         = case HappyAbsSyn -> HappyWrap8
happyOut8 HappyAbsSyn
happy_x_2 of { (HappyWrap8 [NonTerm]
happy_var_2) -> 
        case HappyAbsSyn -> HappyWrap6
happyOut6 HappyAbsSyn
happy_x_4 of { (HappyWrap6 [NonTerm]
happy_var_4) -> 
        NonTerm -> HappyAbsSyn
happyIn5
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ [NonTerm] -> CommentF Term NonTerm
forall lexeme a. [a] -> CommentF lexeme a
DocComment (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix ([NonTerm] -> CommentF Term NonTerm
forall lexeme a. [a] -> CommentF lexeme a
DocLine [NonTerm]
happy_var_2) NonTerm -> [NonTerm] -> [NonTerm]
forall k1. k1 -> [k1] -> [k1]
: [NonTerm]
happy_var_4)
        ) HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
happyRest}}

happyReduce_3 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_3 = Int#
-> HappyAbsSyn
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_0  Int#
1# HappyAbsSyn
happyReduction_3
happyReduction_3 :: HappyAbsSyn
happyReduction_3  =  [NonTerm] -> HappyAbsSyn
happyIn6
                 ([]
        )

happyReduce_4 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_4 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_2  Int#
1# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
happyReduction_4
happyReduction_4 :: HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
happyReduction_4 HappyAbsSyn
happy_x_2
        HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> HappyWrap7
happyOut7 HappyAbsSyn
happy_x_1 of { (HappyWrap7 NonTerm
happy_var_1) -> 
        case HappyAbsSyn -> HappyWrap6
happyOut6 HappyAbsSyn
happy_x_2 of { (HappyWrap6 [NonTerm]
happy_var_2) -> 
        [NonTerm] -> HappyAbsSyn
happyIn6
                 (NonTerm
happy_var_1 NonTerm -> [NonTerm] -> [NonTerm]
forall k1. k1 -> [k1] -> [k1]
: [NonTerm]
happy_var_2
        )}}

happyReduce_5 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_5 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_2  Int#
2# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p. p -> HappyAbsSyn -> HappyAbsSyn
happyReduction_5
happyReduction_5 :: p -> HappyAbsSyn -> HappyAbsSyn
happyReduction_5 p
happy_x_2
        HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> HappyWrap8
happyOut8 HappyAbsSyn
happy_x_1 of { (HappyWrap8 [NonTerm]
happy_var_1) -> 
        NonTerm -> HappyAbsSyn
happyIn7
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ [NonTerm] -> CommentF Term NonTerm
forall lexeme a. [a] -> CommentF lexeme a
DocLine [NonTerm]
happy_var_1
        )}

happyReduce_6 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_6 = Int#
-> HappyAbsSyn
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_0  Int#
3# HappyAbsSyn
happyReduction_6
happyReduction_6 :: HappyAbsSyn
happyReduction_6  =  [NonTerm] -> HappyAbsSyn
happyIn8
                 ([]
        )

happyReduce_7 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_7 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_2  Int#
3# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
happyReduction_7
happyReduction_7 :: HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
happyReduction_7 HappyAbsSyn
happy_x_2
        HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> HappyWrap9
happyOut9 HappyAbsSyn
happy_x_1 of { (HappyWrap9 NonTerm
happy_var_1) -> 
        case HappyAbsSyn -> HappyWrap8
happyOut8 HappyAbsSyn
happy_x_2 of { (HappyWrap8 [NonTerm]
happy_var_2) -> 
        [NonTerm] -> HappyAbsSyn
happyIn8
                 (NonTerm
happy_var_1 NonTerm -> [NonTerm] -> [NonTerm]
forall k1. k1 -> [k1] -> [k1]
: [NonTerm]
happy_var_2
        )}}

happyReduce_8 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_8 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
4# HappyAbsSyn -> HappyAbsSyn
happyReduction_8
happyReduction_8 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_8 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn9
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_9 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_9 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
4# HappyAbsSyn -> HappyAbsSyn
happyReduction_9
happyReduction_9 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_9 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn9
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_10 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_10 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
4# HappyAbsSyn -> HappyAbsSyn
happyReduction_10
happyReduction_10 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_10 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn9
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_11 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_11 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
4# HappyAbsSyn -> HappyAbsSyn
happyReduction_11
happyReduction_11 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_11 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn9
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_12 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_12 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
4# HappyAbsSyn -> HappyAbsSyn
happyReduction_12
happyReduction_12 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_12 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn9
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_13 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_13 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
4# HappyAbsSyn -> HappyAbsSyn
happyReduction_13
happyReduction_13 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_13 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> HappyWrap10
happyOut10 HappyAbsSyn
happy_x_1 of { (HappyWrap10 NonTerm
happy_var_1) -> 
        NonTerm -> HappyAbsSyn
happyIn9
                 (NonTerm
happy_var_1
        )}

happyReduce_14 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_14 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
5# HappyAbsSyn -> HappyAbsSyn
forall p. p -> HappyAbsSyn
happyReduction_14
happyReduction_14 :: p -> HappyAbsSyn
happyReduction_14 p
happy_x_1
         =  NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix CommentF Term NonTerm
forall lexeme a. CommentF lexeme a
DocAttention
        )

happyReduce_15 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_15 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
5# HappyAbsSyn -> HappyAbsSyn
forall p. p -> HappyAbsSyn
happyReduction_15
happyReduction_15 :: p -> HappyAbsSyn
happyReduction_15 p
happy_x_1
         =  NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix CommentF Term NonTerm
forall lexeme a. CommentF lexeme a
DocBrief
        )

happyReduce_16 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_16 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
5# HappyAbsSyn -> HappyAbsSyn
forall p. p -> HappyAbsSyn
happyReduction_16
happyReduction_16 :: p -> HappyAbsSyn
happyReduction_16 p
happy_x_1
         =  NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix CommentF Term NonTerm
forall lexeme a. CommentF lexeme a
DocDeprecated
        )

happyReduce_17 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_17 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
5# HappyAbsSyn -> HappyAbsSyn
forall p. p -> HappyAbsSyn
happyReduction_17
happyReduction_17 :: p -> HappyAbsSyn
happyReduction_17 p
happy_x_1
         =  NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix CommentF Term NonTerm
forall lexeme a. CommentF lexeme a
DocFile
        )

happyReduce_18 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_18 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
5# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p p. HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_18
happyReduction_18 :: HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_18 HappyAbsSyn
happy_x_3
        p
happy_x_2
        p
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocExtends Term
happy_var_3
        )}

happyReduce_19 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_19 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
5# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p p. HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_19
happyReduction_19 :: HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_19 HappyAbsSyn
happy_x_3
        p
happy_x_2
        p
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocImplements Term
happy_var_3
        )}

happyReduce_20 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_20 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
5# HappyAbsSyn -> HappyAbsSyn
forall p. p -> HappyAbsSyn
happyReduction_20
happyReduction_20 :: p -> HappyAbsSyn
happyReduction_20 p
happy_x_1
         =  NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix CommentF Term NonTerm
forall lexeme a. CommentF lexeme a
DocNote
        )

happyReduce_21 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_21 = Int#
-> Int#
-> (HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce Int#
4# Int#
5# HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
happyReduction_21
happyReduction_21 :: HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
happyReduction_21 (HappyAbsSyn
happy_x_4 `HappyStk`
        HappyAbsSyn
happy_x_3 `HappyStk`
        HappyAbsSyn
happy_x_2 `HappyStk`
        HappyAbsSyn
happy_x_1 `HappyStk`
        HappyStk HappyAbsSyn
happyRest)
         = case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_2 of { Term
happy_var_2 -> 
        case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_4 of { Term
happy_var_4 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Maybe Term -> Term -> CommentF Term NonTerm
forall lexeme a. Maybe lexeme -> lexeme -> CommentF lexeme a
DocParam (Term -> Maybe Term
forall k1. k1 -> Maybe k1
Just Term
happy_var_2) Term
happy_var_4
        ) HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
happyRest}}

happyReduce_22 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_22 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
5# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p p. HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_22
happyReduction_22 :: HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_22 HappyAbsSyn
happy_x_3
        p
happy_x_2
        p
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Maybe Term -> Term -> CommentF Term NonTerm
forall lexeme a. Maybe lexeme -> lexeme -> CommentF lexeme a
DocParam Maybe Term
forall k1. Maybe k1
Nothing Term
happy_var_3
        )}

happyReduce_23 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_23 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
5# HappyAbsSyn -> HappyAbsSyn
forall p. p -> HappyAbsSyn
happyReduction_23
happyReduction_23 :: p -> HappyAbsSyn
happyReduction_23 p
happy_x_1
         =  NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix CommentF Term NonTerm
forall lexeme a. CommentF lexeme a
DocPrivate
        )

happyReduce_24 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_24 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
5# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p p. HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_24
happyReduction_24 :: HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_24 HappyAbsSyn
happy_x_3
        p
happy_x_2
        p
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocRef Term
happy_var_3
        )}

happyReduce_25 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_25 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
5# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p p. HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_25
happyReduction_25 :: HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_25 HappyAbsSyn
happy_x_3
        p
happy_x_2
        p
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocP Term
happy_var_3
        )}

happyReduce_26 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_26 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
5# HappyAbsSyn -> HappyAbsSyn
forall p. p -> HappyAbsSyn
happyReduction_26
happyReduction_26 :: p -> HappyAbsSyn
happyReduction_26 p
happy_x_1
         =  NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix CommentF Term NonTerm
forall lexeme a. CommentF lexeme a
DocReturn
        )

happyReduce_27 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_27 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
5# HappyAbsSyn -> HappyAbsSyn
forall p. p -> HappyAbsSyn
happyReduction_27
happyReduction_27 :: p -> HappyAbsSyn
happyReduction_27 p
happy_x_1
         =  NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix CommentF Term NonTerm
forall lexeme a. CommentF lexeme a
DocRetval
        )

happyReduce_28 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_28 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
5# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p p. HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_28
happyReduction_28 :: HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_28 HappyAbsSyn
happy_x_3
        p
happy_x_2
        p
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocSection Term
happy_var_3
        )}

happyReduce_29 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_29 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
5# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p p. HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_29
happyReduction_29 :: HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_29 HappyAbsSyn
happy_x_3
        p
happy_x_2
        p
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocSubsection Term
happy_var_3
        )}

happyReduce_30 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_30 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
5# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
forall p p. HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_30
happyReduction_30 :: HappyAbsSyn -> p -> p -> HappyAbsSyn
happyReduction_30 HappyAbsSyn
happy_x_3
        p
happy_x_2
        p
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocSee Term
happy_var_3
        )}

happyReduce_31 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_31 = Int#
-> Int#
-> (HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce Int#
7# Int#
5# HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
happyReduction_31
happyReduction_31 :: HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
happyReduction_31 (HappyAbsSyn
happy_x_7 `HappyStk`
        HappyAbsSyn
happy_x_6 `HappyStk`
        HappyAbsSyn
happy_x_5 `HappyStk`
        HappyAbsSyn
happy_x_4 `HappyStk`
        HappyAbsSyn
happy_x_3 `HappyStk`
        HappyAbsSyn
happy_x_2 `HappyStk`
        HappyAbsSyn
happy_x_1 `HappyStk`
        HappyStk HappyAbsSyn
happyRest)
         = case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_6 of { Term
happy_var_6 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> Maybe Term -> Term -> CommentF Term NonTerm
forall lexeme a.
lexeme -> Maybe lexeme -> lexeme -> CommentF lexeme a
DocSecurityRank Term
happy_var_3 Maybe Term
forall k1. Maybe k1
Nothing Term
happy_var_6
        ) HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
happyRest}}

happyReduce_32 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_32 = Int#
-> Int#
-> (HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce Int#
10# Int#
5# HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
happyReduction_32
happyReduction_32 :: HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
happyReduction_32 (HappyAbsSyn
happy_x_10 `HappyStk`
        HappyAbsSyn
happy_x_9 `HappyStk`
        HappyAbsSyn
happy_x_8 `HappyStk`
        HappyAbsSyn
happy_x_7 `HappyStk`
        HappyAbsSyn
happy_x_6 `HappyStk`
        HappyAbsSyn
happy_x_5 `HappyStk`
        HappyAbsSyn
happy_x_4 `HappyStk`
        HappyAbsSyn
happy_x_3 `HappyStk`
        HappyAbsSyn
happy_x_2 `HappyStk`
        HappyAbsSyn
happy_x_1 `HappyStk`
        HappyStk HappyAbsSyn
happyRest)
         = case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_6 of { Term
happy_var_6 -> 
        case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_9 of { Term
happy_var_9 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> Maybe Term -> Term -> CommentF Term NonTerm
forall lexeme a.
lexeme -> Maybe lexeme -> lexeme -> CommentF lexeme a
DocSecurityRank Term
happy_var_3 (Term -> Maybe Term
forall k1. k1 -> Maybe k1
Just Term
happy_var_6) Term
happy_var_9
        ) HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
happyRest}}}

happyReduce_33 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_33 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3  Int#
5# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
happyReduction_33
happyReduction_33 :: HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
happyReduction_33 HappyAbsSyn
happy_x_3
        HappyAbsSyn
happy_x_2
        HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        case HappyAbsSyn -> HappyWrap11
happyOut11 HappyAbsSyn
happy_x_2 of { (HappyWrap11 [NonTerm]
happy_var_2) -> 
        case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_3 of { Term
happy_var_3 -> 
        NonTerm -> HappyAbsSyn
happyIn10
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> [NonTerm] -> Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> [a] -> lexeme -> CommentF lexeme a
DocCode Term
happy_var_1 [NonTerm]
happy_var_2 Term
happy_var_3
        )}}}

happyReduce_34 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_34 = Int#
-> HappyAbsSyn
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_0  Int#
6# HappyAbsSyn
happyReduction_34
happyReduction_34 :: HappyAbsSyn
happyReduction_34  =  [NonTerm] -> HappyAbsSyn
happyIn11
                 ([]
        )

happyReduce_35 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_35 = Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_2  Int#
6# HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
happyReduction_35
happyReduction_35 :: HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
happyReduction_35 HappyAbsSyn
happy_x_2
        HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> HappyWrap12
happyOut12 HappyAbsSyn
happy_x_1 of { (HappyWrap12 NonTerm
happy_var_1) -> 
        case HappyAbsSyn -> HappyWrap11
happyOut11 HappyAbsSyn
happy_x_2 of { (HappyWrap11 [NonTerm]
happy_var_2) -> 
        [NonTerm] -> HappyAbsSyn
happyIn11
                 (NonTerm
happy_var_1 NonTerm -> [NonTerm] -> [NonTerm]
forall k1. k1 -> [k1] -> [k1]
: [NonTerm]
happy_var_2
        )}}

happyReduce_36 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_36 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
7# HappyAbsSyn -> HappyAbsSyn
happyReduction_36
happyReduction_36 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_36 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn12
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_37 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_37 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
7# HappyAbsSyn -> HappyAbsSyn
happyReduction_37
happyReduction_37 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_37 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn12
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_38 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_38 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
7# HappyAbsSyn -> HappyAbsSyn
happyReduction_38
happyReduction_38 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_38 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn12
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_39 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_39 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
7# HappyAbsSyn -> HappyAbsSyn
happyReduction_39
happyReduction_39 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_39 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn12
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_40 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_40 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
7# HappyAbsSyn -> HappyAbsSyn
happyReduction_40
happyReduction_40 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_40 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn12
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyReduce_41 :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce_41 = Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1  Int#
7# HappyAbsSyn -> HappyAbsSyn
happyReduction_41
happyReduction_41 :: HappyAbsSyn -> HappyAbsSyn
happyReduction_41 HappyAbsSyn
happy_x_1
         =  case HappyAbsSyn -> Term
happyOutTok HappyAbsSyn
happy_x_1 of { Term
happy_var_1 -> 
        NonTerm -> HappyAbsSyn
happyIn12
                 (CommentF Term NonTerm -> NonTerm
forall (f :: * -> *). f (Fix f) -> Fix f
Fix (CommentF Term NonTerm -> NonTerm)
-> CommentF Term NonTerm -> NonTerm
forall a b. (a -> b) -> a -> b
$ Term -> CommentF Term NonTerm
forall lexeme a. lexeme -> CommentF lexeme a
DocWord Term
happy_var_1
        )}

happyTerminalToTok :: Lexeme a -> Int#
happyTerminalToTok Lexeme a
term = case Lexeme a
term of {
        L AlexPosn
_ LexemeClass
CmtCommand a
"@attention" -> Int#
2#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@brief" -> Int#
3#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@deprecated" -> Int#
4#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@file" -> Int#
5#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@extends" -> Int#
6#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@implements" -> Int#
7#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@note" -> Int#
8#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@param" -> Int#
9#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@private" -> Int#
10#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@ref" -> Int#
11#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@p" -> Int#
12#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@return" -> Int#
13#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@retval" -> Int#
14#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@section" -> Int#
15#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@subsection" -> Int#
16#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@see" -> Int#
17#;
        L AlexPosn
_ LexemeClass
CmtCommand a
"@security_rank" -> Int#
18#;
        L AlexPosn
_ LexemeClass
CmtCode	 a
"@code" -> Int#
19#;
        L AlexPosn
_ LexemeClass
CmtCode	 a
"@endcode" -> Int#
20#;
        L AlexPosn
_ LexemeClass
PpNewline				a
_ -> Int#
21#;
        L AlexPosn
_ LexemeClass
CmtStartDoc			a
_ -> Int#
22#;
        L AlexPosn
_ LexemeClass
CmtEnd				a
_ -> Int#
23#;
        L AlexPosn
_ LexemeClass
CmtSpace				a
_ -> Int#
24#;
        L AlexPosn
_ LexemeClass
PctLParen				a
_ -> Int#
25#;
        L AlexPosn
_ LexemeClass
PctRParen				a
_ -> Int#
26#;
        L AlexPosn
_ LexemeClass
PctComma				a
_ -> Int#
27#;
        L AlexPosn
_ LexemeClass
CmtAttr				a
_ -> Int#
28#;
        L AlexPosn
_ LexemeClass
_					a
_ -> Int#
29#;
        Lexeme a
_ -> Int#
-1#;
        }
{-# NOINLINE happyTerminalToTok #-}

happyLex :: (t -> [a] -> p)
-> (Int# -> Lexeme a -> [Lexeme a] -> p) -> [Lexeme a] -> p
happyLex t -> [a] -> p
kend  Int# -> Lexeme a -> [Lexeme a] -> p
_kmore []       = t -> [a] -> p
kend t
forall a. a
notHappyAtAll []
happyLex t -> [a] -> p
_kend Int# -> Lexeme a -> [Lexeme a] -> p
kmore  (Lexeme a
tk:[Lexeme a]
tks) = Int# -> Lexeme a -> [Lexeme a] -> p
kmore (Lexeme a -> Int#
forall a. (Eq a, IsString a) => Lexeme a -> Int#
happyTerminalToTok Lexeme a
tk) Lexeme a
tk [Lexeme a]
tks
{-# INLINE happyLex #-}

happyNewToken :: Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyNewToken Int#
action Happy_IntList
sts HappyStk HappyAbsSyn
stk = (Any -> [Term] -> ParseResult HappyAbsSyn)
-> (Int# -> Term -> [Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a t a p.
(Eq a, IsString a) =>
(t -> [a] -> p)
-> (Int# -> Lexeme a -> [Lexeme a] -> p) -> [Lexeme a] -> p
happyLex (\Any
tk -> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyDoAction Int#
30# Term
forall a. a
notHappyAtAll Int#
action Happy_IntList
sts HappyStk HappyAbsSyn
stk) (\Int#
i Term
tk -> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyDoAction Int#
i Term
tk Int#
action Happy_IntList
sts HappyStk HappyAbsSyn
stk)

happyReport :: Int#
-> Term
-> [String]
-> ([Term] -> ParseResult a)
-> [Term]
-> ParseResult a
happyReport Int#
30# Term
tk [String]
explist [Term] -> ParseResult a
resume [Term]
tks = [Term] -> [String] -> ([Term] -> ParseResult a) -> ParseResult a
forall a.
[Term] -> [String] -> ([Term] -> ParseResult a) -> ParseResult a
happyReport' [Term]
tks [String]
explist [Term] -> ParseResult a
resume
happyReport Int#
_ Term
tk [String]
explist [Term] -> ParseResult a
resume [Term]
tks = [Term] -> [String] -> ([Term] -> ParseResult a) -> ParseResult a
forall a.
[Term] -> [String] -> ([Term] -> ParseResult a) -> ParseResult a
happyReport' (Term
tkTerm -> [Term] -> [Term]
forall k1. k1 -> [k1] -> [k1]
:[Term]
tks) [String]
explist (\[Term]
tks -> [Term] -> ParseResult a
resume ([Term] -> [Term]
forall a. [a] -> [a]
Happy_Prelude.tail [Term]
tks))


happyThen :: () => (ParseResult a) -> (a -> (ParseResult b)) -> (ParseResult b)
happyThen :: ParseResult a -> (a -> ParseResult b) -> ParseResult b
happyThen = ParseResult a -> (a -> ParseResult b) -> ParseResult b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
(Happy_Prelude.>>=)
happyReturn :: () => a -> (ParseResult a)
happyReturn :: a -> ParseResult a
happyReturn = (a -> ParseResult a
forall (m :: * -> *) a. Monad m => a -> m a
Happy_Prelude.return)
happyThen1 :: m t -> (t -> t -> m b) -> t -> m b
happyThen1 m t
m t -> t -> m b
k t
tks = m t -> (t -> m b) -> m b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
(Happy_Prelude.>>=) m t
m (\t
a -> t -> t -> m b
k t
a t
tks)
happyFmap1 :: (t -> b) -> (t -> ParseResult t) -> t -> ParseResult b
happyFmap1 t -> b
f t -> ParseResult t
m t
tks = ParseResult t -> (t -> ParseResult b) -> ParseResult b
forall a b. ParseResult a -> (a -> ParseResult b) -> ParseResult b
happyThen (t -> ParseResult t
m t
tks) (\t
a -> b -> ParseResult b
forall a. a -> ParseResult a
happyReturn (t -> b
f t
a))
happyReturn1 :: () => a -> b -> (ParseResult a)
happyReturn1 :: a -> b -> ParseResult a
happyReturn1 = \a
a b
tks -> (a -> ParseResult a
forall (m :: * -> *) a. Monad m => a -> m a
Happy_Prelude.return) a
a
happyReport' :: () => [(Term)] -> [Happy_Prelude.String] -> ([(Term)] -> (ParseResult a)) -> (ParseResult a)
happyReport' :: [Term] -> [String] -> ([Term] -> ParseResult a) -> ParseResult a
happyReport' = (\[Term]
tokens [String]
expected [Term] -> ParseResult a
resume -> (([Term], [String]) -> ParseResult a
forall a. ([Term], [String]) -> ParseResult a
parseError) ([Term]
tokens, [String]
expected))

happyAbort :: () => [(Term)] -> (ParseResult a)
happyAbort :: [Term] -> ParseResult a
happyAbort = String -> [Term] -> ParseResult a
forall a. HasCallStack => String -> a
Happy_Prelude.error String
"Called abort handler in non-resumptive parser"

parseComment :: [Term] -> ParseResult NonTerm
parseComment [Term]
tks = ParseResult NonTerm
happySomeParser where
 happySomeParser :: ParseResult NonTerm
happySomeParser = ParseResult HappyAbsSyn
-> (HappyAbsSyn -> ParseResult NonTerm) -> ParseResult NonTerm
forall a b. ParseResult a -> (a -> ParseResult b) -> ParseResult b
happyThen (Int# -> [Term] -> ParseResult HappyAbsSyn
happyParse Int#
0# [Term]
tks) (\HappyAbsSyn
x -> NonTerm -> ParseResult NonTerm
forall a. a -> ParseResult a
happyReturn (let {(HappyWrap5 NonTerm
x') = HappyAbsSyn -> HappyWrap5
happyOut5 HappyAbsSyn
x} in NonTerm
x'))

happySeq :: a -> b -> b
happySeq = a -> b -> b
forall a b. a -> b -> b
happyDontSeq


type Term = Lexeme Text
type NonTerm = Comment Term

failAt :: Lexeme Text -> String -> ParseResult a
failAt :: Term -> String -> ParseResult a
failAt Term
n String
msg =
    String -> ParseResult a
forall (m :: * -> *) a. MonadFail m => String -> m a
fail (String -> ParseResult a) -> String -> ParseResult a
forall a b. (a -> b) -> a -> b
$ Text -> String
Text.unpack (String -> Term -> Text
forall a. HasLocation a => String -> a -> Text
sloc String
"" Term
n) String -> String -> String
forall a. Semigroup a => a -> a -> a
<> String
": unexpected in comment: " String -> String -> String
forall a. Semigroup a => a -> a -> a
<> Term -> String
forall a. Show a => Lexeme a -> String
describeLexeme Term
n String -> String -> String
forall a. Semigroup a => a -> a -> a
<> String
msg

parseError :: ([Lexeme Text], [String]) -> ParseResult a
parseError :: ([Term], [String]) -> ParseResult a
parseError ([], [String]
options)  = String -> ParseResult a
forall (m :: * -> *) a. MonadFail m => String -> m a
fail (String -> ParseResult a) -> String -> ParseResult a
forall a b. (a -> b) -> a -> b
$ String
" end of comment; expected one of " String -> String -> String
forall a. Semigroup a => a -> a -> a
<> [String] -> String
forall a. Show a => a -> String
show [String]
options
parseError (Term
n:[Term]
_, [])	  = Term -> String -> ParseResult a
forall a. Term -> String -> ParseResult a
failAt Term
n String
"; expected end of comment"
parseError (Term
n:[Term]
_, [String]
options) = Term -> String -> ParseResult a
forall a. Term -> String -> ParseResult a
failAt Term
n (String -> ParseResult a) -> String -> ParseResult a
forall a b. (a -> b) -> a -> b
$ String
"; expected one of " String -> String -> String
forall a. Semigroup a => a -> a -> a
<> [String] -> String
forall a. Show a => a -> String
show [String]
options
#define HAPPY_COERCE 1
-- $Id: GenericTemplate.hs,v 1.26 2005/01/14 14:47:22 simonmar Exp $

#if !defined(__GLASGOW_HASKELL__)
#  error This code isn't being built with GHC.
#endif

-- Get WORDS_BIGENDIAN (if defined)
#include "MachDeps.h"

-- Do not remove this comment. Required to fix CPP parsing when using GCC and a clang-compiled alex.
#define LT(n,m) ((Happy_GHC_Exts.tagToEnum# (n Happy_GHC_Exts.<# m)) :: Happy_Prelude.Bool)
#define GTE(n,m) ((Happy_GHC_Exts.tagToEnum# (n Happy_GHC_Exts.>=# m)) :: Happy_Prelude.Bool)
#define EQ(n,m) ((Happy_GHC_Exts.tagToEnum# (n Happy_GHC_Exts.==# m)) :: Happy_Prelude.Bool)
#define PLUS(n,m) (n Happy_GHC_Exts.+# m)
#define MINUS(n,m) (n Happy_GHC_Exts.-# m)
#define TIMES(n,m) (n Happy_GHC_Exts.*# m)
#define NEGATE(n) (Happy_GHC_Exts.negateInt# (n))

type Happy_Int = Happy_GHC_Exts.Int#
data Happy_IntList = HappyCons Happy_Int Happy_IntList

#define INVALID_TOK -1#
#define ERROR_TOK 0#
#define CATCH_TOK 1#

#if defined(HAPPY_COERCE)
#  define GET_ERROR_TOKEN(x)  (case Happy_GHC_Exts.unsafeCoerce# x of { (Happy_GHC_Exts.I# i) -> i })
#  define MK_ERROR_TOKEN(i)   (Happy_GHC_Exts.unsafeCoerce# (Happy_GHC_Exts.I# i))
#  define MK_TOKEN(x)         (happyInTok (x))
#else
#  define GET_ERROR_TOKEN(x)  (case x of { HappyErrorToken (Happy_GHC_Exts.I# i) -> i })
#  define MK_ERROR_TOKEN(i)   (HappyErrorToken (Happy_GHC_Exts.I# i))
#  define MK_TOKEN(x)         (HappyTerminal (x))
#endif

#if defined(HAPPY_DEBUG)
#  define DEBUG_TRACE(s)    (happyTrace (s)) Happy_Prelude.$
happyTrace string expr = Happy_System_IO_Unsafe.unsafePerformIO Happy_Prelude.$ do
    Happy_System_IO.hPutStr Happy_System_IO.stderr string
    Happy_Prelude.return expr
#else
#  define DEBUG_TRACE(s)    {- nothing -}
#endif

infixr 9 `HappyStk`
data HappyStk a = HappyStk a (HappyStk a)

-----------------------------------------------------------------------------
-- starting the parse

happyParse :: Int# -> [Term] -> ParseResult HappyAbsSyn
happyParse Int#
start_state = Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyNewToken Int#
start_state Happy_IntList
forall a. a
notHappyAtAll HappyStk HappyAbsSyn
forall a. a
notHappyAtAll

-----------------------------------------------------------------------------
-- Accepting the parse

-- If the current token is ERROR_TOK, it means we've just accepted a partial
-- parse (a %partial parser).  We must ignore the saved token on the top of
-- the stack in this case.
happyAccept :: Int# -> p -> Int# -> p -> HappyStk a -> b -> ParseResult a
happyAccept ERROR_TOK tk st sts (_ `HappyStk` ans `HappyStk` _) =
        happyReturn1 ans
happyAccept Int#
j p
tk Int#
st p
sts (HappyStk a
ans HappyStk a
_) =
        (Int#
-> ((b -> ParseResult a) -> b -> ParseResult a)
-> (b -> ParseResult a)
-> b
-> ParseResult a
forall a. Int# -> a -> a
happyTcHack Int#
j (Int# -> (b -> ParseResult a) -> b -> ParseResult a
forall a. Int# -> a -> a
happyTcHack Int#
st)) (a -> b -> ParseResult a
forall a b. a -> b -> ParseResult a
happyReturn1 a
ans)

-----------------------------------------------------------------------------
-- Arrays only: do the next action

happyDoAction :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyDoAction Int#
i Term
tk Int#
st =
  DEBUG_TRACE("state: " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# st) Happy_Prelude.++
              ",\ttoken: " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# i) Happy_Prelude.++
              ",\taction: ")
  case Int# -> HappyAction
happyDecodeAction (Int# -> Int# -> Int#
happyNextAction Int#
i Int#
st) of
    HappyAction
HappyFail             -> DEBUG_TRACE("failing.\n")
                             Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyFail Int#
i Term
tk Int#
st
    HappyAction
HappyAccept           -> DEBUG_TRACE("accept.\n")
                             Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
forall p p a b.
Int# -> p -> Int# -> p -> HappyStk a -> b -> ParseResult a
happyAccept Int#
i Term
tk Int#
st
    HappyReduce Int#
rule      -> DEBUG_TRACE("reduce (rule " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# rule) Happy_Prelude.++ ")")
                             (Array
  Int
  (Int#
   -> Term
   -> Int#
   -> Happy_IntList
   -> HappyStk HappyAbsSyn
   -> [Term]
   -> ParseResult HappyAbsSyn)
happyReduceArr Array
  Int
  (Int#
   -> Term
   -> Int#
   -> Happy_IntList
   -> HappyStk HappyAbsSyn
   -> [Term]
   -> ParseResult HappyAbsSyn)
-> Int
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
forall i e. Ix i => Array i e -> i -> e
Happy_Data_Array.! (Int# -> Int
Happy_GHC_Exts.I# Int#
rule)) Int#
i Term
tk Int#
st
    HappyShift  Int#
new_state -> DEBUG_TRACE("shift, enter state " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# new_state) Happy_Prelude.++ "\n")
                             Int#
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyShift Int#
new_state Int#
i Term
tk Int#
st

{-# INLINE happyNextAction #-}
happyNextAction :: Int# -> Int# -> Int#
happyNextAction Int#
i Int#
st = case Int# -> Int# -> Maybe Int
happyIndexActionTable Int#
i Int#
st of
  Happy_Prelude.Just (Happy_GHC_Exts.I# Int#
act) -> Int#
act
  Maybe Int
Happy_Prelude.Nothing                      -> HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyDefActions Int#
st

{-# INLINE happyIndexActionTable #-}
happyIndexActionTable :: Int# -> Int# -> Maybe Int
happyIndexActionTable Int#
i Int#
st
  | GTE(i, 0#), GTE(off, 0#), EQ(happyIndexOffAddr happyCheck off, i)
  -- i >= 0:   Guard against INVALID_TOK (do the default action, which ultimately errors)
  -- off >= 0: Otherwise it's a default action
  -- equality check: Ensure that the entry in the compressed array is owned by st
  = Int -> Maybe Int
forall k1. k1 -> Maybe k1
Happy_Prelude.Just (Int# -> Int
Happy_GHC_Exts.I# (HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyTable Int#
off))
  | Bool
Happy_Prelude.otherwise
  = Maybe Int
forall k1. Maybe k1
Happy_Prelude.Nothing
  where
    off :: Int#
off = PLUS(happyIndexOffAddr happyActOffsets st, i)

data HappyAction
  = HappyFail
  | HappyAccept
  | HappyReduce Happy_Int -- rule number
  | HappyShift Happy_Int  -- new state
  deriving Int -> HappyAction -> String -> String
[HappyAction] -> String -> String
HappyAction -> String
(Int -> HappyAction -> String -> String)
-> (HappyAction -> String)
-> ([HappyAction] -> String -> String)
-> Show HappyAction
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
showList :: [HappyAction] -> String -> String
$cshowList :: [HappyAction] -> String -> String
show :: HappyAction -> String
$cshow :: HappyAction -> String
showsPrec :: Int -> HappyAction -> String -> String
$cshowsPrec :: Int -> HappyAction -> String -> String
Happy_Prelude.Show

{-# INLINE happyDecodeAction #-}
happyDecodeAction :: Happy_Int -> HappyAction
happyDecodeAction :: Int# -> HappyAction
happyDecodeAction  Int#
0#                        = HappyAction
HappyFail
happyDecodeAction Int#
-1#                        = HappyAction
HappyAccept
happyDecodeAction Int#
action | LT(action, 0#)    = HappyReduce NEGATE(PLUS(action, 1#))
                         | Bool
Happy_Prelude.otherwise = Int# -> HappyAction
HappyShift MINUS(action, 1#)

{-# INLINE happyIndexGotoTable #-}
happyIndexGotoTable :: Int# -> Int# -> Int#
happyIndexGotoTable Int#
nt Int#
st = HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyTable Int#
off
  where
    off :: Int#
off = PLUS(happyIndexOffAddr happyGotoOffsets st, nt)

{-# INLINE happyIndexOffAddr #-}
happyIndexOffAddr :: HappyAddr -> Happy_Int -> Happy_Int
happyIndexOffAddr :: HappyAddr -> Int# -> Int#
happyIndexOffAddr (HappyA# Addr#
arr) Int#
off =
#if __GLASGOW_HASKELL__ >= 901
  Happy_GHC_Exts.int32ToInt# -- qualified import because it doesn't exist on older GHC's
#endif
#ifdef WORDS_BIGENDIAN
  -- The CI of `alex` tests this code path
  (Happy_GHC_Exts.word32ToInt32# (Happy_GHC_Exts.wordToWord32# (Happy_GHC_Exts.byteSwap32# (Happy_GHC_Exts.word32ToWord# (Happy_GHC_Exts.int32ToWord32#
#endif
  (Addr# -> Int# -> Int#
Happy_GHC_Exts.indexInt32OffAddr# Addr#
arr Int#
off)
#ifdef WORDS_BIGENDIAN
  )))))
#endif

happyIndexRuleArr :: Happy_Int -> (# Happy_Int, Happy_Int #)
happyIndexRuleArr :: Int# -> (# Int#, Int# #)
happyIndexRuleArr Int#
r = (# Int#
nt, Int#
len #)
  where
    !(Happy_GHC_Exts.I# Int#
n_starts) = Int
happy_n_starts
    offs :: Int#
offs = TIMES(MINUS(r,n_starts),2#)
    nt :: Int#
nt = HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyRuleArr Int#
offs
    len :: Int#
len = HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyRuleArr PLUS(offs,1#)

data HappyAddr = HappyA# Happy_GHC_Exts.Addr#

-----------------------------------------------------------------------------
-- Shifting a token

happyShift :: Int#
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyShift Int#
new_state ERROR_TOK tk st sts stk@(x `HappyStk` _) =
     -- See "Error Fixup" below
     let i = GET_ERROR_TOKEN(x) in
     DEBUG_TRACE("shifting the error token")
     happyDoAction i tk new_state (HappyCons st sts) stk

happyShift Int#
new_state Int#
i Term
tk Int#
st Happy_IntList
sts HappyStk HappyAbsSyn
stk =
     Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyNewToken Int#
new_state (Int# -> Happy_IntList -> Happy_IntList
HappyCons Int#
st Happy_IntList
sts) (MK_TOKEN(tk) `HappyStk` stk)

-- happyReduce is specialised for the common cases.

happySpecReduce_0 :: Int#
-> HappyAbsSyn
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_0 Int#
nt HappyAbsSyn
fn Int#
j Term
tk Int#
st Happy_IntList
sts HappyStk HappyAbsSyn
stk
     = HappyAbsSyn
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a b. a -> b -> b
happySeq HappyAbsSyn
fn (Int#
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyGoto Int#
nt Int#
j Term
tk Int#
st (Int# -> Happy_IntList -> Happy_IntList
HappyCons Int#
st Happy_IntList
sts) (HappyAbsSyn
fn HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
stk))

happySpecReduce_1 :: Int#
-> (HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_1 Int#
nt HappyAbsSyn -> HappyAbsSyn
fn Int#
j Term
tk Int#
old_st sts :: Happy_IntList
sts@(HappyCons Int#
st Happy_IntList
_) (HappyAbsSyn
v1 `HappyStk` HappyStk HappyAbsSyn
stk')
     = let r :: HappyAbsSyn
r = HappyAbsSyn -> HappyAbsSyn
fn HappyAbsSyn
v1 in
       Int#
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a. Int# -> a -> a
happyTcHack Int#
old_st (HappyAbsSyn
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a b. a -> b -> b
happySeq HappyAbsSyn
r (Int#
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyGoto Int#
nt Int#
j Term
tk Int#
st Happy_IntList
sts (HappyAbsSyn
r HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
stk')))

happySpecReduce_2 :: Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_2 Int#
nt HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
fn Int#
j Term
tk Int#
old_st
  (HappyCons Int#
_ sts :: Happy_IntList
sts@(HappyCons Int#
st Happy_IntList
_))
  (HappyAbsSyn
v1 `HappyStk` HappyAbsSyn
v2 `HappyStk` HappyStk HappyAbsSyn
stk')
     = let r :: HappyAbsSyn
r = HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
fn HappyAbsSyn
v1 HappyAbsSyn
v2 in
       Int#
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a. Int# -> a -> a
happyTcHack Int#
old_st (HappyAbsSyn
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a b. a -> b -> b
happySeq HappyAbsSyn
r (Int#
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyGoto Int#
nt Int#
j Term
tk Int#
st Happy_IntList
sts (HappyAbsSyn
r HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
stk')))

happySpecReduce_3 :: Int#
-> (HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happySpecReduce_3 Int#
nt HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
fn Int#
j Term
tk Int#
old_st
  (HappyCons Int#
_ (HappyCons Int#
_ sts :: Happy_IntList
sts@(HappyCons Int#
st Happy_IntList
_)))
  (HappyAbsSyn
v1 `HappyStk` HappyAbsSyn
v2 `HappyStk` HappyAbsSyn
v3 `HappyStk` HappyStk HappyAbsSyn
stk')
     = let r :: HappyAbsSyn
r = HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn -> HappyAbsSyn
fn HappyAbsSyn
v1 HappyAbsSyn
v2 HappyAbsSyn
v3 in
       Int#
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a. Int# -> a -> a
happyTcHack Int#
old_st (HappyAbsSyn
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a b. a -> b -> b
happySeq HappyAbsSyn
r (Int#
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyGoto Int#
nt Int#
j Term
tk Int#
st Happy_IntList
sts (HappyAbsSyn
r HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
stk')))

happyReduce :: Int#
-> Int#
-> (HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyReduce Int#
k Int#
nt HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
fn Int#
j Term
tk Int#
st Happy_IntList
sts HappyStk HappyAbsSyn
stk
     = case Int# -> Happy_IntList -> Happy_IntList
happyDrop MINUS(k,(1# :: Happy_Int)) sts of
         sts1 :: Happy_IntList
sts1@(HappyCons Int#
st1 Happy_IntList
_) ->
                let r :: HappyStk HappyAbsSyn
r = HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
fn HappyStk HappyAbsSyn
stk in -- it doesn't hurt to always seq here...
                Int#
st Int#
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a. Int# -> a -> a
`happyTcHack` HappyStk HappyAbsSyn
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a b. a -> b -> b
happyDoSeq HappyStk HappyAbsSyn
r (Int#
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyGoto Int#
nt Int#
j Term
tk Int#
st1 Happy_IntList
sts1 HappyStk HappyAbsSyn
r)

happyMonadReduce :: Int#
-> Int#
-> (HappyStk HappyAbsSyn -> Term -> ParseResult HappyAbsSyn)
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyMonadReduce Int#
k Int#
nt HappyStk HappyAbsSyn -> Term -> ParseResult HappyAbsSyn
fn Int#
j Term
tk Int#
st Happy_IntList
sts HappyStk HappyAbsSyn
stk =
      case Int# -> Happy_IntList -> Happy_IntList
happyDrop Int#
k (Int# -> Happy_IntList -> Happy_IntList
HappyCons Int#
st Happy_IntList
sts) of
        sts1 :: Happy_IntList
sts1@(HappyCons Int#
st1 Happy_IntList
_) ->
          let drop_stk :: HappyStk HappyAbsSyn
drop_stk = Int# -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. Int# -> HappyStk a -> HappyStk a
happyDropStk Int#
k HappyStk HappyAbsSyn
stk in
          Int#
j Int#
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a. Int# -> a -> a
`happyTcHack` ParseResult HappyAbsSyn
-> (HappyAbsSyn -> [Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall (m :: * -> *) t t b.
Monad m =>
m t -> (t -> t -> m b) -> t -> m b
happyThen1 (HappyStk HappyAbsSyn -> Term -> ParseResult HappyAbsSyn
fn HappyStk HappyAbsSyn
stk Term
tk)
                                     (\HappyAbsSyn
r -> Int#
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyGoto Int#
nt Int#
j Term
tk Int#
st1 Happy_IntList
sts1 (HappyAbsSyn
r HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
drop_stk))

happyMonad2Reduce :: Int#
-> Int#
-> (HappyStk HappyAbsSyn -> t -> ParseResult HappyAbsSyn)
-> Int#
-> t
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyMonad2Reduce Int#
k Int#
nt HappyStk HappyAbsSyn -> t -> ParseResult HappyAbsSyn
fn Int#
j t
tk Int#
st Happy_IntList
sts HappyStk HappyAbsSyn
stk =
      case Int# -> Happy_IntList -> Happy_IntList
happyDrop Int#
k (Int# -> Happy_IntList -> Happy_IntList
HappyCons Int#
st Happy_IntList
sts) of
        sts1 :: Happy_IntList
sts1@(HappyCons Int#
st1 Happy_IntList
_) ->
          let drop_stk :: HappyStk HappyAbsSyn
drop_stk = Int# -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. Int# -> HappyStk a -> HappyStk a
happyDropStk Int#
k HappyStk HappyAbsSyn
stk
              off :: Int#
off = HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyGotoOffsets Int#
st1
              off_i :: Int#
off_i = PLUS(off, nt)
              new_state :: Int#
new_state = HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyTable Int#
off_i
          in
            Int#
j Int#
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a. Int# -> a -> a
`happyTcHack` ParseResult HappyAbsSyn
-> (HappyAbsSyn -> [Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall (m :: * -> *) t t b.
Monad m =>
m t -> (t -> t -> m b) -> t -> m b
happyThen1 (HappyStk HappyAbsSyn -> t -> ParseResult HappyAbsSyn
fn HappyStk HappyAbsSyn
stk t
tk)
                                       (\HappyAbsSyn
r -> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyNewToken Int#
new_state Happy_IntList
sts1 (HappyAbsSyn
r HappyAbsSyn -> HappyStk HappyAbsSyn -> HappyStk HappyAbsSyn
forall a. a -> HappyStk a -> HappyStk a
`HappyStk` HappyStk HappyAbsSyn
drop_stk))

happyDrop :: Int# -> Happy_IntList -> Happy_IntList
happyDrop Int#
0# Happy_IntList
l               = Happy_IntList
l
happyDrop Int#
n  (HappyCons Int#
_ Happy_IntList
t) = Int# -> Happy_IntList -> Happy_IntList
happyDrop MINUS(n,(1# :: Happy_Int)) t

happyDropStk :: Int# -> HappyStk a -> HappyStk a
happyDropStk Int#
0# HappyStk a
l                 = HappyStk a
l
happyDropStk Int#
n  (a
x `HappyStk` HappyStk a
xs) = Int# -> HappyStk a -> HappyStk a
happyDropStk MINUS(n,(1#::Happy_Int)) xs

-----------------------------------------------------------------------------
-- Moving to a new state after a reduction

happyGoto :: Int#
-> Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyGoto Int#
nt Int#
j Term
tk Int#
st =
   DEBUG_TRACE(", goto state " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# new_state) Happy_Prelude.++ "\n")
   Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyDoAction Int#
j Term
tk Int#
new_state
  where new_state :: Int#
new_state = Int# -> Int# -> Int#
happyIndexGotoTable Int#
nt Int#
st

{- Note [Error recovery]
~~~~~~~~~~~~~~~~~~~~~~~~
When there is no applicable action for the current lookahead token `tk`,
happy enters error recovery mode. Depending on whether the grammar file
declares the two action form `%error { abort } { report }` for
    Resumptive Error Handling,
it works in one (not resumptive) or two phases (resumptive):

 1. Fixup mode:
    Try to see if there is an action for the error token ERROR_TOK. If there
    is, do *not* emit an error and pretend instead that an `error` token was
    inserted.
    When there is no ERROR_TOK action, report an error.

    In non-resumptive error handling, calling the single error handler
    (e.g. `happyError`) will throw an exception and abort the parser.
    However, in resumptive error handling we enter *error resumption mode*.

 2. Error resumption mode:
    After reporting the error (with `report`), happy will attempt to find
    a good state stack to resume parsing in.
    For each candidate stack, it discards input until one of the candidates
    resumes (i.e. shifts the current input).
    If no candidate resumes before the end of input, resumption failed and
    calls the `abort` function, to much the same effect as in non-resumptive
    error handling.

    Candidate stacks are declared by the grammar author using the special
    `catch` terminal and called "catch frames".
    This mechanism is described in detail in Note [happyResume].

The `catch` resumption mechanism (2) is what usually is associated with
`error` in `bison` or `menhir`. Since `error` is used for the Fixup mechanism
(1) above, we call the corresponding token `catch`.
Furthermore, in constrast to `bison`, our implementation of `catch`
non-deterministically considers multiple catch frames on the stack for
resumption (See Note [Multiple catch frames]).

Note [happyResume]
~~~~~~~~~~~~~~~~~~
`happyResume` implements the resumption mechanism from Note [Error recovery].
It is best understood by example. Consider

Exp :: { String }
Exp : '1'                { "1" }
    | catch              { "catch" }
    | Exp '+' Exp %shift { $1 Happy_Prelude.++ " + " Happy_Prelude.++ $3 } -- %shift: associate 1 + 1 + 1 to the right
    | '(' Exp ')'        { "(" Happy_Prelude.++ $2 Happy_Prelude.++ ")" }

The idea of the use of `catch` here is that upon encountering a parse error
during expression parsing, we can gracefully degrade using the `catch` rule,
still producing a partial syntax tree and keep on parsing to find further
syntax errors.

Let's trace the parser state for input 11+1, which will error out after shifting 1.
After shifting, we have the following item stack (growing downwards and omitting
transitive closure items):

  State 0: %start_parseExp -> . Exp
  State 5: Exp -> '1' .

(Stack as a list of state numbers: [5,0].)
As Note [Error recovery] describes, we will first try Fixup mode.
That fails because no production can shift the `error` token.
Next we try Error resumption mode. This works as follows:

  1. Pop off the item stack until we find an item that can shift the `catch`
     token. (Implemented in `pop_items`.)
       * State 5 cannot shift catch. Pop.
       * State 0 can shift catch, which would transition into
          State 4: Exp -> catch .
     So record the *stack* `[4,0]` after doing the shift transition.
     We call this a *catch frame*, where the top is a *catch state*,
     corresponding to an item in which we just shifted a `catch` token.
     There can be multiple such catch stacks, see Note [Multiple catch frames].

  2. Discard tokens from the input until the lookahead can be shifted in one
     of the catch stacks. (Implemented in `discard_input_until_exp` and
     `some_catch_state_shifts`.)
       * We cannot shift the current lookahead '1' in state 4, so we discard
       * We *can* shift the next lookahead '+' in state 4, but only after
         reducing, which pops State 4 and goes to State 3:
           State 3: %start_parseExp -> Exp .
                    Exp -> Exp . '+' Exp
         Here we can shift '+'.
     As you can see, to implement this machinery we need to simulate
     the operation of the LALR automaton, especially reduction
     (`happySimulateReduce`).

Note [Multiple catch frames]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
For fewer spurious error messages, it can be beneficial to trace multiple catch
items. Consider

Exp : '1'
    | catch
    | Exp '+' Exp %shift
    | '(' Exp ')'

Let's trace the parser state for input (;+1, which will error out after shifting (.
After shifting, we have the following item stack (growing downwards):

  State 0: %start_parseExp -> . Exp
  State 6: Exp -> '(' . Exp ')'

Upon error, we want to find items in the stack which can shift a catch token.
Note that both State 0 and State 6 can shift a catch token, transitioning into
  State 4: Exp -> catch .
Hence we record the catch frames `[4,6,0]` and `[4,0]` for possible resumption.

Which catch frame do we pick for resumption?
Note that resuming catch frame `[4,0]` will parse as "catch+1", whereas
resuming the innermost frame `[4,6,0]` corresponds to parsing "(catch+1".
The latter would keep discarding input until the closing ')' is found.
So we will discard + and 1, leading to a spurious syntax error at the end of
input, aborting the parse and never producing a partial syntax tree. Bad!

It is far preferable to resume with catch frame `[4,0]`, where we can resume
successfully on input +, so that is what we do.

In general, we pick the catch frame for resumption that discards the least
amount of input for a successful shift, preferring the topmost such catch frame.
-}

-- happyFail :: Happy_Int -> Token -> Happy_Int -> _
-- This function triggers Note [Error recovery].
-- If the current token is ERROR_TOK, phase (1) has failed and we might try
-- phase (2).
happyFail :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyFail ERROR_TOK = happyFixupFailed
happyFail Int#
i         = Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyTryFixup Int#
i

-- Enter Error Fixup (see Note [Error recovery]):
-- generate an error token, save the old token and carry on.
-- When a `happyShift` accepts the error token, we will pop off the error token
-- to resume parsing with the current lookahead `i`.
happyTryFixup :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyTryFixup Int#
i Term
tk Int#
action Happy_IntList
sts HappyStk HappyAbsSyn
stk =
  DEBUG_TRACE("entering `error` fixup.\n")
  Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyDoAction ERROR_TOK tk action sts (MK_ERROR_TOKEN(i) `HappyStk` stk)
  -- NB: `happyShift` will simply pop the error token and carry on with
  --     `tk`. Hence we don't change `tk` in the call here

-- See Note [Error recovery], phase (2).
-- Enter resumption mode after reporting the error by calling `happyResume`.
happyFixupFailed :: Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyFixupFailed Term
tk Int#
st Happy_IntList
sts (HappyAbsSyn
x `HappyStk` HappyStk HappyAbsSyn
stk) =
  let i :: Int#
i = GET_ERROR_TOKEN(x) in
  DEBUG_TRACE("`error` fixup failed.\n")
  let resume :: [Term] -> ParseResult HappyAbsSyn
resume   = Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyResume Int#
i Term
tk Int#
st Happy_IntList
sts HappyStk HappyAbsSyn
stk
      expected :: [String]
expected = Int# -> Happy_IntList -> [String]
happyExpectedTokens Int#
st Happy_IntList
sts in
  Int#
-> Term
-> [String]
-> ([Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a.
Int#
-> Term
-> [String]
-> ([Term] -> ParseResult a)
-> [Term]
-> ParseResult a
happyReport Int#
i Term
tk [String]
expected [Term] -> ParseResult HappyAbsSyn
resume

-- happyResume :: Happy_Int -> Token -> Happy_Int -> _
-- See Note [happyResume]
happyResume :: Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyResume Int#
i Term
tk Int#
st Happy_IntList
sts HappyStk HappyAbsSyn
stk = [(Happy_IntList, HappyStk HappyAbsSyn)]
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
pop_items [] Int#
st Happy_IntList
sts HappyStk HappyAbsSyn
stk
  where
    !(Happy_GHC_Exts.I# Int#
n_starts) = Int
happy_n_starts   -- this is to test whether we have a start token
    !(Happy_GHC_Exts.I# Int#
eof_i) = Int
happy_n_terms Int -> Int -> Int
forall a. Num a => a -> a -> a
Happy_Prelude.- Int
1   -- this is the token number of the EOF token
    happy_list_to_list :: Happy_IntList -> [Happy_Prelude.Int]
    happy_list_to_list :: Happy_IntList -> [Int]
happy_list_to_list (HappyCons Int#
st Happy_IntList
sts)
      | LT(st, n_starts)
      = [(Int# -> Int
Happy_GHC_Exts.I# Int#
st)]
      | Bool
Happy_Prelude.otherwise
      = (Int# -> Int
Happy_GHC_Exts.I# Int#
st) Int -> [Int] -> [Int]
forall k1. k1 -> [k1] -> [k1]
: Happy_IntList -> [Int]
happy_list_to_list Happy_IntList
sts

    -- See (1) of Note [happyResume]
    pop_items :: [(Happy_IntList, HappyStk HappyAbsSyn)]
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
pop_items [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames Int#
st Happy_IntList
sts HappyStk HappyAbsSyn
stk
      | LT(st, n_starts)
      = DEBUG_TRACE("reached start state " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# st) Happy_Prelude.++ ", ")
        if [(Happy_IntList, HappyStk HappyAbsSyn)] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
Happy_Prelude.null [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames_new
          then DEBUG_TRACE("no resumption.\n")
               [Term] -> ParseResult HappyAbsSyn
forall a. [Term] -> ParseResult a
happyAbort
          else DEBUG_TRACE("now discard input, trying to anchor in states " Happy_Prelude.++ Happy_Prelude.show (Happy_Prelude.map (happy_list_to_list . Happy_Prelude.fst) (Happy_Prelude.reverse catch_frames_new)) Happy_Prelude.++ ".\n")
               Int#
-> Term
-> [(Happy_IntList, HappyStk HappyAbsSyn)]
-> [Term]
-> ParseResult HappyAbsSyn
discard_input_until_exp Int#
i Term
tk ([(Happy_IntList, HappyStk HappyAbsSyn)]
-> [(Happy_IntList, HappyStk HappyAbsSyn)]
forall a. [a] -> [a]
Happy_Prelude.reverse [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames_new)
      | (HappyCons Int#
st1 Happy_IntList
sts1) <- Happy_IntList
sts, HappyAbsSyn
_ `HappyStk` HappyStk HappyAbsSyn
stk1 <- HappyStk HappyAbsSyn
stk
      = [(Happy_IntList, HappyStk HappyAbsSyn)]
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
pop_items [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames_new Int#
st1 Happy_IntList
sts1 HappyStk HappyAbsSyn
stk1
      where
        !catch_frames_new :: [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames_new
          | HappyShift Int#
new_state <- Int# -> HappyAction
happyDecodeAction (Int# -> Int# -> Int#
happyNextAction CATCH_TOK st)
          , DEBUG_TRACE("can shift catch token in state " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# st) Happy_Prelude.++ ", into state " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# new_state) Happy_Prelude.++ "\n")
            [(Happy_IntList, HappyStk HappyAbsSyn)] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
Happy_Prelude.null (((Happy_IntList, HappyStk HappyAbsSyn) -> Bool)
-> [(Happy_IntList, HappyStk HappyAbsSyn)]
-> [(Happy_IntList, HappyStk HappyAbsSyn)]
forall a. (a -> Bool) -> [a] -> [a]
Happy_Prelude.filter (\(HappyCons Int#
_ (HappyCons Int#
h Happy_IntList
_),HappyStk HappyAbsSyn
_) -> EQ(st,h)) catch_frames)
          = (Int# -> Happy_IntList -> Happy_IntList
HappyCons Int#
new_state (Int# -> Happy_IntList -> Happy_IntList
HappyCons Int#
st Happy_IntList
sts), MK_ERROR_TOKEN(i) `HappyStk` stk):catch_frames -- MK_ERROR_TOKEN(i) is just some dummy that should not be accessed by user code
          | Bool
Happy_Prelude.otherwise
          = DEBUG_TRACE("already shifted or can't shift catch in " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# st) Happy_Prelude.++ "\n")
            [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames

    -- See (2) of Note [happyResume]
    discard_input_until_exp :: Int#
-> Term
-> [(Happy_IntList, HappyStk HappyAbsSyn)]
-> [Term]
-> ParseResult HappyAbsSyn
discard_input_until_exp Int#
i Term
tk [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames
      | Happy_Prelude.Just (HappyCons Int#
st (HappyCons Int#
catch_st Happy_IntList
sts), HappyStk HappyAbsSyn
catch_frame) <- Int#
-> [(Happy_IntList, HappyStk HappyAbsSyn)]
-> Maybe (Happy_IntList, HappyStk HappyAbsSyn)
forall b. Int# -> [(Happy_IntList, b)] -> Maybe (Happy_IntList, b)
some_catch_state_shifts Int#
i [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames
      = DEBUG_TRACE("found expected token in state " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# st) Happy_Prelude.++ " after shifting from " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# catch_st) Happy_Prelude.++ ": " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# i) Happy_Prelude.++ "\n")
        Int#
-> Term
-> Int#
-> Happy_IntList
-> HappyStk HappyAbsSyn
-> [Term]
-> ParseResult HappyAbsSyn
happyDoAction Int#
i Term
tk Int#
st (Int# -> Happy_IntList -> Happy_IntList
HappyCons Int#
catch_st Happy_IntList
sts) HappyStk HappyAbsSyn
catch_frame
      | EQ(i,eof_i) -- is i EOF?
      = DEBUG_TRACE("reached EOF, cannot resume. abort parse :(\n")
        [Term] -> ParseResult HappyAbsSyn
forall a. [Term] -> ParseResult a
happyAbort
      | Bool
Happy_Prelude.otherwise
      = DEBUG_TRACE("discard token " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# i) Happy_Prelude.++ "\n")
        (Term -> [Term] -> ParseResult HappyAbsSyn)
-> (Int# -> Term -> [Term] -> ParseResult HappyAbsSyn)
-> [Term]
-> ParseResult HappyAbsSyn
forall a t a p.
(Eq a, IsString a) =>
(t -> [a] -> p)
-> (Int# -> Lexeme a -> [Lexeme a] -> p) -> [Lexeme a] -> p
happyLex (\Term
eof_tk -> Int#
-> Term
-> [(Happy_IntList, HappyStk HappyAbsSyn)]
-> [Term]
-> ParseResult HappyAbsSyn
discard_input_until_exp Int#
eof_i Term
eof_tk [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames) -- eof
                 (\Int#
i Term
tk   -> Int#
-> Term
-> [(Happy_IntList, HappyStk HappyAbsSyn)]
-> [Term]
-> ParseResult HappyAbsSyn
discard_input_until_exp Int#
i Term
tk [(Happy_IntList, HappyStk HappyAbsSyn)]
catch_frames)         -- not eof

    some_catch_state_shifts :: Int# -> [(Happy_IntList, b)] -> Maybe (Happy_IntList, b)
some_catch_state_shifts Int#
_ [] = DEBUG_TRACE("no catch state could shift.\n") Happy_Prelude.Nothing
    some_catch_state_shifts Int#
i catch_frames :: [(Happy_IntList, b)]
catch_frames@(((HappyCons Int#
st Happy_IntList
sts),b
_):[(Happy_IntList, b)]
_) = Int#
-> Int#
-> Happy_IntList
-> [(Happy_IntList, b)]
-> Maybe (Happy_IntList, b)
try_head Int#
i Int#
st Happy_IntList
sts [(Happy_IntList, b)]
catch_frames
      where
        try_head :: Int#
-> Int#
-> Happy_IntList
-> [(Happy_IntList, b)]
-> Maybe (Happy_IntList, b)
try_head Int#
i Int#
st Happy_IntList
sts [(Happy_IntList, b)]
catch_frames = -- PRECONDITION: head catch_frames = (HappyCons st sts)
          DEBUG_TRACE("trying token " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# i) Happy_Prelude.++ " in state " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# st) Happy_Prelude.++ ": ")
          case Int# -> HappyAction
happyDecodeAction (Int# -> Int# -> Int#
happyNextAction Int#
i Int#
st) of
            HappyAction
HappyFail     -> DEBUG_TRACE("fail.\n")   some_catch_state_shifts i (Happy_Prelude.tail catch_frames)
            HappyAction
HappyAccept   -> DEBUG_TRACE("accept.\n") Happy_Prelude.Just (Happy_Prelude.head catch_frames)
            HappyShift Int#
_  -> DEBUG_TRACE("shift.\n")  Happy_Prelude.Just (Happy_Prelude.head catch_frames)
            HappyReduce Int#
r -> case Int# -> Int# -> Happy_IntList -> Happy_IntList
happySimulateReduce Int#
r Int#
st Happy_IntList
sts of
              (HappyCons Int#
st1 Happy_IntList
sts1) -> Int#
-> Int#
-> Happy_IntList
-> [(Happy_IntList, b)]
-> Maybe (Happy_IntList, b)
try_head Int#
i Int#
st1 Happy_IntList
sts1 [(Happy_IntList, b)]
catch_frames

happySimulateReduce :: Int# -> Int# -> Happy_IntList -> Happy_IntList
happySimulateReduce Int#
r Int#
st Happy_IntList
sts =
  DEBUG_TRACE("simulate reduction of rule " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# r) Happy_Prelude.++ ", ")
  let (# Int#
nt, Int#
len #) = Int# -> (# Int#, Int# #)
happyIndexRuleArr Int#
r in
  DEBUG_TRACE("nt " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# nt) Happy_Prelude.++ ", len: " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# len) Happy_Prelude.++ ", new_st ")
  let !(sts1 :: Happy_IntList
sts1@(HappyCons Int#
st1 Happy_IntList
_)) = Int# -> Happy_IntList -> Happy_IntList
happyDrop Int#
len (Int# -> Happy_IntList -> Happy_IntList
HappyCons Int#
st Happy_IntList
sts)
      new_st :: Int#
new_st = Int# -> Int# -> Int#
happyIndexGotoTable Int#
nt Int#
st1 in
  DEBUG_TRACE(Happy_Prelude.show (Happy_GHC_Exts.I# new_st) Happy_Prelude.++ ".\n")
  (Int# -> Happy_IntList -> Happy_IntList
HappyCons Int#
new_st Happy_IntList
sts1)

happyTokenToString :: Happy_Prelude.Int -> Happy_Prelude.String
happyTokenToString :: Int -> String
happyTokenToString Int
i = [String]
happyTokenStrings [String] -> Int -> String
forall a. [a] -> Int -> a
Happy_Prelude.!! (Int
i Int -> Int -> Int
forall a. Num a => a -> a -> a
Happy_Prelude.- Int
2) -- 2: errorTok, catchTok

happyExpectedTokens :: Happy_Int -> Happy_IntList -> [Happy_Prelude.String]
-- Upon a parse error, we want to suggest tokens that are expected in that
-- situation. This function computes such tokens.
-- It works by examining the top of the state stack.
-- For every token number that does a shift transition, record that token number.
-- For every token number that does a reduce transition, simulate that reduction
-- on the state state stack and repeat.
-- The recorded token numbers are then formatted with 'happyTokenToString' and
-- returned.
happyExpectedTokens :: Int# -> Happy_IntList -> [String]
happyExpectedTokens Int#
st Happy_IntList
sts =
  DEBUG_TRACE("constructing expected tokens.\n")
  (Int -> String) -> [Int] -> [String]
forall a b. (a -> b) -> [a] -> [b]
Happy_Prelude.map Int -> String
happyTokenToString (Int# -> Happy_IntList -> [Int] -> [Int]
search_shifts Int#
st Happy_IntList
sts [])
  where
    search_shifts :: Int# -> Happy_IntList -> [Int] -> [Int]
search_shifts Int#
st Happy_IntList
sts [Int]
shifts = ((Int, Int) -> [Int] -> [Int]) -> [Int] -> [(Int, Int)] -> [Int]
forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
Happy_Prelude.foldr (Int# -> Happy_IntList -> (Int, Int) -> [Int] -> [Int]
add_action Int#
st Happy_IntList
sts) [Int]
shifts (Int# -> [(Int, Int)]
distinct_actions Int#
st)
    add_action :: Int# -> Happy_IntList -> (Int, Int) -> [Int] -> [Int]
add_action Int#
st Happy_IntList
sts (Happy_GHC_Exts.I# Int#
i, Happy_GHC_Exts.I# Int#
act) [Int]
shifts =
      DEBUG_TRACE("found action in state " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# st) Happy_Prelude.++ ", input " Happy_Prelude.++ Happy_Prelude.show (Happy_GHC_Exts.I# i) Happy_Prelude.++ ", " Happy_Prelude.++ Happy_Prelude.show (happyDecodeAction act) Happy_Prelude.++ "\n")
      case Int# -> HappyAction
happyDecodeAction Int#
act of
        HappyAction
HappyFail     -> [Int]
shifts
        HappyAction
HappyAccept   -> [Int]
shifts -- This would always be %eof or error... Not helpful
        HappyShift Int#
_  -> Int -> [Int] -> [Int]
forall a. Ord a => a -> [a] -> [a]
Happy_Prelude.insert (Int# -> Int
Happy_GHC_Exts.I# Int#
i) [Int]
shifts
        HappyReduce Int#
r -> case Int# -> Int# -> Happy_IntList -> Happy_IntList
happySimulateReduce Int#
r Int#
st Happy_IntList
sts of
          (HappyCons Int#
st1 Happy_IntList
sts1) -> Int# -> Happy_IntList -> [Int] -> [Int]
search_shifts Int#
st1 Happy_IntList
sts1 [Int]
shifts
    distinct_actions :: Int# -> [(Int, Int)]
distinct_actions Int#
st
      -- The (token number, action) pairs of all actions in the given state
      = ((-Int
1), (Int# -> Int
Happy_GHC_Exts.I# (HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyDefActions Int#
st)))
      (Int, Int) -> [(Int, Int)] -> [(Int, Int)]
forall k1. k1 -> [k1] -> [k1]
: [ (Int
i, Int
act) | Int
i <- [Int
begin_i..Int
happy_n_terms], Int
act <- Int# -> Int -> [Int]
get_act Int#
row_off Int
i ]
      where
        row_off :: Int#
row_off = HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyActOffsets Int#
st
        begin_i :: Int
begin_i = Int
2 -- +2: errorTok,catchTok
    get_act :: Int# -> Int -> [Int]
get_act Int#
off (Happy_GHC_Exts.I# Int#
i) -- happyIndexActionTable with cached row offset
      | let off_i :: Int#
off_i = PLUS(off,i)
      , GTE(off_i,0#)
      , EQ(happyIndexOffAddr happyCheck off_i,i)
      = [(Int# -> Int
Happy_GHC_Exts.I# (HappyAddr -> Int# -> Int#
happyIndexOffAddr HappyAddr
happyTable Int#
off_i))]
      | Bool
Happy_Prelude.otherwise
      = []

-- Internal happy errors:

notHappyAtAll :: a
notHappyAtAll :: a
notHappyAtAll = String -> a
forall a. HasCallStack => String -> a
Happy_Prelude.error String
"Internal Happy parser panic. This is not supposed to happen! Please open a bug report at https://github.com/haskell/happy/issues.\n"

-----------------------------------------------------------------------------
-- Hack to get the typechecker to accept our action functions

happyTcHack :: Happy_Int -> a -> a
happyTcHack :: Int# -> a -> a
happyTcHack Int#
x a
y = a
y
{-# INLINE happyTcHack #-}

-----------------------------------------------------------------------------
-- Seq-ing.  If the --strict flag is given, then Happy emits
--      happySeq = happyDoSeq
-- otherwise it emits
--      happySeq = happyDontSeq

happyDoSeq, happyDontSeq :: a -> b -> b
happyDoSeq :: a -> b -> b
happyDoSeq   a
a b
b = a
a a -> b -> b
`Happy_GHC_Exts.seq` b
b
happyDontSeq :: a -> b -> b
happyDontSeq a
a b
b = b
b

-----------------------------------------------------------------------------
-- Don't inline any functions from the template.  GHC has a nasty habit
-- of deciding to inline happyGoto everywhere, which increases the size of
-- the generated parser quite a bit.

{-# NOINLINE happyDoAction #-}
{-# NOINLINE happyTable #-}
{-# NOINLINE happyCheck #-}
{-# NOINLINE happyActOffsets #-}
{-# NOINLINE happyGotoOffsets #-}
{-# NOINLINE happyDefActions #-}

{-# NOINLINE happyShift #-}
{-# NOINLINE happySpecReduce_0 #-}
{-# NOINLINE happySpecReduce_1 #-}
{-# NOINLINE happySpecReduce_2 #-}
{-# NOINLINE happySpecReduce_3 #-}
{-# NOINLINE happyReduce #-}
{-# NOINLINE happyMonadReduce #-}
{-# NOINLINE happyGoto #-}
{-# NOINLINE happyFail #-}

-- end of Happy Template.