uuagc-0.9.27: src-derived/Order.hs
-- UUAGC 0.9.26 (Order.ag)
module Order where
{-# LINE 9 "Order.ag" #-}
-- From uuagc
import CommonTypes
import Patterns
import ErrorMessages
import AbstractSyntax
import Code hiding (Type)
import qualified Code
import Expression
import Options
import SequentialComputation
import SequentialTypes
import CodeSyntax
import GrammarInfo
import HsToken(HsTokensRoot(HsTokensRoot))
import HsTokenScanner(lexTokens)
import SemHsTokens(sem_HsTokensRoot,wrap_HsTokensRoot, Syn_HsTokensRoot(..),Inh_HsTokensRoot(..))
-- From uulib
import qualified Data.Map as Map
import qualified Data.Set as Set
import qualified Data.Sequence as Seq
import Data.Map(Map)
import Data.Set(Set)
import Data.Sequence(Seq, (><))
import UU.Util.Utils
import UU.Scanner.Position(Pos(..),initPos)
import Data.Foldable(toList)
-- From haskell libraries
import Control.Monad(liftM)
import qualified Data.Array as Array
import Data.Array((!),bounds,inRange)
import Data.List(elemIndex,partition,sort,mapAccumL,find,nubBy,intersperse,groupBy,transpose)
import qualified Data.Tree as Tree
import Maybe
{-# LINE 42 "../src-derived/Order.hs" #-}
{-# LINE 2 "./Patterns.ag" #-}
-- Patterns.ag imports
import UU.Scanner.Position(Pos)
import CommonTypes (ConstructorIdent,Identifier)
{-# LINE 49 "../src-derived/Order.hs" #-}
{-# LINE 2 "./Expression.ag" #-}
import UU.Scanner.Position(Pos)
import HsToken
{-# LINE 55 "../src-derived/Order.hs" #-}
{-# LINE 2 "./AbstractSyntax.ag" #-}
-- AbstractSyntax.ag imports
import Data.Set(Set)
import Data.Map(Map)
import Patterns (Pattern(..),Patterns)
import Expression (Expression(..))
import CommonTypes
{-# LINE 65 "../src-derived/Order.hs" #-}
{-# LINE 46 "Order.ag" #-}
-- Terminates with an error if the key is not in the map
findWithErr1 :: (Ord k, Show k) => String -> k -> Map k a -> a
findWithErr1 s k
= Map.findWithDefault (error ("findWithErr1 " ++ s ++ ": key " ++ show k ++ " not in map.")) k
findWithErr2 :: (Ord k, Show k, Show a) => k -> Map k a -> a
findWithErr2 k m
= Map.findWithDefault (error ("findWithErr2: key " ++ show k ++ " not in map: " ++ show m)) k m
{-# LINE 76 "../src-derived/Order.hs" #-}
{-# LINE 71 "Order.ag" #-}
startsWith :: String -> String -> Bool
startsWith k h = k == take (length k) h
{-# LINE 82 "../src-derived/Order.hs" #-}
{-# LINE 138 "Order.ag" #-}
getNtName :: Type -> NontermIdent
getNtName (NT nt _) = maybe nt id (deforestedNt nt)
getNtName _ = nullIdent
{-# LINE 89 "../src-derived/Order.hs" #-}
{-# LINE 166 "Order.ag" #-}
data AltAttr = AltAttr Identifier Identifier Bool
deriving (Eq, Ord, Show)
{-# LINE 95 "../src-derived/Order.hs" #-}
{-# LINE 238 "Order.ag" #-}
substSelf nt tp
= case tp of
NT n tps | n == _SELF -> NT nt tps
_ -> tp
haskellTupel :: [Type] -> Maybe Type
haskellTupel ts = Just ( Haskell ( '(' : (concat (intersperse "," (map show ts))) ++ ")" ))
{-# LINE 106 "../src-derived/Order.hs" #-}
{-# LINE 630 "Order.ag" #-}
swap (a,b) = (b,a)
showPath :: Table CRule -> [Vertex] -> [String]
showPath ruleTable path
= let look a | inRange (bounds ruleTable) a = [showOrigin (ruleTable ! a)]
| otherwise = ["Vertex " ++ show a]
showOrigin cr | getHasCode cr && getName (getAttr cr) /= "self" = prettyCRule cr ++ " (" ++ show (getPos (getAttr cr)) ++ ")"
| otherwise = prettyCRule cr
in concatMap look path
showPathLocal :: Table CRule -> [Vertex] -> [String]
showPathLocal _ [] = []
showPathLocal ruleTable xs = showP (xs++[-1])
where showP [] = []
showP (v1:v2:vs) = let line = step v1 v2
lines = showP vs
in line:lines
step v1 v2 = " - " ++ a1
where r1 = ruleTable ! v1
a1 = show (getAttr r1)
limitTo :: Int -> [String] -> [String]
limitTo _ [] = []
limitTo 0 _ = ["....etcetera, etcetera...."]
limitTo n (x:xs) = x : limitTo (n-1) xs
showPathNice :: Table CRule -> [Vertex] -> [String]
showPathNice _ [] = []
showPathNice ruleTable xs = limitTo 100 (showP ((-1):xs++[-1]))
where [maxf, maxa, maxn, maxc] = maxWidths ruleTable (take 100 xs)
showP [] = []
showP (v1:v2:vs) = let line = step v1 v2
lines = showP vs
in if null line then lines else line:lines
step v1 v2 | last && first = induced
| last && isSyn r1 = "pass up " ++ alignR maxf "" ++ " " ++ alignL maxa a1 ++ " in " ++ alignR maxn n1 ++ "|" ++ c1 ++ induced
| first&& not(isSyn r2) = "get from above " ++ alignR maxf "" ++ " " ++ alignL maxa a2 ++ " in " ++ alignR maxn n2 ++ "|" ++ c2
| last = "pass down " ++ alignR maxf f1 ++ "." ++ a1 ++ induced
| isSyn r2 = "get from below " ++ alignR maxf f2 ++ "." ++ alignL maxa a2 ++ " in " ++ alignR maxn n2 ++ "|" ++ c2
| isLocal r1 = if head a1 == '_'
then ""
else "calculate " ++ alignR maxf "loc" ++ "." ++ a1
| otherwise = "pass down " ++ alignR maxf f1 ++ "." ++ alignL maxa a1 ++ " to " ++ alignR maxn n2 ++ "|" ++ c2
where
first = v1<0
last = v2<0
r1 = ruleTable ! v1
r2 = ruleTable ! v2
a1 = show (getAttr r1)
a2 = show (getAttr r2)
f1 = show (getField r1)
f2 = show (getField r2)
n1 = show (getLhsNt r1)
n2 = show (getLhsNt r2)
c1 = show (getCon r1)
c2 = show (getCon r2)
induced | v2== -2 = " INDUCED dependency to "
| otherwise = ""
maxWidths ruleTable vs
= map maximum (transpose (map getWidth vs))
where getWidth v | v<0 = [0,0,0,0]
| otherwise = map (length . show . ($ (ruleTable!v))) [getField, getAttr, getLhsNt, getCon]
alignL n xs | k<n = xs ++ replicate (n-k) ' '
| otherwise = xs
where k = length xs
alignR n xs | k<n = replicate (n-k) ' ' ++ xs
| otherwise = xs
where k = length xs
localCycleErr :: Table CRule -> Bool -> Route -> Error
localCycleErr ruleTable o_visit (s:path)
= let cr = ruleTable ! s
attr = getAttr cr
nt = getLhsNt cr
con = getCon cr
in LocalCirc nt con attr o_visit (showPathLocal ruleTable path)
instCycleErr :: Table CRule -> Bool -> Route -> Error
instCycleErr ruleTable o_visit (s:path)
= let cr = ruleTable ! s
attr = getAttr cr
nt = getLhsNt cr
con = getCon cr
in InstCirc nt con attr o_visit (showPathLocal ruleTable path)
directCycleErrs :: Table NTAttr -> Table CRule -> Bool -> [EdgeRoutes] -> [Error]
directCycleErrs attrTable ruleTable o_visit xs
= let getNont v = case attrTable ! v of
NTASyn nt _ _ -> nt
NTAInh nt _ _ -> nt
getAttr v = case attrTable ! v of
NTASyn _ a _ -> a
NTAInh _ a _ -> a
sameNont ((v1,_),_,_) ((v2,_),_,_) = getNont v1 == getNont v2
procCycle ((v1,v2),p1,p2) = ((getAttr v1, getAttr v2), showPathNice ruleTable p1, showPathNice ruleTable p2)
wrapGroup gr@(((v1,_),_,_):_) = DirectCirc (getNont v1) o_visit (map procCycle gr)
in map wrapGroup (groupBy sameNont xs)
inducedCycleErrs :: Table NTAttr -> Table CRule -> CInterfaceMap -> [EdgeRoutes] -> [Error]
inducedCycleErrs attrTable ruleTable cim xs
= let getNont v = case attrTable ! v of
NTASyn nt _ _ -> nt
NTAInh nt _ _ -> nt
getAttr v = case attrTable ! v of
NTASyn _ a _ -> a
NTAInh _ a _ -> a
sameNont ((v1,_),_,_) ((v2,_),_,_) = getNont v1 == getNont v2
procCycle ((v1,v2),p1,p2) = ((getAttr v1, getAttr v2), showPathNice ruleTable p1, showPathNice ruleTable p2)
wrapGroup gr@(((v1,_),_,_):_) = InducedCirc (getNont v1) (findWithErr1 "inducedCycleErr.cinter" (getNont v1) cim) (map procCycle gr)
in map wrapGroup (groupBy sameNont xs)
{-# LINE 226 "../src-derived/Order.hs" #-}
-- Child -------------------------------------------------------
{-
visit 0:
inherited attributes:
allfields : [(Identifier,Type,Maybe (Maybe Type))]
allnts : [Identifier]
attrs : [(Identifier,Identifier)]
con : Identifier
inh : Attributes
nt : Identifier
o_unbox : Bool
syn : Attributes
synthesized attributes:
attributes : [(Identifier,Attributes,Attributes)]
collectChildrenInhs : Map Identifier Attributes
collectChildrenSyns : Map Identifier Attributes
errors : Seq Error
field : (Identifier,Type,Maybe (Maybe Type))
gathAltAttrs : [AltAttr]
gathRules : Seq CRule
inhs : Seq (Identifier,Attributes)
nts : Seq (Identifier,NontermIdent)
singlevisits : [CRule]
terminals : [Identifier]
alternatives:
alternative Child:
child name : {Identifier}
child tp : {Type}
child inh : {Attributes}
child syn : {Attributes}
child virtual : {Maybe (Maybe Type)}
visit 0:
local maptolocal : _
local gathRules : _
-}
-- cata
sem_Child :: Child ->
T_Child
sem_Child (Child _name _tp _inh _syn _virtual ) =
(sem_Child_Child _name _tp _inh _syn _virtual )
-- semantic domain
newtype T_Child = T_Child (([(Identifier,Type,Maybe (Maybe Type))]) ->
([Identifier]) ->
([(Identifier,Identifier)]) ->
Identifier ->
Attributes ->
Identifier ->
Bool ->
Attributes ->
( ([(Identifier,Attributes,Attributes)]),(Map Identifier Attributes ),(Map Identifier Attributes ),(Seq Error),((Identifier,Type,Maybe (Maybe Type))),([AltAttr]),(Seq CRule),(Seq (Identifier,Attributes)),(Seq (Identifier,NontermIdent)),([CRule]),([Identifier])))
data Inh_Child = Inh_Child {allfields_Inh_Child :: !(([(Identifier,Type,Maybe (Maybe Type))])),allnts_Inh_Child :: !(([Identifier])),attrs_Inh_Child :: !(([(Identifier,Identifier)])),con_Inh_Child :: !(Identifier),inh_Inh_Child :: !(Attributes),nt_Inh_Child :: !(Identifier),o_unbox_Inh_Child :: !(Bool),syn_Inh_Child :: !(Attributes)}
data Syn_Child = Syn_Child {attributes_Syn_Child :: !(([(Identifier,Attributes,Attributes)])),collectChildrenInhs_Syn_Child :: !((Map Identifier Attributes )),collectChildrenSyns_Syn_Child :: !((Map Identifier Attributes )),errors_Syn_Child :: !((Seq Error)),field_Syn_Child :: !(((Identifier,Type,Maybe (Maybe Type)))),gathAltAttrs_Syn_Child :: !(([AltAttr])),gathRules_Syn_Child :: !((Seq CRule)),inhs_Syn_Child :: !((Seq (Identifier,Attributes))),nts_Syn_Child :: !((Seq (Identifier,NontermIdent))),singlevisits_Syn_Child :: !(([CRule])),terminals_Syn_Child :: !(([Identifier]))}
wrap_Child :: T_Child ->
Inh_Child ->
Syn_Child
wrap_Child (T_Child sem ) (Inh_Child _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIinh _lhsInt _lhsIo_unbox _lhsIsyn ) =
(let ( _lhsOattributes,_lhsOcollectChildrenInhs,_lhsOcollectChildrenSyns,_lhsOerrors,_lhsOfield,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinhs,_lhsOnts,_lhsOsinglevisits,_lhsOterminals) =
(sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIinh _lhsInt _lhsIo_unbox _lhsIsyn )
in (Syn_Child _lhsOattributes _lhsOcollectChildrenInhs _lhsOcollectChildrenSyns _lhsOerrors _lhsOfield _lhsOgathAltAttrs _lhsOgathRules _lhsOinhs _lhsOnts _lhsOsinglevisits _lhsOterminals ))
sem_Child_Child :: Identifier ->
Type ->
Attributes ->
Attributes ->
(Maybe (Maybe Type)) ->
T_Child
sem_Child_Child name_ tp_ inh_ syn_ virtual_ =
(T_Child (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIo_unbox
_lhsIsyn ->
(let _lhsOgathAltAttrs :: ([AltAttr])
_lhsOnts :: (Seq (Identifier,NontermIdent))
_lhsOinhs :: (Seq (Identifier,Attributes))
_lhsOcollectChildrenSyns :: (Map Identifier Attributes )
_lhsOcollectChildrenInhs :: (Map Identifier Attributes )
_lhsOsinglevisits :: ([CRule])
_lhsOterminals :: ([Identifier])
_lhsOattributes :: ([(Identifier,Attributes,Attributes)])
_lhsOfield :: ((Identifier,Type,Maybe (Maybe Type)))
_lhsOerrors :: (Seq Error)
_lhsOgathRules :: (Seq CRule)
-- "Order.ag"(line 177, column 13)
_maptolocal =
({-# LINE 177 "Order.ag" #-}
case tp_ of
NT nt _ -> Map.null syn_
_ -> True
{-# LINE 318 "Order.hs" #-})
-- "Order.ag"(line 180, column 13)
_lhsOgathAltAttrs =
({-# LINE 180 "Order.ag" #-}
if _maptolocal
then [ AltAttr _LOC name_ True ]
else [ AltAttr name_ syn True | syn <- Map.keys syn_ ]
{-# LINE 325 "Order.hs" #-})
-- "Order.ag"(line 195, column 13)
_lhsOnts =
({-# LINE 195 "Order.ag" #-}
Seq.singleton (name_,getNtName tp_)
{-# LINE 330 "Order.hs" #-})
-- "Order.ag"(line 196, column 13)
_lhsOinhs =
({-# LINE 196 "Order.ag" #-}
Seq.singleton (name_,inh_)
{-# LINE 335 "Order.hs" #-})
-- "Order.ag"(line 212, column 13)
_gathRules =
({-# LINE 212 "Order.ag" #-}
if _maptolocal
then Seq.singleton (cRuleTerminal name_ _lhsInt _lhsIcon tp_)
else Seq.fromList [ cRuleRhsSyn syn _lhsInt _lhsIcon tp name_ (getNtName tp_) | (syn,tp) <- Map.assocs syn_]
{-# LINE 342 "Order.hs" #-})
-- "Order.ag"(line 346, column 12)
_lhsOcollectChildrenSyns =
({-# LINE 346 "Order.ag" #-}
Map.singleton name_ syn_
{-# LINE 347 "Order.hs" #-})
-- "Order.ag"(line 347, column 12)
_lhsOcollectChildrenInhs =
({-# LINE 347 "Order.ag" #-}
Map.singleton name_ inh_
{-# LINE 352 "Order.hs" #-})
-- "Order.ag"(line 557, column 11)
_lhsOsinglevisits =
({-# LINE 557 "Order.ag" #-}
if _maptolocal
then []
else [CChildVisit name_ (getNtName tp_) 0 inh_ syn_ True]
{-# LINE 359 "Order.hs" #-})
-- "Order.ag"(line 581, column 11)
_lhsOterminals =
({-# LINE 581 "Order.ag" #-}
if _maptolocal
then [name_]
else []
{-# LINE 366 "Order.hs" #-})
-- "Order.ag"(line 610, column 11)
_lhsOattributes =
({-# LINE 610 "Order.ag" #-}
[(name_, inh_, syn_)]
{-# LINE 371 "Order.hs" #-})
-- "Order.ag"(line 614, column 11)
_lhsOfield =
({-# LINE 614 "Order.ag" #-}
(name_, tp_, virtual_)
{-# LINE 376 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
Seq.empty
{-# LINE 381 "Order.hs" #-})
-- use rule "Order.ag"(line 206, column 23)
_lhsOgathRules =
({-# LINE 206 "Order.ag" #-}
_gathRules
{-# LINE 386 "Order.hs" #-})
in ( _lhsOattributes,_lhsOcollectChildrenInhs,_lhsOcollectChildrenSyns,_lhsOerrors,_lhsOfield,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinhs,_lhsOnts,_lhsOsinglevisits,_lhsOterminals))) )
-- Children ----------------------------------------------------
{-
visit 0:
inherited attributes:
allfields : [(Identifier,Type,Maybe (Maybe Type))]
allnts : [Identifier]
attrs : [(Identifier,Identifier)]
con : Identifier
inh : Attributes
nt : Identifier
o_unbox : Bool
syn : Attributes
synthesized attributes:
attributes : [(Identifier,Attributes,Attributes)]
collectChildrenInhs : Map Identifier Attributes
collectChildrenSyns : Map Identifier Attributes
errors : Seq Error
fields : [(Identifier,Type,Maybe (Maybe Type))]
gathAltAttrs : [AltAttr]
gathRules : Seq CRule
inhs : Seq (Identifier,Attributes)
nts : Seq (Identifier,NontermIdent)
singlevisits : [CRule]
terminals : [Identifier]
alternatives:
alternative Cons:
child hd : Child
child tl : Children
alternative Nil:
-}
-- cata
sem_Children :: Children ->
T_Children
sem_Children list =
(Prelude.foldr sem_Children_Cons sem_Children_Nil (Prelude.map sem_Child list) )
-- semantic domain
newtype T_Children = T_Children (([(Identifier,Type,Maybe (Maybe Type))]) ->
([Identifier]) ->
([(Identifier,Identifier)]) ->
Identifier ->
Attributes ->
Identifier ->
Bool ->
Attributes ->
( ([(Identifier,Attributes,Attributes)]),(Map Identifier Attributes ),(Map Identifier Attributes ),(Seq Error),([(Identifier,Type,Maybe (Maybe Type))]),([AltAttr]),(Seq CRule),(Seq (Identifier,Attributes)),(Seq (Identifier,NontermIdent)),([CRule]),([Identifier])))
data Inh_Children = Inh_Children {allfields_Inh_Children :: !(([(Identifier,Type,Maybe (Maybe Type))])),allnts_Inh_Children :: !(([Identifier])),attrs_Inh_Children :: !(([(Identifier,Identifier)])),con_Inh_Children :: !(Identifier),inh_Inh_Children :: !(Attributes),nt_Inh_Children :: !(Identifier),o_unbox_Inh_Children :: !(Bool),syn_Inh_Children :: !(Attributes)}
data Syn_Children = Syn_Children {attributes_Syn_Children :: !(([(Identifier,Attributes,Attributes)])),collectChildrenInhs_Syn_Children :: !((Map Identifier Attributes )),collectChildrenSyns_Syn_Children :: !((Map Identifier Attributes )),errors_Syn_Children :: !((Seq Error)),fields_Syn_Children :: !(([(Identifier,Type,Maybe (Maybe Type))])),gathAltAttrs_Syn_Children :: !(([AltAttr])),gathRules_Syn_Children :: !((Seq CRule)),inhs_Syn_Children :: !((Seq (Identifier,Attributes))),nts_Syn_Children :: !((Seq (Identifier,NontermIdent))),singlevisits_Syn_Children :: !(([CRule])),terminals_Syn_Children :: !(([Identifier]))}
wrap_Children :: T_Children ->
Inh_Children ->
Syn_Children
wrap_Children (T_Children sem ) (Inh_Children _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIinh _lhsInt _lhsIo_unbox _lhsIsyn ) =
(let ( _lhsOattributes,_lhsOcollectChildrenInhs,_lhsOcollectChildrenSyns,_lhsOerrors,_lhsOfields,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinhs,_lhsOnts,_lhsOsinglevisits,_lhsOterminals) =
(sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIinh _lhsInt _lhsIo_unbox _lhsIsyn )
in (Syn_Children _lhsOattributes _lhsOcollectChildrenInhs _lhsOcollectChildrenSyns _lhsOerrors _lhsOfields _lhsOgathAltAttrs _lhsOgathRules _lhsOinhs _lhsOnts _lhsOsinglevisits _lhsOterminals ))
sem_Children_Cons :: T_Child ->
T_Children ->
T_Children
sem_Children_Cons (T_Child hd_ ) (T_Children tl_ ) =
(T_Children (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIo_unbox
_lhsIsyn ->
(let _lhsOfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_lhsOattributes :: ([(Identifier,Attributes,Attributes)])
_lhsOcollectChildrenInhs :: (Map Identifier Attributes )
_lhsOcollectChildrenSyns :: (Map Identifier Attributes )
_lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOgathRules :: (Seq CRule)
_lhsOinhs :: (Seq (Identifier,Attributes))
_lhsOnts :: (Seq (Identifier,NontermIdent))
_lhsOsinglevisits :: ([CRule])
_lhsOterminals :: ([Identifier])
_hdOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_hdOallnts :: ([Identifier])
_hdOattrs :: ([(Identifier,Identifier)])
_hdOcon :: Identifier
_hdOinh :: Attributes
_hdOnt :: Identifier
_hdOo_unbox :: Bool
_hdOsyn :: Attributes
_tlOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_tlOallnts :: ([Identifier])
_tlOattrs :: ([(Identifier,Identifier)])
_tlOcon :: Identifier
_tlOinh :: Attributes
_tlOnt :: Identifier
_tlOo_unbox :: Bool
_tlOsyn :: Attributes
_hdIattributes :: ([(Identifier,Attributes,Attributes)])
_hdIcollectChildrenInhs :: (Map Identifier Attributes )
_hdIcollectChildrenSyns :: (Map Identifier Attributes )
_hdIerrors :: (Seq Error)
_hdIfield :: ((Identifier,Type,Maybe (Maybe Type)))
_hdIgathAltAttrs :: ([AltAttr])
_hdIgathRules :: (Seq CRule)
_hdIinhs :: (Seq (Identifier,Attributes))
_hdInts :: (Seq (Identifier,NontermIdent))
_hdIsinglevisits :: ([CRule])
_hdIterminals :: ([Identifier])
_tlIattributes :: ([(Identifier,Attributes,Attributes)])
_tlIcollectChildrenInhs :: (Map Identifier Attributes )
_tlIcollectChildrenSyns :: (Map Identifier Attributes )
_tlIerrors :: (Seq Error)
_tlIfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_tlIgathAltAttrs :: ([AltAttr])
_tlIgathRules :: (Seq CRule)
_tlIinhs :: (Seq (Identifier,Attributes))
_tlInts :: (Seq (Identifier,NontermIdent))
_tlIsinglevisits :: ([CRule])
_tlIterminals :: ([Identifier])
-- "Order.ag"(line 617, column 11)
_lhsOfields =
({-# LINE 617 "Order.ag" #-}
_hdIfield : _tlIfields
{-# LINE 507 "Order.hs" #-})
-- use rule "Order.ag"(line 608, column 32)
_lhsOattributes =
({-# LINE 608 "Order.ag" #-}
_hdIattributes ++ _tlIattributes
{-# LINE 512 "Order.hs" #-})
-- use rule "Order.ag"(line 344, column 68)
_lhsOcollectChildrenInhs =
({-# LINE 344 "Order.ag" #-}
_hdIcollectChildrenInhs `Map.union` _tlIcollectChildrenInhs
{-# LINE 517 "Order.hs" #-})
-- use rule "Order.ag"(line 344, column 68)
_lhsOcollectChildrenSyns =
({-# LINE 344 "Order.ag" #-}
_hdIcollectChildrenSyns `Map.union` _tlIcollectChildrenSyns
{-# LINE 522 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_hdIerrors Seq.>< _tlIerrors
{-# LINE 527 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
_hdIgathAltAttrs ++ _tlIgathAltAttrs
{-# LINE 532 "Order.hs" #-})
-- use rule "Order.ag"(line 206, column 23)
_lhsOgathRules =
({-# LINE 206 "Order.ag" #-}
_hdIgathRules Seq.>< _tlIgathRules
{-# LINE 537 "Order.hs" #-})
-- use rule "Order.ag"(line 193, column 20)
_lhsOinhs =
({-# LINE 193 "Order.ag" #-}
_hdIinhs Seq.>< _tlIinhs
{-# LINE 542 "Order.hs" #-})
-- use rule "Order.ag"(line 192, column 19)
_lhsOnts =
({-# LINE 192 "Order.ag" #-}
_hdInts Seq.>< _tlInts
{-# LINE 547 "Order.hs" #-})
-- use rule "Order.ag"(line 555, column 40)
_lhsOsinglevisits =
({-# LINE 555 "Order.ag" #-}
_hdIsinglevisits ++ _tlIsinglevisits
{-# LINE 552 "Order.hs" #-})
-- use rule "Order.ag"(line 579, column 38)
_lhsOterminals =
({-# LINE 579 "Order.ag" #-}
_hdIterminals ++ _tlIterminals
{-# LINE 557 "Order.hs" #-})
-- copy rule (down)
_hdOallfields =
({-# LINE 597 "Order.ag" #-}
_lhsIallfields
{-# LINE 562 "Order.hs" #-})
-- copy rule (down)
_hdOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 567 "Order.hs" #-})
-- copy rule (down)
_hdOattrs =
({-# LINE 597 "Order.ag" #-}
_lhsIattrs
{-# LINE 572 "Order.hs" #-})
-- copy rule (down)
_hdOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 577 "Order.hs" #-})
-- copy rule (down)
_hdOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 582 "Order.hs" #-})
-- copy rule (down)
_hdOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 587 "Order.hs" #-})
-- copy rule (down)
_hdOo_unbox =
({-# LINE 119 "Order.ag" #-}
_lhsIo_unbox
{-# LINE 592 "Order.hs" #-})
-- copy rule (down)
_hdOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 597 "Order.hs" #-})
-- copy rule (down)
_tlOallfields =
({-# LINE 597 "Order.ag" #-}
_lhsIallfields
{-# LINE 602 "Order.hs" #-})
-- copy rule (down)
_tlOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 607 "Order.hs" #-})
-- copy rule (down)
_tlOattrs =
({-# LINE 597 "Order.ag" #-}
_lhsIattrs
{-# LINE 612 "Order.hs" #-})
-- copy rule (down)
_tlOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 617 "Order.hs" #-})
-- copy rule (down)
_tlOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 622 "Order.hs" #-})
-- copy rule (down)
_tlOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 627 "Order.hs" #-})
-- copy rule (down)
_tlOo_unbox =
({-# LINE 119 "Order.ag" #-}
_lhsIo_unbox
{-# LINE 632 "Order.hs" #-})
-- copy rule (down)
_tlOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 637 "Order.hs" #-})
( _hdIattributes,_hdIcollectChildrenInhs,_hdIcollectChildrenSyns,_hdIerrors,_hdIfield,_hdIgathAltAttrs,_hdIgathRules,_hdIinhs,_hdInts,_hdIsinglevisits,_hdIterminals) =
(hd_ _hdOallfields _hdOallnts _hdOattrs _hdOcon _hdOinh _hdOnt _hdOo_unbox _hdOsyn )
( _tlIattributes,_tlIcollectChildrenInhs,_tlIcollectChildrenSyns,_tlIerrors,_tlIfields,_tlIgathAltAttrs,_tlIgathRules,_tlIinhs,_tlInts,_tlIsinglevisits,_tlIterminals) =
(tl_ _tlOallfields _tlOallnts _tlOattrs _tlOcon _tlOinh _tlOnt _tlOo_unbox _tlOsyn )
in ( _lhsOattributes,_lhsOcollectChildrenInhs,_lhsOcollectChildrenSyns,_lhsOerrors,_lhsOfields,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinhs,_lhsOnts,_lhsOsinglevisits,_lhsOterminals))) )
sem_Children_Nil :: T_Children
sem_Children_Nil =
(T_Children (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIo_unbox
_lhsIsyn ->
(let _lhsOfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_lhsOattributes :: ([(Identifier,Attributes,Attributes)])
_lhsOcollectChildrenInhs :: (Map Identifier Attributes )
_lhsOcollectChildrenSyns :: (Map Identifier Attributes )
_lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOgathRules :: (Seq CRule)
_lhsOinhs :: (Seq (Identifier,Attributes))
_lhsOnts :: (Seq (Identifier,NontermIdent))
_lhsOsinglevisits :: ([CRule])
_lhsOterminals :: ([Identifier])
-- "Order.ag"(line 618, column 11)
_lhsOfields =
({-# LINE 618 "Order.ag" #-}
[]
{-# LINE 668 "Order.hs" #-})
-- use rule "Order.ag"(line 608, column 32)
_lhsOattributes =
({-# LINE 608 "Order.ag" #-}
[]
{-# LINE 673 "Order.hs" #-})
-- use rule "Order.ag"(line 344, column 68)
_lhsOcollectChildrenInhs =
({-# LINE 344 "Order.ag" #-}
Map.empty
{-# LINE 678 "Order.hs" #-})
-- use rule "Order.ag"(line 344, column 68)
_lhsOcollectChildrenSyns =
({-# LINE 344 "Order.ag" #-}
Map.empty
{-# LINE 683 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
Seq.empty
{-# LINE 688 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
[]
{-# LINE 693 "Order.hs" #-})
-- use rule "Order.ag"(line 206, column 23)
_lhsOgathRules =
({-# LINE 206 "Order.ag" #-}
Seq.empty
{-# LINE 698 "Order.hs" #-})
-- use rule "Order.ag"(line 193, column 20)
_lhsOinhs =
({-# LINE 193 "Order.ag" #-}
Seq.empty
{-# LINE 703 "Order.hs" #-})
-- use rule "Order.ag"(line 192, column 19)
_lhsOnts =
({-# LINE 192 "Order.ag" #-}
Seq.empty
{-# LINE 708 "Order.hs" #-})
-- use rule "Order.ag"(line 555, column 40)
_lhsOsinglevisits =
({-# LINE 555 "Order.ag" #-}
[]
{-# LINE 713 "Order.hs" #-})
-- use rule "Order.ag"(line 579, column 38)
_lhsOterminals =
({-# LINE 579 "Order.ag" #-}
[]
{-# LINE 718 "Order.hs" #-})
in ( _lhsOattributes,_lhsOcollectChildrenInhs,_lhsOcollectChildrenSyns,_lhsOerrors,_lhsOfields,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinhs,_lhsOnts,_lhsOsinglevisits,_lhsOterminals))) )
-- Expression --------------------------------------------------
{-
visit 0:
inherited attributes:
allfields : [(Identifier,Type,Maybe (Maybe Type))]
allnts : [Identifier]
attrs : [(Identifier,Identifier)]
con : Identifier
nt : Identifier
synthesized attributes:
allRhsVars : Set (Identifier,Identifier)
copy : SELF
errors : Seq Error
textLines : [String]
usedAttrs : [(Identifier,Identifier)]
usedFields : [Identifier]
usedLocals : [Identifier]
alternatives:
alternative Expression:
child pos : {Pos}
child tks : {[HsToken]}
visit 0:
local _tup1 : _
local errors : _
local textLines : _
local usedAttrs : _
local usedLocals : _
local usedFields : _
local copy : _
-}
-- cata
sem_Expression :: Expression ->
T_Expression
sem_Expression (Expression _pos _tks ) =
(sem_Expression_Expression _pos _tks )
-- semantic domain
newtype T_Expression = T_Expression (([(Identifier,Type,Maybe (Maybe Type))]) ->
([Identifier]) ->
([(Identifier,Identifier)]) ->
Identifier ->
Identifier ->
( (Set (Identifier,Identifier)),Expression ,(Seq Error),([String]),([(Identifier,Identifier)]),([Identifier]),([Identifier])))
data Inh_Expression = Inh_Expression {allfields_Inh_Expression :: !(([(Identifier,Type,Maybe (Maybe Type))])),allnts_Inh_Expression :: !(([Identifier])),attrs_Inh_Expression :: !(([(Identifier,Identifier)])),con_Inh_Expression :: !(Identifier),nt_Inh_Expression :: !(Identifier)}
data Syn_Expression = Syn_Expression {allRhsVars_Syn_Expression :: !((Set (Identifier,Identifier))),copy_Syn_Expression :: !(Expression ),errors_Syn_Expression :: !((Seq Error)),textLines_Syn_Expression :: !(([String])),usedAttrs_Syn_Expression :: !(([(Identifier,Identifier)])),usedFields_Syn_Expression :: !(([Identifier])),usedLocals_Syn_Expression :: !(([Identifier]))}
wrap_Expression :: T_Expression ->
Inh_Expression ->
Syn_Expression
wrap_Expression (T_Expression sem ) (Inh_Expression _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsInt ) =
(let ( _lhsOallRhsVars,_lhsOcopy,_lhsOerrors,_lhsOtextLines,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) =
(sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsInt )
in (Syn_Expression _lhsOallRhsVars _lhsOcopy _lhsOerrors _lhsOtextLines _lhsOusedAttrs _lhsOusedFields _lhsOusedLocals ))
sem_Expression_Expression :: Pos ->
([HsToken]) ->
T_Expression
sem_Expression_Expression pos_ tks_ =
(T_Expression (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsInt ->
(let _lhsOallRhsVars :: (Set (Identifier,Identifier))
_lhsOcopy :: Expression
_lhsOerrors :: (Seq Error)
_lhsOtextLines :: ([String])
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedFields :: ([Identifier])
_lhsOusedLocals :: ([Identifier])
-- "Order.ag"(line 416, column 21)
__tup1 =
({-# LINE 416 "Order.ag" #-}
let inherited = Inh_HsTokensRoot
{ attrs_Inh_HsTokensRoot = _lhsIattrs
, con_Inh_HsTokensRoot = _lhsIcon
, allfields_Inh_HsTokensRoot = _lhsIallfields
, allnts_Inh_HsTokensRoot = _lhsIallnts
, nt_Inh_HsTokensRoot = _lhsInt
}
synthesized = wrap_HsTokensRoot (sem_HsTokensRoot (HsTokensRoot tks_)) inherited
in case synthesized of
Syn_HsTokensRoot
{ errors_Syn_HsTokensRoot = errors
, textLines_Syn_HsTokensRoot = textLines
, usedAttrs_Syn_HsTokensRoot = usedAttrs
, usedLocals_Syn_HsTokensRoot = usedLocals
, usedFields_Syn_HsTokensRoot = usedFields
} -> (errors,textLines,usedAttrs,usedLocals,usedFields)
{-# LINE 806 "Order.hs" #-})
-- "Order.ag"(line 416, column 21)
(_errors,_,_,_,_) =
({-# LINE 416 "Order.ag" #-}
__tup1
{-# LINE 811 "Order.hs" #-})
-- "Order.ag"(line 416, column 21)
(_,_textLines,_,_,_) =
({-# LINE 416 "Order.ag" #-}
__tup1
{-# LINE 816 "Order.hs" #-})
-- "Order.ag"(line 416, column 21)
(_,_,_usedAttrs,_,_) =
({-# LINE 416 "Order.ag" #-}
__tup1
{-# LINE 821 "Order.hs" #-})
-- "Order.ag"(line 416, column 21)
(_,_,_,_usedLocals,_) =
({-# LINE 416 "Order.ag" #-}
__tup1
{-# LINE 826 "Order.hs" #-})
-- "Order.ag"(line 416, column 21)
(_,_,_,_,_usedFields) =
({-# LINE 416 "Order.ag" #-}
__tup1
{-# LINE 831 "Order.hs" #-})
-- "Order.ag"(line 434, column 17)
_lhsOallRhsVars =
({-# LINE 434 "Order.ag" #-}
Set.fromList _usedAttrs
`Set.union`
Set.fromList [ (_LOC, l) | l <- _usedLocals ]
`Set.union`
Set.fromList [ (_FIELD, fld) | fld <- _usedFields ]
{-# LINE 840 "Order.hs" #-})
-- self rule
_copy =
({-# LINE 411 "Order.ag" #-}
Expression pos_ tks_
{-# LINE 845 "Order.hs" #-})
-- self rule
_lhsOcopy =
({-# LINE 411 "Order.ag" #-}
_copy
{-# LINE 850 "Order.hs" #-})
-- copy rule (from local)
_lhsOerrors =
({-# LINE 406 "Order.ag" #-}
_errors
{-# LINE 855 "Order.hs" #-})
-- copy rule (from local)
_lhsOtextLines =
({-# LINE 410 "Order.ag" #-}
_textLines
{-# LINE 860 "Order.hs" #-})
-- copy rule (from local)
_lhsOusedAttrs =
({-# LINE 408 "Order.ag" #-}
_usedAttrs
{-# LINE 865 "Order.hs" #-})
-- copy rule (from local)
_lhsOusedFields =
({-# LINE 409 "Order.ag" #-}
_usedFields
{-# LINE 870 "Order.hs" #-})
-- copy rule (from local)
_lhsOusedLocals =
({-# LINE 407 "Order.ag" #-}
_usedLocals
{-# LINE 875 "Order.hs" #-})
in ( _lhsOallRhsVars,_lhsOcopy,_lhsOerrors,_lhsOtextLines,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )
-- Grammar -----------------------------------------------------
{-
visit 0:
inherited attribute:
options : Options
synthesized attributes:
errors : Seq Error
nAutoRules : Int
nExplicitRules : Int
output : CGrammar
alternatives:
alternative Grammar:
child typeSyns : {TypeSyns}
child useMap : {UseMap}
child derivings : {Derivings}
child wrappers : {Set NontermIdent}
child nonts : Nonterminals
child pragmas : {PragmaMap}
child manualAttrOrderMap : {AttrOrderMap}
child paramMap : {ParamMap}
child contextMap : {ContextMap}
child uniqueMap : {UniqueMap}
child augmentsMap : {Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression]))}
child aroundsMap : {Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression]))}
visit 0:
local ruleTable : _
local attrTable : _
local attrVertex : _
local tdpToTds : _
local tdsToTdp : _
local directDep : _
local instDep : _
local aroundDep : _
local info : _
local _tup2 : _
local cInterfaceMap : _
local cVisitsMap : _
local cyclesErrors : _
local aroundMap : _
-}
-- cata
sem_Grammar :: Grammar ->
T_Grammar
sem_Grammar (Grammar _typeSyns _useMap _derivings _wrappers _nonts _pragmas _manualAttrOrderMap _paramMap _contextMap _uniqueMap _augmentsMap _aroundsMap ) =
(sem_Grammar_Grammar _typeSyns _useMap _derivings _wrappers (sem_Nonterminals _nonts ) _pragmas _manualAttrOrderMap _paramMap _contextMap _uniqueMap _augmentsMap _aroundsMap )
-- semantic domain
newtype T_Grammar = T_Grammar (Options ->
( (Seq Error),Int,Int,CGrammar))
data Inh_Grammar = Inh_Grammar {options_Inh_Grammar :: !(Options)}
data Syn_Grammar = Syn_Grammar {errors_Syn_Grammar :: !((Seq Error)),nAutoRules_Syn_Grammar :: !(Int),nExplicitRules_Syn_Grammar :: !(Int),output_Syn_Grammar :: !(CGrammar)}
wrap_Grammar :: T_Grammar ->
Inh_Grammar ->
Syn_Grammar
wrap_Grammar (T_Grammar sem ) (Inh_Grammar _lhsIoptions ) =
(let ( _lhsOerrors,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOoutput) =
(sem _lhsIoptions )
in (Syn_Grammar _lhsOerrors _lhsOnAutoRules _lhsOnExplicitRules _lhsOoutput ))
sem_Grammar_Grammar :: TypeSyns ->
UseMap ->
Derivings ->
(Set NontermIdent) ->
T_Nonterminals ->
PragmaMap ->
AttrOrderMap ->
ParamMap ->
ContextMap ->
UniqueMap ->
(Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression]))) ->
(Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression]))) ->
T_Grammar
sem_Grammar_Grammar typeSyns_ useMap_ derivings_ wrappers_ (T_Nonterminals nonts_ ) pragmas_ manualAttrOrderMap_ paramMap_ contextMap_ uniqueMap_ augmentsMap_ aroundsMap_ =
(T_Grammar (\ _lhsIoptions ->
(let _nontsOo_cata :: Bool
_nontsOo_data :: Bool
_nontsOo_sig :: Bool
_nontsOo_sem :: Bool
_nontsOo_rename :: Bool
_nontsOo_newtypes :: Bool
_nontsOo_wantvisit :: Bool
_nontsOo_dovisit :: Bool
_nontsOo_unbox :: Bool
_nontsOo_case :: Bool
_nontsOprefix :: String
_nontsOvcount :: Int
_nontsOmanualAttrDepMap :: AttrOrderMap
_nontsOaroundMap :: (Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression])))
_nontsOacount :: Int
_lhsOerrors :: (Seq Error)
_lhsOoutput :: CGrammar
_nontsOallnts :: ([Identifier])
_lhsOnAutoRules :: Int
_lhsOnExplicitRules :: Int
_nontsOcInterfaceMap :: CInterfaceMap
_nontsOcVisitsMap :: CVisitsMap
_nontsIacount :: Int
_nontsIadditionalDep :: (Seq Edge)
_nontsIaranges :: (Seq (Int,Int,Int))
_nontsIaroundDep :: (Seq Edge)
_nontsIcNonterminals :: CNonterminals
_nontsIdirectDep :: (Seq Edge)
_nontsIerrors :: (Seq Error)
_nontsIinstDep :: (Seq Edge)
_nontsInAutoRules :: Int
_nontsInExplicitRules :: Int
_nontsInonts :: ([(NontermIdent,[ConstructorIdent])])
_nontsIntattrs :: (Seq (Vertex,NTAttr))
_nontsIrules :: (Seq (Vertex,CRule))
_nontsIvcount :: Int
-- "Order.ag"(line 123, column 17)
_nontsOo_cata =
({-# LINE 123 "Order.ag" #-}
folds _lhsIoptions
{-# LINE 989 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOo_data =
({-# LINE 124 "Order.ag" #-}
dataTypes _lhsIoptions
{-# LINE 994 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOo_sig =
({-# LINE 125 "Order.ag" #-}
typeSigs _lhsIoptions
{-# LINE 999 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOo_sem =
({-# LINE 126 "Order.ag" #-}
semfuns _lhsIoptions
{-# LINE 1004 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOo_rename =
({-# LINE 127 "Order.ag" #-}
rename _lhsIoptions
{-# LINE 1009 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOo_newtypes =
({-# LINE 128 "Order.ag" #-}
newtypes _lhsIoptions
{-# LINE 1014 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOo_wantvisit =
({-# LINE 129 "Order.ag" #-}
visit _lhsIoptions
{-# LINE 1019 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOo_dovisit =
({-# LINE 130 "Order.ag" #-}
visit _lhsIoptions && null _cyclesErrors
{-# LINE 1024 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOo_unbox =
({-# LINE 131 "Order.ag" #-}
unbox _lhsIoptions
{-# LINE 1029 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOo_case =
({-# LINE 132 "Order.ag" #-}
cases _lhsIoptions
{-# LINE 1034 "Order.hs" #-})
-- "Order.ag"(line 123, column 17)
_nontsOprefix =
({-# LINE 133 "Order.ag" #-}
prefix _lhsIoptions
{-# LINE 1039 "Order.hs" #-})
-- "Order.ag"(line 261, column 15)
_nontsOvcount =
({-# LINE 261 "Order.ag" #-}
0
{-# LINE 1044 "Order.hs" #-})
-- "Order.ag"(line 287, column 7)
_nontsOmanualAttrDepMap =
({-# LINE 287 "Order.ag" #-}
manualAttrOrderMap_
{-# LINE 1049 "Order.hs" #-})
-- "Order.ag"(line 370, column 14)
_nontsOaroundMap =
({-# LINE 370 "Order.ag" #-}
aroundsMap_
{-# LINE 1054 "Order.hs" #-})
-- "Order.ag"(line 448, column 13)
_nontsOacount =
({-# LINE 448 "Order.ag" #-}
0
{-# LINE 1059 "Order.hs" #-})
-- "Order.ag"(line 486, column 13)
_ruleTable =
({-# LINE 486 "Order.ag" #-}
Array.array (0,_nontsIvcount-1) (toList _nontsIrules)
{-# LINE 1064 "Order.hs" #-})
-- "Order.ag"(line 487, column 13)
_attrTable =
({-# LINE 487 "Order.ag" #-}
Array.array (0,_nontsIacount-1) (toList _nontsIntattrs)
{-# LINE 1069 "Order.hs" #-})
-- "Order.ag"(line 488, column 13)
_attrVertex =
({-# LINE 488 "Order.ag" #-}
Map.fromList (map swap (toList _nontsIntattrs))
{-# LINE 1074 "Order.hs" #-})
-- "Order.ag"(line 489, column 13)
_tdpToTds =
({-# LINE 489 "Order.ag" #-}
[ (s, maybe (-1) (\v -> findWithErr1 "Grammar.tdpToTds" v _attrVertex) (ntattr cr))
| (s,cr) <- toList _nontsIrules]
{-# LINE 1080 "Order.hs" #-})
-- "Order.ag"(line 491, column 13)
_tdsToTdp =
({-# LINE 491 "Order.ag" #-}
let eq (_,v) (_,v') = v == v'
conv ((s,v):svs) | v == -1 = Nothing
| otherwise = Just (v,s:map fst svs)
in mapMaybe conv (eqClasses eq _tdpToTds)
{-# LINE 1088 "Order.hs" #-})
-- "Order.ag"(line 495, column 13)
_directDep =
({-# LINE 495 "Order.ag" #-}
toList (_nontsIdirectDep Seq.>< _nontsIadditionalDep)
{-# LINE 1093 "Order.hs" #-})
-- "Order.ag"(line 496, column 13)
_instDep =
({-# LINE 496 "Order.ag" #-}
toList _nontsIinstDep
{-# LINE 1098 "Order.hs" #-})
-- "Order.ag"(line 497, column 13)
_aroundDep =
({-# LINE 497 "Order.ag" #-}
toList _nontsIaroundDep
{-# LINE 1103 "Order.hs" #-})
-- "Order.ag"(line 498, column 13)
_info =
({-# LINE 498 "Order.ag" #-}
let def [] = -1
def (v:vs) = v
in Info { tdsToTdp = Array.array (0,_nontsIacount-1) _tdsToTdp
, tdpToTds = Array.array (0,_nontsIvcount-1) _tdpToTds
, attrTable = _attrTable
, ruleTable = _ruleTable
, lmh = toList _nontsIaranges
, nonts = _nontsInonts
, wraps = wrappers_
}
{-# LINE 1117 "Order.hs" #-})
-- "Order.ag"(line 509, column 17)
__tup2 =
({-# LINE 509 "Order.ag" #-}
case computeSequential _info _directDep (_instDep ++ _aroundDep) of
CycleFree cim cvm -> ( cim
, cvm
, []
)
LocalCycle errs -> ( error "No interfaces for AG with local cycles"
, error "No visit sub-sequences for AG with local cycles"
, map (localCycleErr _ruleTable (visit _lhsIoptions)) errs
)
InstCycle errs -> ( error "No interfaces for AG with cycles through insts"
, error "No visit sub-sequences for AG with cycles through insts"
, map (instCycleErr _ruleTable (visit _lhsIoptions)) errs
)
DirectCycle errs -> ( error "No interfaces for AG with direct cycles"
, error "No visit sub-sequences for AG with direct cycles"
, directCycleErrs _attrTable _ruleTable (visit _lhsIoptions) errs
)
InducedCycle cim errs -> ( cim
, error "No visit sub-sequences for AG with induced cycles"
, inducedCycleErrs _attrTable _ruleTable cim errs
)
{-# LINE 1142 "Order.hs" #-})
-- "Order.ag"(line 509, column 17)
(_cInterfaceMap,_,_) =
({-# LINE 509 "Order.ag" #-}
__tup2
{-# LINE 1147 "Order.hs" #-})
-- "Order.ag"(line 509, column 17)
(_,_cVisitsMap,_) =
({-# LINE 509 "Order.ag" #-}
__tup2
{-# LINE 1152 "Order.hs" #-})
-- "Order.ag"(line 509, column 17)
(_,_,_cyclesErrors) =
({-# LINE 509 "Order.ag" #-}
__tup2
{-# LINE 1157 "Order.hs" #-})
-- "Order.ag"(line 531, column 13)
_lhsOerrors =
({-# LINE 531 "Order.ag" #-}
(if withCycle _lhsIoptions then Seq.fromList _cyclesErrors else Seq.empty)
Seq.>< _nontsIerrors
{-# LINE 1163 "Order.hs" #-})
-- "Order.ag"(line 563, column 15)
_lhsOoutput =
({-# LINE 563 "Order.ag" #-}
CGrammar typeSyns_ derivings_ wrappers_ _nontsIcNonterminals pragmas_ paramMap_ contextMap_ _aroundMap
{-# LINE 1168 "Order.hs" #-})
-- "Order.ag"(line 576, column 14)
_aroundMap =
({-# LINE 576 "Order.ag" #-}
Map.map (Map.map Map.keysSet) aroundsMap_
{-# LINE 1173 "Order.hs" #-})
-- "Order.ag"(line 593, column 13)
_nontsOallnts =
({-# LINE 593 "Order.ag" #-}
map fst (_nontsInonts)
{-# LINE 1178 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnAutoRules =
({-# LINE 61 "Order.ag" #-}
_nontsInAutoRules
{-# LINE 1183 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnExplicitRules =
({-# LINE 61 "Order.ag" #-}
_nontsInExplicitRules
{-# LINE 1188 "Order.hs" #-})
-- copy rule (from local)
_nontsOcInterfaceMap =
({-# LINE 538 "Order.ag" #-}
_cInterfaceMap
{-# LINE 1193 "Order.hs" #-})
-- copy rule (from local)
_nontsOcVisitsMap =
({-# LINE 545 "Order.ag" #-}
_cVisitsMap
{-# LINE 1198 "Order.hs" #-})
( _nontsIacount,_nontsIadditionalDep,_nontsIaranges,_nontsIaroundDep,_nontsIcNonterminals,_nontsIdirectDep,_nontsIerrors,_nontsIinstDep,_nontsInAutoRules,_nontsInExplicitRules,_nontsInonts,_nontsIntattrs,_nontsIrules,_nontsIvcount) =
(nonts_ _nontsOacount _nontsOallnts _nontsOaroundMap _nontsOcInterfaceMap _nontsOcVisitsMap _nontsOmanualAttrDepMap _nontsOo_case _nontsOo_cata _nontsOo_data _nontsOo_dovisit _nontsOo_newtypes _nontsOo_rename _nontsOo_sem _nontsOo_sig _nontsOo_unbox _nontsOo_wantvisit _nontsOprefix _nontsOvcount )
in ( _lhsOerrors,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOoutput))) )
-- Nonterminal -------------------------------------------------
{-
visit 0:
inherited attributes:
allnts : [Identifier]
aroundMap : Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression]))
cInterfaceMap : CInterfaceMap
cVisitsMap : CVisitsMap
manualAttrDepMap : AttrOrderMap
o_case : Bool
o_cata : Bool
o_data : Bool
o_dovisit : Bool
o_newtypes : Bool
o_rename : Bool
o_sem : Bool
o_sig : Bool
o_unbox : Bool
o_wantvisit : Bool
prefix : String
chained attributes:
acount : Int
vcount : Int
synthesized attributes:
additionalDep : Seq Edge
aranges : Seq (Int,Int,Int)
aroundDep : Seq Edge
cNonterminal : CNonterminal
directDep : Seq Edge
errors : Seq Error
instDep : Seq Edge
nAutoRules : Int
nExplicitRules : Int
nonts : [(NontermIdent,[ConstructorIdent])]
ntattrs : Seq (Vertex,NTAttr)
rules : Seq (Vertex,CRule)
alternatives:
alternative Nonterminal:
child nt : {NontermIdent}
child params : {[Identifier]}
child inh : {Attributes}
child syn : {Attributes}
child prods : Productions
visit 0:
local aroundMap : _
local ntattrs : _
local cInter : _
-}
-- cata
sem_Nonterminal :: Nonterminal ->
T_Nonterminal
sem_Nonterminal (Nonterminal _nt _params _inh _syn _prods ) =
(sem_Nonterminal_Nonterminal _nt _params _inh _syn (sem_Productions _prods ) )
-- semantic domain
newtype T_Nonterminal = T_Nonterminal (Int ->
([Identifier]) ->
(Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression]))) ->
CInterfaceMap ->
CVisitsMap ->
AttrOrderMap ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
String ->
Int ->
( Int,(Seq Edge),(Seq (Int,Int,Int)),(Seq Edge),CNonterminal,(Seq Edge),(Seq Error),(Seq Edge),Int,Int,([(NontermIdent,[ConstructorIdent])]),(Seq (Vertex,NTAttr)),(Seq (Vertex,CRule)),Int))
data Inh_Nonterminal = Inh_Nonterminal {acount_Inh_Nonterminal :: !(Int),allnts_Inh_Nonterminal :: !(([Identifier])),aroundMap_Inh_Nonterminal :: !((Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression])))),cInterfaceMap_Inh_Nonterminal :: !(CInterfaceMap),cVisitsMap_Inh_Nonterminal :: !(CVisitsMap),manualAttrDepMap_Inh_Nonterminal :: !(AttrOrderMap),o_case_Inh_Nonterminal :: !(Bool),o_cata_Inh_Nonterminal :: !(Bool),o_data_Inh_Nonterminal :: !(Bool),o_dovisit_Inh_Nonterminal :: !(Bool),o_newtypes_Inh_Nonterminal :: !(Bool),o_rename_Inh_Nonterminal :: !(Bool),o_sem_Inh_Nonterminal :: !(Bool),o_sig_Inh_Nonterminal :: !(Bool),o_unbox_Inh_Nonterminal :: !(Bool),o_wantvisit_Inh_Nonterminal :: !(Bool),prefix_Inh_Nonterminal :: !(String),vcount_Inh_Nonterminal :: !(Int)}
data Syn_Nonterminal = Syn_Nonterminal {acount_Syn_Nonterminal :: !(Int),additionalDep_Syn_Nonterminal :: !((Seq Edge)),aranges_Syn_Nonterminal :: !((Seq (Int,Int,Int))),aroundDep_Syn_Nonterminal :: !((Seq Edge)),cNonterminal_Syn_Nonterminal :: !(CNonterminal),directDep_Syn_Nonterminal :: !((Seq Edge)),errors_Syn_Nonterminal :: !((Seq Error)),instDep_Syn_Nonterminal :: !((Seq Edge)),nAutoRules_Syn_Nonterminal :: !(Int),nExplicitRules_Syn_Nonterminal :: !(Int),nonts_Syn_Nonterminal :: !(([(NontermIdent,[ConstructorIdent])])),ntattrs_Syn_Nonterminal :: !((Seq (Vertex,NTAttr))),rules_Syn_Nonterminal :: !((Seq (Vertex,CRule))),vcount_Syn_Nonterminal :: !(Int)}
wrap_Nonterminal :: T_Nonterminal ->
Inh_Nonterminal ->
Syn_Nonterminal
wrap_Nonterminal (T_Nonterminal sem ) (Inh_Nonterminal _lhsIacount _lhsIallnts _lhsIaroundMap _lhsIcInterfaceMap _lhsIcVisitsMap _lhsImanualAttrDepMap _lhsIo_case _lhsIo_cata _lhsIo_data _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_unbox _lhsIo_wantvisit _lhsIprefix _lhsIvcount ) =
(let ( _lhsOacount,_lhsOadditionalDep,_lhsOaranges,_lhsOaroundDep,_lhsOcNonterminal,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOnonts,_lhsOntattrs,_lhsOrules,_lhsOvcount) =
(sem _lhsIacount _lhsIallnts _lhsIaroundMap _lhsIcInterfaceMap _lhsIcVisitsMap _lhsImanualAttrDepMap _lhsIo_case _lhsIo_cata _lhsIo_data _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_unbox _lhsIo_wantvisit _lhsIprefix _lhsIvcount )
in (Syn_Nonterminal _lhsOacount _lhsOadditionalDep _lhsOaranges _lhsOaroundDep _lhsOcNonterminal _lhsOdirectDep _lhsOerrors _lhsOinstDep _lhsOnAutoRules _lhsOnExplicitRules _lhsOnonts _lhsOntattrs _lhsOrules _lhsOvcount ))
sem_Nonterminal_Nonterminal :: NontermIdent ->
([Identifier]) ->
Attributes ->
Attributes ->
T_Productions ->
T_Nonterminal
sem_Nonterminal_Nonterminal nt_ params_ inh_ syn_ (T_Productions prods_ ) =
(T_Nonterminal (\ _lhsIacount
_lhsIallnts
_lhsIaroundMap
_lhsIcInterfaceMap
_lhsIcVisitsMap
_lhsImanualAttrDepMap
_lhsIo_case
_lhsIo_cata
_lhsIo_data
_lhsIo_dovisit
_lhsIo_newtypes
_lhsIo_rename
_lhsIo_sem
_lhsIo_sig
_lhsIo_unbox
_lhsIo_wantvisit
_lhsIprefix
_lhsIvcount ->
(let _prodsOnt :: Identifier
_prodsOinh :: Attributes
_prodsOsyn :: Attributes
_lhsOntattrs :: (Seq (Vertex,NTAttr))
_lhsOacount :: Int
_lhsOaranges :: (Seq (Int,Int,Int))
_lhsOnonts :: ([(NontermIdent,[ConstructorIdent])])
_lhsOcNonterminal :: CNonterminal
_lhsOadditionalDep :: (Seq Edge)
_lhsOaroundDep :: (Seq Edge)
_lhsOdirectDep :: (Seq Edge)
_lhsOerrors :: (Seq Error)
_lhsOinstDep :: (Seq Edge)
_lhsOnAutoRules :: Int
_lhsOnExplicitRules :: Int
_lhsOrules :: (Seq (Vertex,CRule))
_lhsOvcount :: Int
_prodsOallnts :: ([Identifier])
_prodsOaroundMap :: (Map ConstructorIdent (Map Identifier [Expression]))
_prodsOcVisitsMap :: CVisitsMap
_prodsOmanualAttrDepMap :: AttrOrderMap
_prodsOo_case :: Bool
_prodsOo_cata :: Bool
_prodsOo_dovisit :: Bool
_prodsOo_newtypes :: Bool
_prodsOo_rename :: Bool
_prodsOo_sem :: Bool
_prodsOo_sig :: Bool
_prodsOo_unbox :: Bool
_prodsOo_wantvisit :: Bool
_prodsOprefix :: String
_prodsOvcount :: Int
_prodsIadditionalDep :: (Seq Edge)
_prodsIaroundDep :: (Seq Edge)
_prodsIcProductions :: CProductions
_prodsIcons :: ([ConstructorIdent])
_prodsIdirectDep :: (Seq Edge)
_prodsIerrors :: (Seq Error)
_prodsIinstDep :: (Seq Edge)
_prodsInAutoRules :: Int
_prodsInExplicitRules :: Int
_prodsIrules :: (Seq (Vertex,CRule))
_prodsIvcount :: Int
-- "Order.ag"(line 97, column 17)
_prodsOnt =
({-# LINE 97 "Order.ag" #-}
nt_
{-# LINE 1356 "Order.hs" #-})
-- "Order.ag"(line 100, column 17)
_prodsOinh =
({-# LINE 100 "Order.ag" #-}
inh_
{-# LINE 1361 "Order.hs" #-})
-- "Order.ag"(line 101, column 17)
_prodsOsyn =
({-# LINE 101 "Order.ag" #-}
syn_
{-# LINE 1366 "Order.hs" #-})
-- "Order.ag"(line 366, column 32)
_aroundMap =
({-# LINE 366 "Order.ag" #-}
Map.findWithDefault Map.empty nt_ _lhsIaroundMap
{-# LINE 1371 "Order.hs" #-})
-- "Order.ag"(line 451, column 17)
_ntattrs =
({-# LINE 451 "Order.ag" #-}
[ NTAInh nt_ inh tp | (inh,tp) <- Map.assocs inh_ ]
++ [NTASyn nt_ syn tp | (syn,tp) <- Map.assocs syn_ ]
{-# LINE 1377 "Order.hs" #-})
-- "Order.ag"(line 453, column 17)
_lhsOntattrs =
({-# LINE 453 "Order.ag" #-}
Seq.fromList (zip [_lhsIacount ..] _ntattrs)
{-# LINE 1382 "Order.hs" #-})
-- "Order.ag"(line 454, column 17)
_lhsOacount =
({-# LINE 454 "Order.ag" #-}
_lhsIacount + Map.size inh_ + Map.size syn_
{-# LINE 1387 "Order.hs" #-})
-- "Order.ag"(line 455, column 17)
_lhsOaranges =
({-# LINE 455 "Order.ag" #-}
Seq.singleton
(_lhsIacount
,_lhsIacount + Map.size inh_
,_lhsIacount + Map.size syn_ + Map.size inh_ - 1)
{-# LINE 1395 "Order.hs" #-})
-- "Order.ag"(line 464, column 19)
_lhsOnonts =
({-# LINE 464 "Order.ag" #-}
[(nt_,_prodsIcons)]
{-# LINE 1400 "Order.hs" #-})
-- "Order.ag"(line 540, column 19)
_cInter =
({-# LINE 540 "Order.ag" #-}
if _lhsIo_dovisit
then findWithErr1 "Nonterminal.cInter" nt_ _lhsIcInterfaceMap
else CInterface [CSegment inh_ syn_]
{-# LINE 1407 "Order.hs" #-})
-- "Order.ag"(line 568, column 19)
_lhsOcNonterminal =
({-# LINE 568 "Order.ag" #-}
CNonterminal nt_ params_ inh_ syn_ _prodsIcProductions _cInter
{-# LINE 1412 "Order.hs" #-})
-- use rule "Order.ag"(line 283, column 60)
_lhsOadditionalDep =
({-# LINE 283 "Order.ag" #-}
_prodsIadditionalDep
{-# LINE 1417 "Order.hs" #-})
-- use rule "Order.ag"(line 358, column 24)
_lhsOaroundDep =
({-# LINE 358 "Order.ag" #-}
_prodsIaroundDep
{-# LINE 1422 "Order.hs" #-})
-- use rule "Order.ag"(line 269, column 33)
_lhsOdirectDep =
({-# LINE 269 "Order.ag" #-}
_prodsIdirectDep
{-# LINE 1427 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_prodsIerrors
{-# LINE 1432 "Order.hs" #-})
-- use rule "Order.ag"(line 312, column 31)
_lhsOinstDep =
({-# LINE 312 "Order.ag" #-}
_prodsIinstDep
{-# LINE 1437 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnAutoRules =
({-# LINE 61 "Order.ag" #-}
_prodsInAutoRules
{-# LINE 1442 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnExplicitRules =
({-# LINE 61 "Order.ag" #-}
_prodsInExplicitRules
{-# LINE 1447 "Order.hs" #-})
-- use rule "Order.ag"(line 259, column 18)
_lhsOrules =
({-# LINE 259 "Order.ag" #-}
_prodsIrules
{-# LINE 1452 "Order.hs" #-})
-- copy rule (up)
_lhsOvcount =
({-# LINE 258 "Order.ag" #-}
_prodsIvcount
{-# LINE 1457 "Order.hs" #-})
-- copy rule (down)
_prodsOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 1462 "Order.hs" #-})
-- copy rule (from local)
_prodsOaroundMap =
({-# LINE 364 "Order.ag" #-}
_aroundMap
{-# LINE 1467 "Order.hs" #-})
-- copy rule (down)
_prodsOcVisitsMap =
({-# LINE 545 "Order.ag" #-}
_lhsIcVisitsMap
{-# LINE 1472 "Order.hs" #-})
-- copy rule (down)
_prodsOmanualAttrDepMap =
({-# LINE 283 "Order.ag" #-}
_lhsImanualAttrDepMap
{-# LINE 1477 "Order.hs" #-})
-- copy rule (down)
_prodsOo_case =
({-# LINE 117 "Order.ag" #-}
_lhsIo_case
{-# LINE 1482 "Order.hs" #-})
-- copy rule (down)
_prodsOo_cata =
({-# LINE 111 "Order.ag" #-}
_lhsIo_cata
{-# LINE 1487 "Order.hs" #-})
-- copy rule (down)
_prodsOo_dovisit =
({-# LINE 116 "Order.ag" #-}
_lhsIo_dovisit
{-# LINE 1492 "Order.hs" #-})
-- copy rule (down)
_prodsOo_newtypes =
({-# LINE 110 "Order.ag" #-}
_lhsIo_newtypes
{-# LINE 1497 "Order.hs" #-})
-- copy rule (down)
_prodsOo_rename =
({-# LINE 114 "Order.ag" #-}
_lhsIo_rename
{-# LINE 1502 "Order.hs" #-})
-- copy rule (down)
_prodsOo_sem =
({-# LINE 113 "Order.ag" #-}
_lhsIo_sem
{-# LINE 1507 "Order.hs" #-})
-- copy rule (down)
_prodsOo_sig =
({-# LINE 112 "Order.ag" #-}
_lhsIo_sig
{-# LINE 1512 "Order.hs" #-})
-- copy rule (down)
_prodsOo_unbox =
({-# LINE 119 "Order.ag" #-}
_lhsIo_unbox
{-# LINE 1517 "Order.hs" #-})
-- copy rule (down)
_prodsOo_wantvisit =
({-# LINE 115 "Order.ag" #-}
_lhsIo_wantvisit
{-# LINE 1522 "Order.hs" #-})
-- copy rule (down)
_prodsOprefix =
({-# LINE 118 "Order.ag" #-}
_lhsIprefix
{-# LINE 1527 "Order.hs" #-})
-- copy rule (down)
_prodsOvcount =
({-# LINE 258 "Order.ag" #-}
_lhsIvcount
{-# LINE 1532 "Order.hs" #-})
( _prodsIadditionalDep,_prodsIaroundDep,_prodsIcProductions,_prodsIcons,_prodsIdirectDep,_prodsIerrors,_prodsIinstDep,_prodsInAutoRules,_prodsInExplicitRules,_prodsIrules,_prodsIvcount) =
(prods_ _prodsOallnts _prodsOaroundMap _prodsOcVisitsMap _prodsOinh _prodsOmanualAttrDepMap _prodsOnt _prodsOo_case _prodsOo_cata _prodsOo_dovisit _prodsOo_newtypes _prodsOo_rename _prodsOo_sem _prodsOo_sig _prodsOo_unbox _prodsOo_wantvisit _prodsOprefix _prodsOsyn _prodsOvcount )
in ( _lhsOacount,_lhsOadditionalDep,_lhsOaranges,_lhsOaroundDep,_lhsOcNonterminal,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOnonts,_lhsOntattrs,_lhsOrules,_lhsOvcount))) )
-- Nonterminals ------------------------------------------------
{-
visit 0:
inherited attributes:
allnts : [Identifier]
aroundMap : Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression]))
cInterfaceMap : CInterfaceMap
cVisitsMap : CVisitsMap
manualAttrDepMap : AttrOrderMap
o_case : Bool
o_cata : Bool
o_data : Bool
o_dovisit : Bool
o_newtypes : Bool
o_rename : Bool
o_sem : Bool
o_sig : Bool
o_unbox : Bool
o_wantvisit : Bool
prefix : String
chained attributes:
acount : Int
vcount : Int
synthesized attributes:
additionalDep : Seq Edge
aranges : Seq (Int,Int,Int)
aroundDep : Seq Edge
cNonterminals : CNonterminals
directDep : Seq Edge
errors : Seq Error
instDep : Seq Edge
nAutoRules : Int
nExplicitRules : Int
nonts : [(NontermIdent,[ConstructorIdent])]
ntattrs : Seq (Vertex,NTAttr)
rules : Seq (Vertex,CRule)
alternatives:
alternative Cons:
child hd : Nonterminal
child tl : Nonterminals
alternative Nil:
-}
-- cata
sem_Nonterminals :: Nonterminals ->
T_Nonterminals
sem_Nonterminals list =
(Prelude.foldr sem_Nonterminals_Cons sem_Nonterminals_Nil (Prelude.map sem_Nonterminal list) )
-- semantic domain
newtype T_Nonterminals = T_Nonterminals (Int ->
([Identifier]) ->
(Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression]))) ->
CInterfaceMap ->
CVisitsMap ->
AttrOrderMap ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
String ->
Int ->
( Int,(Seq Edge),(Seq (Int,Int,Int)),(Seq Edge),CNonterminals,(Seq Edge),(Seq Error),(Seq Edge),Int,Int,([(NontermIdent,[ConstructorIdent])]),(Seq (Vertex,NTAttr)),(Seq (Vertex,CRule)),Int))
data Inh_Nonterminals = Inh_Nonterminals {acount_Inh_Nonterminals :: !(Int),allnts_Inh_Nonterminals :: !(([Identifier])),aroundMap_Inh_Nonterminals :: !((Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression])))),cInterfaceMap_Inh_Nonterminals :: !(CInterfaceMap),cVisitsMap_Inh_Nonterminals :: !(CVisitsMap),manualAttrDepMap_Inh_Nonterminals :: !(AttrOrderMap),o_case_Inh_Nonterminals :: !(Bool),o_cata_Inh_Nonterminals :: !(Bool),o_data_Inh_Nonterminals :: !(Bool),o_dovisit_Inh_Nonterminals :: !(Bool),o_newtypes_Inh_Nonterminals :: !(Bool),o_rename_Inh_Nonterminals :: !(Bool),o_sem_Inh_Nonterminals :: !(Bool),o_sig_Inh_Nonterminals :: !(Bool),o_unbox_Inh_Nonterminals :: !(Bool),o_wantvisit_Inh_Nonterminals :: !(Bool),prefix_Inh_Nonterminals :: !(String),vcount_Inh_Nonterminals :: !(Int)}
data Syn_Nonterminals = Syn_Nonterminals {acount_Syn_Nonterminals :: !(Int),additionalDep_Syn_Nonterminals :: !((Seq Edge)),aranges_Syn_Nonterminals :: !((Seq (Int,Int,Int))),aroundDep_Syn_Nonterminals :: !((Seq Edge)),cNonterminals_Syn_Nonterminals :: !(CNonterminals),directDep_Syn_Nonterminals :: !((Seq Edge)),errors_Syn_Nonterminals :: !((Seq Error)),instDep_Syn_Nonterminals :: !((Seq Edge)),nAutoRules_Syn_Nonterminals :: !(Int),nExplicitRules_Syn_Nonterminals :: !(Int),nonts_Syn_Nonterminals :: !(([(NontermIdent,[ConstructorIdent])])),ntattrs_Syn_Nonterminals :: !((Seq (Vertex,NTAttr))),rules_Syn_Nonterminals :: !((Seq (Vertex,CRule))),vcount_Syn_Nonterminals :: !(Int)}
wrap_Nonterminals :: T_Nonterminals ->
Inh_Nonterminals ->
Syn_Nonterminals
wrap_Nonterminals (T_Nonterminals sem ) (Inh_Nonterminals _lhsIacount _lhsIallnts _lhsIaroundMap _lhsIcInterfaceMap _lhsIcVisitsMap _lhsImanualAttrDepMap _lhsIo_case _lhsIo_cata _lhsIo_data _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_unbox _lhsIo_wantvisit _lhsIprefix _lhsIvcount ) =
(let ( _lhsOacount,_lhsOadditionalDep,_lhsOaranges,_lhsOaroundDep,_lhsOcNonterminals,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOnonts,_lhsOntattrs,_lhsOrules,_lhsOvcount) =
(sem _lhsIacount _lhsIallnts _lhsIaroundMap _lhsIcInterfaceMap _lhsIcVisitsMap _lhsImanualAttrDepMap _lhsIo_case _lhsIo_cata _lhsIo_data _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_unbox _lhsIo_wantvisit _lhsIprefix _lhsIvcount )
in (Syn_Nonterminals _lhsOacount _lhsOadditionalDep _lhsOaranges _lhsOaroundDep _lhsOcNonterminals _lhsOdirectDep _lhsOerrors _lhsOinstDep _lhsOnAutoRules _lhsOnExplicitRules _lhsOnonts _lhsOntattrs _lhsOrules _lhsOvcount ))
sem_Nonterminals_Cons :: T_Nonterminal ->
T_Nonterminals ->
T_Nonterminals
sem_Nonterminals_Cons (T_Nonterminal hd_ ) (T_Nonterminals tl_ ) =
(T_Nonterminals (\ _lhsIacount
_lhsIallnts
_lhsIaroundMap
_lhsIcInterfaceMap
_lhsIcVisitsMap
_lhsImanualAttrDepMap
_lhsIo_case
_lhsIo_cata
_lhsIo_data
_lhsIo_dovisit
_lhsIo_newtypes
_lhsIo_rename
_lhsIo_sem
_lhsIo_sig
_lhsIo_unbox
_lhsIo_wantvisit
_lhsIprefix
_lhsIvcount ->
(let _lhsOcNonterminals :: CNonterminals
_lhsOadditionalDep :: (Seq Edge)
_lhsOaranges :: (Seq (Int,Int,Int))
_lhsOaroundDep :: (Seq Edge)
_lhsOdirectDep :: (Seq Edge)
_lhsOerrors :: (Seq Error)
_lhsOinstDep :: (Seq Edge)
_lhsOnAutoRules :: Int
_lhsOnExplicitRules :: Int
_lhsOnonts :: ([(NontermIdent,[ConstructorIdent])])
_lhsOntattrs :: (Seq (Vertex,NTAttr))
_lhsOrules :: (Seq (Vertex,CRule))
_lhsOacount :: Int
_lhsOvcount :: Int
_hdOacount :: Int
_hdOallnts :: ([Identifier])
_hdOaroundMap :: (Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression])))
_hdOcInterfaceMap :: CInterfaceMap
_hdOcVisitsMap :: CVisitsMap
_hdOmanualAttrDepMap :: AttrOrderMap
_hdOo_case :: Bool
_hdOo_cata :: Bool
_hdOo_data :: Bool
_hdOo_dovisit :: Bool
_hdOo_newtypes :: Bool
_hdOo_rename :: Bool
_hdOo_sem :: Bool
_hdOo_sig :: Bool
_hdOo_unbox :: Bool
_hdOo_wantvisit :: Bool
_hdOprefix :: String
_hdOvcount :: Int
_tlOacount :: Int
_tlOallnts :: ([Identifier])
_tlOaroundMap :: (Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression])))
_tlOcInterfaceMap :: CInterfaceMap
_tlOcVisitsMap :: CVisitsMap
_tlOmanualAttrDepMap :: AttrOrderMap
_tlOo_case :: Bool
_tlOo_cata :: Bool
_tlOo_data :: Bool
_tlOo_dovisit :: Bool
_tlOo_newtypes :: Bool
_tlOo_rename :: Bool
_tlOo_sem :: Bool
_tlOo_sig :: Bool
_tlOo_unbox :: Bool
_tlOo_wantvisit :: Bool
_tlOprefix :: String
_tlOvcount :: Int
_hdIacount :: Int
_hdIadditionalDep :: (Seq Edge)
_hdIaranges :: (Seq (Int,Int,Int))
_hdIaroundDep :: (Seq Edge)
_hdIcNonterminal :: CNonterminal
_hdIdirectDep :: (Seq Edge)
_hdIerrors :: (Seq Error)
_hdIinstDep :: (Seq Edge)
_hdInAutoRules :: Int
_hdInExplicitRules :: Int
_hdInonts :: ([(NontermIdent,[ConstructorIdent])])
_hdIntattrs :: (Seq (Vertex,NTAttr))
_hdIrules :: (Seq (Vertex,CRule))
_hdIvcount :: Int
_tlIacount :: Int
_tlIadditionalDep :: (Seq Edge)
_tlIaranges :: (Seq (Int,Int,Int))
_tlIaroundDep :: (Seq Edge)
_tlIcNonterminals :: CNonterminals
_tlIdirectDep :: (Seq Edge)
_tlIerrors :: (Seq Error)
_tlIinstDep :: (Seq Edge)
_tlInAutoRules :: Int
_tlInExplicitRules :: Int
_tlInonts :: ([(NontermIdent,[ConstructorIdent])])
_tlIntattrs :: (Seq (Vertex,NTAttr))
_tlIrules :: (Seq (Vertex,CRule))
_tlIvcount :: Int
-- "Order.ag"(line 565, column 12)
_lhsOcNonterminals =
({-# LINE 565 "Order.ag" #-}
_hdIcNonterminal : _tlIcNonterminals
{-# LINE 1716 "Order.hs" #-})
-- use rule "Order.ag"(line 283, column 60)
_lhsOadditionalDep =
({-# LINE 283 "Order.ag" #-}
_hdIadditionalDep Seq.>< _tlIadditionalDep
{-# LINE 1721 "Order.hs" #-})
-- use rule "Order.ag"(line 445, column 36)
_lhsOaranges =
({-# LINE 445 "Order.ag" #-}
_hdIaranges Seq.>< _tlIaranges
{-# LINE 1726 "Order.hs" #-})
-- use rule "Order.ag"(line 358, column 24)
_lhsOaroundDep =
({-# LINE 358 "Order.ag" #-}
_hdIaroundDep Seq.>< _tlIaroundDep
{-# LINE 1731 "Order.hs" #-})
-- use rule "Order.ag"(line 269, column 33)
_lhsOdirectDep =
({-# LINE 269 "Order.ag" #-}
_hdIdirectDep Seq.>< _tlIdirectDep
{-# LINE 1736 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_hdIerrors Seq.>< _tlIerrors
{-# LINE 1741 "Order.hs" #-})
-- use rule "Order.ag"(line 312, column 31)
_lhsOinstDep =
({-# LINE 312 "Order.ag" #-}
_hdIinstDep Seq.>< _tlIinstDep
{-# LINE 1746 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnAutoRules =
({-# LINE 61 "Order.ag" #-}
_hdInAutoRules + _tlInAutoRules
{-# LINE 1751 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnExplicitRules =
({-# LINE 61 "Order.ag" #-}
_hdInExplicitRules + _tlInExplicitRules
{-# LINE 1756 "Order.hs" #-})
-- use rule "Order.ag"(line 462, column 43)
_lhsOnonts =
({-# LINE 462 "Order.ag" #-}
_hdInonts ++ _tlInonts
{-# LINE 1761 "Order.hs" #-})
-- use rule "Order.ag"(line 444, column 35)
_lhsOntattrs =
({-# LINE 444 "Order.ag" #-}
_hdIntattrs Seq.>< _tlIntattrs
{-# LINE 1766 "Order.hs" #-})
-- use rule "Order.ag"(line 259, column 18)
_lhsOrules =
({-# LINE 259 "Order.ag" #-}
_hdIrules Seq.>< _tlIrules
{-# LINE 1771 "Order.hs" #-})
-- copy rule (up)
_lhsOacount =
({-# LINE 444 "Order.ag" #-}
_tlIacount
{-# LINE 1776 "Order.hs" #-})
-- copy rule (up)
_lhsOvcount =
({-# LINE 258 "Order.ag" #-}
_tlIvcount
{-# LINE 1781 "Order.hs" #-})
-- copy rule (down)
_hdOacount =
({-# LINE 444 "Order.ag" #-}
_lhsIacount
{-# LINE 1786 "Order.hs" #-})
-- copy rule (down)
_hdOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 1791 "Order.hs" #-})
-- copy rule (down)
_hdOaroundMap =
({-# LINE 361 "Order.ag" #-}
_lhsIaroundMap
{-# LINE 1796 "Order.hs" #-})
-- copy rule (down)
_hdOcInterfaceMap =
({-# LINE 538 "Order.ag" #-}
_lhsIcInterfaceMap
{-# LINE 1801 "Order.hs" #-})
-- copy rule (down)
_hdOcVisitsMap =
({-# LINE 545 "Order.ag" #-}
_lhsIcVisitsMap
{-# LINE 1806 "Order.hs" #-})
-- copy rule (down)
_hdOmanualAttrDepMap =
({-# LINE 283 "Order.ag" #-}
_lhsImanualAttrDepMap
{-# LINE 1811 "Order.hs" #-})
-- copy rule (down)
_hdOo_case =
({-# LINE 117 "Order.ag" #-}
_lhsIo_case
{-# LINE 1816 "Order.hs" #-})
-- copy rule (down)
_hdOo_cata =
({-# LINE 111 "Order.ag" #-}
_lhsIo_cata
{-# LINE 1821 "Order.hs" #-})
-- copy rule (down)
_hdOo_data =
({-# LINE 120 "Order.ag" #-}
_lhsIo_data
{-# LINE 1826 "Order.hs" #-})
-- copy rule (down)
_hdOo_dovisit =
({-# LINE 116 "Order.ag" #-}
_lhsIo_dovisit
{-# LINE 1831 "Order.hs" #-})
-- copy rule (down)
_hdOo_newtypes =
({-# LINE 110 "Order.ag" #-}
_lhsIo_newtypes
{-# LINE 1836 "Order.hs" #-})
-- copy rule (down)
_hdOo_rename =
({-# LINE 114 "Order.ag" #-}
_lhsIo_rename
{-# LINE 1841 "Order.hs" #-})
-- copy rule (down)
_hdOo_sem =
({-# LINE 113 "Order.ag" #-}
_lhsIo_sem
{-# LINE 1846 "Order.hs" #-})
-- copy rule (down)
_hdOo_sig =
({-# LINE 112 "Order.ag" #-}
_lhsIo_sig
{-# LINE 1851 "Order.hs" #-})
-- copy rule (down)
_hdOo_unbox =
({-# LINE 119 "Order.ag" #-}
_lhsIo_unbox
{-# LINE 1856 "Order.hs" #-})
-- copy rule (down)
_hdOo_wantvisit =
({-# LINE 115 "Order.ag" #-}
_lhsIo_wantvisit
{-# LINE 1861 "Order.hs" #-})
-- copy rule (down)
_hdOprefix =
({-# LINE 118 "Order.ag" #-}
_lhsIprefix
{-# LINE 1866 "Order.hs" #-})
-- copy rule (down)
_hdOvcount =
({-# LINE 258 "Order.ag" #-}
_lhsIvcount
{-# LINE 1871 "Order.hs" #-})
-- copy rule (chain)
_tlOacount =
({-# LINE 444 "Order.ag" #-}
_hdIacount
{-# LINE 1876 "Order.hs" #-})
-- copy rule (down)
_tlOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 1881 "Order.hs" #-})
-- copy rule (down)
_tlOaroundMap =
({-# LINE 361 "Order.ag" #-}
_lhsIaroundMap
{-# LINE 1886 "Order.hs" #-})
-- copy rule (down)
_tlOcInterfaceMap =
({-# LINE 538 "Order.ag" #-}
_lhsIcInterfaceMap
{-# LINE 1891 "Order.hs" #-})
-- copy rule (down)
_tlOcVisitsMap =
({-# LINE 545 "Order.ag" #-}
_lhsIcVisitsMap
{-# LINE 1896 "Order.hs" #-})
-- copy rule (down)
_tlOmanualAttrDepMap =
({-# LINE 283 "Order.ag" #-}
_lhsImanualAttrDepMap
{-# LINE 1901 "Order.hs" #-})
-- copy rule (down)
_tlOo_case =
({-# LINE 117 "Order.ag" #-}
_lhsIo_case
{-# LINE 1906 "Order.hs" #-})
-- copy rule (down)
_tlOo_cata =
({-# LINE 111 "Order.ag" #-}
_lhsIo_cata
{-# LINE 1911 "Order.hs" #-})
-- copy rule (down)
_tlOo_data =
({-# LINE 120 "Order.ag" #-}
_lhsIo_data
{-# LINE 1916 "Order.hs" #-})
-- copy rule (down)
_tlOo_dovisit =
({-# LINE 116 "Order.ag" #-}
_lhsIo_dovisit
{-# LINE 1921 "Order.hs" #-})
-- copy rule (down)
_tlOo_newtypes =
({-# LINE 110 "Order.ag" #-}
_lhsIo_newtypes
{-# LINE 1926 "Order.hs" #-})
-- copy rule (down)
_tlOo_rename =
({-# LINE 114 "Order.ag" #-}
_lhsIo_rename
{-# LINE 1931 "Order.hs" #-})
-- copy rule (down)
_tlOo_sem =
({-# LINE 113 "Order.ag" #-}
_lhsIo_sem
{-# LINE 1936 "Order.hs" #-})
-- copy rule (down)
_tlOo_sig =
({-# LINE 112 "Order.ag" #-}
_lhsIo_sig
{-# LINE 1941 "Order.hs" #-})
-- copy rule (down)
_tlOo_unbox =
({-# LINE 119 "Order.ag" #-}
_lhsIo_unbox
{-# LINE 1946 "Order.hs" #-})
-- copy rule (down)
_tlOo_wantvisit =
({-# LINE 115 "Order.ag" #-}
_lhsIo_wantvisit
{-# LINE 1951 "Order.hs" #-})
-- copy rule (down)
_tlOprefix =
({-# LINE 118 "Order.ag" #-}
_lhsIprefix
{-# LINE 1956 "Order.hs" #-})
-- copy rule (chain)
_tlOvcount =
({-# LINE 258 "Order.ag" #-}
_hdIvcount
{-# LINE 1961 "Order.hs" #-})
( _hdIacount,_hdIadditionalDep,_hdIaranges,_hdIaroundDep,_hdIcNonterminal,_hdIdirectDep,_hdIerrors,_hdIinstDep,_hdInAutoRules,_hdInExplicitRules,_hdInonts,_hdIntattrs,_hdIrules,_hdIvcount) =
(hd_ _hdOacount _hdOallnts _hdOaroundMap _hdOcInterfaceMap _hdOcVisitsMap _hdOmanualAttrDepMap _hdOo_case _hdOo_cata _hdOo_data _hdOo_dovisit _hdOo_newtypes _hdOo_rename _hdOo_sem _hdOo_sig _hdOo_unbox _hdOo_wantvisit _hdOprefix _hdOvcount )
( _tlIacount,_tlIadditionalDep,_tlIaranges,_tlIaroundDep,_tlIcNonterminals,_tlIdirectDep,_tlIerrors,_tlIinstDep,_tlInAutoRules,_tlInExplicitRules,_tlInonts,_tlIntattrs,_tlIrules,_tlIvcount) =
(tl_ _tlOacount _tlOallnts _tlOaroundMap _tlOcInterfaceMap _tlOcVisitsMap _tlOmanualAttrDepMap _tlOo_case _tlOo_cata _tlOo_data _tlOo_dovisit _tlOo_newtypes _tlOo_rename _tlOo_sem _tlOo_sig _tlOo_unbox _tlOo_wantvisit _tlOprefix _tlOvcount )
in ( _lhsOacount,_lhsOadditionalDep,_lhsOaranges,_lhsOaroundDep,_lhsOcNonterminals,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOnonts,_lhsOntattrs,_lhsOrules,_lhsOvcount))) )
sem_Nonterminals_Nil :: T_Nonterminals
sem_Nonterminals_Nil =
(T_Nonterminals (\ _lhsIacount
_lhsIallnts
_lhsIaroundMap
_lhsIcInterfaceMap
_lhsIcVisitsMap
_lhsImanualAttrDepMap
_lhsIo_case
_lhsIo_cata
_lhsIo_data
_lhsIo_dovisit
_lhsIo_newtypes
_lhsIo_rename
_lhsIo_sem
_lhsIo_sig
_lhsIo_unbox
_lhsIo_wantvisit
_lhsIprefix
_lhsIvcount ->
(let _lhsOcNonterminals :: CNonterminals
_lhsOadditionalDep :: (Seq Edge)
_lhsOaranges :: (Seq (Int,Int,Int))
_lhsOaroundDep :: (Seq Edge)
_lhsOdirectDep :: (Seq Edge)
_lhsOerrors :: (Seq Error)
_lhsOinstDep :: (Seq Edge)
_lhsOnAutoRules :: Int
_lhsOnExplicitRules :: Int
_lhsOnonts :: ([(NontermIdent,[ConstructorIdent])])
_lhsOntattrs :: (Seq (Vertex,NTAttr))
_lhsOrules :: (Seq (Vertex,CRule))
_lhsOacount :: Int
_lhsOvcount :: Int
-- "Order.ag"(line 566, column 12)
_lhsOcNonterminals =
({-# LINE 566 "Order.ag" #-}
[]
{-# LINE 2005 "Order.hs" #-})
-- use rule "Order.ag"(line 283, column 60)
_lhsOadditionalDep =
({-# LINE 283 "Order.ag" #-}
Seq.empty
{-# LINE 2010 "Order.hs" #-})
-- use rule "Order.ag"(line 445, column 36)
_lhsOaranges =
({-# LINE 445 "Order.ag" #-}
Seq.empty
{-# LINE 2015 "Order.hs" #-})
-- use rule "Order.ag"(line 358, column 24)
_lhsOaroundDep =
({-# LINE 358 "Order.ag" #-}
Seq.empty
{-# LINE 2020 "Order.hs" #-})
-- use rule "Order.ag"(line 269, column 33)
_lhsOdirectDep =
({-# LINE 269 "Order.ag" #-}
Seq.empty
{-# LINE 2025 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
Seq.empty
{-# LINE 2030 "Order.hs" #-})
-- use rule "Order.ag"(line 312, column 31)
_lhsOinstDep =
({-# LINE 312 "Order.ag" #-}
Seq.empty
{-# LINE 2035 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnAutoRules =
({-# LINE 61 "Order.ag" #-}
0
{-# LINE 2040 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnExplicitRules =
({-# LINE 61 "Order.ag" #-}
0
{-# LINE 2045 "Order.hs" #-})
-- use rule "Order.ag"(line 462, column 43)
_lhsOnonts =
({-# LINE 462 "Order.ag" #-}
[]
{-# LINE 2050 "Order.hs" #-})
-- use rule "Order.ag"(line 444, column 35)
_lhsOntattrs =
({-# LINE 444 "Order.ag" #-}
Seq.empty
{-# LINE 2055 "Order.hs" #-})
-- use rule "Order.ag"(line 259, column 18)
_lhsOrules =
({-# LINE 259 "Order.ag" #-}
Seq.empty
{-# LINE 2060 "Order.hs" #-})
-- copy rule (chain)
_lhsOacount =
({-# LINE 444 "Order.ag" #-}
_lhsIacount
{-# LINE 2065 "Order.hs" #-})
-- copy rule (chain)
_lhsOvcount =
({-# LINE 258 "Order.ag" #-}
_lhsIvcount
{-# LINE 2070 "Order.hs" #-})
in ( _lhsOacount,_lhsOadditionalDep,_lhsOaranges,_lhsOaroundDep,_lhsOcNonterminals,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOnonts,_lhsOntattrs,_lhsOrules,_lhsOvcount))) )
-- Pattern -----------------------------------------------------
{-
visit 0:
inherited attributes:
allTypeSigs : Map Identifier Type
altAttrs : Map AltAttr Vertex
con : Identifier
inh : Attributes
nt : Identifier
syn : Attributes
synthesized attributes:
copy : SELF
errors : Seq Error
gathAltAttrs : [AltAttr]
instVars : [Identifier]
locVars : [Identifier]
patternAttrs : [(Identifier,Identifier,Bool,Patterns)]
alternatives:
alternative Alias:
child field : {Identifier}
child attr : {Identifier}
child pat : Pattern
child parts : Patterns
visit 0:
local copy : _
alternative Constr:
child name : {ConstructorIdent}
child pats : Patterns
visit 0:
local copy : _
alternative Irrefutable:
child pat : Pattern
visit 0:
local copy : _
alternative Product:
child pos : {Pos}
child pats : Patterns
visit 0:
local copy : _
alternative Underscore:
child pos : {Pos}
visit 0:
local copy : _
-}
-- cata
sem_Pattern :: Pattern ->
T_Pattern
sem_Pattern (Alias _field _attr _pat _parts ) =
(sem_Pattern_Alias _field _attr (sem_Pattern _pat ) (sem_Patterns _parts ) )
sem_Pattern (Constr _name _pats ) =
(sem_Pattern_Constr _name (sem_Patterns _pats ) )
sem_Pattern (Irrefutable _pat ) =
(sem_Pattern_Irrefutable (sem_Pattern _pat ) )
sem_Pattern (Product _pos _pats ) =
(sem_Pattern_Product _pos (sem_Patterns _pats ) )
sem_Pattern (Underscore _pos ) =
(sem_Pattern_Underscore _pos )
-- semantic domain
newtype T_Pattern = T_Pattern ((Map Identifier Type) ->
(Map AltAttr Vertex) ->
Identifier ->
Attributes ->
Identifier ->
Attributes ->
( Pattern ,(Seq Error),([AltAttr]),([Identifier]),([Identifier]),([(Identifier,Identifier,Bool,Patterns)])))
data Inh_Pattern = Inh_Pattern {allTypeSigs_Inh_Pattern :: !((Map Identifier Type)),altAttrs_Inh_Pattern :: !((Map AltAttr Vertex)),con_Inh_Pattern :: !(Identifier),inh_Inh_Pattern :: !(Attributes),nt_Inh_Pattern :: !(Identifier),syn_Inh_Pattern :: !(Attributes)}
data Syn_Pattern = Syn_Pattern {copy_Syn_Pattern :: !(Pattern ),errors_Syn_Pattern :: !((Seq Error)),gathAltAttrs_Syn_Pattern :: !(([AltAttr])),instVars_Syn_Pattern :: !(([Identifier])),locVars_Syn_Pattern :: !(([Identifier])),patternAttrs_Syn_Pattern :: !(([(Identifier,Identifier,Bool,Patterns)]))}
wrap_Pattern :: T_Pattern ->
Inh_Pattern ->
Syn_Pattern
wrap_Pattern (T_Pattern sem ) (Inh_Pattern _lhsIallTypeSigs _lhsIaltAttrs _lhsIcon _lhsIinh _lhsInt _lhsIsyn ) =
(let ( _lhsOcopy,_lhsOerrors,_lhsOgathAltAttrs,_lhsOinstVars,_lhsOlocVars,_lhsOpatternAttrs) =
(sem _lhsIallTypeSigs _lhsIaltAttrs _lhsIcon _lhsIinh _lhsInt _lhsIsyn )
in (Syn_Pattern _lhsOcopy _lhsOerrors _lhsOgathAltAttrs _lhsOinstVars _lhsOlocVars _lhsOpatternAttrs ))
sem_Pattern_Alias :: Identifier ->
Identifier ->
T_Pattern ->
T_Patterns ->
T_Pattern
sem_Pattern_Alias field_ attr_ (T_Pattern pat_ ) (T_Patterns parts_ ) =
(T_Pattern (\ _lhsIallTypeSigs
_lhsIaltAttrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIsyn ->
(let _lhsOgathAltAttrs :: ([AltAttr])
_lhsOpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_lhsOlocVars :: ([Identifier])
_lhsOinstVars :: ([Identifier])
_lhsOerrors :: (Seq Error)
_lhsOcopy :: Pattern
_patOallTypeSigs :: (Map Identifier Type)
_patOaltAttrs :: (Map AltAttr Vertex)
_patOcon :: Identifier
_patOinh :: Attributes
_patOnt :: Identifier
_patOsyn :: Attributes
_partsOallTypeSigs :: (Map Identifier Type)
_partsOaltAttrs :: (Map AltAttr Vertex)
_partsOcon :: Identifier
_partsOinh :: Attributes
_partsOnt :: Identifier
_partsOsyn :: Attributes
_patIcopy :: Pattern
_patIerrors :: (Seq Error)
_patIgathAltAttrs :: ([AltAttr])
_patIinstVars :: ([Identifier])
_patIlocVars :: ([Identifier])
_patIpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_partsIcopy :: Patterns
_partsIerrors :: (Seq Error)
_partsIgathAltAttrs :: ([AltAttr])
_partsIinstVars :: ([Identifier])
_partsIlocVars :: ([Identifier])
_partsIpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
-- "Order.ag"(line 184, column 12)
_lhsOgathAltAttrs =
({-# LINE 184 "Order.ag" #-}
[AltAttr field_ attr_ (field_ == _LOC || field_ == _INST)]
{-# LINE 2192 "Order.hs" #-})
-- "Order.ag"(line 252, column 12)
_lhsOpatternAttrs =
({-# LINE 252 "Order.ag" #-}
[(field_,attr_,(field_ == _LOC || field_ == _INST),_partsIcopy)]
{-# LINE 2197 "Order.hs" #-})
-- "Order.ag"(line 623, column 14)
_lhsOlocVars =
({-# LINE 623 "Order.ag" #-}
if field_ == _LOC
then [attr_]
else []
{-# LINE 2204 "Order.hs" #-})
-- "Order.ag"(line 626, column 14)
_lhsOinstVars =
({-# LINE 626 "Order.ag" #-}
if field_ == _INST
then [attr_]
else []
{-# LINE 2211 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_patIerrors Seq.>< _partsIerrors
{-# LINE 2216 "Order.hs" #-})
-- self rule
_copy =
({-# LINE 23 "./Patterns.ag" #-}
Alias field_ attr_ _patIcopy _partsIcopy
{-# LINE 2221 "Order.hs" #-})
-- self rule
_lhsOcopy =
({-# LINE 23 "./Patterns.ag" #-}
_copy
{-# LINE 2226 "Order.hs" #-})
-- copy rule (down)
_patOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 2231 "Order.hs" #-})
-- copy rule (down)
_patOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 2236 "Order.hs" #-})
-- copy rule (down)
_patOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 2241 "Order.hs" #-})
-- copy rule (down)
_patOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 2246 "Order.hs" #-})
-- copy rule (down)
_patOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 2251 "Order.hs" #-})
-- copy rule (down)
_patOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 2256 "Order.hs" #-})
-- copy rule (down)
_partsOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 2261 "Order.hs" #-})
-- copy rule (down)
_partsOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 2266 "Order.hs" #-})
-- copy rule (down)
_partsOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 2271 "Order.hs" #-})
-- copy rule (down)
_partsOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 2276 "Order.hs" #-})
-- copy rule (down)
_partsOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 2281 "Order.hs" #-})
-- copy rule (down)
_partsOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 2286 "Order.hs" #-})
( _patIcopy,_patIerrors,_patIgathAltAttrs,_patIinstVars,_patIlocVars,_patIpatternAttrs) =
(pat_ _patOallTypeSigs _patOaltAttrs _patOcon _patOinh _patOnt _patOsyn )
( _partsIcopy,_partsIerrors,_partsIgathAltAttrs,_partsIinstVars,_partsIlocVars,_partsIpatternAttrs) =
(parts_ _partsOallTypeSigs _partsOaltAttrs _partsOcon _partsOinh _partsOnt _partsOsyn )
in ( _lhsOcopy,_lhsOerrors,_lhsOgathAltAttrs,_lhsOinstVars,_lhsOlocVars,_lhsOpatternAttrs))) )
sem_Pattern_Constr :: ConstructorIdent ->
T_Patterns ->
T_Pattern
sem_Pattern_Constr name_ (T_Patterns pats_ ) =
(T_Pattern (\ _lhsIallTypeSigs
_lhsIaltAttrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIsyn ->
(let _lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOinstVars :: ([Identifier])
_lhsOlocVars :: ([Identifier])
_lhsOpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_lhsOcopy :: Pattern
_patsOallTypeSigs :: (Map Identifier Type)
_patsOaltAttrs :: (Map AltAttr Vertex)
_patsOcon :: Identifier
_patsOinh :: Attributes
_patsOnt :: Identifier
_patsOsyn :: Attributes
_patsIcopy :: Patterns
_patsIerrors :: (Seq Error)
_patsIgathAltAttrs :: ([AltAttr])
_patsIinstVars :: ([Identifier])
_patsIlocVars :: ([Identifier])
_patsIpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_patsIerrors
{-# LINE 2324 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
_patsIgathAltAttrs
{-# LINE 2329 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 86)
_lhsOinstVars =
({-# LINE 620 "Order.ag" #-}
_patsIinstVars
{-# LINE 2334 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 48)
_lhsOlocVars =
({-# LINE 620 "Order.ag" #-}
_patsIlocVars
{-# LINE 2339 "Order.hs" #-})
-- use rule "Order.ag"(line 249, column 42)
_lhsOpatternAttrs =
({-# LINE 249 "Order.ag" #-}
_patsIpatternAttrs
{-# LINE 2344 "Order.hs" #-})
-- self rule
_copy =
({-# LINE 23 "./Patterns.ag" #-}
Constr name_ _patsIcopy
{-# LINE 2349 "Order.hs" #-})
-- self rule
_lhsOcopy =
({-# LINE 23 "./Patterns.ag" #-}
_copy
{-# LINE 2354 "Order.hs" #-})
-- copy rule (down)
_patsOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 2359 "Order.hs" #-})
-- copy rule (down)
_patsOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 2364 "Order.hs" #-})
-- copy rule (down)
_patsOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 2369 "Order.hs" #-})
-- copy rule (down)
_patsOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 2374 "Order.hs" #-})
-- copy rule (down)
_patsOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 2379 "Order.hs" #-})
-- copy rule (down)
_patsOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 2384 "Order.hs" #-})
( _patsIcopy,_patsIerrors,_patsIgathAltAttrs,_patsIinstVars,_patsIlocVars,_patsIpatternAttrs) =
(pats_ _patsOallTypeSigs _patsOaltAttrs _patsOcon _patsOinh _patsOnt _patsOsyn )
in ( _lhsOcopy,_lhsOerrors,_lhsOgathAltAttrs,_lhsOinstVars,_lhsOlocVars,_lhsOpatternAttrs))) )
sem_Pattern_Irrefutable :: T_Pattern ->
T_Pattern
sem_Pattern_Irrefutable (T_Pattern pat_ ) =
(T_Pattern (\ _lhsIallTypeSigs
_lhsIaltAttrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIsyn ->
(let _lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOinstVars :: ([Identifier])
_lhsOlocVars :: ([Identifier])
_lhsOpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_lhsOcopy :: Pattern
_patOallTypeSigs :: (Map Identifier Type)
_patOaltAttrs :: (Map AltAttr Vertex)
_patOcon :: Identifier
_patOinh :: Attributes
_patOnt :: Identifier
_patOsyn :: Attributes
_patIcopy :: Pattern
_patIerrors :: (Seq Error)
_patIgathAltAttrs :: ([AltAttr])
_patIinstVars :: ([Identifier])
_patIlocVars :: ([Identifier])
_patIpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_patIerrors
{-# LINE 2419 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
_patIgathAltAttrs
{-# LINE 2424 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 86)
_lhsOinstVars =
({-# LINE 620 "Order.ag" #-}
_patIinstVars
{-# LINE 2429 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 48)
_lhsOlocVars =
({-# LINE 620 "Order.ag" #-}
_patIlocVars
{-# LINE 2434 "Order.hs" #-})
-- use rule "Order.ag"(line 249, column 42)
_lhsOpatternAttrs =
({-# LINE 249 "Order.ag" #-}
_patIpatternAttrs
{-# LINE 2439 "Order.hs" #-})
-- self rule
_copy =
({-# LINE 23 "./Patterns.ag" #-}
Irrefutable _patIcopy
{-# LINE 2444 "Order.hs" #-})
-- self rule
_lhsOcopy =
({-# LINE 23 "./Patterns.ag" #-}
_copy
{-# LINE 2449 "Order.hs" #-})
-- copy rule (down)
_patOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 2454 "Order.hs" #-})
-- copy rule (down)
_patOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 2459 "Order.hs" #-})
-- copy rule (down)
_patOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 2464 "Order.hs" #-})
-- copy rule (down)
_patOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 2469 "Order.hs" #-})
-- copy rule (down)
_patOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 2474 "Order.hs" #-})
-- copy rule (down)
_patOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 2479 "Order.hs" #-})
( _patIcopy,_patIerrors,_patIgathAltAttrs,_patIinstVars,_patIlocVars,_patIpatternAttrs) =
(pat_ _patOallTypeSigs _patOaltAttrs _patOcon _patOinh _patOnt _patOsyn )
in ( _lhsOcopy,_lhsOerrors,_lhsOgathAltAttrs,_lhsOinstVars,_lhsOlocVars,_lhsOpatternAttrs))) )
sem_Pattern_Product :: Pos ->
T_Patterns ->
T_Pattern
sem_Pattern_Product pos_ (T_Patterns pats_ ) =
(T_Pattern (\ _lhsIallTypeSigs
_lhsIaltAttrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIsyn ->
(let _lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOinstVars :: ([Identifier])
_lhsOlocVars :: ([Identifier])
_lhsOpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_lhsOcopy :: Pattern
_patsOallTypeSigs :: (Map Identifier Type)
_patsOaltAttrs :: (Map AltAttr Vertex)
_patsOcon :: Identifier
_patsOinh :: Attributes
_patsOnt :: Identifier
_patsOsyn :: Attributes
_patsIcopy :: Patterns
_patsIerrors :: (Seq Error)
_patsIgathAltAttrs :: ([AltAttr])
_patsIinstVars :: ([Identifier])
_patsIlocVars :: ([Identifier])
_patsIpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_patsIerrors
{-# LINE 2515 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
_patsIgathAltAttrs
{-# LINE 2520 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 86)
_lhsOinstVars =
({-# LINE 620 "Order.ag" #-}
_patsIinstVars
{-# LINE 2525 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 48)
_lhsOlocVars =
({-# LINE 620 "Order.ag" #-}
_patsIlocVars
{-# LINE 2530 "Order.hs" #-})
-- use rule "Order.ag"(line 249, column 42)
_lhsOpatternAttrs =
({-# LINE 249 "Order.ag" #-}
_patsIpatternAttrs
{-# LINE 2535 "Order.hs" #-})
-- self rule
_copy =
({-# LINE 23 "./Patterns.ag" #-}
Product pos_ _patsIcopy
{-# LINE 2540 "Order.hs" #-})
-- self rule
_lhsOcopy =
({-# LINE 23 "./Patterns.ag" #-}
_copy
{-# LINE 2545 "Order.hs" #-})
-- copy rule (down)
_patsOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 2550 "Order.hs" #-})
-- copy rule (down)
_patsOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 2555 "Order.hs" #-})
-- copy rule (down)
_patsOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 2560 "Order.hs" #-})
-- copy rule (down)
_patsOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 2565 "Order.hs" #-})
-- copy rule (down)
_patsOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 2570 "Order.hs" #-})
-- copy rule (down)
_patsOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 2575 "Order.hs" #-})
( _patsIcopy,_patsIerrors,_patsIgathAltAttrs,_patsIinstVars,_patsIlocVars,_patsIpatternAttrs) =
(pats_ _patsOallTypeSigs _patsOaltAttrs _patsOcon _patsOinh _patsOnt _patsOsyn )
in ( _lhsOcopy,_lhsOerrors,_lhsOgathAltAttrs,_lhsOinstVars,_lhsOlocVars,_lhsOpatternAttrs))) )
sem_Pattern_Underscore :: Pos ->
T_Pattern
sem_Pattern_Underscore pos_ =
(T_Pattern (\ _lhsIallTypeSigs
_lhsIaltAttrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIsyn ->
(let _lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOinstVars :: ([Identifier])
_lhsOlocVars :: ([Identifier])
_lhsOpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_lhsOcopy :: Pattern
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
Seq.empty
{-# LINE 2598 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
[]
{-# LINE 2603 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 86)
_lhsOinstVars =
({-# LINE 620 "Order.ag" #-}
[]
{-# LINE 2608 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 48)
_lhsOlocVars =
({-# LINE 620 "Order.ag" #-}
[]
{-# LINE 2613 "Order.hs" #-})
-- use rule "Order.ag"(line 249, column 42)
_lhsOpatternAttrs =
({-# LINE 249 "Order.ag" #-}
[]
{-# LINE 2618 "Order.hs" #-})
-- self rule
_copy =
({-# LINE 23 "./Patterns.ag" #-}
Underscore pos_
{-# LINE 2623 "Order.hs" #-})
-- self rule
_lhsOcopy =
({-# LINE 23 "./Patterns.ag" #-}
_copy
{-# LINE 2628 "Order.hs" #-})
in ( _lhsOcopy,_lhsOerrors,_lhsOgathAltAttrs,_lhsOinstVars,_lhsOlocVars,_lhsOpatternAttrs))) )
-- Patterns ----------------------------------------------------
{-
visit 0:
inherited attributes:
allTypeSigs : Map Identifier Type
altAttrs : Map AltAttr Vertex
con : Identifier
inh : Attributes
nt : Identifier
syn : Attributes
synthesized attributes:
copy : SELF
errors : Seq Error
gathAltAttrs : [AltAttr]
instVars : [Identifier]
locVars : [Identifier]
patternAttrs : [(Identifier,Identifier,Bool,Patterns)]
alternatives:
alternative Cons:
child hd : Pattern
child tl : Patterns
visit 0:
local copy : _
alternative Nil:
visit 0:
local copy : _
-}
-- cata
sem_Patterns :: Patterns ->
T_Patterns
sem_Patterns list =
(Prelude.foldr sem_Patterns_Cons sem_Patterns_Nil (Prelude.map sem_Pattern list) )
-- semantic domain
newtype T_Patterns = T_Patterns ((Map Identifier Type) ->
(Map AltAttr Vertex) ->
Identifier ->
Attributes ->
Identifier ->
Attributes ->
( Patterns ,(Seq Error),([AltAttr]),([Identifier]),([Identifier]),([(Identifier,Identifier,Bool,Patterns)])))
data Inh_Patterns = Inh_Patterns {allTypeSigs_Inh_Patterns :: !((Map Identifier Type)),altAttrs_Inh_Patterns :: !((Map AltAttr Vertex)),con_Inh_Patterns :: !(Identifier),inh_Inh_Patterns :: !(Attributes),nt_Inh_Patterns :: !(Identifier),syn_Inh_Patterns :: !(Attributes)}
data Syn_Patterns = Syn_Patterns {copy_Syn_Patterns :: !(Patterns ),errors_Syn_Patterns :: !((Seq Error)),gathAltAttrs_Syn_Patterns :: !(([AltAttr])),instVars_Syn_Patterns :: !(([Identifier])),locVars_Syn_Patterns :: !(([Identifier])),patternAttrs_Syn_Patterns :: !(([(Identifier,Identifier,Bool,Patterns)]))}
wrap_Patterns :: T_Patterns ->
Inh_Patterns ->
Syn_Patterns
wrap_Patterns (T_Patterns sem ) (Inh_Patterns _lhsIallTypeSigs _lhsIaltAttrs _lhsIcon _lhsIinh _lhsInt _lhsIsyn ) =
(let ( _lhsOcopy,_lhsOerrors,_lhsOgathAltAttrs,_lhsOinstVars,_lhsOlocVars,_lhsOpatternAttrs) =
(sem _lhsIallTypeSigs _lhsIaltAttrs _lhsIcon _lhsIinh _lhsInt _lhsIsyn )
in (Syn_Patterns _lhsOcopy _lhsOerrors _lhsOgathAltAttrs _lhsOinstVars _lhsOlocVars _lhsOpatternAttrs ))
sem_Patterns_Cons :: T_Pattern ->
T_Patterns ->
T_Patterns
sem_Patterns_Cons (T_Pattern hd_ ) (T_Patterns tl_ ) =
(T_Patterns (\ _lhsIallTypeSigs
_lhsIaltAttrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIsyn ->
(let _lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOinstVars :: ([Identifier])
_lhsOlocVars :: ([Identifier])
_lhsOpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_lhsOcopy :: Patterns
_hdOallTypeSigs :: (Map Identifier Type)
_hdOaltAttrs :: (Map AltAttr Vertex)
_hdOcon :: Identifier
_hdOinh :: Attributes
_hdOnt :: Identifier
_hdOsyn :: Attributes
_tlOallTypeSigs :: (Map Identifier Type)
_tlOaltAttrs :: (Map AltAttr Vertex)
_tlOcon :: Identifier
_tlOinh :: Attributes
_tlOnt :: Identifier
_tlOsyn :: Attributes
_hdIcopy :: Pattern
_hdIerrors :: (Seq Error)
_hdIgathAltAttrs :: ([AltAttr])
_hdIinstVars :: ([Identifier])
_hdIlocVars :: ([Identifier])
_hdIpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_tlIcopy :: Patterns
_tlIerrors :: (Seq Error)
_tlIgathAltAttrs :: ([AltAttr])
_tlIinstVars :: ([Identifier])
_tlIlocVars :: ([Identifier])
_tlIpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_hdIerrors Seq.>< _tlIerrors
{-# LINE 2723 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
_hdIgathAltAttrs ++ _tlIgathAltAttrs
{-# LINE 2728 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 86)
_lhsOinstVars =
({-# LINE 620 "Order.ag" #-}
_hdIinstVars ++ _tlIinstVars
{-# LINE 2733 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 48)
_lhsOlocVars =
({-# LINE 620 "Order.ag" #-}
_hdIlocVars ++ _tlIlocVars
{-# LINE 2738 "Order.hs" #-})
-- use rule "Order.ag"(line 249, column 42)
_lhsOpatternAttrs =
({-# LINE 249 "Order.ag" #-}
_hdIpatternAttrs ++ _tlIpatternAttrs
{-# LINE 2743 "Order.hs" #-})
-- self rule
_copy =
({-# LINE 23 "./Patterns.ag" #-}
(:) _hdIcopy _tlIcopy
{-# LINE 2748 "Order.hs" #-})
-- self rule
_lhsOcopy =
({-# LINE 23 "./Patterns.ag" #-}
_copy
{-# LINE 2753 "Order.hs" #-})
-- copy rule (down)
_hdOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 2758 "Order.hs" #-})
-- copy rule (down)
_hdOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 2763 "Order.hs" #-})
-- copy rule (down)
_hdOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 2768 "Order.hs" #-})
-- copy rule (down)
_hdOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 2773 "Order.hs" #-})
-- copy rule (down)
_hdOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 2778 "Order.hs" #-})
-- copy rule (down)
_hdOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 2783 "Order.hs" #-})
-- copy rule (down)
_tlOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 2788 "Order.hs" #-})
-- copy rule (down)
_tlOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 2793 "Order.hs" #-})
-- copy rule (down)
_tlOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 2798 "Order.hs" #-})
-- copy rule (down)
_tlOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 2803 "Order.hs" #-})
-- copy rule (down)
_tlOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 2808 "Order.hs" #-})
-- copy rule (down)
_tlOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 2813 "Order.hs" #-})
( _hdIcopy,_hdIerrors,_hdIgathAltAttrs,_hdIinstVars,_hdIlocVars,_hdIpatternAttrs) =
(hd_ _hdOallTypeSigs _hdOaltAttrs _hdOcon _hdOinh _hdOnt _hdOsyn )
( _tlIcopy,_tlIerrors,_tlIgathAltAttrs,_tlIinstVars,_tlIlocVars,_tlIpatternAttrs) =
(tl_ _tlOallTypeSigs _tlOaltAttrs _tlOcon _tlOinh _tlOnt _tlOsyn )
in ( _lhsOcopy,_lhsOerrors,_lhsOgathAltAttrs,_lhsOinstVars,_lhsOlocVars,_lhsOpatternAttrs))) )
sem_Patterns_Nil :: T_Patterns
sem_Patterns_Nil =
(T_Patterns (\ _lhsIallTypeSigs
_lhsIaltAttrs
_lhsIcon
_lhsIinh
_lhsInt
_lhsIsyn ->
(let _lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOinstVars :: ([Identifier])
_lhsOlocVars :: ([Identifier])
_lhsOpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_lhsOcopy :: Patterns
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
Seq.empty
{-# LINE 2837 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
[]
{-# LINE 2842 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 86)
_lhsOinstVars =
({-# LINE 620 "Order.ag" #-}
[]
{-# LINE 2847 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 48)
_lhsOlocVars =
({-# LINE 620 "Order.ag" #-}
[]
{-# LINE 2852 "Order.hs" #-})
-- use rule "Order.ag"(line 249, column 42)
_lhsOpatternAttrs =
({-# LINE 249 "Order.ag" #-}
[]
{-# LINE 2857 "Order.hs" #-})
-- self rule
_copy =
({-# LINE 23 "./Patterns.ag" #-}
[]
{-# LINE 2862 "Order.hs" #-})
-- self rule
_lhsOcopy =
({-# LINE 23 "./Patterns.ag" #-}
_copy
{-# LINE 2867 "Order.hs" #-})
in ( _lhsOcopy,_lhsOerrors,_lhsOgathAltAttrs,_lhsOinstVars,_lhsOlocVars,_lhsOpatternAttrs))) )
-- Production --------------------------------------------------
{-
visit 0:
inherited attributes:
allnts : [Identifier]
aroundMap : Map ConstructorIdent (Map Identifier [Expression])
cVisitsMap : CVisitsMap
inh : Attributes
manualAttrDepMap : AttrOrderMap
nt : Identifier
o_case : Bool
o_cata : Bool
o_dovisit : Bool
o_newtypes : Bool
o_rename : Bool
o_sem : Bool
o_sig : Bool
o_unbox : Bool
o_wantvisit : Bool
prefix : String
syn : Attributes
chained attribute:
vcount : Int
synthesized attributes:
additionalDep : Seq Edge
aroundDep : Seq Edge
cProduction : CProduction
cons : [ConstructorIdent]
directDep : Seq Edge
errors : Seq Error
instDep : Seq Edge
nAutoRules : Int
nExplicitRules : Int
rules : Seq (Vertex,CRule)
alternatives:
alternative Production:
child con : {ConstructorIdent}
child children : Children
child rules : Rules
child typeSigs : TypeSigs
visit 0:
local gathAltAttrs : _
local altAttrs : _
local inhRules : _
local gathRules : _
local manualDeps : _
local aroundMap : _
local aroundDep1 : _
local aroundDep2 : _
local cVisits : _
local allfields : _
local attrs : _
local inhnames : _
local synnames : _
-}
-- cata
sem_Production :: Production ->
T_Production
sem_Production (Production _con _children _rules _typeSigs ) =
(sem_Production_Production _con (sem_Children _children ) (sem_Rules _rules ) (sem_TypeSigs _typeSigs ) )
-- semantic domain
newtype T_Production = T_Production (([Identifier]) ->
(Map ConstructorIdent (Map Identifier [Expression])) ->
CVisitsMap ->
Attributes ->
AttrOrderMap ->
Identifier ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
String ->
Attributes ->
Int ->
( (Seq Edge),(Seq Edge),CProduction,([ConstructorIdent]),(Seq Edge),(Seq Error),(Seq Edge),Int,Int,(Seq (Vertex,CRule)),Int))
data Inh_Production = Inh_Production {allnts_Inh_Production :: !(([Identifier])),aroundMap_Inh_Production :: !((Map ConstructorIdent (Map Identifier [Expression]))),cVisitsMap_Inh_Production :: !(CVisitsMap),inh_Inh_Production :: !(Attributes),manualAttrDepMap_Inh_Production :: !(AttrOrderMap),nt_Inh_Production :: !(Identifier),o_case_Inh_Production :: !(Bool),o_cata_Inh_Production :: !(Bool),o_dovisit_Inh_Production :: !(Bool),o_newtypes_Inh_Production :: !(Bool),o_rename_Inh_Production :: !(Bool),o_sem_Inh_Production :: !(Bool),o_sig_Inh_Production :: !(Bool),o_unbox_Inh_Production :: !(Bool),o_wantvisit_Inh_Production :: !(Bool),prefix_Inh_Production :: !(String),syn_Inh_Production :: !(Attributes),vcount_Inh_Production :: !(Int)}
data Syn_Production = Syn_Production {additionalDep_Syn_Production :: !((Seq Edge)),aroundDep_Syn_Production :: !((Seq Edge)),cProduction_Syn_Production :: !(CProduction),cons_Syn_Production :: !(([ConstructorIdent])),directDep_Syn_Production :: !((Seq Edge)),errors_Syn_Production :: !((Seq Error)),instDep_Syn_Production :: !((Seq Edge)),nAutoRules_Syn_Production :: !(Int),nExplicitRules_Syn_Production :: !(Int),rules_Syn_Production :: !((Seq (Vertex,CRule))),vcount_Syn_Production :: !(Int)}
wrap_Production :: T_Production ->
Inh_Production ->
Syn_Production
wrap_Production (T_Production sem ) (Inh_Production _lhsIallnts _lhsIaroundMap _lhsIcVisitsMap _lhsIinh _lhsImanualAttrDepMap _lhsInt _lhsIo_case _lhsIo_cata _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_unbox _lhsIo_wantvisit _lhsIprefix _lhsIsyn _lhsIvcount ) =
(let ( _lhsOadditionalDep,_lhsOaroundDep,_lhsOcProduction,_lhsOcons,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOrules,_lhsOvcount) =
(sem _lhsIallnts _lhsIaroundMap _lhsIcVisitsMap _lhsIinh _lhsImanualAttrDepMap _lhsInt _lhsIo_case _lhsIo_cata _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_unbox _lhsIo_wantvisit _lhsIprefix _lhsIsyn _lhsIvcount )
in (Syn_Production _lhsOadditionalDep _lhsOaroundDep _lhsOcProduction _lhsOcons _lhsOdirectDep _lhsOerrors _lhsOinstDep _lhsOnAutoRules _lhsOnExplicitRules _lhsOrules _lhsOvcount ))
sem_Production_Production :: ConstructorIdent ->
T_Children ->
T_Rules ->
T_TypeSigs ->
T_Production
sem_Production_Production con_ (T_Children children_ ) (T_Rules rules_ ) (T_TypeSigs typeSigs_ ) =
(T_Production (\ _lhsIallnts
_lhsIaroundMap
_lhsIcVisitsMap
_lhsIinh
_lhsImanualAttrDepMap
_lhsInt
_lhsIo_case
_lhsIo_cata
_lhsIo_dovisit
_lhsIo_newtypes
_lhsIo_rename
_lhsIo_sem
_lhsIo_sig
_lhsIo_unbox
_lhsIo_wantvisit
_lhsIprefix
_lhsIsyn
_lhsIvcount ->
(let _childrenOcon :: Identifier
_rulesOcon :: Identifier
_rulesOchildNts :: (Map Identifier NontermIdent)
_rulesOchildInhs :: (Map Identifier Attributes)
_lhsOrules :: (Seq (Vertex,CRule))
_lhsOvcount :: Int
_lhsOadditionalDep :: (Seq Edge)
_rulesOsynsOfChildren :: (Map Identifier Attributes)
_rulesOinhsOfChildren :: (Map Identifier Attributes)
_lhsOaroundDep :: (Seq Edge)
_lhsOcons :: ([ConstructorIdent])
_typeSigsOtypeSigs :: (Map Identifier Type)
_rulesOallTypeSigs :: (Map Identifier Type)
_lhsOcProduction :: CProduction
_lhsOdirectDep :: (Seq Edge)
_lhsOerrors :: (Seq Error)
_lhsOinstDep :: (Seq Edge)
_lhsOnAutoRules :: Int
_lhsOnExplicitRules :: Int
_childrenOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_childrenOallnts :: ([Identifier])
_childrenOattrs :: ([(Identifier,Identifier)])
_childrenOinh :: Attributes
_childrenOnt :: Identifier
_childrenOo_unbox :: Bool
_childrenOsyn :: Attributes
_rulesOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_rulesOallnts :: ([Identifier])
_rulesOaltAttrs :: (Map AltAttr Vertex)
_rulesOattrs :: ([(Identifier,Identifier)])
_rulesOinh :: Attributes
_rulesOnt :: Identifier
_rulesOo_case :: Bool
_rulesOo_cata :: Bool
_rulesOo_dovisit :: Bool
_rulesOo_newtypes :: Bool
_rulesOo_rename :: Bool
_rulesOo_sem :: Bool
_rulesOo_sig :: Bool
_rulesOo_wantvisit :: Bool
_rulesOprefix :: String
_rulesOsyn :: Attributes
_childrenIattributes :: ([(Identifier,Attributes,Attributes)])
_childrenIcollectChildrenInhs :: (Map Identifier Attributes )
_childrenIcollectChildrenSyns :: (Map Identifier Attributes )
_childrenIerrors :: (Seq Error)
_childrenIfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_childrenIgathAltAttrs :: ([AltAttr])
_childrenIgathRules :: (Seq CRule)
_childrenIinhs :: (Seq (Identifier,Attributes))
_childrenInts :: (Seq (Identifier,NontermIdent))
_childrenIsinglevisits :: ([CRule])
_childrenIterminals :: ([Identifier])
_rulesIdirectDep :: (Seq Edge)
_rulesIerrors :: (Seq Error)
_rulesIgathAltAttrs :: ([AltAttr])
_rulesIgathRules :: (Seq CRule)
_rulesIinstDep :: (Seq Edge)
_rulesIinstVars :: ([Identifier])
_rulesIlocVars :: ([Identifier])
_rulesInAutoRules :: Int
_rulesInExplicitRules :: Int
_typeSigsItypeSigs :: (Map Identifier Type)
-- "Order.ag"(line 93, column 16)
_childrenOcon =
({-# LINE 93 "Order.ag" #-}
con_
{-# LINE 3049 "Order.hs" #-})
-- "Order.ag"(line 95, column 16)
_rulesOcon =
({-# LINE 95 "Order.ag" #-}
con_
{-# LINE 3054 "Order.hs" #-})
-- "Order.ag"(line 172, column 18)
_gathAltAttrs =
({-# LINE 172 "Order.ag" #-}
[ AltAttr _LHS inh True | inh <- Map.keys _lhsIinh ]
++ _childrenIgathAltAttrs
++ _rulesIgathAltAttrs
{-# LINE 3061 "Order.hs" #-})
-- "Order.ag"(line 188, column 17)
_altAttrs =
({-# LINE 188 "Order.ag" #-}
Map.fromList (zip _gathAltAttrs [_lhsIvcount..])
{-# LINE 3066 "Order.hs" #-})
-- "Order.ag"(line 201, column 18)
_rulesOchildNts =
({-# LINE 201 "Order.ag" #-}
Map.fromList (toList _childrenInts)
{-# LINE 3071 "Order.hs" #-})
-- "Order.ag"(line 202, column 19)
_rulesOchildInhs =
({-# LINE 202 "Order.ag" #-}
Map.fromList (toList _childrenIinhs)
{-# LINE 3076 "Order.hs" #-})
-- "Order.ag"(line 208, column 18)
_inhRules =
({-# LINE 208 "Order.ag" #-}
[ cRuleLhsInh inh _lhsInt con_ tp | (inh,tp) <- Map.assocs _lhsIinh ]
{-# LINE 3081 "Order.hs" #-})
-- "Order.ag"(line 209, column 19)
_gathRules =
({-# LINE 209 "Order.ag" #-}
_inhRules ++ toList (_childrenIgathRules Seq.>< _rulesIgathRules)
{-# LINE 3086 "Order.hs" #-})
-- "Order.ag"(line 263, column 18)
_lhsOrules =
({-# LINE 263 "Order.ag" #-}
Seq.fromList (zip [_lhsIvcount..] _gathRules)
{-# LINE 3091 "Order.hs" #-})
-- "Order.ag"(line 264, column 19)
_lhsOvcount =
({-# LINE 264 "Order.ag" #-}
_lhsIvcount + length _gathRules
{-# LINE 3096 "Order.hs" #-})
-- "Order.ag"(line 291, column 7)
_manualDeps =
({-# LINE 291 "Order.ag" #-}
Set.toList $ Map.findWithDefault Set.empty con_ $ Map.findWithDefault Map.empty _lhsInt _lhsImanualAttrDepMap
{-# LINE 3101 "Order.hs" #-})
-- "Order.ag"(line 294, column 7)
_lhsOadditionalDep =
({-# LINE 294 "Order.ag" #-}
Seq.fromList [ (vertex True occA, vertex False occB)
| Dependency occA occB <- _manualDeps
, let vertex inout (OccAttr child nm)
| child == _LOC = findWithErr2 (AltAttr _LOC nm True) _altAttrs
| otherwise = findWithErr2 (AltAttr child nm inout) _altAttrs
vertex _ (OccRule nm)
= findWithErr2 (AltAttr _LOC (Ident ("_rule_" ++ show nm) (getPos nm)) True) _altAttrs
]
{-# LINE 3113 "Order.hs" #-})
-- "Order.ag"(line 341, column 17)
_rulesOsynsOfChildren =
({-# LINE 341 "Order.ag" #-}
_childrenIcollectChildrenSyns
{-# LINE 3118 "Order.hs" #-})
-- "Order.ag"(line 342, column 17)
_rulesOinhsOfChildren =
({-# LINE 342 "Order.ag" #-}
_childrenIcollectChildrenInhs
{-# LINE 3123 "Order.hs" #-})
-- "Order.ag"(line 367, column 32)
_aroundMap =
({-# LINE 367 "Order.ag" #-}
Map.findWithDefault Map.empty con_ _lhsIaroundMap
{-# LINE 3128 "Order.hs" #-})
-- "Order.ag"(line 374, column 6)
_aroundDep1 =
({-# LINE 374 "Order.ag" #-}
Seq.fromList $
[ (childVert, synVert)
| childNm <- Map.keys _aroundMap
, synNm <- Map.keys (findWithErr2 childNm _childrenIcollectChildrenSyns)
, let childNm' = Ident (show childNm ++ "_around") (getPos childNm)
childAttr = AltAttr _LOC childNm' True
synAttr = AltAttr childNm synNm True
childVert = findWithErr2 childAttr _altAttrs
synVert = findWithErr2 synAttr _altAttrs
]
{-# LINE 3142 "Order.hs" #-})
-- "Order.ag"(line 385, column 6)
_aroundDep2 =
({-# LINE 385 "Order.ag" #-}
Seq.fromList $
[ (childVert, inhVert)
| childNm <- Map.keys _aroundMap
, inhNm <- Map.keys (findWithErr2 childNm _childrenIcollectChildrenInhs)
, let childNm' = Ident (show childNm ++ "_around") (getPos childNm)
childAttr = AltAttr _LOC childNm' True
inhAttr = AltAttr childNm inhNm False
childVert = findWithErr2 childAttr _altAttrs
inhVert = findWithErr2 inhAttr _altAttrs
]
{-# LINE 3156 "Order.hs" #-})
-- "Order.ag"(line 396, column 6)
_lhsOaroundDep =
({-# LINE 396 "Order.ag" #-}
_aroundDep1 Seq.>< _aroundDep2
{-# LINE 3161 "Order.hs" #-})
-- "Order.ag"(line 467, column 18)
_lhsOcons =
({-# LINE 467 "Order.ag" #-}
[con_]
{-# LINE 3166 "Order.hs" #-})
-- "Order.ag"(line 474, column 16)
_typeSigsOtypeSigs =
({-# LINE 474 "Order.ag" #-}
Map.empty
{-# LINE 3171 "Order.hs" #-})
-- "Order.ag"(line 480, column 17)
_rulesOallTypeSigs =
({-# LINE 480 "Order.ag" #-}
_typeSigsItypeSigs
{-# LINE 3176 "Order.hs" #-})
-- "Order.ag"(line 547, column 17)
_cVisits =
({-# LINE 547 "Order.ag" #-}
if _lhsIo_dovisit
then let prodsVisitsMap = findWithErr1 "Production.cVisits.nt" _lhsInt _lhsIcVisitsMap
visits = findWithErr1 "Production.cVisits.con" con_ prodsVisitsMap
in visits
else let vss = nubBy eqCRuleDefines _gathRules ++ _childrenIsinglevisits
in [CVisit _lhsIinh _lhsIsyn vss [] False]
{-# LINE 3186 "Order.hs" #-})
-- "Order.ag"(line 573, column 18)
_lhsOcProduction =
({-# LINE 573 "Order.ag" #-}
CProduction con_ _cVisits _childrenIfields _childrenIterminals
{-# LINE 3191 "Order.hs" #-})
-- "Order.ag"(line 600, column 16)
_allfields =
({-# LINE 600 "Order.ag" #-}
_childrenIfields
{-# LINE 3196 "Order.hs" #-})
-- "Order.ag"(line 600, column 16)
_attrs =
({-# LINE 601 "Order.ag" #-}
map ((,) _LOC) _rulesIlocVars ++
map ((,) _INST) _rulesIinstVars ++
map ((,) _LHS) _inhnames ++
concat [map ((,) nm) (Map.keys as) | (nm,_,as) <- _childrenIattributes]
{-# LINE 3204 "Order.hs" #-})
-- "Order.ag"(line 600, column 16)
_inhnames =
({-# LINE 605 "Order.ag" #-}
Map.keys _lhsIinh
{-# LINE 3209 "Order.hs" #-})
-- "Order.ag"(line 600, column 16)
_synnames =
({-# LINE 606 "Order.ag" #-}
Map.keys _lhsIsyn
{-# LINE 3214 "Order.hs" #-})
-- use rule "Order.ag"(line 269, column 33)
_lhsOdirectDep =
({-# LINE 269 "Order.ag" #-}
_rulesIdirectDep
{-# LINE 3219 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_childrenIerrors Seq.>< _rulesIerrors
{-# LINE 3224 "Order.hs" #-})
-- use rule "Order.ag"(line 312, column 31)
_lhsOinstDep =
({-# LINE 312 "Order.ag" #-}
_rulesIinstDep
{-# LINE 3229 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnAutoRules =
({-# LINE 61 "Order.ag" #-}
_rulesInAutoRules
{-# LINE 3234 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnExplicitRules =
({-# LINE 61 "Order.ag" #-}
_rulesInExplicitRules
{-# LINE 3239 "Order.hs" #-})
-- copy rule (from local)
_childrenOallfields =
({-# LINE 597 "Order.ag" #-}
_allfields
{-# LINE 3244 "Order.hs" #-})
-- copy rule (down)
_childrenOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 3249 "Order.hs" #-})
-- copy rule (from local)
_childrenOattrs =
({-# LINE 597 "Order.ag" #-}
_attrs
{-# LINE 3254 "Order.hs" #-})
-- copy rule (down)
_childrenOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 3259 "Order.hs" #-})
-- copy rule (down)
_childrenOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 3264 "Order.hs" #-})
-- copy rule (down)
_childrenOo_unbox =
({-# LINE 119 "Order.ag" #-}
_lhsIo_unbox
{-# LINE 3269 "Order.hs" #-})
-- copy rule (down)
_childrenOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 3274 "Order.hs" #-})
-- copy rule (from local)
_rulesOallfields =
({-# LINE 597 "Order.ag" #-}
_allfields
{-# LINE 3279 "Order.hs" #-})
-- copy rule (down)
_rulesOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 3284 "Order.hs" #-})
-- copy rule (from local)
_rulesOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_altAttrs
{-# LINE 3289 "Order.hs" #-})
-- copy rule (from local)
_rulesOattrs =
({-# LINE 597 "Order.ag" #-}
_attrs
{-# LINE 3294 "Order.hs" #-})
-- copy rule (down)
_rulesOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 3299 "Order.hs" #-})
-- copy rule (down)
_rulesOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 3304 "Order.hs" #-})
-- copy rule (down)
_rulesOo_case =
({-# LINE 117 "Order.ag" #-}
_lhsIo_case
{-# LINE 3309 "Order.hs" #-})
-- copy rule (down)
_rulesOo_cata =
({-# LINE 111 "Order.ag" #-}
_lhsIo_cata
{-# LINE 3314 "Order.hs" #-})
-- copy rule (down)
_rulesOo_dovisit =
({-# LINE 116 "Order.ag" #-}
_lhsIo_dovisit
{-# LINE 3319 "Order.hs" #-})
-- copy rule (down)
_rulesOo_newtypes =
({-# LINE 110 "Order.ag" #-}
_lhsIo_newtypes
{-# LINE 3324 "Order.hs" #-})
-- copy rule (down)
_rulesOo_rename =
({-# LINE 114 "Order.ag" #-}
_lhsIo_rename
{-# LINE 3329 "Order.hs" #-})
-- copy rule (down)
_rulesOo_sem =
({-# LINE 113 "Order.ag" #-}
_lhsIo_sem
{-# LINE 3334 "Order.hs" #-})
-- copy rule (down)
_rulesOo_sig =
({-# LINE 112 "Order.ag" #-}
_lhsIo_sig
{-# LINE 3339 "Order.hs" #-})
-- copy rule (down)
_rulesOo_wantvisit =
({-# LINE 115 "Order.ag" #-}
_lhsIo_wantvisit
{-# LINE 3344 "Order.hs" #-})
-- copy rule (down)
_rulesOprefix =
({-# LINE 118 "Order.ag" #-}
_lhsIprefix
{-# LINE 3349 "Order.hs" #-})
-- copy rule (down)
_rulesOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 3354 "Order.hs" #-})
( _childrenIattributes,_childrenIcollectChildrenInhs,_childrenIcollectChildrenSyns,_childrenIerrors,_childrenIfields,_childrenIgathAltAttrs,_childrenIgathRules,_childrenIinhs,_childrenInts,_childrenIsinglevisits,_childrenIterminals) =
(children_ _childrenOallfields _childrenOallnts _childrenOattrs _childrenOcon _childrenOinh _childrenOnt _childrenOo_unbox _childrenOsyn )
( _rulesIdirectDep,_rulesIerrors,_rulesIgathAltAttrs,_rulesIgathRules,_rulesIinstDep,_rulesIinstVars,_rulesIlocVars,_rulesInAutoRules,_rulesInExplicitRules) =
(rules_ _rulesOallTypeSigs _rulesOallfields _rulesOallnts _rulesOaltAttrs _rulesOattrs _rulesOchildInhs _rulesOchildNts _rulesOcon _rulesOinh _rulesOinhsOfChildren _rulesOnt _rulesOo_case _rulesOo_cata _rulesOo_dovisit _rulesOo_newtypes _rulesOo_rename _rulesOo_sem _rulesOo_sig _rulesOo_wantvisit _rulesOprefix _rulesOsyn _rulesOsynsOfChildren )
( _typeSigsItypeSigs) =
(typeSigs_ _typeSigsOtypeSigs )
in ( _lhsOadditionalDep,_lhsOaroundDep,_lhsOcProduction,_lhsOcons,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOrules,_lhsOvcount))) )
-- Productions -------------------------------------------------
{-
visit 0:
inherited attributes:
allnts : [Identifier]
aroundMap : Map ConstructorIdent (Map Identifier [Expression])
cVisitsMap : CVisitsMap
inh : Attributes
manualAttrDepMap : AttrOrderMap
nt : Identifier
o_case : Bool
o_cata : Bool
o_dovisit : Bool
o_newtypes : Bool
o_rename : Bool
o_sem : Bool
o_sig : Bool
o_unbox : Bool
o_wantvisit : Bool
prefix : String
syn : Attributes
chained attribute:
vcount : Int
synthesized attributes:
additionalDep : Seq Edge
aroundDep : Seq Edge
cProductions : CProductions
cons : [ConstructorIdent]
directDep : Seq Edge
errors : Seq Error
instDep : Seq Edge
nAutoRules : Int
nExplicitRules : Int
rules : Seq (Vertex,CRule)
alternatives:
alternative Cons:
child hd : Production
child tl : Productions
alternative Nil:
-}
-- cata
sem_Productions :: Productions ->
T_Productions
sem_Productions list =
(Prelude.foldr sem_Productions_Cons sem_Productions_Nil (Prelude.map sem_Production list) )
-- semantic domain
newtype T_Productions = T_Productions (([Identifier]) ->
(Map ConstructorIdent (Map Identifier [Expression])) ->
CVisitsMap ->
Attributes ->
AttrOrderMap ->
Identifier ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
String ->
Attributes ->
Int ->
( (Seq Edge),(Seq Edge),CProductions,([ConstructorIdent]),(Seq Edge),(Seq Error),(Seq Edge),Int,Int,(Seq (Vertex,CRule)),Int))
data Inh_Productions = Inh_Productions {allnts_Inh_Productions :: !(([Identifier])),aroundMap_Inh_Productions :: !((Map ConstructorIdent (Map Identifier [Expression]))),cVisitsMap_Inh_Productions :: !(CVisitsMap),inh_Inh_Productions :: !(Attributes),manualAttrDepMap_Inh_Productions :: !(AttrOrderMap),nt_Inh_Productions :: !(Identifier),o_case_Inh_Productions :: !(Bool),o_cata_Inh_Productions :: !(Bool),o_dovisit_Inh_Productions :: !(Bool),o_newtypes_Inh_Productions :: !(Bool),o_rename_Inh_Productions :: !(Bool),o_sem_Inh_Productions :: !(Bool),o_sig_Inh_Productions :: !(Bool),o_unbox_Inh_Productions :: !(Bool),o_wantvisit_Inh_Productions :: !(Bool),prefix_Inh_Productions :: !(String),syn_Inh_Productions :: !(Attributes),vcount_Inh_Productions :: !(Int)}
data Syn_Productions = Syn_Productions {additionalDep_Syn_Productions :: !((Seq Edge)),aroundDep_Syn_Productions :: !((Seq Edge)),cProductions_Syn_Productions :: !(CProductions),cons_Syn_Productions :: !(([ConstructorIdent])),directDep_Syn_Productions :: !((Seq Edge)),errors_Syn_Productions :: !((Seq Error)),instDep_Syn_Productions :: !((Seq Edge)),nAutoRules_Syn_Productions :: !(Int),nExplicitRules_Syn_Productions :: !(Int),rules_Syn_Productions :: !((Seq (Vertex,CRule))),vcount_Syn_Productions :: !(Int)}
wrap_Productions :: T_Productions ->
Inh_Productions ->
Syn_Productions
wrap_Productions (T_Productions sem ) (Inh_Productions _lhsIallnts _lhsIaroundMap _lhsIcVisitsMap _lhsIinh _lhsImanualAttrDepMap _lhsInt _lhsIo_case _lhsIo_cata _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_unbox _lhsIo_wantvisit _lhsIprefix _lhsIsyn _lhsIvcount ) =
(let ( _lhsOadditionalDep,_lhsOaroundDep,_lhsOcProductions,_lhsOcons,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOrules,_lhsOvcount) =
(sem _lhsIallnts _lhsIaroundMap _lhsIcVisitsMap _lhsIinh _lhsImanualAttrDepMap _lhsInt _lhsIo_case _lhsIo_cata _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_unbox _lhsIo_wantvisit _lhsIprefix _lhsIsyn _lhsIvcount )
in (Syn_Productions _lhsOadditionalDep _lhsOaroundDep _lhsOcProductions _lhsOcons _lhsOdirectDep _lhsOerrors _lhsOinstDep _lhsOnAutoRules _lhsOnExplicitRules _lhsOrules _lhsOvcount ))
sem_Productions_Cons :: T_Production ->
T_Productions ->
T_Productions
sem_Productions_Cons (T_Production hd_ ) (T_Productions tl_ ) =
(T_Productions (\ _lhsIallnts
_lhsIaroundMap
_lhsIcVisitsMap
_lhsIinh
_lhsImanualAttrDepMap
_lhsInt
_lhsIo_case
_lhsIo_cata
_lhsIo_dovisit
_lhsIo_newtypes
_lhsIo_rename
_lhsIo_sem
_lhsIo_sig
_lhsIo_unbox
_lhsIo_wantvisit
_lhsIprefix
_lhsIsyn
_lhsIvcount ->
(let _lhsOcProductions :: CProductions
_lhsOadditionalDep :: (Seq Edge)
_lhsOaroundDep :: (Seq Edge)
_lhsOcons :: ([ConstructorIdent])
_lhsOdirectDep :: (Seq Edge)
_lhsOerrors :: (Seq Error)
_lhsOinstDep :: (Seq Edge)
_lhsOnAutoRules :: Int
_lhsOnExplicitRules :: Int
_lhsOrules :: (Seq (Vertex,CRule))
_lhsOvcount :: Int
_hdOallnts :: ([Identifier])
_hdOaroundMap :: (Map ConstructorIdent (Map Identifier [Expression]))
_hdOcVisitsMap :: CVisitsMap
_hdOinh :: Attributes
_hdOmanualAttrDepMap :: AttrOrderMap
_hdOnt :: Identifier
_hdOo_case :: Bool
_hdOo_cata :: Bool
_hdOo_dovisit :: Bool
_hdOo_newtypes :: Bool
_hdOo_rename :: Bool
_hdOo_sem :: Bool
_hdOo_sig :: Bool
_hdOo_unbox :: Bool
_hdOo_wantvisit :: Bool
_hdOprefix :: String
_hdOsyn :: Attributes
_hdOvcount :: Int
_tlOallnts :: ([Identifier])
_tlOaroundMap :: (Map ConstructorIdent (Map Identifier [Expression]))
_tlOcVisitsMap :: CVisitsMap
_tlOinh :: Attributes
_tlOmanualAttrDepMap :: AttrOrderMap
_tlOnt :: Identifier
_tlOo_case :: Bool
_tlOo_cata :: Bool
_tlOo_dovisit :: Bool
_tlOo_newtypes :: Bool
_tlOo_rename :: Bool
_tlOo_sem :: Bool
_tlOo_sig :: Bool
_tlOo_unbox :: Bool
_tlOo_wantvisit :: Bool
_tlOprefix :: String
_tlOsyn :: Attributes
_tlOvcount :: Int
_hdIadditionalDep :: (Seq Edge)
_hdIaroundDep :: (Seq Edge)
_hdIcProduction :: CProduction
_hdIcons :: ([ConstructorIdent])
_hdIdirectDep :: (Seq Edge)
_hdIerrors :: (Seq Error)
_hdIinstDep :: (Seq Edge)
_hdInAutoRules :: Int
_hdInExplicitRules :: Int
_hdIrules :: (Seq (Vertex,CRule))
_hdIvcount :: Int
_tlIadditionalDep :: (Seq Edge)
_tlIaroundDep :: (Seq Edge)
_tlIcProductions :: CProductions
_tlIcons :: ([ConstructorIdent])
_tlIdirectDep :: (Seq Edge)
_tlIerrors :: (Seq Error)
_tlIinstDep :: (Seq Edge)
_tlInAutoRules :: Int
_tlInExplicitRules :: Int
_tlIrules :: (Seq (Vertex,CRule))
_tlIvcount :: Int
-- "Order.ag"(line 570, column 12)
_lhsOcProductions =
({-# LINE 570 "Order.ag" #-}
_hdIcProduction : _tlIcProductions
{-# LINE 3531 "Order.hs" #-})
-- use rule "Order.ag"(line 283, column 60)
_lhsOadditionalDep =
({-# LINE 283 "Order.ag" #-}
_hdIadditionalDep Seq.>< _tlIadditionalDep
{-# LINE 3536 "Order.hs" #-})
-- use rule "Order.ag"(line 358, column 24)
_lhsOaroundDep =
({-# LINE 358 "Order.ag" #-}
_hdIaroundDep Seq.>< _tlIaroundDep
{-# LINE 3541 "Order.hs" #-})
-- use rule "Order.ag"(line 465, column 40)
_lhsOcons =
({-# LINE 465 "Order.ag" #-}
_hdIcons ++ _tlIcons
{-# LINE 3546 "Order.hs" #-})
-- use rule "Order.ag"(line 269, column 33)
_lhsOdirectDep =
({-# LINE 269 "Order.ag" #-}
_hdIdirectDep Seq.>< _tlIdirectDep
{-# LINE 3551 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_hdIerrors Seq.>< _tlIerrors
{-# LINE 3556 "Order.hs" #-})
-- use rule "Order.ag"(line 312, column 31)
_lhsOinstDep =
({-# LINE 312 "Order.ag" #-}
_hdIinstDep Seq.>< _tlIinstDep
{-# LINE 3561 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnAutoRules =
({-# LINE 61 "Order.ag" #-}
_hdInAutoRules + _tlInAutoRules
{-# LINE 3566 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnExplicitRules =
({-# LINE 61 "Order.ag" #-}
_hdInExplicitRules + _tlInExplicitRules
{-# LINE 3571 "Order.hs" #-})
-- use rule "Order.ag"(line 259, column 18)
_lhsOrules =
({-# LINE 259 "Order.ag" #-}
_hdIrules Seq.>< _tlIrules
{-# LINE 3576 "Order.hs" #-})
-- copy rule (up)
_lhsOvcount =
({-# LINE 258 "Order.ag" #-}
_tlIvcount
{-# LINE 3581 "Order.hs" #-})
-- copy rule (down)
_hdOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 3586 "Order.hs" #-})
-- copy rule (down)
_hdOaroundMap =
({-# LINE 364 "Order.ag" #-}
_lhsIaroundMap
{-# LINE 3591 "Order.hs" #-})
-- copy rule (down)
_hdOcVisitsMap =
({-# LINE 545 "Order.ag" #-}
_lhsIcVisitsMap
{-# LINE 3596 "Order.hs" #-})
-- copy rule (down)
_hdOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 3601 "Order.hs" #-})
-- copy rule (down)
_hdOmanualAttrDepMap =
({-# LINE 283 "Order.ag" #-}
_lhsImanualAttrDepMap
{-# LINE 3606 "Order.hs" #-})
-- copy rule (down)
_hdOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 3611 "Order.hs" #-})
-- copy rule (down)
_hdOo_case =
({-# LINE 117 "Order.ag" #-}
_lhsIo_case
{-# LINE 3616 "Order.hs" #-})
-- copy rule (down)
_hdOo_cata =
({-# LINE 111 "Order.ag" #-}
_lhsIo_cata
{-# LINE 3621 "Order.hs" #-})
-- copy rule (down)
_hdOo_dovisit =
({-# LINE 116 "Order.ag" #-}
_lhsIo_dovisit
{-# LINE 3626 "Order.hs" #-})
-- copy rule (down)
_hdOo_newtypes =
({-# LINE 110 "Order.ag" #-}
_lhsIo_newtypes
{-# LINE 3631 "Order.hs" #-})
-- copy rule (down)
_hdOo_rename =
({-# LINE 114 "Order.ag" #-}
_lhsIo_rename
{-# LINE 3636 "Order.hs" #-})
-- copy rule (down)
_hdOo_sem =
({-# LINE 113 "Order.ag" #-}
_lhsIo_sem
{-# LINE 3641 "Order.hs" #-})
-- copy rule (down)
_hdOo_sig =
({-# LINE 112 "Order.ag" #-}
_lhsIo_sig
{-# LINE 3646 "Order.hs" #-})
-- copy rule (down)
_hdOo_unbox =
({-# LINE 119 "Order.ag" #-}
_lhsIo_unbox
{-# LINE 3651 "Order.hs" #-})
-- copy rule (down)
_hdOo_wantvisit =
({-# LINE 115 "Order.ag" #-}
_lhsIo_wantvisit
{-# LINE 3656 "Order.hs" #-})
-- copy rule (down)
_hdOprefix =
({-# LINE 118 "Order.ag" #-}
_lhsIprefix
{-# LINE 3661 "Order.hs" #-})
-- copy rule (down)
_hdOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 3666 "Order.hs" #-})
-- copy rule (down)
_hdOvcount =
({-# LINE 258 "Order.ag" #-}
_lhsIvcount
{-# LINE 3671 "Order.hs" #-})
-- copy rule (down)
_tlOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 3676 "Order.hs" #-})
-- copy rule (down)
_tlOaroundMap =
({-# LINE 364 "Order.ag" #-}
_lhsIaroundMap
{-# LINE 3681 "Order.hs" #-})
-- copy rule (down)
_tlOcVisitsMap =
({-# LINE 545 "Order.ag" #-}
_lhsIcVisitsMap
{-# LINE 3686 "Order.hs" #-})
-- copy rule (down)
_tlOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 3691 "Order.hs" #-})
-- copy rule (down)
_tlOmanualAttrDepMap =
({-# LINE 283 "Order.ag" #-}
_lhsImanualAttrDepMap
{-# LINE 3696 "Order.hs" #-})
-- copy rule (down)
_tlOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 3701 "Order.hs" #-})
-- copy rule (down)
_tlOo_case =
({-# LINE 117 "Order.ag" #-}
_lhsIo_case
{-# LINE 3706 "Order.hs" #-})
-- copy rule (down)
_tlOo_cata =
({-# LINE 111 "Order.ag" #-}
_lhsIo_cata
{-# LINE 3711 "Order.hs" #-})
-- copy rule (down)
_tlOo_dovisit =
({-# LINE 116 "Order.ag" #-}
_lhsIo_dovisit
{-# LINE 3716 "Order.hs" #-})
-- copy rule (down)
_tlOo_newtypes =
({-# LINE 110 "Order.ag" #-}
_lhsIo_newtypes
{-# LINE 3721 "Order.hs" #-})
-- copy rule (down)
_tlOo_rename =
({-# LINE 114 "Order.ag" #-}
_lhsIo_rename
{-# LINE 3726 "Order.hs" #-})
-- copy rule (down)
_tlOo_sem =
({-# LINE 113 "Order.ag" #-}
_lhsIo_sem
{-# LINE 3731 "Order.hs" #-})
-- copy rule (down)
_tlOo_sig =
({-# LINE 112 "Order.ag" #-}
_lhsIo_sig
{-# LINE 3736 "Order.hs" #-})
-- copy rule (down)
_tlOo_unbox =
({-# LINE 119 "Order.ag" #-}
_lhsIo_unbox
{-# LINE 3741 "Order.hs" #-})
-- copy rule (down)
_tlOo_wantvisit =
({-# LINE 115 "Order.ag" #-}
_lhsIo_wantvisit
{-# LINE 3746 "Order.hs" #-})
-- copy rule (down)
_tlOprefix =
({-# LINE 118 "Order.ag" #-}
_lhsIprefix
{-# LINE 3751 "Order.hs" #-})
-- copy rule (down)
_tlOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 3756 "Order.hs" #-})
-- copy rule (chain)
_tlOvcount =
({-# LINE 258 "Order.ag" #-}
_hdIvcount
{-# LINE 3761 "Order.hs" #-})
( _hdIadditionalDep,_hdIaroundDep,_hdIcProduction,_hdIcons,_hdIdirectDep,_hdIerrors,_hdIinstDep,_hdInAutoRules,_hdInExplicitRules,_hdIrules,_hdIvcount) =
(hd_ _hdOallnts _hdOaroundMap _hdOcVisitsMap _hdOinh _hdOmanualAttrDepMap _hdOnt _hdOo_case _hdOo_cata _hdOo_dovisit _hdOo_newtypes _hdOo_rename _hdOo_sem _hdOo_sig _hdOo_unbox _hdOo_wantvisit _hdOprefix _hdOsyn _hdOvcount )
( _tlIadditionalDep,_tlIaroundDep,_tlIcProductions,_tlIcons,_tlIdirectDep,_tlIerrors,_tlIinstDep,_tlInAutoRules,_tlInExplicitRules,_tlIrules,_tlIvcount) =
(tl_ _tlOallnts _tlOaroundMap _tlOcVisitsMap _tlOinh _tlOmanualAttrDepMap _tlOnt _tlOo_case _tlOo_cata _tlOo_dovisit _tlOo_newtypes _tlOo_rename _tlOo_sem _tlOo_sig _tlOo_unbox _tlOo_wantvisit _tlOprefix _tlOsyn _tlOvcount )
in ( _lhsOadditionalDep,_lhsOaroundDep,_lhsOcProductions,_lhsOcons,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOrules,_lhsOvcount))) )
sem_Productions_Nil :: T_Productions
sem_Productions_Nil =
(T_Productions (\ _lhsIallnts
_lhsIaroundMap
_lhsIcVisitsMap
_lhsIinh
_lhsImanualAttrDepMap
_lhsInt
_lhsIo_case
_lhsIo_cata
_lhsIo_dovisit
_lhsIo_newtypes
_lhsIo_rename
_lhsIo_sem
_lhsIo_sig
_lhsIo_unbox
_lhsIo_wantvisit
_lhsIprefix
_lhsIsyn
_lhsIvcount ->
(let _lhsOcProductions :: CProductions
_lhsOadditionalDep :: (Seq Edge)
_lhsOaroundDep :: (Seq Edge)
_lhsOcons :: ([ConstructorIdent])
_lhsOdirectDep :: (Seq Edge)
_lhsOerrors :: (Seq Error)
_lhsOinstDep :: (Seq Edge)
_lhsOnAutoRules :: Int
_lhsOnExplicitRules :: Int
_lhsOrules :: (Seq (Vertex,CRule))
_lhsOvcount :: Int
-- "Order.ag"(line 571, column 12)
_lhsOcProductions =
({-# LINE 571 "Order.ag" #-}
[]
{-# LINE 3802 "Order.hs" #-})
-- use rule "Order.ag"(line 283, column 60)
_lhsOadditionalDep =
({-# LINE 283 "Order.ag" #-}
Seq.empty
{-# LINE 3807 "Order.hs" #-})
-- use rule "Order.ag"(line 358, column 24)
_lhsOaroundDep =
({-# LINE 358 "Order.ag" #-}
Seq.empty
{-# LINE 3812 "Order.hs" #-})
-- use rule "Order.ag"(line 465, column 40)
_lhsOcons =
({-# LINE 465 "Order.ag" #-}
[]
{-# LINE 3817 "Order.hs" #-})
-- use rule "Order.ag"(line 269, column 33)
_lhsOdirectDep =
({-# LINE 269 "Order.ag" #-}
Seq.empty
{-# LINE 3822 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
Seq.empty
{-# LINE 3827 "Order.hs" #-})
-- use rule "Order.ag"(line 312, column 31)
_lhsOinstDep =
({-# LINE 312 "Order.ag" #-}
Seq.empty
{-# LINE 3832 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnAutoRules =
({-# LINE 61 "Order.ag" #-}
0
{-# LINE 3837 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnExplicitRules =
({-# LINE 61 "Order.ag" #-}
0
{-# LINE 3842 "Order.hs" #-})
-- use rule "Order.ag"(line 259, column 18)
_lhsOrules =
({-# LINE 259 "Order.ag" #-}
Seq.empty
{-# LINE 3847 "Order.hs" #-})
-- copy rule (chain)
_lhsOvcount =
({-# LINE 258 "Order.ag" #-}
_lhsIvcount
{-# LINE 3852 "Order.hs" #-})
in ( _lhsOadditionalDep,_lhsOaroundDep,_lhsOcProductions,_lhsOcons,_lhsOdirectDep,_lhsOerrors,_lhsOinstDep,_lhsOnAutoRules,_lhsOnExplicitRules,_lhsOrules,_lhsOvcount))) )
-- Rule --------------------------------------------------------
{-
visit 0:
inherited attributes:
allTypeSigs : Map Identifier Type
allfields : [(Identifier,Type,Maybe (Maybe Type))]
allnts : [Identifier]
altAttrs : Map AltAttr Vertex
attrs : [(Identifier,Identifier)]
childInhs : Map Identifier Attributes
childNts : Map Identifier NontermIdent
con : Identifier
inh : Attributes
inhsOfChildren : Map Identifier Attributes
nt : Identifier
o_case : Bool
o_cata : Bool
o_dovisit : Bool
o_newtypes : Bool
o_rename : Bool
o_sem : Bool
o_sig : Bool
o_wantvisit : Bool
prefix : String
syn : Attributes
synsOfChildren : Map Identifier Attributes
synthesized attributes:
directDep : Seq Edge
errors : Seq Error
gathAltAttrs : [AltAttr]
gathRules : Seq CRule
instDep : Seq Edge
instVars : [Identifier]
locVars : [Identifier]
nAutoRules : Int
nExplicitRules : Int
alternatives:
alternative Rule:
child mbName : {Maybe Identifier}
child pattern : Pattern
child rhs : Expression
child owrt : {Bool}
child origin : {String}
child explicit : {Bool}
visit 0:
local defines : _
local gathRules : _
local instDep1 : _
local instDep2 : _
-}
-- cata
sem_Rule :: Rule ->
T_Rule
sem_Rule (Rule _mbName _pattern _rhs _owrt _origin _explicit ) =
(sem_Rule_Rule _mbName (sem_Pattern _pattern ) (sem_Expression _rhs ) _owrt _origin _explicit )
-- semantic domain
newtype T_Rule = T_Rule ((Map Identifier Type) ->
([(Identifier,Type,Maybe (Maybe Type))]) ->
([Identifier]) ->
(Map AltAttr Vertex) ->
([(Identifier,Identifier)]) ->
(Map Identifier Attributes) ->
(Map Identifier NontermIdent) ->
Identifier ->
Attributes ->
(Map Identifier Attributes) ->
Identifier ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
String ->
Attributes ->
(Map Identifier Attributes) ->
( (Seq Edge),(Seq Error),([AltAttr]),(Seq CRule),(Seq Edge),([Identifier]),([Identifier]),Int,Int))
data Inh_Rule = Inh_Rule {allTypeSigs_Inh_Rule :: !((Map Identifier Type)),allfields_Inh_Rule :: !(([(Identifier,Type,Maybe (Maybe Type))])),allnts_Inh_Rule :: !(([Identifier])),altAttrs_Inh_Rule :: !((Map AltAttr Vertex)),attrs_Inh_Rule :: !(([(Identifier,Identifier)])),childInhs_Inh_Rule :: !((Map Identifier Attributes)),childNts_Inh_Rule :: !((Map Identifier NontermIdent)),con_Inh_Rule :: !(Identifier),inh_Inh_Rule :: !(Attributes),inhsOfChildren_Inh_Rule :: !((Map Identifier Attributes)),nt_Inh_Rule :: !(Identifier),o_case_Inh_Rule :: !(Bool),o_cata_Inh_Rule :: !(Bool),o_dovisit_Inh_Rule :: !(Bool),o_newtypes_Inh_Rule :: !(Bool),o_rename_Inh_Rule :: !(Bool),o_sem_Inh_Rule :: !(Bool),o_sig_Inh_Rule :: !(Bool),o_wantvisit_Inh_Rule :: !(Bool),prefix_Inh_Rule :: !(String),syn_Inh_Rule :: !(Attributes),synsOfChildren_Inh_Rule :: !((Map Identifier Attributes))}
data Syn_Rule = Syn_Rule {directDep_Syn_Rule :: !((Seq Edge)),errors_Syn_Rule :: !((Seq Error)),gathAltAttrs_Syn_Rule :: !(([AltAttr])),gathRules_Syn_Rule :: !((Seq CRule)),instDep_Syn_Rule :: !((Seq Edge)),instVars_Syn_Rule :: !(([Identifier])),locVars_Syn_Rule :: !(([Identifier])),nAutoRules_Syn_Rule :: !(Int),nExplicitRules_Syn_Rule :: !(Int)}
wrap_Rule :: T_Rule ->
Inh_Rule ->
Syn_Rule
wrap_Rule (T_Rule sem ) (Inh_Rule _lhsIallTypeSigs _lhsIallfields _lhsIallnts _lhsIaltAttrs _lhsIattrs _lhsIchildInhs _lhsIchildNts _lhsIcon _lhsIinh _lhsIinhsOfChildren _lhsInt _lhsIo_case _lhsIo_cata _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_wantvisit _lhsIprefix _lhsIsyn _lhsIsynsOfChildren ) =
(let ( _lhsOdirectDep,_lhsOerrors,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinstDep,_lhsOinstVars,_lhsOlocVars,_lhsOnAutoRules,_lhsOnExplicitRules) =
(sem _lhsIallTypeSigs _lhsIallfields _lhsIallnts _lhsIaltAttrs _lhsIattrs _lhsIchildInhs _lhsIchildNts _lhsIcon _lhsIinh _lhsIinhsOfChildren _lhsInt _lhsIo_case _lhsIo_cata _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_wantvisit _lhsIprefix _lhsIsyn _lhsIsynsOfChildren )
in (Syn_Rule _lhsOdirectDep _lhsOerrors _lhsOgathAltAttrs _lhsOgathRules _lhsOinstDep _lhsOinstVars _lhsOlocVars _lhsOnAutoRules _lhsOnExplicitRules ))
sem_Rule_Rule :: (Maybe Identifier) ->
T_Pattern ->
T_Expression ->
Bool ->
String ->
Bool ->
T_Rule
sem_Rule_Rule mbName_ (T_Pattern pattern_ ) (T_Expression rhs_ ) owrt_ origin_ explicit_ =
(T_Rule (\ _lhsIallTypeSigs
_lhsIallfields
_lhsIallnts
_lhsIaltAttrs
_lhsIattrs
_lhsIchildInhs
_lhsIchildNts
_lhsIcon
_lhsIinh
_lhsIinhsOfChildren
_lhsInt
_lhsIo_case
_lhsIo_cata
_lhsIo_dovisit
_lhsIo_newtypes
_lhsIo_rename
_lhsIo_sem
_lhsIo_sig
_lhsIo_wantvisit
_lhsIprefix
_lhsIsyn
_lhsIsynsOfChildren ->
(let _lhsOnExplicitRules :: Int
_lhsOnAutoRules :: Int
_lhsOdirectDep :: (Seq Edge)
_lhsOinstDep :: (Seq Edge)
_lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOgathRules :: (Seq CRule)
_lhsOinstVars :: ([Identifier])
_lhsOlocVars :: ([Identifier])
_patternOallTypeSigs :: (Map Identifier Type)
_patternOaltAttrs :: (Map AltAttr Vertex)
_patternOcon :: Identifier
_patternOinh :: Attributes
_patternOnt :: Identifier
_patternOsyn :: Attributes
_rhsOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_rhsOallnts :: ([Identifier])
_rhsOattrs :: ([(Identifier,Identifier)])
_rhsOcon :: Identifier
_rhsOnt :: Identifier
_patternIcopy :: Pattern
_patternIerrors :: (Seq Error)
_patternIgathAltAttrs :: ([AltAttr])
_patternIinstVars :: ([Identifier])
_patternIlocVars :: ([Identifier])
_patternIpatternAttrs :: ([(Identifier,Identifier,Bool,Patterns)])
_rhsIallRhsVars :: (Set (Identifier,Identifier))
_rhsIcopy :: Expression
_rhsIerrors :: (Seq Error)
_rhsItextLines :: ([String])
_rhsIusedAttrs :: ([(Identifier,Identifier)])
_rhsIusedFields :: ([Identifier])
_rhsIusedLocals :: ([Identifier])
-- "Order.ag"(line 64, column 11)
_lhsOnExplicitRules =
({-# LINE 64 "Order.ag" #-}
if explicit_
then 1
else 0
{-# LINE 4011 "Order.hs" #-})
-- "Order.ag"(line 67, column 11)
_lhsOnAutoRules =
({-# LINE 67 "Order.ag" #-}
if startsWith "use rule" origin_ || startsWith "copy rule" origin_
then 1
else 0
{-# LINE 4018 "Order.hs" #-})
-- "Order.ag"(line 217, column 12)
_defines =
({-# LINE 217 "Order.ag" #-}
let tp field attr parts | field == _LOC || field == _INST
= case parts of
[] -> Map.lookup attr _lhsIallTypeSigs
_ -> (sequence (map typ parts)) >>= (haskellTupel . map (substSelf _lhsInt))
| field == _LHS = Map.lookup attr _lhsIsyn
| otherwise = Map.lookup attr (findWithErr1 "Rule.defines.tp" field _lhsIchildInhs)
typ :: Pattern -> Maybe Type
typ (Alias field attr _ parts) = tp field attr parts
typ (Underscore _) = Nothing
typ (Product _ pats) = tp _LOC undefined pats
typ _ = Nothing
in Map.fromList [ (findWithErr1 "Rule.defines" aa _lhsIaltAttrs, (field,attr,(tp field attr parts)))
| (field,attr,isLocalOrInst,parts) <- _patternIpatternAttrs
, let aa = AltAttr field attr isLocalOrInst
]
{-# LINE 4037 "Order.hs" #-})
-- "Order.ag"(line 233, column 12)
_gathRules =
({-# LINE 233 "Order.ag" #-}
let childnt field = Map.lookup field _lhsIchildNts
in Seq.fromList [ CRule attr False True _lhsInt _lhsIcon field (childnt field) tp _patternIcopy _rhsItextLines _defines owrt_ origin_ _rhsIallRhsVars explicit_ mbName_
| (field,attr,tp) <- Map.elems _defines
]
{-# LINE 4045 "Order.hs" #-})
-- "Order.ag"(line 271, column 12)
_lhsOdirectDep =
({-# LINE 271 "Order.ag" #-}
let defined = Map.keys _defines
used = [ Map.lookup (AltAttr field attr True) _lhsIaltAttrs | (field,attr) <- _rhsIusedAttrs]
++ [ Map.lookup (AltAttr _LOC attr True) _lhsIaltAttrs | attr <- _rhsIusedLocals ++ _rhsIusedFields ]
in Seq.fromList [ (x,y) | Just x <- used, y <- defined ]
{-# LINE 4053 "Order.hs" #-})
-- "Order.ag"(line 315, column 6)
_instDep1 =
({-# LINE 315 "Order.ag" #-}
Seq.fromList $
[ (instVert, synVert)
| (field,instNm,_) <- Map.elems _defines
, field == _INST
, synNm <- Map.keys (findWithErr2 instNm _lhsIsynsOfChildren)
, let instAttr = AltAttr _INST instNm True
synAttr = AltAttr instNm synNm True
instVert = findWithErr2 instAttr _lhsIaltAttrs
synVert = findWithErr2 synAttr _lhsIaltAttrs
]
{-# LINE 4067 "Order.hs" #-})
-- "Order.ag"(line 326, column 6)
_instDep2 =
({-# LINE 326 "Order.ag" #-}
Seq.fromList $
[ (instVert, inhVert)
| (field,instNm,_) <- Map.elems _defines
, field == _INST
, inhNm <- Map.keys (findWithErr2 instNm _lhsIinhsOfChildren)
, let instAttr = AltAttr _INST instNm True
inhAttr = AltAttr instNm inhNm False
instVert = findWithErr2 instAttr _lhsIaltAttrs
inhVert = findWithErr2 inhAttr _lhsIaltAttrs
]
{-# LINE 4081 "Order.hs" #-})
-- "Order.ag"(line 337, column 6)
_lhsOinstDep =
({-# LINE 337 "Order.ag" #-}
_instDep1 Seq.>< _instDep2
{-# LINE 4086 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_patternIerrors Seq.>< _rhsIerrors
{-# LINE 4091 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
_patternIgathAltAttrs
{-# LINE 4096 "Order.hs" #-})
-- use rule "Order.ag"(line 206, column 23)
_lhsOgathRules =
({-# LINE 206 "Order.ag" #-}
_gathRules
{-# LINE 4101 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 86)
_lhsOinstVars =
({-# LINE 620 "Order.ag" #-}
_patternIinstVars
{-# LINE 4106 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 48)
_lhsOlocVars =
({-# LINE 620 "Order.ag" #-}
_patternIlocVars
{-# LINE 4111 "Order.hs" #-})
-- copy rule (down)
_patternOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 4116 "Order.hs" #-})
-- copy rule (down)
_patternOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 4121 "Order.hs" #-})
-- copy rule (down)
_patternOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 4126 "Order.hs" #-})
-- copy rule (down)
_patternOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 4131 "Order.hs" #-})
-- copy rule (down)
_patternOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 4136 "Order.hs" #-})
-- copy rule (down)
_patternOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 4141 "Order.hs" #-})
-- copy rule (down)
_rhsOallfields =
({-# LINE 402 "Order.ag" #-}
_lhsIallfields
{-# LINE 4146 "Order.hs" #-})
-- copy rule (down)
_rhsOallnts =
({-# LINE 403 "Order.ag" #-}
_lhsIallnts
{-# LINE 4151 "Order.hs" #-})
-- copy rule (down)
_rhsOattrs =
({-# LINE 404 "Order.ag" #-}
_lhsIattrs
{-# LINE 4156 "Order.hs" #-})
-- copy rule (down)
_rhsOcon =
({-# LINE 401 "Order.ag" #-}
_lhsIcon
{-# LINE 4161 "Order.hs" #-})
-- copy rule (down)
_rhsOnt =
({-# LINE 401 "Order.ag" #-}
_lhsInt
{-# LINE 4166 "Order.hs" #-})
( _patternIcopy,_patternIerrors,_patternIgathAltAttrs,_patternIinstVars,_patternIlocVars,_patternIpatternAttrs) =
(pattern_ _patternOallTypeSigs _patternOaltAttrs _patternOcon _patternOinh _patternOnt _patternOsyn )
( _rhsIallRhsVars,_rhsIcopy,_rhsIerrors,_rhsItextLines,_rhsIusedAttrs,_rhsIusedFields,_rhsIusedLocals) =
(rhs_ _rhsOallfields _rhsOallnts _rhsOattrs _rhsOcon _rhsOnt )
in ( _lhsOdirectDep,_lhsOerrors,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinstDep,_lhsOinstVars,_lhsOlocVars,_lhsOnAutoRules,_lhsOnExplicitRules))) )
-- Rules -------------------------------------------------------
{-
visit 0:
inherited attributes:
allTypeSigs : Map Identifier Type
allfields : [(Identifier,Type,Maybe (Maybe Type))]
allnts : [Identifier]
altAttrs : Map AltAttr Vertex
attrs : [(Identifier,Identifier)]
childInhs : Map Identifier Attributes
childNts : Map Identifier NontermIdent
con : Identifier
inh : Attributes
inhsOfChildren : Map Identifier Attributes
nt : Identifier
o_case : Bool
o_cata : Bool
o_dovisit : Bool
o_newtypes : Bool
o_rename : Bool
o_sem : Bool
o_sig : Bool
o_wantvisit : Bool
prefix : String
syn : Attributes
synsOfChildren : Map Identifier Attributes
synthesized attributes:
directDep : Seq Edge
errors : Seq Error
gathAltAttrs : [AltAttr]
gathRules : Seq CRule
instDep : Seq Edge
instVars : [Identifier]
locVars : [Identifier]
nAutoRules : Int
nExplicitRules : Int
alternatives:
alternative Cons:
child hd : Rule
child tl : Rules
alternative Nil:
-}
-- cata
sem_Rules :: Rules ->
T_Rules
sem_Rules list =
(Prelude.foldr sem_Rules_Cons sem_Rules_Nil (Prelude.map sem_Rule list) )
-- semantic domain
newtype T_Rules = T_Rules ((Map Identifier Type) ->
([(Identifier,Type,Maybe (Maybe Type))]) ->
([Identifier]) ->
(Map AltAttr Vertex) ->
([(Identifier,Identifier)]) ->
(Map Identifier Attributes) ->
(Map Identifier NontermIdent) ->
Identifier ->
Attributes ->
(Map Identifier Attributes) ->
Identifier ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
Bool ->
String ->
Attributes ->
(Map Identifier Attributes) ->
( (Seq Edge),(Seq Error),([AltAttr]),(Seq CRule),(Seq Edge),([Identifier]),([Identifier]),Int,Int))
data Inh_Rules = Inh_Rules {allTypeSigs_Inh_Rules :: !((Map Identifier Type)),allfields_Inh_Rules :: !(([(Identifier,Type,Maybe (Maybe Type))])),allnts_Inh_Rules :: !(([Identifier])),altAttrs_Inh_Rules :: !((Map AltAttr Vertex)),attrs_Inh_Rules :: !(([(Identifier,Identifier)])),childInhs_Inh_Rules :: !((Map Identifier Attributes)),childNts_Inh_Rules :: !((Map Identifier NontermIdent)),con_Inh_Rules :: !(Identifier),inh_Inh_Rules :: !(Attributes),inhsOfChildren_Inh_Rules :: !((Map Identifier Attributes)),nt_Inh_Rules :: !(Identifier),o_case_Inh_Rules :: !(Bool),o_cata_Inh_Rules :: !(Bool),o_dovisit_Inh_Rules :: !(Bool),o_newtypes_Inh_Rules :: !(Bool),o_rename_Inh_Rules :: !(Bool),o_sem_Inh_Rules :: !(Bool),o_sig_Inh_Rules :: !(Bool),o_wantvisit_Inh_Rules :: !(Bool),prefix_Inh_Rules :: !(String),syn_Inh_Rules :: !(Attributes),synsOfChildren_Inh_Rules :: !((Map Identifier Attributes))}
data Syn_Rules = Syn_Rules {directDep_Syn_Rules :: !((Seq Edge)),errors_Syn_Rules :: !((Seq Error)),gathAltAttrs_Syn_Rules :: !(([AltAttr])),gathRules_Syn_Rules :: !((Seq CRule)),instDep_Syn_Rules :: !((Seq Edge)),instVars_Syn_Rules :: !(([Identifier])),locVars_Syn_Rules :: !(([Identifier])),nAutoRules_Syn_Rules :: !(Int),nExplicitRules_Syn_Rules :: !(Int)}
wrap_Rules :: T_Rules ->
Inh_Rules ->
Syn_Rules
wrap_Rules (T_Rules sem ) (Inh_Rules _lhsIallTypeSigs _lhsIallfields _lhsIallnts _lhsIaltAttrs _lhsIattrs _lhsIchildInhs _lhsIchildNts _lhsIcon _lhsIinh _lhsIinhsOfChildren _lhsInt _lhsIo_case _lhsIo_cata _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_wantvisit _lhsIprefix _lhsIsyn _lhsIsynsOfChildren ) =
(let ( _lhsOdirectDep,_lhsOerrors,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinstDep,_lhsOinstVars,_lhsOlocVars,_lhsOnAutoRules,_lhsOnExplicitRules) =
(sem _lhsIallTypeSigs _lhsIallfields _lhsIallnts _lhsIaltAttrs _lhsIattrs _lhsIchildInhs _lhsIchildNts _lhsIcon _lhsIinh _lhsIinhsOfChildren _lhsInt _lhsIo_case _lhsIo_cata _lhsIo_dovisit _lhsIo_newtypes _lhsIo_rename _lhsIo_sem _lhsIo_sig _lhsIo_wantvisit _lhsIprefix _lhsIsyn _lhsIsynsOfChildren )
in (Syn_Rules _lhsOdirectDep _lhsOerrors _lhsOgathAltAttrs _lhsOgathRules _lhsOinstDep _lhsOinstVars _lhsOlocVars _lhsOnAutoRules _lhsOnExplicitRules ))
sem_Rules_Cons :: T_Rule ->
T_Rules ->
T_Rules
sem_Rules_Cons (T_Rule hd_ ) (T_Rules tl_ ) =
(T_Rules (\ _lhsIallTypeSigs
_lhsIallfields
_lhsIallnts
_lhsIaltAttrs
_lhsIattrs
_lhsIchildInhs
_lhsIchildNts
_lhsIcon
_lhsIinh
_lhsIinhsOfChildren
_lhsInt
_lhsIo_case
_lhsIo_cata
_lhsIo_dovisit
_lhsIo_newtypes
_lhsIo_rename
_lhsIo_sem
_lhsIo_sig
_lhsIo_wantvisit
_lhsIprefix
_lhsIsyn
_lhsIsynsOfChildren ->
(let _lhsOdirectDep :: (Seq Edge)
_lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOgathRules :: (Seq CRule)
_lhsOinstDep :: (Seq Edge)
_lhsOinstVars :: ([Identifier])
_lhsOlocVars :: ([Identifier])
_lhsOnAutoRules :: Int
_lhsOnExplicitRules :: Int
_hdOallTypeSigs :: (Map Identifier Type)
_hdOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_hdOallnts :: ([Identifier])
_hdOaltAttrs :: (Map AltAttr Vertex)
_hdOattrs :: ([(Identifier,Identifier)])
_hdOchildInhs :: (Map Identifier Attributes)
_hdOchildNts :: (Map Identifier NontermIdent)
_hdOcon :: Identifier
_hdOinh :: Attributes
_hdOinhsOfChildren :: (Map Identifier Attributes)
_hdOnt :: Identifier
_hdOo_case :: Bool
_hdOo_cata :: Bool
_hdOo_dovisit :: Bool
_hdOo_newtypes :: Bool
_hdOo_rename :: Bool
_hdOo_sem :: Bool
_hdOo_sig :: Bool
_hdOo_wantvisit :: Bool
_hdOprefix :: String
_hdOsyn :: Attributes
_hdOsynsOfChildren :: (Map Identifier Attributes)
_tlOallTypeSigs :: (Map Identifier Type)
_tlOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_tlOallnts :: ([Identifier])
_tlOaltAttrs :: (Map AltAttr Vertex)
_tlOattrs :: ([(Identifier,Identifier)])
_tlOchildInhs :: (Map Identifier Attributes)
_tlOchildNts :: (Map Identifier NontermIdent)
_tlOcon :: Identifier
_tlOinh :: Attributes
_tlOinhsOfChildren :: (Map Identifier Attributes)
_tlOnt :: Identifier
_tlOo_case :: Bool
_tlOo_cata :: Bool
_tlOo_dovisit :: Bool
_tlOo_newtypes :: Bool
_tlOo_rename :: Bool
_tlOo_sem :: Bool
_tlOo_sig :: Bool
_tlOo_wantvisit :: Bool
_tlOprefix :: String
_tlOsyn :: Attributes
_tlOsynsOfChildren :: (Map Identifier Attributes)
_hdIdirectDep :: (Seq Edge)
_hdIerrors :: (Seq Error)
_hdIgathAltAttrs :: ([AltAttr])
_hdIgathRules :: (Seq CRule)
_hdIinstDep :: (Seq Edge)
_hdIinstVars :: ([Identifier])
_hdIlocVars :: ([Identifier])
_hdInAutoRules :: Int
_hdInExplicitRules :: Int
_tlIdirectDep :: (Seq Edge)
_tlIerrors :: (Seq Error)
_tlIgathAltAttrs :: ([AltAttr])
_tlIgathRules :: (Seq CRule)
_tlIinstDep :: (Seq Edge)
_tlIinstVars :: ([Identifier])
_tlIlocVars :: ([Identifier])
_tlInAutoRules :: Int
_tlInExplicitRules :: Int
-- use rule "Order.ag"(line 269, column 33)
_lhsOdirectDep =
({-# LINE 269 "Order.ag" #-}
_hdIdirectDep Seq.>< _tlIdirectDep
{-# LINE 4353 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
_hdIerrors Seq.>< _tlIerrors
{-# LINE 4358 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
_hdIgathAltAttrs ++ _tlIgathAltAttrs
{-# LINE 4363 "Order.hs" #-})
-- use rule "Order.ag"(line 206, column 23)
_lhsOgathRules =
({-# LINE 206 "Order.ag" #-}
_hdIgathRules Seq.>< _tlIgathRules
{-# LINE 4368 "Order.hs" #-})
-- use rule "Order.ag"(line 312, column 31)
_lhsOinstDep =
({-# LINE 312 "Order.ag" #-}
_hdIinstDep Seq.>< _tlIinstDep
{-# LINE 4373 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 86)
_lhsOinstVars =
({-# LINE 620 "Order.ag" #-}
_hdIinstVars ++ _tlIinstVars
{-# LINE 4378 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 48)
_lhsOlocVars =
({-# LINE 620 "Order.ag" #-}
_hdIlocVars ++ _tlIlocVars
{-# LINE 4383 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnAutoRules =
({-# LINE 61 "Order.ag" #-}
_hdInAutoRules + _tlInAutoRules
{-# LINE 4388 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnExplicitRules =
({-# LINE 61 "Order.ag" #-}
_hdInExplicitRules + _tlInExplicitRules
{-# LINE 4393 "Order.hs" #-})
-- copy rule (down)
_hdOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 4398 "Order.hs" #-})
-- copy rule (down)
_hdOallfields =
({-# LINE 597 "Order.ag" #-}
_lhsIallfields
{-# LINE 4403 "Order.hs" #-})
-- copy rule (down)
_hdOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 4408 "Order.hs" #-})
-- copy rule (down)
_hdOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 4413 "Order.hs" #-})
-- copy rule (down)
_hdOattrs =
({-# LINE 597 "Order.ag" #-}
_lhsIattrs
{-# LINE 4418 "Order.hs" #-})
-- copy rule (down)
_hdOchildInhs =
({-# LINE 199 "Order.ag" #-}
_lhsIchildInhs
{-# LINE 4423 "Order.hs" #-})
-- copy rule (down)
_hdOchildNts =
({-# LINE 198 "Order.ag" #-}
_lhsIchildNts
{-# LINE 4428 "Order.hs" #-})
-- copy rule (down)
_hdOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 4433 "Order.hs" #-})
-- copy rule (down)
_hdOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 4438 "Order.hs" #-})
-- copy rule (down)
_hdOinhsOfChildren =
({-# LINE 339 "Order.ag" #-}
_lhsIinhsOfChildren
{-# LINE 4443 "Order.hs" #-})
-- copy rule (down)
_hdOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 4448 "Order.hs" #-})
-- copy rule (down)
_hdOo_case =
({-# LINE 117 "Order.ag" #-}
_lhsIo_case
{-# LINE 4453 "Order.hs" #-})
-- copy rule (down)
_hdOo_cata =
({-# LINE 111 "Order.ag" #-}
_lhsIo_cata
{-# LINE 4458 "Order.hs" #-})
-- copy rule (down)
_hdOo_dovisit =
({-# LINE 116 "Order.ag" #-}
_lhsIo_dovisit
{-# LINE 4463 "Order.hs" #-})
-- copy rule (down)
_hdOo_newtypes =
({-# LINE 110 "Order.ag" #-}
_lhsIo_newtypes
{-# LINE 4468 "Order.hs" #-})
-- copy rule (down)
_hdOo_rename =
({-# LINE 114 "Order.ag" #-}
_lhsIo_rename
{-# LINE 4473 "Order.hs" #-})
-- copy rule (down)
_hdOo_sem =
({-# LINE 113 "Order.ag" #-}
_lhsIo_sem
{-# LINE 4478 "Order.hs" #-})
-- copy rule (down)
_hdOo_sig =
({-# LINE 112 "Order.ag" #-}
_lhsIo_sig
{-# LINE 4483 "Order.hs" #-})
-- copy rule (down)
_hdOo_wantvisit =
({-# LINE 115 "Order.ag" #-}
_lhsIo_wantvisit
{-# LINE 4488 "Order.hs" #-})
-- copy rule (down)
_hdOprefix =
({-# LINE 118 "Order.ag" #-}
_lhsIprefix
{-# LINE 4493 "Order.hs" #-})
-- copy rule (down)
_hdOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 4498 "Order.hs" #-})
-- copy rule (down)
_hdOsynsOfChildren =
({-# LINE 339 "Order.ag" #-}
_lhsIsynsOfChildren
{-# LINE 4503 "Order.hs" #-})
-- copy rule (down)
_tlOallTypeSigs =
({-# LINE 478 "Order.ag" #-}
_lhsIallTypeSigs
{-# LINE 4508 "Order.hs" #-})
-- copy rule (down)
_tlOallfields =
({-# LINE 597 "Order.ag" #-}
_lhsIallfields
{-# LINE 4513 "Order.hs" #-})
-- copy rule (down)
_tlOallnts =
({-# LINE 590 "Order.ag" #-}
_lhsIallnts
{-# LINE 4518 "Order.hs" #-})
-- copy rule (down)
_tlOaltAttrs =
({-# LINE 186 "Order.ag" #-}
_lhsIaltAttrs
{-# LINE 4523 "Order.hs" #-})
-- copy rule (down)
_tlOattrs =
({-# LINE 597 "Order.ag" #-}
_lhsIattrs
{-# LINE 4528 "Order.hs" #-})
-- copy rule (down)
_tlOchildInhs =
({-# LINE 199 "Order.ag" #-}
_lhsIchildInhs
{-# LINE 4533 "Order.hs" #-})
-- copy rule (down)
_tlOchildNts =
({-# LINE 198 "Order.ag" #-}
_lhsIchildNts
{-# LINE 4538 "Order.hs" #-})
-- copy rule (down)
_tlOcon =
({-# LINE 90 "Order.ag" #-}
_lhsIcon
{-# LINE 4543 "Order.hs" #-})
-- copy rule (down)
_tlOinh =
({-# LINE 89 "Order.ag" #-}
_lhsIinh
{-# LINE 4548 "Order.hs" #-})
-- copy rule (down)
_tlOinhsOfChildren =
({-# LINE 339 "Order.ag" #-}
_lhsIinhsOfChildren
{-# LINE 4553 "Order.hs" #-})
-- copy rule (down)
_tlOnt =
({-# LINE 89 "Order.ag" #-}
_lhsInt
{-# LINE 4558 "Order.hs" #-})
-- copy rule (down)
_tlOo_case =
({-# LINE 117 "Order.ag" #-}
_lhsIo_case
{-# LINE 4563 "Order.hs" #-})
-- copy rule (down)
_tlOo_cata =
({-# LINE 111 "Order.ag" #-}
_lhsIo_cata
{-# LINE 4568 "Order.hs" #-})
-- copy rule (down)
_tlOo_dovisit =
({-# LINE 116 "Order.ag" #-}
_lhsIo_dovisit
{-# LINE 4573 "Order.hs" #-})
-- copy rule (down)
_tlOo_newtypes =
({-# LINE 110 "Order.ag" #-}
_lhsIo_newtypes
{-# LINE 4578 "Order.hs" #-})
-- copy rule (down)
_tlOo_rename =
({-# LINE 114 "Order.ag" #-}
_lhsIo_rename
{-# LINE 4583 "Order.hs" #-})
-- copy rule (down)
_tlOo_sem =
({-# LINE 113 "Order.ag" #-}
_lhsIo_sem
{-# LINE 4588 "Order.hs" #-})
-- copy rule (down)
_tlOo_sig =
({-# LINE 112 "Order.ag" #-}
_lhsIo_sig
{-# LINE 4593 "Order.hs" #-})
-- copy rule (down)
_tlOo_wantvisit =
({-# LINE 115 "Order.ag" #-}
_lhsIo_wantvisit
{-# LINE 4598 "Order.hs" #-})
-- copy rule (down)
_tlOprefix =
({-# LINE 118 "Order.ag" #-}
_lhsIprefix
{-# LINE 4603 "Order.hs" #-})
-- copy rule (down)
_tlOsyn =
({-# LINE 89 "Order.ag" #-}
_lhsIsyn
{-# LINE 4608 "Order.hs" #-})
-- copy rule (down)
_tlOsynsOfChildren =
({-# LINE 339 "Order.ag" #-}
_lhsIsynsOfChildren
{-# LINE 4613 "Order.hs" #-})
( _hdIdirectDep,_hdIerrors,_hdIgathAltAttrs,_hdIgathRules,_hdIinstDep,_hdIinstVars,_hdIlocVars,_hdInAutoRules,_hdInExplicitRules) =
(hd_ _hdOallTypeSigs _hdOallfields _hdOallnts _hdOaltAttrs _hdOattrs _hdOchildInhs _hdOchildNts _hdOcon _hdOinh _hdOinhsOfChildren _hdOnt _hdOo_case _hdOo_cata _hdOo_dovisit _hdOo_newtypes _hdOo_rename _hdOo_sem _hdOo_sig _hdOo_wantvisit _hdOprefix _hdOsyn _hdOsynsOfChildren )
( _tlIdirectDep,_tlIerrors,_tlIgathAltAttrs,_tlIgathRules,_tlIinstDep,_tlIinstVars,_tlIlocVars,_tlInAutoRules,_tlInExplicitRules) =
(tl_ _tlOallTypeSigs _tlOallfields _tlOallnts _tlOaltAttrs _tlOattrs _tlOchildInhs _tlOchildNts _tlOcon _tlOinh _tlOinhsOfChildren _tlOnt _tlOo_case _tlOo_cata _tlOo_dovisit _tlOo_newtypes _tlOo_rename _tlOo_sem _tlOo_sig _tlOo_wantvisit _tlOprefix _tlOsyn _tlOsynsOfChildren )
in ( _lhsOdirectDep,_lhsOerrors,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinstDep,_lhsOinstVars,_lhsOlocVars,_lhsOnAutoRules,_lhsOnExplicitRules))) )
sem_Rules_Nil :: T_Rules
sem_Rules_Nil =
(T_Rules (\ _lhsIallTypeSigs
_lhsIallfields
_lhsIallnts
_lhsIaltAttrs
_lhsIattrs
_lhsIchildInhs
_lhsIchildNts
_lhsIcon
_lhsIinh
_lhsIinhsOfChildren
_lhsInt
_lhsIo_case
_lhsIo_cata
_lhsIo_dovisit
_lhsIo_newtypes
_lhsIo_rename
_lhsIo_sem
_lhsIo_sig
_lhsIo_wantvisit
_lhsIprefix
_lhsIsyn
_lhsIsynsOfChildren ->
(let _lhsOdirectDep :: (Seq Edge)
_lhsOerrors :: (Seq Error)
_lhsOgathAltAttrs :: ([AltAttr])
_lhsOgathRules :: (Seq CRule)
_lhsOinstDep :: (Seq Edge)
_lhsOinstVars :: ([Identifier])
_lhsOlocVars :: ([Identifier])
_lhsOnAutoRules :: Int
_lhsOnExplicitRules :: Int
-- use rule "Order.ag"(line 269, column 33)
_lhsOdirectDep =
({-# LINE 269 "Order.ag" #-}
Seq.empty
{-# LINE 4656 "Order.hs" #-})
-- use rule "Order.ag"(line 84, column 70)
_lhsOerrors =
({-# LINE 84 "Order.ag" #-}
Seq.empty
{-# LINE 4661 "Order.hs" #-})
-- use rule "Order.ag"(line 170, column 68)
_lhsOgathAltAttrs =
({-# LINE 170 "Order.ag" #-}
[]
{-# LINE 4666 "Order.hs" #-})
-- use rule "Order.ag"(line 206, column 23)
_lhsOgathRules =
({-# LINE 206 "Order.ag" #-}
Seq.empty
{-# LINE 4671 "Order.hs" #-})
-- use rule "Order.ag"(line 312, column 31)
_lhsOinstDep =
({-# LINE 312 "Order.ag" #-}
Seq.empty
{-# LINE 4676 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 86)
_lhsOinstVars =
({-# LINE 620 "Order.ag" #-}
[]
{-# LINE 4681 "Order.hs" #-})
-- use rule "Order.ag"(line 620, column 48)
_lhsOlocVars =
({-# LINE 620 "Order.ag" #-}
[]
{-# LINE 4686 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnAutoRules =
({-# LINE 61 "Order.ag" #-}
0
{-# LINE 4691 "Order.hs" #-})
-- use rule "Order.ag"(line 61, column 105)
_lhsOnExplicitRules =
({-# LINE 61 "Order.ag" #-}
0
{-# LINE 4696 "Order.hs" #-})
in ( _lhsOdirectDep,_lhsOerrors,_lhsOgathAltAttrs,_lhsOgathRules,_lhsOinstDep,_lhsOinstVars,_lhsOlocVars,_lhsOnAutoRules,_lhsOnExplicitRules))) )
-- TypeSig -----------------------------------------------------
{-
visit 0:
chained attribute:
typeSigs : Map Identifier Type
alternatives:
alternative TypeSig:
child name : {Identifier}
child tp : {Type}
-}
-- cata
sem_TypeSig :: TypeSig ->
T_TypeSig
sem_TypeSig (TypeSig _name _tp ) =
(sem_TypeSig_TypeSig _name _tp )
-- semantic domain
newtype T_TypeSig = T_TypeSig ((Map Identifier Type) ->
( (Map Identifier Type)))
data Inh_TypeSig = Inh_TypeSig {typeSigs_Inh_TypeSig :: !((Map Identifier Type))}
data Syn_TypeSig = Syn_TypeSig {typeSigs_Syn_TypeSig :: !((Map Identifier Type))}
wrap_TypeSig :: T_TypeSig ->
Inh_TypeSig ->
Syn_TypeSig
wrap_TypeSig (T_TypeSig sem ) (Inh_TypeSig _lhsItypeSigs ) =
(let ( _lhsOtypeSigs) =
(sem _lhsItypeSigs )
in (Syn_TypeSig _lhsOtypeSigs ))
sem_TypeSig_TypeSig :: Identifier ->
Type ->
T_TypeSig
sem_TypeSig_TypeSig name_ tp_ =
(T_TypeSig (\ _lhsItypeSigs ->
(let _lhsOtypeSigs :: (Map Identifier Type)
-- "Order.ag"(line 476, column 13)
_lhsOtypeSigs =
({-# LINE 476 "Order.ag" #-}
Map.insert name_ tp_ _lhsItypeSigs
{-# LINE 4735 "Order.hs" #-})
in ( _lhsOtypeSigs))) )
-- TypeSigs ----------------------------------------------------
{-
visit 0:
chained attribute:
typeSigs : Map Identifier Type
alternatives:
alternative Cons:
child hd : TypeSig
child tl : TypeSigs
alternative Nil:
-}
-- cata
sem_TypeSigs :: TypeSigs ->
T_TypeSigs
sem_TypeSigs list =
(Prelude.foldr sem_TypeSigs_Cons sem_TypeSigs_Nil (Prelude.map sem_TypeSig list) )
-- semantic domain
newtype T_TypeSigs = T_TypeSigs ((Map Identifier Type) ->
( (Map Identifier Type)))
data Inh_TypeSigs = Inh_TypeSigs {typeSigs_Inh_TypeSigs :: !((Map Identifier Type))}
data Syn_TypeSigs = Syn_TypeSigs {typeSigs_Syn_TypeSigs :: !((Map Identifier Type))}
wrap_TypeSigs :: T_TypeSigs ->
Inh_TypeSigs ->
Syn_TypeSigs
wrap_TypeSigs (T_TypeSigs sem ) (Inh_TypeSigs _lhsItypeSigs ) =
(let ( _lhsOtypeSigs) =
(sem _lhsItypeSigs )
in (Syn_TypeSigs _lhsOtypeSigs ))
sem_TypeSigs_Cons :: T_TypeSig ->
T_TypeSigs ->
T_TypeSigs
sem_TypeSigs_Cons (T_TypeSig hd_ ) (T_TypeSigs tl_ ) =
(T_TypeSigs (\ _lhsItypeSigs ->
(let _lhsOtypeSigs :: (Map Identifier Type)
_hdOtypeSigs :: (Map Identifier Type)
_tlOtypeSigs :: (Map Identifier Type)
_hdItypeSigs :: (Map Identifier Type)
_tlItypeSigs :: (Map Identifier Type)
-- copy rule (up)
_lhsOtypeSigs =
({-# LINE 472 "Order.ag" #-}
_tlItypeSigs
{-# LINE 4779 "Order.hs" #-})
-- copy rule (down)
_hdOtypeSigs =
({-# LINE 472 "Order.ag" #-}
_lhsItypeSigs
{-# LINE 4784 "Order.hs" #-})
-- copy rule (chain)
_tlOtypeSigs =
({-# LINE 472 "Order.ag" #-}
_hdItypeSigs
{-# LINE 4789 "Order.hs" #-})
( _hdItypeSigs) =
(hd_ _hdOtypeSigs )
( _tlItypeSigs) =
(tl_ _tlOtypeSigs )
in ( _lhsOtypeSigs))) )
sem_TypeSigs_Nil :: T_TypeSigs
sem_TypeSigs_Nil =
(T_TypeSigs (\ _lhsItypeSigs ->
(let _lhsOtypeSigs :: (Map Identifier Type)
-- copy rule (chain)
_lhsOtypeSigs =
({-# LINE 472 "Order.ag" #-}
_lhsItypeSigs
{-# LINE 4803 "Order.hs" #-})
in ( _lhsOtypeSigs))) )