uhc-light-1.1.9.2: src/UHC/Light/Compiler/Core/Trf/EraseExtractTysigCore.hs
-- UUAGC 0.9.52.1 (build/103/lib-ehc/UHC/Light/Compiler/Core/Trf/Erase)
module UHC.Light.Compiler.Core.Trf.EraseExtractTysigCore(cmodTrfEraseExtractTysigCore, cmodTrfEraseTyCore) where
import UHC.Light.Compiler.Base.HsName.Builtin
import UHC.Light.Compiler.Base.Common
import UHC.Light.Compiler.Opts
import UHC.Light.Compiler.Core
import UHC.Light.Compiler.Ty
import UHC.Light.Compiler.AbstractCore
import UHC.Light.Compiler.LamInfo
import UHC.Light.Compiler.Core.BindExtract
import Data.Maybe
import qualified Data.Map as Map
import qualified Data.Set as Set
import Control.Monad.State
type StateSel = State ([SelVal],[SelVal]) ()
-- | Return the selected, the not selected, and a function taking selected merging it back with the not selected
mkSel :: Bool -> SelVal -> ([SelVal], [SelVal], [StateSel])
mkSel isSelected boundval
| isSelected = ([boundval], [] , [modify (\(s:sel, acc) -> (sel, s :acc))])
| otherwise = ([] , [boundval], [modify (\( sel, acc) -> (sel, boundval:acc))])
cmodTrfEraseExtractTysigCore
:: EHCOpts
-> CModule
-> ( CModule
, LamMp
)
cmodTrfEraseExtractTysigCore opts cmod
= ( cTrf_Syn_CodeAGItf t
, gathLamMp_Syn_CodeAGItf t
)
where t = wrap_CodeAGItf (sem_CodeAGItf (CodeAGItf_AGItf cmod))
(Inh_CodeAGItf
{ opts_Inh_CodeAGItf = opts
, lamMp_Inh_CodeAGItf = Map.empty
})
cmodTrfEraseTyCore
:: EHCOpts
-> CModule
-> ( CModule
-- , LamMp
)
cmodTrfEraseTyCore opts cmod = fst $ cmodTrfEraseExtractTysigCore opts cmod
-- CAlt --------------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CAlt
alternatives:
alternative Alt:
child pat : CPat
child expr : CExpr
visit 0:
local cTrf : _
-}
-- cata
sem_CAlt :: CAlt ->
T_CAlt
sem_CAlt (CAlt_Alt _pat _expr) =
(sem_CAlt_Alt (sem_CPat _pat) (sem_CExpr _expr))
-- semantic domain
type T_CAlt = LamMp ->
EHCOpts ->
( CAlt)
sem_CAlt_Alt :: T_CPat ->
T_CExpr ->
T_CAlt
sem_CAlt_Alt pat_ expr_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (_lhsIopts) of
{ _patOopts | _patOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _patOlamMp | _patOlamMp `seq` (True) ->
(case (pat_ _patOlamMp _patOopts) of
{ ( _patIcTrf,_patIfldNmL) | True ->
(case (CAlt_Alt _patIcTrf _exprIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }) }) }) }) }) }) }))
-- CAltL -------------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CAltL
alternatives:
alternative Cons:
child hd : CAlt
child tl : CAltL
visit 0:
local cTrf : _
alternative Nil:
visit 0:
local cTrf : _
-}
-- cata
sem_CAltL :: CAltL ->
T_CAltL
sem_CAltL list =
(Prelude.foldr sem_CAltL_Cons sem_CAltL_Nil (Prelude.map sem_CAlt list))
-- semantic domain
type T_CAltL = LamMp ->
EHCOpts ->
( CAltL)
sem_CAltL_Cons :: T_CAlt ->
T_CAltL ->
T_CAltL
sem_CAltL_Cons hd_ tl_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts | _tlOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _tlOlamMp | _tlOlamMp `seq` (True) ->
(case (tl_ _tlOlamMp _tlOopts) of
{ ( _tlIcTrf) | True ->
(case (_lhsIopts) of
{ _hdOopts | _hdOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _hdOlamMp | _hdOlamMp `seq` (True) ->
(case (hd_ _hdOlamMp _hdOopts) of
{ ( _hdIcTrf) | True ->
(case ((:) _hdIcTrf _tlIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }) }) }) }) }) }) }))
sem_CAltL_Nil :: T_CAltL
sem_CAltL_Nil =
(\ _lhsIlamMp
_lhsIopts ->
(case ([]) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
-- CBind -------------------------------------------------------
{-
visit 0:
inherited attributes:
boundsel : BoundSel
lamMp : LamMp
opts : EHCOpts
synthesized attributes:
bindLamMp : LamMp
cBindL : [CBind]
cTrf : CBind
nm : HsName
selvalInsertYes : [SelVal] -> [SelVal]
selvalNoL : [SelVal]
selvalYesL : [SelVal]
alternatives:
alternative Bind:
child nm : {HsName}
child bindAspects : CBoundL
visit 0:
local cTrf : _
local cBindL : _
-}
-- cata
sem_CBind :: CBind ->
T_CBind
sem_CBind (CBind_Bind _nm _bindAspects) =
(sem_CBind_Bind _nm (sem_CBoundL _bindAspects))
-- semantic domain
type T_CBind = BoundSel ->
LamMp ->
EHCOpts ->
( LamMp,([CBind]),CBind,HsName,([SelVal] -> [SelVal]),([SelVal]),([SelVal]))
sem_CBind_Bind :: HsName ->
T_CBoundL ->
T_CBind
sem_CBind_Bind nm_ bindAspects_ =
(\ _lhsIboundsel
_lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _bindAspectsOopts | _bindAspectsOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _bindAspectsOlamMp | _bindAspectsOlamMp `seq` (True) ->
(case (_lhsIboundsel) of
{ _bindAspectsOboundsel | _bindAspectsOboundsel `seq` (True) ->
(case (nm_) of
{ _bindAspectsOnm | _bindAspectsOnm `seq` (True) ->
(case (bindAspects_ _bindAspectsOboundsel _bindAspectsOlamMp _bindAspectsOnm _bindAspectsOopts) of
{ ( _bindAspectsIbindLamMp,_bindAspectsIcBindL,_bindAspectsIcTrf,_bindAspectsIselvalInsertYesM,_bindAspectsIselvalNoL,_bindAspectsIselvalYesL) | True ->
(case (_bindAspectsIbindLamMp) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case (CBind_Bind nm_ _bindAspectsIselvalYesL) of
{ _cTrf | _cTrf `seq` (True) ->
(case (if null _bindAspectsIselvalYesL then [] else [_cTrf]) of
{ _cBindL | _cBindL `seq` (True) ->
(case (_cBindL) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (nm_) of
{ _lhsOnm | _lhsOnm `seq` (True) ->
(case (\sel -> reverse $ snd $ execState (sequence_ _bindAspectsIselvalInsertYesM) (sel,[])) of
{ _lhsOselvalInsertYes | _lhsOselvalInsertYes `seq` (True) ->
(case (_bindAspectsIselvalNoL) of
{ _lhsOselvalNoL | _lhsOselvalNoL `seq` (True) ->
(case (_bindAspectsIselvalYesL) of
{ _lhsOselvalYesL | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOnm,_lhsOselvalInsertYes,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CBindAnn ----------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CBindAnn
alternatives:
alternative Coe:
child coe : {()}
visit 0:
local cTrf : _
-}
-- cata
sem_CBindAnn :: CBindAnn ->
T_CBindAnn
sem_CBindAnn (CBindAnn_Coe _coe) =
(sem_CBindAnn_Coe _coe)
-- semantic domain
type T_CBindAnn = LamMp ->
EHCOpts ->
( CBindAnn)
sem_CBindAnn_Coe :: (()) ->
T_CBindAnn
sem_CBindAnn_Coe coe_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CBindAnn_Coe coe_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
-- CBindAnnL ---------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CBindAnnL
alternatives:
alternative Cons:
child hd : CBindAnn
child tl : CBindAnnL
visit 0:
local cTrf : _
alternative Nil:
visit 0:
local cTrf : _
-}
-- cata
sem_CBindAnnL :: CBindAnnL ->
T_CBindAnnL
sem_CBindAnnL list =
(Prelude.foldr sem_CBindAnnL_Cons sem_CBindAnnL_Nil (Prelude.map sem_CBindAnn list))
-- semantic domain
type T_CBindAnnL = LamMp ->
EHCOpts ->
( CBindAnnL)
sem_CBindAnnL_Cons :: T_CBindAnn ->
T_CBindAnnL ->
T_CBindAnnL
sem_CBindAnnL_Cons hd_ tl_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts | _tlOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _tlOlamMp | _tlOlamMp `seq` (True) ->
(case (tl_ _tlOlamMp _tlOopts) of
{ ( _tlIcTrf) | True ->
(case (_lhsIopts) of
{ _hdOopts | _hdOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _hdOlamMp | _hdOlamMp `seq` (True) ->
(case (hd_ _hdOlamMp _hdOopts) of
{ ( _hdIcTrf) | True ->
(case ((:) _hdIcTrf _tlIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }) }) }) }) }) }) }))
sem_CBindAnnL_Nil :: T_CBindAnnL
sem_CBindAnnL_Nil =
(\ _lhsIlamMp
_lhsIopts ->
(case ([]) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
-- CBindL ------------------------------------------------------
{-
visit 0:
inherited attributes:
boundsel : BoundSel
lamMp : LamMp
opts : EHCOpts
synthesized attributes:
bindLamMp : LamMp
cBindL : [CBind]
cTrf : CBindL
alternatives:
alternative Cons:
child hd : CBind
child tl : CBindL
visit 0:
local cTrf : _
alternative Nil:
visit 0:
local cTrf : _
-}
-- cata
sem_CBindL :: CBindL ->
T_CBindL
sem_CBindL list =
(Prelude.foldr sem_CBindL_Cons sem_CBindL_Nil (Prelude.map sem_CBind list))
-- semantic domain
type T_CBindL = BoundSel ->
LamMp ->
EHCOpts ->
( LamMp,([CBind]),CBindL)
sem_CBindL_Cons :: T_CBind ->
T_CBindL ->
T_CBindL
sem_CBindL_Cons hd_ tl_ =
(\ _lhsIboundsel
_lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts | _tlOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _tlOlamMp | _tlOlamMp `seq` (True) ->
(case (_lhsIboundsel) of
{ _tlOboundsel | _tlOboundsel `seq` (True) ->
(case (tl_ _tlOboundsel _tlOlamMp _tlOopts) of
{ ( _tlIbindLamMp,_tlIcBindL,_tlIcTrf) | True ->
(case (_lhsIopts) of
{ _hdOopts | _hdOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _hdOlamMp | _hdOlamMp `seq` (True) ->
(case (_lhsIboundsel) of
{ _hdOboundsel | _hdOboundsel `seq` (True) ->
(case (hd_ _hdOboundsel _hdOlamMp _hdOopts) of
{ ( _hdIbindLamMp,_hdIcBindL,_hdIcTrf,_hdInm,_hdIselvalInsertYes,_hdIselvalNoL,_hdIselvalYesL) | True ->
(case (_hdIbindLamMp `lamMpUnionBindAspMp` _tlIbindLamMp) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case (_hdIcBindL ++ _tlIcBindL) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case ((:) _hdIcTrf _tlIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBindL_Nil :: T_CBindL
sem_CBindL_Nil =
(\ _lhsIboundsel
_lhsIlamMp
_lhsIopts ->
(case (Map.empty) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case ([]) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case ([]) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf) }) }) }) }))
-- CBound ------------------------------------------------------
{-
visit 0:
inherited attributes:
boundsel : BoundSel
lamMp : LamMp
nm : HsName
opts : EHCOpts
synthesized attributes:
bindLamMp : LamMp
cBindL : [CBind]
cTrf : CBound
selvalInsertYesM : [StateSel]
selvalNoL : [SelVal]
selvalYesL : [SelVal]
alternatives:
alternative Bind:
child bindMeta : CMetas
child expr : CExpr
visit 0:
local cTrf : _
local boundval : _
local isSelected : _
local _tup1 : _
alternative Meta:
child aspectKeyS : {ACoreBindAspectKeyS}
child cmetas : CMetas
visit 0:
local cTrf : _
local boundval : _
local isSelected : _
local _tup2 : _
alternative Val:
child aspectKeyS : {ACoreBindAspectKeyS}
child mlev : {MetaLev}
child lbl : {CLbl}
child expr : CExpr
visit 0:
local cTrf : _
local boundval : _
local isSelected : _
local _tup3 : _
alternative Ty:
child aspectKeyS : {ACoreBindAspectKeyS}
child ty : {Ty}
visit 0:
local cTrf : _
local boundval : _
local isSelected : _
local _tup4 : _
alternative FFE:
child callconv : {FFIWay}
child expEnt : {ForeignEnt}
child expr : CExpr
child ty : {Ty}
visit 0:
local cTrf : _
local boundval : _
local isSelected : _
local _tup5 : _
-}
-- cata
sem_CBound :: CBound ->
T_CBound
sem_CBound (CBound_Bind _bindMeta _expr) =
(sem_CBound_Bind (sem_CMetas _bindMeta) (sem_CExpr _expr))
sem_CBound (CBound_Meta _aspectKeyS _cmetas) =
(sem_CBound_Meta _aspectKeyS (sem_CMetas _cmetas))
sem_CBound (CBound_Val _aspectKeyS _mlev _lbl _expr) =
(sem_CBound_Val _aspectKeyS _mlev _lbl (sem_CExpr _expr))
sem_CBound (CBound_Ty _aspectKeyS _ty) =
(sem_CBound_Ty _aspectKeyS _ty)
sem_CBound (CBound_FFE _callconv _expEnt _expr _ty) =
(sem_CBound_FFE _callconv _expEnt (sem_CExpr _expr) _ty)
-- semantic domain
type T_CBound = BoundSel ->
LamMp ->
HsName ->
EHCOpts ->
( LamMp,([CBind]),CBound,([StateSel]),([SelVal]),([SelVal]))
sem_CBound_Bind :: T_CMetas ->
T_CExpr ->
T_CBound
sem_CBound_Bind bindMeta_ expr_ =
(\ _lhsIboundsel
_lhsIlamMp
_lhsInm
_lhsIopts ->
(case (Map.empty) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case ([]) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (_lhsIopts) of
{ _bindMetaOopts | _bindMetaOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _bindMetaOlamMp | _bindMetaOlamMp `seq` (True) ->
(case (bindMeta_ _bindMetaOlamMp _bindMetaOopts) of
{ ( _bindMetaIcTrf) | True ->
(case (CBound_Bind _bindMetaIcTrf _exprIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_cTrf) of
{ _boundval | _boundval `seq` (True) ->
(case (selBind _lhsIboundsel) of
{ _isSelected | _isSelected `seq` (True) ->
(case (mkSel _isSelected _boundval) of
{ __tup1 | __tup1 `seq` (True) ->
(case (__tup1) of
{ (_,_,_lhsOselvalInsertYesM) | _lhsOselvalInsertYesM `seq` (True) ->
(case (__tup1) of
{ (_,_lhsOselvalNoL,_) | _lhsOselvalNoL `seq` (True) ->
(case (__tup1) of
{ (_lhsOselvalYesL,_,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOselvalInsertYesM,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBound_Meta :: ACoreBindAspectKeyS ->
T_CMetas ->
T_CBound
sem_CBound_Meta aspectKeyS_ cmetas_ =
(\ _lhsIboundsel
_lhsIlamMp
_lhsInm
_lhsIopts ->
(case (Map.empty) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case ([]) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case (_lhsIopts) of
{ _cmetasOopts | _cmetasOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _cmetasOlamMp | _cmetasOlamMp `seq` (True) ->
(case (cmetas_ _cmetasOlamMp _cmetasOopts) of
{ ( _cmetasIcTrf) | True ->
(case (CBound_Meta aspectKeyS_ _cmetasIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_cTrf) of
{ _boundval | _boundval `seq` (True) ->
(case (selMeta _lhsIboundsel aspectKeyS_) of
{ _isSelected | _isSelected `seq` (True) ->
(case (mkSel _isSelected _boundval) of
{ __tup2 | __tup2 `seq` (True) ->
(case (__tup2) of
{ (_,_,_lhsOselvalInsertYesM) | _lhsOselvalInsertYesM `seq` (True) ->
(case (__tup2) of
{ (_,_lhsOselvalNoL,_) | _lhsOselvalNoL `seq` (True) ->
(case (__tup2) of
{ (_lhsOselvalYesL,_,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOselvalInsertYesM,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBound_Val :: ACoreBindAspectKeyS ->
MetaLev ->
CLbl ->
T_CExpr ->
T_CBound
sem_CBound_Val aspectKeyS_ mlev_ lbl_ expr_ =
(\ _lhsIboundsel
_lhsIlamMp
_lhsInm
_lhsIopts ->
(case (Map.empty) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case ([]) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (CBound_Val aspectKeyS_ mlev_ lbl_ _exprIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_cTrf) of
{ _boundval | _boundval `seq` (True) ->
(case (selVal _lhsIboundsel aspectKeyS_ mlev_ lbl_) of
{ _isSelected | _isSelected `seq` (True) ->
(case (mkSel _isSelected _boundval) of
{ __tup3 | __tup3 `seq` (True) ->
(case (__tup3) of
{ (_,_,_lhsOselvalInsertYesM) | _lhsOselvalInsertYesM `seq` (True) ->
(case (__tup3) of
{ (_,_lhsOselvalNoL,_) | _lhsOselvalNoL `seq` (True) ->
(case (__tup3) of
{ (_lhsOselvalYesL,_,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOselvalInsertYesM,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBound_Ty :: ACoreBindAspectKeyS ->
Ty ->
T_CBound
sem_CBound_Ty aspectKeyS_ ty_ =
(\ _lhsIboundsel
_lhsIlamMp
_lhsInm
_lhsIopts ->
(case (Map.empty) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case ([]) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case (CBound_Ty aspectKeyS_ ty_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_cTrf) of
{ _boundval | _boundval `seq` (True) ->
(case (selTy _lhsIboundsel aspectKeyS_) of
{ _isSelected | _isSelected `seq` (True) ->
(case (mkSel _isSelected _boundval) of
{ __tup4 | __tup4 `seq` (True) ->
(case (__tup4) of
{ (_,_,_lhsOselvalInsertYesM) | _lhsOselvalInsertYesM `seq` (True) ->
(case (__tup4) of
{ (_,_lhsOselvalNoL,_) | _lhsOselvalNoL `seq` (True) ->
(case (__tup4) of
{ (_lhsOselvalYesL,_,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOselvalInsertYesM,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }))
sem_CBound_FFE :: FFIWay ->
ForeignEnt ->
T_CExpr ->
Ty ->
T_CBound
sem_CBound_FFE callconv_ expEnt_ expr_ ty_ =
(\ _lhsIboundsel
_lhsIlamMp
_lhsInm
_lhsIopts ->
(case (Map.empty) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case ([]) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (CBound_FFE callconv_ expEnt_ _exprIcTrf ty_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_cTrf) of
{ _boundval | _boundval `seq` (True) ->
(case (selFFE _lhsIboundsel) of
{ _isSelected | _isSelected `seq` (True) ->
(case (mkSel _isSelected _boundval) of
{ __tup5 | __tup5 `seq` (True) ->
(case (__tup5) of
{ (_,_,_lhsOselvalInsertYesM) | _lhsOselvalInsertYesM `seq` (True) ->
(case (__tup5) of
{ (_,_lhsOselvalNoL,_) | _lhsOselvalNoL `seq` (True) ->
(case (__tup5) of
{ (_lhsOselvalYesL,_,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOselvalInsertYesM,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CBoundL -----------------------------------------------------
{-
visit 0:
inherited attributes:
boundsel : BoundSel
lamMp : LamMp
nm : HsName
opts : EHCOpts
synthesized attributes:
bindLamMp : LamMp
cBindL : [CBind]
cTrf : CBoundL
selvalInsertYesM : [StateSel]
selvalNoL : [SelVal]
selvalYesL : [SelVal]
alternatives:
alternative Cons:
child hd : CBound
child tl : CBoundL
visit 0:
local cTrf : _
alternative Nil:
visit 0:
local cTrf : _
-}
-- cata
sem_CBoundL :: CBoundL ->
T_CBoundL
sem_CBoundL list =
(Prelude.foldr sem_CBoundL_Cons sem_CBoundL_Nil (Prelude.map sem_CBound list))
-- semantic domain
type T_CBoundL = BoundSel ->
LamMp ->
HsName ->
EHCOpts ->
( LamMp,([CBind]),CBoundL,([StateSel]),([SelVal]),([SelVal]))
sem_CBoundL_Cons :: T_CBound ->
T_CBoundL ->
T_CBoundL
sem_CBoundL_Cons hd_ tl_ =
(\ _lhsIboundsel
_lhsIlamMp
_lhsInm
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts | _tlOopts `seq` (True) ->
(case (_lhsInm) of
{ _tlOnm | _tlOnm `seq` (True) ->
(case (_lhsIlamMp) of
{ _tlOlamMp | _tlOlamMp `seq` (True) ->
(case (_lhsIboundsel) of
{ _tlOboundsel | _tlOboundsel `seq` (True) ->
(case (tl_ _tlOboundsel _tlOlamMp _tlOnm _tlOopts) of
{ ( _tlIbindLamMp,_tlIcBindL,_tlIcTrf,_tlIselvalInsertYesM,_tlIselvalNoL,_tlIselvalYesL) | True ->
(case (_lhsIopts) of
{ _hdOopts | _hdOopts `seq` (True) ->
(case (_lhsInm) of
{ _hdOnm | _hdOnm `seq` (True) ->
(case (_lhsIlamMp) of
{ _hdOlamMp | _hdOlamMp `seq` (True) ->
(case (_lhsIboundsel) of
{ _hdOboundsel | _hdOboundsel `seq` (True) ->
(case (hd_ _hdOboundsel _hdOlamMp _hdOnm _hdOopts) of
{ ( _hdIbindLamMp,_hdIcBindL,_hdIcTrf,_hdIselvalInsertYesM,_hdIselvalNoL,_hdIselvalYesL) | True ->
(case (_hdIbindLamMp `lamMpUnionBindAspMp` _tlIbindLamMp) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case (_hdIcBindL ++ _tlIcBindL) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case ((:) _hdIcTrf _tlIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_hdIselvalInsertYesM ++ _tlIselvalInsertYesM) of
{ _lhsOselvalInsertYesM | _lhsOselvalInsertYesM `seq` (True) ->
(case (_hdIselvalNoL ++ _tlIselvalNoL) of
{ _lhsOselvalNoL | _lhsOselvalNoL `seq` (True) ->
(case (_hdIselvalYesL ++ _tlIselvalYesL) of
{ _lhsOselvalYesL | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOselvalInsertYesM,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBoundL_Nil :: T_CBoundL
sem_CBoundL_Nil =
(\ _lhsIboundsel
_lhsIlamMp
_lhsInm
_lhsIopts ->
(case (Map.empty) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case ([]) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case ([]) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case ([]) of
{ _lhsOselvalInsertYesM | _lhsOselvalInsertYesM `seq` (True) ->
(case ([]) of
{ _lhsOselvalNoL | _lhsOselvalNoL `seq` (True) ->
(case ([]) of
{ _lhsOselvalYesL | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOselvalInsertYesM,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }))
-- CDataCon ----------------------------------------------------
{-
visit 0:
synthesized attribute:
cTrf : CDataCon
alternatives:
alternative Con:
child conNm : {HsName}
child tagNr : {Int}
child arity : {Int}
visit 0:
local cTrf : _
-}
-- cata
sem_CDataCon :: CDataCon ->
T_CDataCon
sem_CDataCon (CDataCon_Con _conNm _tagNr _arity) =
(sem_CDataCon_Con _conNm _tagNr _arity)
-- semantic domain
type T_CDataCon = ( CDataCon)
sem_CDataCon_Con :: HsName ->
Int ->
Int ->
T_CDataCon
sem_CDataCon_Con conNm_ tagNr_ arity_ =
(case (CDataCon_Con conNm_ tagNr_ arity_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) })
-- CDataConL ---------------------------------------------------
{-
visit 0:
synthesized attribute:
cTrf : CDataConL
alternatives:
alternative Cons:
child hd : CDataCon
child tl : CDataConL
visit 0:
local cTrf : _
alternative Nil:
visit 0:
local cTrf : _
-}
-- cata
sem_CDataConL :: CDataConL ->
T_CDataConL
sem_CDataConL list =
(Prelude.foldr sem_CDataConL_Cons sem_CDataConL_Nil (Prelude.map sem_CDataCon list))
-- semantic domain
type T_CDataConL = ( CDataConL)
sem_CDataConL_Cons :: T_CDataCon ->
T_CDataConL ->
T_CDataConL
sem_CDataConL_Cons hd_ tl_ =
(case (tl_) of
{ ( _tlIcTrf) | True ->
(case (hd_) of
{ ( _hdIcTrf) | True ->
(case ((:) _hdIcTrf _tlIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }) }) })
sem_CDataConL_Nil :: T_CDataConL
sem_CDataConL_Nil =
(case ([]) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) })
-- CDeclMeta ---------------------------------------------------
{-
visit 0:
synthesized attribute:
cTrf : CDeclMeta
alternatives:
alternative Data:
child tyNm : {HsName}
child dataCons : CDataConL
visit 0:
local cTrf : _
-}
-- cata
sem_CDeclMeta :: CDeclMeta ->
T_CDeclMeta
sem_CDeclMeta (CDeclMeta_Data _tyNm _dataCons) =
(sem_CDeclMeta_Data _tyNm (sem_CDataConL _dataCons))
-- semantic domain
type T_CDeclMeta = ( CDeclMeta)
sem_CDeclMeta_Data :: HsName ->
T_CDataConL ->
T_CDeclMeta
sem_CDeclMeta_Data tyNm_ dataCons_ =
(case (dataCons_) of
{ ( _dataConsIcTrf) | True ->
(case (CDeclMeta_Data tyNm_ _dataConsIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }) })
-- CDeclMetaL --------------------------------------------------
{-
visit 0:
synthesized attribute:
cTrf : CDeclMetaL
alternatives:
alternative Cons:
child hd : CDeclMeta
child tl : CDeclMetaL
visit 0:
local cTrf : _
alternative Nil:
visit 0:
local cTrf : _
-}
-- cata
sem_CDeclMetaL :: CDeclMetaL ->
T_CDeclMetaL
sem_CDeclMetaL list =
(Prelude.foldr sem_CDeclMetaL_Cons sem_CDeclMetaL_Nil (Prelude.map sem_CDeclMeta list))
-- semantic domain
type T_CDeclMetaL = ( CDeclMetaL)
sem_CDeclMetaL_Cons :: T_CDeclMeta ->
T_CDeclMetaL ->
T_CDeclMetaL
sem_CDeclMetaL_Cons hd_ tl_ =
(case (tl_) of
{ ( _tlIcTrf) | True ->
(case (hd_) of
{ ( _hdIcTrf) | True ->
(case ((:) _hdIcTrf _tlIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }) }) })
sem_CDeclMetaL_Nil :: T_CDeclMetaL
sem_CDeclMetaL_Nil =
(case ([]) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) })
-- CExport -----------------------------------------------------
{-
visit 0:
synthesized attribute:
cTrf : CExport
alternatives:
alternative Export:
child nm : {HsName}
visit 0:
local cTrf : _
alternative ExportData:
child nm : {HsName}
child mbConNmL : {Maybe [HsName]}
visit 0:
local cTrf : _
-}
-- cata
sem_CExport :: CExport ->
T_CExport
sem_CExport (CExport_Export _nm) =
(sem_CExport_Export _nm)
sem_CExport (CExport_ExportData _nm _mbConNmL) =
(sem_CExport_ExportData _nm _mbConNmL)
-- semantic domain
type T_CExport = ( CExport)
sem_CExport_Export :: HsName ->
T_CExport
sem_CExport_Export nm_ =
(case (CExport_Export nm_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) })
sem_CExport_ExportData :: HsName ->
(Maybe [HsName]) ->
T_CExport
sem_CExport_ExportData nm_ mbConNmL_ =
(case (CExport_ExportData nm_ mbConNmL_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) })
-- CExportL ----------------------------------------------------
{-
visit 0:
synthesized attribute:
cTrf : CExportL
alternatives:
alternative Cons:
child hd : CExport
child tl : CExportL
visit 0:
local cTrf : _
alternative Nil:
visit 0:
local cTrf : _
-}
-- cata
sem_CExportL :: CExportL ->
T_CExportL
sem_CExportL list =
(Prelude.foldr sem_CExportL_Cons sem_CExportL_Nil (Prelude.map sem_CExport list))
-- semantic domain
type T_CExportL = ( CExportL)
sem_CExportL_Cons :: T_CExport ->
T_CExportL ->
T_CExportL
sem_CExportL_Cons hd_ tl_ =
(case (tl_) of
{ ( _tlIcTrf) | True ->
(case (hd_) of
{ ( _hdIcTrf) | True ->
(case ((:) _hdIcTrf _tlIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }) }) })
sem_CExportL_Nil :: T_CExportL
sem_CExportL_Nil =
(case ([]) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) })
-- CExpr -------------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attributes:
cTrf : CExpr
gathLamMp : LamMp
alternatives:
alternative Var:
child ref : {ACoreBindRef}
visit 0:
local cTrf : _
alternative Int:
child int : {Int}
visit 0:
local cTrf : _
alternative Char:
child char : {Char}
visit 0:
local cTrf : _
alternative String:
child str : {String}
visit 0:
local cTrf : _
alternative Integer:
child integer : {Integer}
visit 0:
local cTrf : _
alternative Tup:
child tag : {CTag}
visit 0:
local cTrf : _
alternative Let:
child categ : {CBindCateg}
child binds : CBindL
child body : CExpr
alternative App:
child func : CExpr
child arg : CBound
visit 0:
local cTrf : _
alternative Lam:
child bind : CBind
child body : CExpr
visit 0:
local argNm : _
local cTrf : _
alternative Case:
child expr : CExpr
child alts : CAltL
child dflt : CExpr
visit 0:
local cTrf : _
alternative CaseAltFail:
child failReason : {CaseAltFailReason}
child errorExpr : CExpr
visit 0:
local cTrf : _
alternative TupDel:
child expr : CExpr
child tag : {CTag}
child nm : {HsName}
child offset : CExpr
visit 0:
local cTrf : _
alternative TupIns:
child expr : CExpr
child tag : {CTag}
child nm : {HsName}
child offset : CExpr
child fldExpr : CExpr
visit 0:
local cTrf : _
alternative TupUpd:
child expr : CExpr
child tag : {CTag}
child nm : {HsName}
child offset : CExpr
child fldExpr : CExpr
visit 0:
local cTrf : _
alternative FFI:
child callconv : {FFIWay}
child safety : {String}
child impEnt : {ForeignEnt}
child ty : {Ty}
visit 0:
local cTrf : _
alternative Dbg:
child info : {String}
visit 0:
local cTrf : _
alternative Hole:
child uid : {UID}
visit 0:
local cTrf : _
alternative HoleLet:
child bindsUid : {UID}
child body : CExpr
visit 0:
local cTrf : _
alternative CoeArg:
visit 0:
local cTrf : _
alternative ImplsApp:
child func : CExpr
child uid : {ImplsVarId}
visit 0:
local cTrf : _
alternative ImplsLam:
child uid : {ImplsVarId}
child body : CExpr
visit 0:
local cTrf : _
alternative Ann:
child ann : CExprAnn
child expr : CExpr
visit 0:
local cTrf : _
-}
-- cata
sem_CExpr :: CExpr ->
T_CExpr
sem_CExpr (CExpr_Var _ref) =
(sem_CExpr_Var _ref)
sem_CExpr (CExpr_Int _int) =
(sem_CExpr_Int _int)
sem_CExpr (CExpr_Char _char) =
(sem_CExpr_Char _char)
sem_CExpr (CExpr_String _str) =
(sem_CExpr_String _str)
sem_CExpr (CExpr_Integer _integer) =
(sem_CExpr_Integer _integer)
sem_CExpr (CExpr_Tup _tag) =
(sem_CExpr_Tup _tag)
sem_CExpr (CExpr_Let _categ _binds _body) =
(sem_CExpr_Let _categ (sem_CBindL _binds) (sem_CExpr _body))
sem_CExpr (CExpr_App _func _arg) =
(sem_CExpr_App (sem_CExpr _func) (sem_CBound _arg))
sem_CExpr (CExpr_Lam _bind _body) =
(sem_CExpr_Lam (sem_CBind _bind) (sem_CExpr _body))
sem_CExpr (CExpr_Case _expr _alts _dflt) =
(sem_CExpr_Case (sem_CExpr _expr) (sem_CAltL _alts) (sem_CExpr _dflt))
sem_CExpr (CExpr_CaseAltFail _failReason _errorExpr) =
(sem_CExpr_CaseAltFail _failReason (sem_CExpr _errorExpr))
sem_CExpr (CExpr_TupDel _expr _tag _nm _offset) =
(sem_CExpr_TupDel (sem_CExpr _expr) _tag _nm (sem_CExpr _offset))
sem_CExpr (CExpr_TupIns _expr _tag _nm _offset _fldExpr) =
(sem_CExpr_TupIns (sem_CExpr _expr) _tag _nm (sem_CExpr _offset) (sem_CExpr _fldExpr))
sem_CExpr (CExpr_TupUpd _expr _tag _nm _offset _fldExpr) =
(sem_CExpr_TupUpd (sem_CExpr _expr) _tag _nm (sem_CExpr _offset) (sem_CExpr _fldExpr))
sem_CExpr (CExpr_FFI _callconv _safety _impEnt _ty) =
(sem_CExpr_FFI _callconv _safety _impEnt _ty)
sem_CExpr (CExpr_Dbg _info) =
(sem_CExpr_Dbg _info)
sem_CExpr (CExpr_Hole _uid) =
(sem_CExpr_Hole _uid)
sem_CExpr (CExpr_HoleLet _bindsUid _body) =
(sem_CExpr_HoleLet _bindsUid (sem_CExpr _body))
sem_CExpr (CExpr_CoeArg) =
(sem_CExpr_CoeArg)
sem_CExpr (CExpr_ImplsApp _func _uid) =
(sem_CExpr_ImplsApp (sem_CExpr _func) _uid)
sem_CExpr (CExpr_ImplsLam _uid _body) =
(sem_CExpr_ImplsLam _uid (sem_CExpr _body))
sem_CExpr (CExpr_Ann _ann _expr) =
(sem_CExpr_Ann (sem_CExprAnn _ann) (sem_CExpr _expr))
-- semantic domain
type T_CExpr = LamMp ->
EHCOpts ->
( CExpr,LamMp)
sem_CExpr_Var :: ACoreBindRef ->
T_CExpr
sem_CExpr_Var ref_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_Var ref_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_Int :: Int ->
T_CExpr
sem_CExpr_Int int_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_Int int_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_Char :: Char ->
T_CExpr
sem_CExpr_Char char_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_Char char_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_String :: String ->
T_CExpr
sem_CExpr_String str_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_String str_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_Integer :: Integer ->
T_CExpr
sem_CExpr_Integer integer_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_Integer integer_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_Tup :: CTag ->
T_CExpr
sem_CExpr_Tup tag_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_Tup tag_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_Let :: CBindCateg ->
T_CBindL ->
T_CExpr ->
T_CExpr
sem_CExpr_Let categ_ binds_ body_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (boundSelMetaLev0) of
{ _bindsOboundsel | _bindsOboundsel `seq` (True) ->
(case (_lhsIopts) of
{ _bodyOopts | _bodyOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _bodyOlamMp | _bodyOlamMp `seq` (True) ->
(case (body_ _bodyOlamMp _bodyOopts) of
{ ( _bodyIcTrf,_bodyIgathLamMp) | True ->
(case (_lhsIopts) of
{ _bindsOopts | _bindsOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _bindsOlamMp | _bindsOlamMp `seq` (True) ->
(case (binds_ _bindsOboundsel _bindsOlamMp _bindsOopts) of
{ ( _bindsIbindLamMp,_bindsIcBindL,_bindsIcTrf) | True ->
(case (if null _bindsIcBindL then _bodyIcTrf else CExpr_Let categ_ _bindsIcBindL _bodyIcTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_bindsIbindLamMp `Map.union` _bodyIgathLamMp) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }) }))
sem_CExpr_App :: T_CExpr ->
T_CBound ->
T_CExpr
sem_CExpr_App func_ arg_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _argOopts | _argOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _argOlamMp | _argOlamMp `seq` (True) ->
(case (boundSelMetaLev0) of
{ _argOboundsel | _argOboundsel `seq` (True) ->
(case (hsnUnknown) of
{ _argOnm | _argOnm `seq` (True) ->
(case (arg_ _argOboundsel _argOlamMp _argOnm _argOopts) of
{ ( _argIbindLamMp,_argIcBindL,_argIcTrf,_argIselvalInsertYesM,_argIselvalNoL,_argIselvalYesL) | True ->
(case (_lhsIopts) of
{ _funcOopts | _funcOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _funcOlamMp | _funcOlamMp `seq` (True) ->
(case (func_ _funcOlamMp _funcOopts) of
{ ( _funcIcTrf,_funcIgathLamMp) | True ->
(case (CExpr_App _funcIcTrf _argIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (if null _argIselvalYesL then _funcIcTrf else _cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_Lam :: T_CBind ->
T_CExpr ->
T_CExpr
sem_CExpr_Lam bind_ body_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (boundSelMetaLev01) of
{ _bindOboundsel | _bindOboundsel `seq` (True) ->
(case (_lhsIopts) of
{ _bodyOopts | _bodyOopts `seq` (True) ->
(case (_lhsIopts) of
{ _bindOopts | _bindOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _bindOlamMp | _bindOlamMp `seq` (True) ->
(case (bind_ _bindOboundsel _bindOlamMp _bindOopts) of
{ ( _bindIbindLamMp,_bindIcBindL,_bindIcTrf,_bindInm,_bindIselvalInsertYes,_bindIselvalNoL,_bindIselvalYesL) | True ->
(case (_bindInm) of
{ _argNm | _argNm `seq` (True) ->
(case (Map.delete _argNm _lhsIlamMp) of
{ _bodyOlamMp | _bodyOlamMp `seq` (True) ->
(case (body_ _bodyOlamMp _bodyOopts) of
{ ( _bodyIcTrf,_bodyIgathLamMp) | True ->
(case (CExpr_Lam _bindIcTrf _bodyIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (if null _bindIselvalYesL
then if null _bindIselvalNoL
then _cTrf
else _bodyIcTrf
else CExpr_Lam (CBind_Bind _argNm _bindIselvalNoL) _bodyIcTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_Case :: T_CExpr ->
T_CAltL ->
T_CExpr ->
T_CExpr
sem_CExpr_Case expr_ alts_ dflt_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _dfltOopts | _dfltOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _dfltOlamMp | _dfltOlamMp `seq` (True) ->
(case (dflt_ _dfltOlamMp _dfltOopts) of
{ ( _dfltIcTrf,_dfltIgathLamMp) | True ->
(case (_lhsIopts) of
{ _altsOopts | _altsOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _altsOlamMp | _altsOlamMp `seq` (True) ->
(case (alts_ _altsOlamMp _altsOopts) of
{ ( _altsIcTrf) | True ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (CExpr_Case _exprIcTrf _altsIcTrf _dfltIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_CaseAltFail :: CaseAltFailReason ->
T_CExpr ->
T_CExpr
sem_CExpr_CaseAltFail failReason_ errorExpr_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _errorExprOopts | _errorExprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _errorExprOlamMp | _errorExprOlamMp `seq` (True) ->
(case (errorExpr_ _errorExprOlamMp _errorExprOopts) of
{ ( _errorExprIcTrf,_errorExprIgathLamMp) | True ->
(case (CExpr_CaseAltFail failReason_ _errorExprIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_errorExprIgathLamMp) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }))
sem_CExpr_TupDel :: T_CExpr ->
CTag ->
HsName ->
T_CExpr ->
T_CExpr
sem_CExpr_TupDel expr_ tag_ nm_ offset_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _offsetOopts | _offsetOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _offsetOlamMp | _offsetOlamMp `seq` (True) ->
(case (offset_ _offsetOlamMp _offsetOopts) of
{ ( _offsetIcTrf,_offsetIgathLamMp) | True ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (CExpr_TupDel _exprIcTrf tag_ nm_ _offsetIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }) }))
sem_CExpr_TupIns :: T_CExpr ->
CTag ->
HsName ->
T_CExpr ->
T_CExpr ->
T_CExpr
sem_CExpr_TupIns expr_ tag_ nm_ offset_ fldExpr_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _fldExprOopts | _fldExprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _fldExprOlamMp | _fldExprOlamMp `seq` (True) ->
(case (fldExpr_ _fldExprOlamMp _fldExprOopts) of
{ ( _fldExprIcTrf,_fldExprIgathLamMp) | True ->
(case (_lhsIopts) of
{ _offsetOopts | _offsetOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _offsetOlamMp | _offsetOlamMp `seq` (True) ->
(case (offset_ _offsetOlamMp _offsetOopts) of
{ ( _offsetIcTrf,_offsetIgathLamMp) | True ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (CExpr_TupIns _exprIcTrf tag_ nm_ _offsetIcTrf _fldExprIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_TupUpd :: T_CExpr ->
CTag ->
HsName ->
T_CExpr ->
T_CExpr ->
T_CExpr
sem_CExpr_TupUpd expr_ tag_ nm_ offset_ fldExpr_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _fldExprOopts | _fldExprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _fldExprOlamMp | _fldExprOlamMp `seq` (True) ->
(case (fldExpr_ _fldExprOlamMp _fldExprOopts) of
{ ( _fldExprIcTrf,_fldExprIgathLamMp) | True ->
(case (_lhsIopts) of
{ _offsetOopts | _offsetOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _offsetOlamMp | _offsetOlamMp `seq` (True) ->
(case (offset_ _offsetOlamMp _offsetOopts) of
{ ( _offsetIcTrf,_offsetIgathLamMp) | True ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (CExpr_TupUpd _exprIcTrf tag_ nm_ _offsetIcTrf _fldExprIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_FFI :: FFIWay ->
String ->
ForeignEnt ->
Ty ->
T_CExpr
sem_CExpr_FFI callconv_ safety_ impEnt_ ty_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_FFI callconv_ safety_ impEnt_ ty_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_Dbg :: String ->
T_CExpr
sem_CExpr_Dbg info_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_Dbg info_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_Hole :: UID ->
T_CExpr
sem_CExpr_Hole uid_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_Hole uid_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_HoleLet :: UID ->
T_CExpr ->
T_CExpr
sem_CExpr_HoleLet bindsUid_ body_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _bodyOopts | _bodyOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _bodyOlamMp | _bodyOlamMp `seq` (True) ->
(case (body_ _bodyOlamMp _bodyOopts) of
{ ( _bodyIcTrf,_bodyIgathLamMp) | True ->
(case (CExpr_HoleLet bindsUid_ _bodyIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }))
sem_CExpr_CoeArg :: T_CExpr
sem_CExpr_CoeArg =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExpr_CoeArg) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }))
sem_CExpr_ImplsApp :: T_CExpr ->
ImplsVarId ->
T_CExpr
sem_CExpr_ImplsApp func_ uid_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _funcOopts | _funcOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _funcOlamMp | _funcOlamMp `seq` (True) ->
(case (func_ _funcOlamMp _funcOopts) of
{ ( _funcIcTrf,_funcIgathLamMp) | True ->
(case (CExpr_ImplsApp _funcIcTrf uid_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }))
sem_CExpr_ImplsLam :: ImplsVarId ->
T_CExpr ->
T_CExpr
sem_CExpr_ImplsLam uid_ body_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _bodyOopts | _bodyOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _bodyOlamMp | _bodyOlamMp `seq` (True) ->
(case (body_ _bodyOlamMp _bodyOopts) of
{ ( _bodyIcTrf,_bodyIgathLamMp) | True ->
(case (CExpr_ImplsLam uid_ _bodyIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (Map.empty) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }))
sem_CExpr_Ann :: T_CExprAnn ->
T_CExpr ->
T_CExpr
sem_CExpr_Ann ann_ expr_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (_lhsIopts) of
{ _annOopts | _annOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _annOlamMp | _annOlamMp `seq` (True) ->
(case (ann_ _annOlamMp _annOopts) of
{ ( _annIcTrf) | True ->
(case (CExpr_Ann _annIcTrf _exprIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_exprIgathLamMp) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }) }))
-- CExprAnn ----------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CExprAnn
alternatives:
alternative Ty:
child ty : {Ty}
visit 0:
local cTrf : _
alternative Debug:
child info : {String}
visit 0:
local cTrf : _
-}
-- cata
sem_CExprAnn :: CExprAnn ->
T_CExprAnn
sem_CExprAnn (CExprAnn_Ty _ty) =
(sem_CExprAnn_Ty _ty)
sem_CExprAnn (CExprAnn_Debug _info) =
(sem_CExprAnn_Debug _info)
-- semantic domain
type T_CExprAnn = LamMp ->
EHCOpts ->
( CExprAnn)
sem_CExprAnn_Ty :: Ty ->
T_CExprAnn
sem_CExprAnn_Ty ty_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExprAnn_Ty ty_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
sem_CExprAnn_Debug :: String ->
T_CExprAnn
sem_CExprAnn_Debug info_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExprAnn_Debug info_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
-- CImport -----------------------------------------------------
{-
visit 0:
synthesized attribute:
cTrf : CImport
alternatives:
alternative Import:
child nm : {HsName}
visit 0:
local cTrf : _
-}
-- cata
sem_CImport :: CImport ->
T_CImport
sem_CImport (CImport_Import _nm) =
(sem_CImport_Import _nm)
-- semantic domain
type T_CImport = ( CImport)
sem_CImport_Import :: HsName ->
T_CImport
sem_CImport_Import nm_ =
(case (CImport_Import nm_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) })
-- CImportL ----------------------------------------------------
{-
visit 0:
synthesized attribute:
cTrf : CImportL
alternatives:
alternative Cons:
child hd : CImport
child tl : CImportL
visit 0:
local cTrf : _
alternative Nil:
visit 0:
local cTrf : _
-}
-- cata
sem_CImportL :: CImportL ->
T_CImportL
sem_CImportL list =
(Prelude.foldr sem_CImportL_Cons sem_CImportL_Nil (Prelude.map sem_CImport list))
-- semantic domain
type T_CImportL = ( CImportL)
sem_CImportL_Cons :: T_CImport ->
T_CImportL ->
T_CImportL
sem_CImportL_Cons hd_ tl_ =
(case (tl_) of
{ ( _tlIcTrf) | True ->
(case (hd_) of
{ ( _hdIcTrf) | True ->
(case ((:) _hdIcTrf _tlIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }) }) })
sem_CImportL_Nil :: T_CImportL
sem_CImportL_Nil =
(case ([]) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) })
-- CMetaBind ---------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CMetaBind
alternatives:
alternative Plain:
visit 0:
local cTrf : _
alternative Function0:
visit 0:
local cTrf : _
alternative Function1:
visit 0:
local cTrf : _
alternative Apply0:
visit 0:
local cTrf : _
-}
-- cata
sem_CMetaBind :: CMetaBind ->
T_CMetaBind
sem_CMetaBind (CMetaBind_Plain) =
(sem_CMetaBind_Plain)
sem_CMetaBind (CMetaBind_Function0) =
(sem_CMetaBind_Function0)
sem_CMetaBind (CMetaBind_Function1) =
(sem_CMetaBind_Function1)
sem_CMetaBind (CMetaBind_Apply0) =
(sem_CMetaBind_Apply0)
-- semantic domain
type T_CMetaBind = LamMp ->
EHCOpts ->
( CMetaBind)
sem_CMetaBind_Plain :: T_CMetaBind
sem_CMetaBind_Plain =
(\ _lhsIlamMp
_lhsIopts ->
(case (CMetaBind_Plain) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
sem_CMetaBind_Function0 :: T_CMetaBind
sem_CMetaBind_Function0 =
(\ _lhsIlamMp
_lhsIopts ->
(case (CMetaBind_Function0) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
sem_CMetaBind_Function1 :: T_CMetaBind
sem_CMetaBind_Function1 =
(\ _lhsIlamMp
_lhsIopts ->
(case (CMetaBind_Function1) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
sem_CMetaBind_Apply0 :: T_CMetaBind
sem_CMetaBind_Apply0 =
(\ _lhsIlamMp
_lhsIopts ->
(case (CMetaBind_Apply0) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
-- CMetaVal ----------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CMetaVal
alternatives:
alternative Val:
visit 0:
local cTrf : _
alternative Dict:
visit 0:
local cTrf : _
alternative DictClass:
child tracks : {[Track]}
visit 0:
local cTrf : _
alternative DictInstance:
child tracks : {[Track]}
visit 0:
local cTrf : _
alternative Track:
child track : {Track}
visit 0:
local cTrf : _
-}
-- cata
sem_CMetaVal :: CMetaVal ->
T_CMetaVal
sem_CMetaVal (CMetaVal_Val) =
(sem_CMetaVal_Val)
sem_CMetaVal (CMetaVal_Dict) =
(sem_CMetaVal_Dict)
sem_CMetaVal (CMetaVal_DictClass _tracks) =
(sem_CMetaVal_DictClass _tracks)
sem_CMetaVal (CMetaVal_DictInstance _tracks) =
(sem_CMetaVal_DictInstance _tracks)
sem_CMetaVal (CMetaVal_Track _track) =
(sem_CMetaVal_Track _track)
-- semantic domain
type T_CMetaVal = LamMp ->
EHCOpts ->
( CMetaVal)
sem_CMetaVal_Val :: T_CMetaVal
sem_CMetaVal_Val =
(\ _lhsIlamMp
_lhsIopts ->
(case (CMetaVal_Val) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
sem_CMetaVal_Dict :: T_CMetaVal
sem_CMetaVal_Dict =
(\ _lhsIlamMp
_lhsIopts ->
(case (CMetaVal_Dict) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
sem_CMetaVal_DictClass :: ([Track]) ->
T_CMetaVal
sem_CMetaVal_DictClass tracks_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CMetaVal_DictClass tracks_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
sem_CMetaVal_DictInstance :: ([Track]) ->
T_CMetaVal
sem_CMetaVal_DictInstance tracks_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CMetaVal_DictInstance tracks_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
sem_CMetaVal_Track :: Track ->
T_CMetaVal
sem_CMetaVal_Track track_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CMetaVal_Track track_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
-- CMetas ------------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CMetas
alternatives:
alternative Tuple:
child x1 : CMetaBind
child x2 : CMetaVal
visit 0:
local cTrf : _
-}
-- cata
sem_CMetas :: CMetas ->
T_CMetas
sem_CMetas ( x1,x2) =
(sem_CMetas_Tuple (sem_CMetaBind x1) (sem_CMetaVal x2))
-- semantic domain
type T_CMetas = LamMp ->
EHCOpts ->
( CMetas)
sem_CMetas_Tuple :: T_CMetaBind ->
T_CMetaVal ->
T_CMetas
sem_CMetas_Tuple x1_ x2_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _x2Oopts | _x2Oopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _x2OlamMp | _x2OlamMp `seq` (True) ->
(case (x2_ _x2OlamMp _x2Oopts) of
{ ( _x2IcTrf) | True ->
(case (_lhsIopts) of
{ _x1Oopts | _x1Oopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _x1OlamMp | _x1OlamMp `seq` (True) ->
(case (x1_ _x1OlamMp _x1Oopts) of
{ ( _x1IcTrf) | True ->
(case ((_x1IcTrf,_x2IcTrf)) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }) }) }) }) }) }) }))
-- CModule -----------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attributes:
cTrf : CModule
gathLamMp : LamMp
alternatives:
alternative Mod:
child moduleNm : {HsName}
child exports : CExportL
child imports : CImportL
child declMetas : CDeclMetaL
child expr : CExpr
visit 0:
local cTrf : _
-}
-- cata
sem_CModule :: CModule ->
T_CModule
sem_CModule (CModule_Mod _moduleNm _exports _imports _declMetas _expr) =
(sem_CModule_Mod _moduleNm (sem_CExportL _exports) (sem_CImportL _imports) (sem_CDeclMetaL _declMetas) (sem_CExpr _expr))
-- semantic domain
type T_CModule = LamMp ->
EHCOpts ->
( CModule,LamMp)
sem_CModule_Mod :: HsName ->
T_CExportL ->
T_CImportL ->
T_CDeclMetaL ->
T_CExpr ->
T_CModule
sem_CModule_Mod moduleNm_ exports_ imports_ declMetas_ expr_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _exprOopts | _exprOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _exprOlamMp | _exprOlamMp `seq` (True) ->
(case (expr_ _exprOlamMp _exprOopts) of
{ ( _exprIcTrf,_exprIgathLamMp) | True ->
(case (declMetas_) of
{ ( _declMetasIcTrf) | True ->
(case (imports_) of
{ ( _importsIcTrf) | True ->
(case (exports_) of
{ ( _exportsIcTrf) | True ->
(case (CModule_Mod moduleNm_ _exportsIcTrf _importsIcTrf _declMetasIcTrf _exprIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_exprIgathLamMp) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }) }))
-- CPat --------------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attributes:
cTrf : CPat
fldNmL : [HsName]
alternatives:
alternative Var:
child pnm : {HsName}
visit 0:
local cTrf : _
alternative Con:
child tag : {CTag}
child rest : CPatRest
child binds : CPatFldL
visit 0:
local cTrf : _
alternative Int:
child int : {Int}
visit 0:
local cTrf : _
alternative Char:
child char : {Char}
visit 0:
local cTrf : _
alternative BoolExpr:
child cexpr : {CExpr}
visit 0:
local cTrf : _
-}
-- cata
sem_CPat :: CPat ->
T_CPat
sem_CPat (CPat_Var _pnm) =
(sem_CPat_Var _pnm)
sem_CPat (CPat_Con _tag _rest _binds) =
(sem_CPat_Con _tag (sem_CPatRest _rest) (sem_CPatFldL _binds))
sem_CPat (CPat_Int _int) =
(sem_CPat_Int _int)
sem_CPat (CPat_Char _char) =
(sem_CPat_Char _char)
sem_CPat (CPat_BoolExpr _cexpr) =
(sem_CPat_BoolExpr _cexpr)
-- semantic domain
type T_CPat = LamMp ->
EHCOpts ->
( CPat,([HsName]))
sem_CPat_Var :: HsName ->
T_CPat
sem_CPat_Var pnm_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CPat_Var pnm_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case ([]) of
{ _lhsOfldNmL | _lhsOfldNmL `seq` (True) ->
( _lhsOcTrf,_lhsOfldNmL) }) }) }))
sem_CPat_Con :: CTag ->
T_CPatRest ->
T_CPatFldL ->
T_CPat
sem_CPat_Con tag_ rest_ binds_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _bindsOopts | _bindsOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _bindsOlamMp | _bindsOlamMp `seq` (True) ->
(case (binds_ _bindsOlamMp _bindsOopts) of
{ ( _bindsIcTrf,_bindsIfldNmL) | True ->
(case (_lhsIopts) of
{ _restOopts | _restOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _restOlamMp | _restOlamMp `seq` (True) ->
(case (rest_ _restOlamMp _restOopts) of
{ ( _restIcTrf) | True ->
(case (CPat_Con tag_ _restIcTrf _bindsIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_bindsIfldNmL) of
{ _lhsOfldNmL | _lhsOfldNmL `seq` (True) ->
( _lhsOcTrf,_lhsOfldNmL) }) }) }) }) }) }) }) }) }))
sem_CPat_Int :: Int ->
T_CPat
sem_CPat_Int int_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CPat_Int int_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case ([]) of
{ _lhsOfldNmL | _lhsOfldNmL `seq` (True) ->
( _lhsOcTrf,_lhsOfldNmL) }) }) }))
sem_CPat_Char :: Char ->
T_CPat
sem_CPat_Char char_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CPat_Char char_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case ([]) of
{ _lhsOfldNmL | _lhsOfldNmL `seq` (True) ->
( _lhsOcTrf,_lhsOfldNmL) }) }) }))
sem_CPat_BoolExpr :: CExpr ->
T_CPat
sem_CPat_BoolExpr cexpr_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CPat_BoolExpr cexpr_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case ([]) of
{ _lhsOfldNmL | _lhsOfldNmL `seq` (True) ->
( _lhsOcTrf,_lhsOfldNmL) }) }) }))
-- CPatFld -----------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attributes:
cTrf : CPatFld
fldNmL : [HsName]
alternatives:
alternative Fld:
child lbl : {HsName}
child offset : CExpr
child bind : CBind
child fldAnns : CBindAnnL
visit 0:
local boundsel : _
local cTrf : _
local fldNm : _
-}
-- cata
sem_CPatFld :: CPatFld ->
T_CPatFld
sem_CPatFld (CPatFld_Fld _lbl _offset _bind _fldAnns) =
(sem_CPatFld_Fld _lbl (sem_CExpr _offset) (sem_CBind _bind) (sem_CBindAnnL _fldAnns))
-- semantic domain
type T_CPatFld = LamMp ->
EHCOpts ->
( CPatFld,([HsName]))
sem_CPatFld_Fld :: HsName ->
T_CExpr ->
T_CBind ->
T_CBindAnnL ->
T_CPatFld
sem_CPatFld_Fld lbl_ offset_ bind_ fldAnns_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (noBoundSel) of
{ _boundsel | _boundsel `seq` (True) ->
(case (_boundsel) of
{ _bindOboundsel | _bindOboundsel `seq` (True) ->
(case (_lhsIopts) of
{ _fldAnnsOopts | _fldAnnsOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _fldAnnsOlamMp | _fldAnnsOlamMp `seq` (True) ->
(case (fldAnns_ _fldAnnsOlamMp _fldAnnsOopts) of
{ ( _fldAnnsIcTrf) | True ->
(case (_lhsIopts) of
{ _bindOopts | _bindOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _bindOlamMp | _bindOlamMp `seq` (True) ->
(case (bind_ _bindOboundsel _bindOlamMp _bindOopts) of
{ ( _bindIbindLamMp,_bindIcBindL,_bindIcTrf,_bindInm,_bindIselvalInsertYes,_bindIselvalNoL,_bindIselvalYesL) | True ->
(case (_lhsIopts) of
{ _offsetOopts | _offsetOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _offsetOlamMp | _offsetOlamMp `seq` (True) ->
(case (offset_ _offsetOlamMp _offsetOopts) of
{ ( _offsetIcTrf,_offsetIgathLamMp) | True ->
(case (CPatFld_Fld lbl_ _offsetIcTrf _bindIcTrf _fldAnnsIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_bindInm) of
{ _fldNm | _fldNm `seq` (True) ->
(case ([_fldNm]) of
{ _lhsOfldNmL | _lhsOfldNmL `seq` (True) ->
( _lhsOcTrf,_lhsOfldNmL) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CPatFldL ----------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attributes:
cTrf : CPatFldL
fldNmL : [HsName]
alternatives:
alternative Cons:
child hd : CPatFld
child tl : CPatFldL
visit 0:
local cTrf : _
alternative Nil:
visit 0:
local cTrf : _
-}
-- cata
sem_CPatFldL :: CPatFldL ->
T_CPatFldL
sem_CPatFldL list =
(Prelude.foldr sem_CPatFldL_Cons sem_CPatFldL_Nil (Prelude.map sem_CPatFld list))
-- semantic domain
type T_CPatFldL = LamMp ->
EHCOpts ->
( CPatFldL,([HsName]))
sem_CPatFldL_Cons :: T_CPatFld ->
T_CPatFldL ->
T_CPatFldL
sem_CPatFldL_Cons hd_ tl_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts | _tlOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _tlOlamMp | _tlOlamMp `seq` (True) ->
(case (tl_ _tlOlamMp _tlOopts) of
{ ( _tlIcTrf,_tlIfldNmL) | True ->
(case (_lhsIopts) of
{ _hdOopts | _hdOopts `seq` (True) ->
(case (_lhsIlamMp) of
{ _hdOlamMp | _hdOlamMp `seq` (True) ->
(case (hd_ _hdOlamMp _hdOopts) of
{ ( _hdIcTrf,_hdIfldNmL) | True ->
(case ((:) _hdIcTrf _tlIcTrf) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_hdIfldNmL ++ _tlIfldNmL) of
{ _lhsOfldNmL | _lhsOfldNmL `seq` (True) ->
( _lhsOcTrf,_lhsOfldNmL) }) }) }) }) }) }) }) }) }))
sem_CPatFldL_Nil :: T_CPatFldL
sem_CPatFldL_Nil =
(\ _lhsIlamMp
_lhsIopts ->
(case ([]) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case ([]) of
{ _lhsOfldNmL | _lhsOfldNmL `seq` (True) ->
( _lhsOcTrf,_lhsOfldNmL) }) }) }))
-- CPatRest ----------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CPatRest
alternatives:
alternative Var:
child nm : {HsName}
visit 0:
local cTrf : _
alternative Empty:
visit 0:
local cTrf : _
-}
-- cata
sem_CPatRest :: CPatRest ->
T_CPatRest
sem_CPatRest (CPatRest_Var _nm) =
(sem_CPatRest_Var _nm)
sem_CPatRest (CPatRest_Empty) =
(sem_CPatRest_Empty)
-- semantic domain
type T_CPatRest = LamMp ->
EHCOpts ->
( CPatRest)
sem_CPatRest_Var :: HsName ->
T_CPatRest
sem_CPatRest_Var nm_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CPatRest_Var nm_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
sem_CPatRest_Empty :: T_CPatRest
sem_CPatRest_Empty =
(\ _lhsIlamMp
_lhsIopts ->
(case (CPatRest_Empty) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
( _lhsOcTrf) }) }))
-- CodeAGItf ---------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attributes:
cTrf : CModule
gathLamMp : LamMp
alternatives:
alternative AGItf:
child module : CModule
visit 0:
local howUnionGathLamInfo : _
local howMergeLamInfo : _
local gathLamMp : _
-}
-- cata
sem_CodeAGItf :: CodeAGItf ->
T_CodeAGItf
sem_CodeAGItf (CodeAGItf_AGItf _module) =
(sem_CodeAGItf_AGItf (sem_CModule _module))
-- semantic domain
type T_CodeAGItf = LamMp ->
EHCOpts ->
( CModule,LamMp)
data Inh_CodeAGItf = Inh_CodeAGItf {lamMp_Inh_CodeAGItf :: !(LamMp),opts_Inh_CodeAGItf :: !(EHCOpts)}
data Syn_CodeAGItf = Syn_CodeAGItf {cTrf_Syn_CodeAGItf :: !(CModule),gathLamMp_Syn_CodeAGItf :: !(LamMp)}
wrap_CodeAGItf :: T_CodeAGItf ->
Inh_CodeAGItf ->
Syn_CodeAGItf
wrap_CodeAGItf sem (Inh_CodeAGItf _lhsIlamMp _lhsIopts) =
(let ( _lhsOcTrf,_lhsOgathLamMp) | True = sem _lhsIlamMp _lhsIopts
in (Syn_CodeAGItf _lhsOcTrf _lhsOgathLamMp))
sem_CodeAGItf_AGItf :: T_CModule ->
T_CodeAGItf
sem_CodeAGItf_AGItf module_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (_lhsIopts) of
{ _moduleOopts | _moduleOopts `seq` (True) ->
(case (id) of
{ _howUnionGathLamInfo | _howUnionGathLamInfo `seq` (True) ->
(case (_howUnionGathLamInfo _lhsIlamMp) of
{ _moduleOlamMp | _moduleOlamMp `seq` (True) ->
(case (module_ _moduleOlamMp _moduleOopts) of
{ ( _moduleIcTrf,_moduleIgathLamMp) | True ->
(case (_moduleIcTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case ((\(LamInfo {laminfoBindAspMp=m}) i -> i {laminfoBindAspMp = m `Map.union` laminfoBindAspMp i})) of
{ _howMergeLamInfo | _howMergeLamInfo `seq` (True) ->
(case (lamMpMergeInto _howMergeLamInfo const _moduleIgathLamMp _lhsIlamMp) of
{ _gathLamMp | _gathLamMp `seq` (True) ->
(case (_gathLamMp) of
{ _lhsOgathLamMp | _lhsOgathLamMp `seq` (True) ->
( _lhsOcTrf,_lhsOgathLamMp) }) }) }) }) }) }) }) }))