-- UUAGC 0.9.38.6 (SemHsTokens.ag) module SemHsTokens where {-# LINE 4 "SemHsTokens.ag" #-} import qualified Data.Sequence as Seq import Data.Sequence(Seq,empty,singleton,(><)) import Data.Foldable(toList) import Pretty import TokenDef import HsToken import ErrorMessages {-# LINE 16 "../src-derived/SemHsTokens.hs" #-} {-# LINE 2 "./HsToken.ag" #-} import CommonTypes import UU.Scanner.Position(Pos) {-# LINE 22 "../src-derived/SemHsTokens.hs" #-} {-# LINE 57 "SemHsTokens.ag" #-} isNTname allnts (Just (NT nt _)) = nt `elem` allnts isNTname allnts _ = False {-# LINE 27 "../src-derived/SemHsTokens.hs" #-} -- HsToken ----------------------------------------------------- {- visit 0: inherited attributes: allfields : [(Identifier,Type,Maybe (Maybe Type))] allnts : [Identifier] attrs : [(Identifier,Identifier)] con : Identifier fieldnames : [Identifier] nt : Identifier synthesized attributes: errors : Seq Error output : SELF tok : (Pos,String) usedAttrs : [(Identifier,Identifier)] usedFields : Seq Identifier usedLocals : [Identifier] alternatives: alternative AGField: child field : {Identifier} child attr : {Identifier} child pos : {Pos} child rdesc : {Maybe String} visit 0: local addTrace : _ local output : _ alternative AGLocal: child var : {Identifier} child pos : {Pos} child rdesc : {Maybe String} visit 0: local tkAsLocal : _ local tkAsField : _ local _tup1 : _ local errors : _ local output : _ local tok : _ local usedLocals : _ alternative CharToken: child value : {String} child pos : {Pos} visit 0: local output : _ alternative Err: child mesg : {String} child pos : {Pos} visit 0: local output : _ alternative HsToken: child value : {String} child pos : {Pos} visit 0: local output : _ alternative StrToken: child value : {String} child pos : {Pos} visit 0: local output : _ -} -- cata sem_HsToken :: HsToken -> T_HsToken sem_HsToken (AGField _field _attr _pos _rdesc ) = (sem_HsToken_AGField _field _attr _pos _rdesc ) sem_HsToken (AGLocal _var _pos _rdesc ) = (sem_HsToken_AGLocal _var _pos _rdesc ) sem_HsToken (CharToken _value _pos ) = (sem_HsToken_CharToken _value _pos ) sem_HsToken (Err _mesg _pos ) = (sem_HsToken_Err _mesg _pos ) sem_HsToken (HsToken _value _pos ) = (sem_HsToken_HsToken _value _pos ) sem_HsToken (StrToken _value _pos ) = (sem_HsToken_StrToken _value _pos ) -- semantic domain newtype T_HsToken = T_HsToken (([(Identifier,Type,Maybe (Maybe Type))]) -> ([Identifier]) -> ([(Identifier,Identifier)]) -> Identifier -> ([Identifier]) -> Identifier -> ( (Seq Error),HsToken ,((Pos,String)),([(Identifier,Identifier)]),(Seq Identifier),([Identifier]))) data Inh_HsToken = Inh_HsToken {allfields_Inh_HsToken :: ([(Identifier,Type,Maybe (Maybe Type))]),allnts_Inh_HsToken :: ([Identifier]),attrs_Inh_HsToken :: ([(Identifier,Identifier)]),con_Inh_HsToken :: Identifier,fieldnames_Inh_HsToken :: ([Identifier]),nt_Inh_HsToken :: Identifier} data Syn_HsToken = Syn_HsToken {errors_Syn_HsToken :: (Seq Error),output_Syn_HsToken :: HsToken ,tok_Syn_HsToken :: ((Pos,String)),usedAttrs_Syn_HsToken :: ([(Identifier,Identifier)]),usedFields_Syn_HsToken :: (Seq Identifier),usedLocals_Syn_HsToken :: ([Identifier])} wrap_HsToken :: T_HsToken -> Inh_HsToken -> Syn_HsToken wrap_HsToken (T_HsToken sem ) (Inh_HsToken _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt ) = (let ( _lhsOerrors,_lhsOoutput,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) = sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt in (Syn_HsToken _lhsOerrors _lhsOoutput _lhsOtok _lhsOusedAttrs _lhsOusedFields _lhsOusedLocals )) sem_HsToken_AGField :: Identifier -> Identifier -> Pos -> (Maybe String) -> T_HsToken sem_HsToken_AGField field_ attr_ pos_ rdesc_ = (T_HsToken (\ _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt -> (let _lhsOerrors :: (Seq Error) _lhsOusedAttrs :: ([(Identifier,Identifier)]) _lhsOtok :: ((Pos,String)) _lhsOusedFields :: (Seq Identifier) _lhsOusedLocals :: ([Identifier]) _lhsOoutput :: HsToken -- "SemHsTokens.ag"(line 76, column 15) _lhsOerrors = ({-# LINE 76 "SemHsTokens.ag" #-} if (field_,attr_) `elem` _lhsIattrs then Seq.empty else if not(field_ `elem` (_LHS : _LOC: _lhsIfieldnames)) then Seq.singleton (UndefChild _lhsInt _lhsIcon field_) else Seq.singleton (UndefAttr _lhsInt _lhsIcon field_ attr_ False) {-# LINE 144 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 90, column 13) _lhsOusedAttrs = ({-# LINE 90 "SemHsTokens.ag" #-} [(field_,attr_)] {-# LINE 150 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 117, column 8) _addTrace = ({-# LINE 117 "SemHsTokens.ag" #-} case rdesc_ of Just d -> \x -> "(trace " ++ show (d ++ " -> " ++ show field_ ++ "." ++ show attr_) ++ " (" ++ x ++ "))" Nothing -> id {-# LINE 158 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 120, column 8) _lhsOtok = ({-# LINE 120 "SemHsTokens.ag" #-} (pos_, _addTrace $ attrname True field_ attr_) {-# LINE 164 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 95, column 40) _lhsOusedFields = ({-# LINE 95 "SemHsTokens.ag" #-} Seq.empty {-# LINE 170 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 86, column 40) _lhsOusedLocals = ({-# LINE 86 "SemHsTokens.ag" #-} [] {-# LINE 176 "SemHsTokens.hs" #-} ) -- self rule _output = ({-# LINE 137 "SemHsTokens.ag" #-} AGField field_ attr_ pos_ rdesc_ {-# LINE 182 "SemHsTokens.hs" #-} ) -- self rule _lhsOoutput = ({-# LINE 137 "SemHsTokens.ag" #-} _output {-# LINE 188 "SemHsTokens.hs" #-} ) in ( _lhsOerrors,_lhsOoutput,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) ) sem_HsToken_AGLocal :: Identifier -> Pos -> (Maybe String) -> T_HsToken sem_HsToken_AGLocal var_ pos_ rdesc_ = (T_HsToken (\ _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt -> (let _lhsOusedFields :: (Seq Identifier) _lhsOerrors :: (Seq Error) _lhsOusedAttrs :: ([(Identifier,Identifier)]) _lhsOusedLocals :: ([Identifier]) _lhsOoutput :: HsToken _lhsOtok :: ((Pos,String)) -- "SemHsTokens.ag"(line 64, column 15) _tkAsLocal = ({-# LINE 64 "SemHsTokens.ag" #-} AGLocal var_ pos_ rdesc_ {-# LINE 212 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 65, column 15) _tkAsField = ({-# LINE 65 "SemHsTokens.ag" #-} AGField _LOC var_ pos_ rdesc_ {-# LINE 218 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 66, column 19) __tup1 = ({-# LINE 66 "SemHsTokens.ag" #-} if var_ `elem` _lhsIfieldnames then if isNTname _lhsIallnts (lookup var_ (map (\(n,t,_) -> (n,t)) _lhsIallfields)) then (Seq.singleton(ChildAsLocal _lhsInt _lhsIcon var_), _tkAsLocal ,(pos_,fieldname var_), [] ) else (Seq.empty, _tkAsLocal , (pos_,fieldname var_), [] ) else if (_LOC,var_) `elem` _lhsIattrs then (Seq.empty , _tkAsField , (pos_,locname var_), [var_]) else (Seq.singleton(UndefLocal _lhsInt _lhsIcon var_), _tkAsField , (pos_,locname var_), [] ) {-# LINE 230 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 66, column 19) (_errors,_,_,_) = ({-# LINE 66 "SemHsTokens.ag" #-} __tup1 {-# LINE 236 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 66, column 19) (_,_output,_,_) = ({-# LINE 66 "SemHsTokens.ag" #-} __tup1 {-# LINE 242 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 66, column 19) (_,_,_tok,_) = ({-# LINE 66 "SemHsTokens.ag" #-} __tup1 {-# LINE 248 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 66, column 19) (_,_,_,_usedLocals) = ({-# LINE 66 "SemHsTokens.ag" #-} __tup1 {-# LINE 254 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 98, column 13) _lhsOusedFields = ({-# LINE 98 "SemHsTokens.ag" #-} if var_ `elem` _lhsIfieldnames then Seq.singleton var_ else Seq.empty {-# LINE 262 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 43, column 37) _lhsOerrors = ({-# LINE 43 "SemHsTokens.ag" #-} _errors {-# LINE 268 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 87, column 40) _lhsOusedAttrs = ({-# LINE 87 "SemHsTokens.ag" #-} [] {-# LINE 274 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 86, column 40) _lhsOusedLocals = ({-# LINE 86 "SemHsTokens.ag" #-} _usedLocals {-# LINE 280 "SemHsTokens.hs" #-} ) -- self rule _lhsOoutput = ({-# LINE 137 "SemHsTokens.ag" #-} _output {-# LINE 286 "SemHsTokens.hs" #-} ) -- copy rule (from local) _lhsOtok = ({-# LINE 115 "SemHsTokens.ag" #-} _tok {-# LINE 292 "SemHsTokens.hs" #-} ) in ( _lhsOerrors,_lhsOoutput,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) ) sem_HsToken_CharToken :: String -> Pos -> T_HsToken sem_HsToken_CharToken value_ pos_ = (T_HsToken (\ _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt -> (let _lhsOtok :: ((Pos,String)) _lhsOerrors :: (Seq Error) _lhsOusedAttrs :: ([(Identifier,Identifier)]) _lhsOusedFields :: (Seq Identifier) _lhsOusedLocals :: ([Identifier]) _lhsOoutput :: HsToken -- "SemHsTokens.ag"(line 124, column 16) _lhsOtok = ({-# LINE 124 "SemHsTokens.ag" #-} (pos_, if null value_ then "" else showCharShort (head value_) ) {-# LINE 318 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 43, column 37) _lhsOerrors = ({-# LINE 43 "SemHsTokens.ag" #-} Seq.empty {-# LINE 324 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 87, column 40) _lhsOusedAttrs = ({-# LINE 87 "SemHsTokens.ag" #-} [] {-# LINE 330 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 95, column 40) _lhsOusedFields = ({-# LINE 95 "SemHsTokens.ag" #-} Seq.empty {-# LINE 336 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 86, column 40) _lhsOusedLocals = ({-# LINE 86 "SemHsTokens.ag" #-} [] {-# LINE 342 "SemHsTokens.hs" #-} ) -- self rule _output = ({-# LINE 137 "SemHsTokens.ag" #-} CharToken value_ pos_ {-# LINE 348 "SemHsTokens.hs" #-} ) -- self rule _lhsOoutput = ({-# LINE 137 "SemHsTokens.ag" #-} _output {-# LINE 354 "SemHsTokens.hs" #-} ) in ( _lhsOerrors,_lhsOoutput,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) ) sem_HsToken_Err :: String -> Pos -> T_HsToken sem_HsToken_Err mesg_ pos_ = (T_HsToken (\ _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt -> (let _lhsOerrors :: (Seq Error) _lhsOtok :: ((Pos,String)) _lhsOusedAttrs :: ([(Identifier,Identifier)]) _lhsOusedFields :: (Seq Identifier) _lhsOusedLocals :: ([Identifier]) _lhsOoutput :: HsToken -- "SemHsTokens.ag"(line 50, column 9) _lhsOerrors = ({-# LINE 50 "SemHsTokens.ag" #-} let m = text mesg_ in Seq.singleton (CustomError False pos_ m) {-# LINE 378 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 130, column 16) _lhsOtok = ({-# LINE 130 "SemHsTokens.ag" #-} (pos_, "") {-# LINE 384 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 87, column 40) _lhsOusedAttrs = ({-# LINE 87 "SemHsTokens.ag" #-} [] {-# LINE 390 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 95, column 40) _lhsOusedFields = ({-# LINE 95 "SemHsTokens.ag" #-} Seq.empty {-# LINE 396 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 86, column 40) _lhsOusedLocals = ({-# LINE 86 "SemHsTokens.ag" #-} [] {-# LINE 402 "SemHsTokens.hs" #-} ) -- self rule _output = ({-# LINE 137 "SemHsTokens.ag" #-} Err mesg_ pos_ {-# LINE 408 "SemHsTokens.hs" #-} ) -- self rule _lhsOoutput = ({-# LINE 137 "SemHsTokens.ag" #-} _output {-# LINE 414 "SemHsTokens.hs" #-} ) in ( _lhsOerrors,_lhsOoutput,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) ) sem_HsToken_HsToken :: String -> Pos -> T_HsToken sem_HsToken_HsToken value_ pos_ = (T_HsToken (\ _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt -> (let _lhsOtok :: ((Pos,String)) _lhsOerrors :: (Seq Error) _lhsOusedAttrs :: ([(Identifier,Identifier)]) _lhsOusedFields :: (Seq Identifier) _lhsOusedLocals :: ([Identifier]) _lhsOoutput :: HsToken -- "SemHsTokens.ag"(line 122, column 14) _lhsOtok = ({-# LINE 122 "SemHsTokens.ag" #-} (pos_, value_) {-# LINE 437 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 43, column 37) _lhsOerrors = ({-# LINE 43 "SemHsTokens.ag" #-} Seq.empty {-# LINE 443 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 87, column 40) _lhsOusedAttrs = ({-# LINE 87 "SemHsTokens.ag" #-} [] {-# LINE 449 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 95, column 40) _lhsOusedFields = ({-# LINE 95 "SemHsTokens.ag" #-} Seq.empty {-# LINE 455 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 86, column 40) _lhsOusedLocals = ({-# LINE 86 "SemHsTokens.ag" #-} [] {-# LINE 461 "SemHsTokens.hs" #-} ) -- self rule _output = ({-# LINE 137 "SemHsTokens.ag" #-} HsToken value_ pos_ {-# LINE 467 "SemHsTokens.hs" #-} ) -- self rule _lhsOoutput = ({-# LINE 137 "SemHsTokens.ag" #-} _output {-# LINE 473 "SemHsTokens.hs" #-} ) in ( _lhsOerrors,_lhsOoutput,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) ) sem_HsToken_StrToken :: String -> Pos -> T_HsToken sem_HsToken_StrToken value_ pos_ = (T_HsToken (\ _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt -> (let _lhsOtok :: ((Pos,String)) _lhsOerrors :: (Seq Error) _lhsOusedAttrs :: ([(Identifier,Identifier)]) _lhsOusedFields :: (Seq Identifier) _lhsOusedLocals :: ([Identifier]) _lhsOoutput :: HsToken -- "SemHsTokens.ag"(line 129, column 16) _lhsOtok = ({-# LINE 129 "SemHsTokens.ag" #-} (pos_, showStrShort value_) {-# LINE 496 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 43, column 37) _lhsOerrors = ({-# LINE 43 "SemHsTokens.ag" #-} Seq.empty {-# LINE 502 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 87, column 40) _lhsOusedAttrs = ({-# LINE 87 "SemHsTokens.ag" #-} [] {-# LINE 508 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 95, column 40) _lhsOusedFields = ({-# LINE 95 "SemHsTokens.ag" #-} Seq.empty {-# LINE 514 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 86, column 40) _lhsOusedLocals = ({-# LINE 86 "SemHsTokens.ag" #-} [] {-# LINE 520 "SemHsTokens.hs" #-} ) -- self rule _output = ({-# LINE 137 "SemHsTokens.ag" #-} StrToken value_ pos_ {-# LINE 526 "SemHsTokens.hs" #-} ) -- self rule _lhsOoutput = ({-# LINE 137 "SemHsTokens.ag" #-} _output {-# LINE 532 "SemHsTokens.hs" #-} ) in ( _lhsOerrors,_lhsOoutput,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) ) -- HsTokens ---------------------------------------------------- {- visit 0: inherited attributes: allfields : [(Identifier,Type,Maybe (Maybe Type))] allnts : [Identifier] attrs : [(Identifier,Identifier)] con : Identifier fieldnames : [Identifier] nt : Identifier synthesized attributes: errors : Seq Error output : SELF tks : [(Pos,String)] usedAttrs : [(Identifier,Identifier)] usedFields : Seq Identifier usedLocals : [Identifier] alternatives: alternative Cons: child hd : HsToken child tl : HsTokens visit 0: local output : _ alternative Nil: visit 0: local output : _ -} -- cata sem_HsTokens :: HsTokens -> T_HsTokens sem_HsTokens list = (Prelude.foldr sem_HsTokens_Cons sem_HsTokens_Nil (Prelude.map sem_HsToken list) ) -- semantic domain newtype T_HsTokens = T_HsTokens (([(Identifier,Type,Maybe (Maybe Type))]) -> ([Identifier]) -> ([(Identifier,Identifier)]) -> Identifier -> ([Identifier]) -> Identifier -> ( (Seq Error),HsTokens ,([(Pos,String)]),([(Identifier,Identifier)]),(Seq Identifier),([Identifier]))) data Inh_HsTokens = Inh_HsTokens {allfields_Inh_HsTokens :: ([(Identifier,Type,Maybe (Maybe Type))]),allnts_Inh_HsTokens :: ([Identifier]),attrs_Inh_HsTokens :: ([(Identifier,Identifier)]),con_Inh_HsTokens :: Identifier,fieldnames_Inh_HsTokens :: ([Identifier]),nt_Inh_HsTokens :: Identifier} data Syn_HsTokens = Syn_HsTokens {errors_Syn_HsTokens :: (Seq Error),output_Syn_HsTokens :: HsTokens ,tks_Syn_HsTokens :: ([(Pos,String)]),usedAttrs_Syn_HsTokens :: ([(Identifier,Identifier)]),usedFields_Syn_HsTokens :: (Seq Identifier),usedLocals_Syn_HsTokens :: ([Identifier])} wrap_HsTokens :: T_HsTokens -> Inh_HsTokens -> Syn_HsTokens wrap_HsTokens (T_HsTokens sem ) (Inh_HsTokens _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt ) = (let ( _lhsOerrors,_lhsOoutput,_lhsOtks,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) = sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt in (Syn_HsTokens _lhsOerrors _lhsOoutput _lhsOtks _lhsOusedAttrs _lhsOusedFields _lhsOusedLocals )) sem_HsTokens_Cons :: T_HsToken -> T_HsTokens -> T_HsTokens sem_HsTokens_Cons (T_HsToken hd_ ) (T_HsTokens tl_ ) = (T_HsTokens (\ _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt -> (let _lhsOtks :: ([(Pos,String)]) _lhsOerrors :: (Seq Error) _lhsOusedAttrs :: ([(Identifier,Identifier)]) _lhsOusedFields :: (Seq Identifier) _lhsOusedLocals :: ([Identifier]) _lhsOoutput :: HsTokens _hdOallfields :: ([(Identifier,Type,Maybe (Maybe Type))]) _hdOallnts :: ([Identifier]) _hdOattrs :: ([(Identifier,Identifier)]) _hdOcon :: Identifier _hdOfieldnames :: ([Identifier]) _hdOnt :: Identifier _tlOallfields :: ([(Identifier,Type,Maybe (Maybe Type))]) _tlOallnts :: ([Identifier]) _tlOattrs :: ([(Identifier,Identifier)]) _tlOcon :: Identifier _tlOfieldnames :: ([Identifier]) _tlOnt :: Identifier _hdIerrors :: (Seq Error) _hdIoutput :: HsToken _hdItok :: ((Pos,String)) _hdIusedAttrs :: ([(Identifier,Identifier)]) _hdIusedFields :: (Seq Identifier) _hdIusedLocals :: ([Identifier]) _tlIerrors :: (Seq Error) _tlIoutput :: HsTokens _tlItks :: ([(Pos,String)]) _tlIusedAttrs :: ([(Identifier,Identifier)]) _tlIusedFields :: (Seq Identifier) _tlIusedLocals :: ([Identifier]) -- "SemHsTokens.ag"(line 112, column 10) _lhsOtks = ({-# LINE 112 "SemHsTokens.ag" #-} _hdItok : _tlItks {-# LINE 627 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 43, column 37) _lhsOerrors = ({-# LINE 43 "SemHsTokens.ag" #-} _hdIerrors Seq.>< _tlIerrors {-# LINE 633 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 87, column 40) _lhsOusedAttrs = ({-# LINE 87 "SemHsTokens.ag" #-} _hdIusedAttrs ++ _tlIusedAttrs {-# LINE 639 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 95, column 40) _lhsOusedFields = ({-# LINE 95 "SemHsTokens.ag" #-} _hdIusedFields Seq.>< _tlIusedFields {-# LINE 645 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 86, column 40) _lhsOusedLocals = ({-# LINE 86 "SemHsTokens.ag" #-} _hdIusedLocals ++ _tlIusedLocals {-# LINE 651 "SemHsTokens.hs" #-} ) -- self rule _output = ({-# LINE 137 "SemHsTokens.ag" #-} (:) _hdIoutput _tlIoutput {-# LINE 657 "SemHsTokens.hs" #-} ) -- self rule _lhsOoutput = ({-# LINE 137 "SemHsTokens.ag" #-} _output {-# LINE 663 "SemHsTokens.hs" #-} ) -- copy rule (down) _hdOallfields = ({-# LINE 30 "SemHsTokens.ag" #-} _lhsIallfields {-# LINE 669 "SemHsTokens.hs" #-} ) -- copy rule (down) _hdOallnts = ({-# LINE 31 "SemHsTokens.ag" #-} _lhsIallnts {-# LINE 675 "SemHsTokens.hs" #-} ) -- copy rule (down) _hdOattrs = ({-# LINE 32 "SemHsTokens.ag" #-} _lhsIattrs {-# LINE 681 "SemHsTokens.hs" #-} ) -- copy rule (down) _hdOcon = ({-# LINE 29 "SemHsTokens.ag" #-} _lhsIcon {-# LINE 687 "SemHsTokens.hs" #-} ) -- copy rule (down) _hdOfieldnames = ({-# LINE 36 "SemHsTokens.ag" #-} _lhsIfieldnames {-# LINE 693 "SemHsTokens.hs" #-} ) -- copy rule (down) _hdOnt = ({-# LINE 29 "SemHsTokens.ag" #-} _lhsInt {-# LINE 699 "SemHsTokens.hs" #-} ) -- copy rule (down) _tlOallfields = ({-# LINE 30 "SemHsTokens.ag" #-} _lhsIallfields {-# LINE 705 "SemHsTokens.hs" #-} ) -- copy rule (down) _tlOallnts = ({-# LINE 31 "SemHsTokens.ag" #-} _lhsIallnts {-# LINE 711 "SemHsTokens.hs" #-} ) -- copy rule (down) _tlOattrs = ({-# LINE 32 "SemHsTokens.ag" #-} _lhsIattrs {-# LINE 717 "SemHsTokens.hs" #-} ) -- copy rule (down) _tlOcon = ({-# LINE 29 "SemHsTokens.ag" #-} _lhsIcon {-# LINE 723 "SemHsTokens.hs" #-} ) -- copy rule (down) _tlOfieldnames = ({-# LINE 36 "SemHsTokens.ag" #-} _lhsIfieldnames {-# LINE 729 "SemHsTokens.hs" #-} ) -- copy rule (down) _tlOnt = ({-# LINE 29 "SemHsTokens.ag" #-} _lhsInt {-# LINE 735 "SemHsTokens.hs" #-} ) ( _hdIerrors,_hdIoutput,_hdItok,_hdIusedAttrs,_hdIusedFields,_hdIusedLocals) = hd_ _hdOallfields _hdOallnts _hdOattrs _hdOcon _hdOfieldnames _hdOnt ( _tlIerrors,_tlIoutput,_tlItks,_tlIusedAttrs,_tlIusedFields,_tlIusedLocals) = tl_ _tlOallfields _tlOallnts _tlOattrs _tlOcon _tlOfieldnames _tlOnt in ( _lhsOerrors,_lhsOoutput,_lhsOtks,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) ) sem_HsTokens_Nil :: T_HsTokens sem_HsTokens_Nil = (T_HsTokens (\ _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt -> (let _lhsOtks :: ([(Pos,String)]) _lhsOerrors :: (Seq Error) _lhsOusedAttrs :: ([(Identifier,Identifier)]) _lhsOusedFields :: (Seq Identifier) _lhsOusedLocals :: ([Identifier]) _lhsOoutput :: HsTokens -- "SemHsTokens.ag"(line 113, column 10) _lhsOtks = ({-# LINE 113 "SemHsTokens.ag" #-} [] {-# LINE 760 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 43, column 37) _lhsOerrors = ({-# LINE 43 "SemHsTokens.ag" #-} Seq.empty {-# LINE 766 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 87, column 40) _lhsOusedAttrs = ({-# LINE 87 "SemHsTokens.ag" #-} [] {-# LINE 772 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 95, column 40) _lhsOusedFields = ({-# LINE 95 "SemHsTokens.ag" #-} Seq.empty {-# LINE 778 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 86, column 40) _lhsOusedLocals = ({-# LINE 86 "SemHsTokens.ag" #-} [] {-# LINE 784 "SemHsTokens.hs" #-} ) -- self rule _output = ({-# LINE 137 "SemHsTokens.ag" #-} [] {-# LINE 790 "SemHsTokens.hs" #-} ) -- self rule _lhsOoutput = ({-# LINE 137 "SemHsTokens.ag" #-} _output {-# LINE 796 "SemHsTokens.hs" #-} ) in ( _lhsOerrors,_lhsOoutput,_lhsOtks,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) ) -- HsTokensRoot ------------------------------------------------ {- visit 0: inherited attributes: allfields : [(Identifier,Type,Maybe (Maybe Type))] allnts : [Identifier] attrs : [(Identifier,Identifier)] con : Identifier nt : Identifier synthesized attributes: errors : Seq Error output : [HsToken] textLines : [String] usedAttrs : [(Identifier,Identifier)] usedFields : [Identifier] usedLocals : [Identifier] alternatives: alternative HsTokensRoot: child tokens : HsTokens -} -- cata sem_HsTokensRoot :: HsTokensRoot -> T_HsTokensRoot sem_HsTokensRoot (HsTokensRoot _tokens ) = (sem_HsTokensRoot_HsTokensRoot (sem_HsTokens _tokens ) ) -- semantic domain newtype T_HsTokensRoot = T_HsTokensRoot (([(Identifier,Type,Maybe (Maybe Type))]) -> ([Identifier]) -> ([(Identifier,Identifier)]) -> Identifier -> Identifier -> ( (Seq Error),([HsToken]),([String]),([(Identifier,Identifier)]),([Identifier]),([Identifier]))) data Inh_HsTokensRoot = Inh_HsTokensRoot {allfields_Inh_HsTokensRoot :: ([(Identifier,Type,Maybe (Maybe Type))]),allnts_Inh_HsTokensRoot :: ([Identifier]),attrs_Inh_HsTokensRoot :: ([(Identifier,Identifier)]),con_Inh_HsTokensRoot :: Identifier,nt_Inh_HsTokensRoot :: Identifier} data Syn_HsTokensRoot = Syn_HsTokensRoot {errors_Syn_HsTokensRoot :: (Seq Error),output_Syn_HsTokensRoot :: ([HsToken]),textLines_Syn_HsTokensRoot :: ([String]),usedAttrs_Syn_HsTokensRoot :: ([(Identifier,Identifier)]),usedFields_Syn_HsTokensRoot :: ([Identifier]),usedLocals_Syn_HsTokensRoot :: ([Identifier])} wrap_HsTokensRoot :: T_HsTokensRoot -> Inh_HsTokensRoot -> Syn_HsTokensRoot wrap_HsTokensRoot (T_HsTokensRoot sem ) (Inh_HsTokensRoot _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsInt ) = (let ( _lhsOerrors,_lhsOoutput,_lhsOtextLines,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) = sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsInt in (Syn_HsTokensRoot _lhsOerrors _lhsOoutput _lhsOtextLines _lhsOusedAttrs _lhsOusedFields _lhsOusedLocals )) sem_HsTokensRoot_HsTokensRoot :: T_HsTokens -> T_HsTokensRoot sem_HsTokensRoot_HsTokensRoot (T_HsTokens tokens_ ) = (T_HsTokensRoot (\ _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsInt -> (let _tokensOfieldnames :: ([Identifier]) _lhsOusedFields :: ([Identifier]) _lhsOtextLines :: ([String]) _lhsOerrors :: (Seq Error) _lhsOoutput :: ([HsToken]) _lhsOusedAttrs :: ([(Identifier,Identifier)]) _lhsOusedLocals :: ([Identifier]) _tokensOallfields :: ([(Identifier,Type,Maybe (Maybe Type))]) _tokensOallnts :: ([Identifier]) _tokensOattrs :: ([(Identifier,Identifier)]) _tokensOcon :: Identifier _tokensOnt :: Identifier _tokensIerrors :: (Seq Error) _tokensIoutput :: HsTokens _tokensItks :: ([(Pos,String)]) _tokensIusedAttrs :: ([(Identifier,Identifier)]) _tokensIusedFields :: (Seq Identifier) _tokensIusedLocals :: ([Identifier]) -- "SemHsTokens.ag"(line 38, column 18) _tokensOfieldnames = ({-# LINE 38 "SemHsTokens.ag" #-} map (\(n,_,_) -> n) _lhsIallfields {-# LINE 869 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 102, column 18) _lhsOusedFields = ({-# LINE 102 "SemHsTokens.ag" #-} toList _tokensIusedFields {-# LINE 875 "SemHsTokens.hs" #-} ) -- "SemHsTokens.ag"(line 109, column 18) _lhsOtextLines = ({-# LINE 109 "SemHsTokens.ag" #-} showTokens _tokensItks {-# LINE 881 "SemHsTokens.hs" #-} ) -- use rule "SemHsTokens.ag"(line 18, column 18) _lhsOerrors = ({-# LINE 18 "SemHsTokens.ag" #-} _tokensIerrors {-# LINE 887 "SemHsTokens.hs" #-} ) -- copy rule (up) _lhsOoutput = ({-# LINE 136 "SemHsTokens.ag" #-} _tokensIoutput {-# LINE 893 "SemHsTokens.hs" #-} ) -- copy rule (up) _lhsOusedAttrs = ({-# LINE 20 "SemHsTokens.ag" #-} _tokensIusedAttrs {-# LINE 899 "SemHsTokens.hs" #-} ) -- copy rule (up) _lhsOusedLocals = ({-# LINE 19 "SemHsTokens.ag" #-} _tokensIusedLocals {-# LINE 905 "SemHsTokens.hs" #-} ) -- copy rule (down) _tokensOallfields = ({-# LINE 30 "SemHsTokens.ag" #-} _lhsIallfields {-# LINE 911 "SemHsTokens.hs" #-} ) -- copy rule (down) _tokensOallnts = ({-# LINE 31 "SemHsTokens.ag" #-} _lhsIallnts {-# LINE 917 "SemHsTokens.hs" #-} ) -- copy rule (down) _tokensOattrs = ({-# LINE 32 "SemHsTokens.ag" #-} _lhsIattrs {-# LINE 923 "SemHsTokens.hs" #-} ) -- copy rule (down) _tokensOcon = ({-# LINE 29 "SemHsTokens.ag" #-} _lhsIcon {-# LINE 929 "SemHsTokens.hs" #-} ) -- copy rule (down) _tokensOnt = ({-# LINE 29 "SemHsTokens.ag" #-} _lhsInt {-# LINE 935 "SemHsTokens.hs" #-} ) ( _tokensIerrors,_tokensIoutput,_tokensItks,_tokensIusedAttrs,_tokensIusedFields,_tokensIusedLocals) = tokens_ _tokensOallfields _tokensOallnts _tokensOattrs _tokensOcon _tokensOfieldnames _tokensOnt in ( _lhsOerrors,_lhsOoutput,_lhsOtextLines,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )