uhc-light-1.1.7.2: src/UHC/Light/Compiler/Core/Trf/EraseExtractTysigCore.hs
-- UUAGC 0.9.50.2 (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
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
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]))
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,_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 (_bindAspectsIselvalNoL) of
{ _lhsOselvalNoL | _lhsOselvalNoL `seq` (True) ->
(case (_bindAspectsIselvalYesL) of
{ _lhsOselvalYesL | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOnm,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CBindAnn ----------------------------------------------------
{-
visit 0:
inherited attributes:
lamMp : LamMp
opts : EHCOpts
synthesized attribute:
cTrf : CBindAnn
alternatives:
alternative Coe:
child coe : {RelevCoe}
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 :: RelevCoe ->
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,_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
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 RelevTy:
child aspectKeyS : {ACoreBindAspectKeyS}
child relevTy : {RelevTy}
visit 0:
local cTrf : _
local boundval : _
local isSelected : _
local _tup3 : _
alternative Val:
child aspectKeyS : {ACoreBindAspectKeyS}
child mlev : {MetaLev}
child lbl : {CLbl}
child expr : CExpr
visit 0:
local cTrf : _
local boundval : _
local isSelected : _
local _tup4 : _
alternative Ty:
child aspectKeyS : {ACoreBindAspectKeyS}
child ty : {Ty}
visit 0:
local cTrf : _
local boundval : _
local isSelected : _
local _tup5 : _
alternative FFE:
child callconv : {FFIWay}
child expEnt : {ForeignEnt}
child expr : CExpr
child ty : {Ty}
visit 0:
local cTrf : _
local boundval : _
local isSelected : _
local _tup6 : _
-}
-- 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_RelevTy _aspectKeyS _relevTy) =
(sem_CBound_RelevTy _aspectKeyS _relevTy)
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,([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 (if _isSelected
then ([_boundval],[])
else ([],[_boundval])) of
{ __tup1 | __tup1 `seq` (True) ->
(case (__tup1) of
{ (_,_lhsOselvalNoL) | _lhsOselvalNoL `seq` (True) ->
(case (__tup1) of
{ (_lhsOselvalYesL,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_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 (if _isSelected
then ([_boundval],[])
else ([],[_boundval])) of
{ __tup2 | __tup2 `seq` (True) ->
(case (__tup2) of
{ (_,_lhsOselvalNoL) | _lhsOselvalNoL `seq` (True) ->
(case (__tup2) of
{ (_lhsOselvalYesL,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBound_RelevTy :: ACoreBindAspectKeyS ->
RelevTy ->
T_CBound
sem_CBound_RelevTy aspectKeyS_ relevTy_ =
(\ _lhsIboundsel
_lhsIlamMp
_lhsInm
_lhsIopts ->
(case (Map.empty) of
{ _lhsObindLamMp | _lhsObindLamMp `seq` (True) ->
(case ([]) of
{ _lhsOcBindL | _lhsOcBindL `seq` (True) ->
(case (CBound_RelevTy aspectKeyS_ relevTy_) of
{ _cTrf | _cTrf `seq` (True) ->
(case (_cTrf) of
{ _lhsOcTrf | _lhsOcTrf `seq` (True) ->
(case (_cTrf) of
{ _boundval | _boundval `seq` (True) ->
(case (selRelevTy _lhsIboundsel aspectKeyS_ relevTy_) of
{ _isSelected | _isSelected `seq` (True) ->
(case (if _isSelected
then ([_boundval],[])
else ([],[_boundval])) of
{ __tup3 | __tup3 `seq` (True) ->
(case (__tup3) of
{ (_,_lhsOselvalNoL) | _lhsOselvalNoL `seq` (True) ->
(case (__tup3) of
{ (_lhsOselvalYesL,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_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 (if _isSelected
then ([_boundval],[])
else ([],[_boundval])) of
{ __tup4 | __tup4 `seq` (True) ->
(case (__tup4) of
{ (_,_lhsOselvalNoL) | _lhsOselvalNoL `seq` (True) ->
(case (__tup4) of
{ (_lhsOselvalYesL,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_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 (if _isSelected
then ([_boundval],[])
else ([],[_boundval])) of
{ __tup5 | __tup5 `seq` (True) ->
(case (__tup5) of
{ (_,_lhsOselvalNoL) | _lhsOselvalNoL `seq` (True) ->
(case (__tup5) of
{ (_lhsOselvalYesL,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_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 (if _isSelected
then ([_boundval],[])
else ([],[_boundval])) of
{ __tup6 | __tup6 `seq` (True) ->
(case (__tup6) of
{ (_,_lhsOselvalNoL) | _lhsOselvalNoL `seq` (True) ->
(case (__tup6) of
{ (_lhsOselvalYesL,_) | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_lhsOselvalNoL,_lhsOselvalYesL) }) }) }) }) }) }) }) }) }) }) }) }))
-- CBoundL -----------------------------------------------------
{-
visit 0:
inherited attributes:
boundsel : BoundSel
lamMp : LamMp
nm : HsName
opts : EHCOpts
synthesized attributes:
bindLamMp : LamMp
cBindL : [CBind]
cTrf : CBoundL
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,([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,_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,_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 (_hdIselvalNoL ++ _tlIselvalNoL) of
{ _lhsOselvalNoL | _lhsOselvalNoL `seq` (True) ->
(case (_hdIselvalYesL ++ _tlIselvalYesL) of
{ _lhsOselvalYesL | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_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
{ _lhsOselvalNoL | _lhsOselvalNoL `seq` (True) ->
(case ([]) of
{ _lhsOselvalYesL | _lhsOselvalYesL `seq` (True) ->
( _lhsObindLamMp,_lhsOcBindL,_lhsOcTrf,_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 : _
-}
-- cata
sem_CExport :: CExport ->
T_CExport
sem_CExport (CExport_Export _nm) =
(sem_CExport_Export _nm)
-- 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) }) })
-- 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,_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,_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 Coe:
child coe : {RelevCoe}
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_Coe _coe) =
(sem_CExprAnn_Coe _coe)
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_Coe :: RelevCoe ->
T_CExprAnn
sem_CExprAnn_Coe coe_ =
(\ _lhsIlamMp
_lhsIopts ->
(case (CExprAnn_Coe coe_) 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,_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) }) }) }) }) }) }) }) }))