uhc-light-1.1.9.4: src/UHC/Light/Compiler/Core/Check.hs
-- UUAGC 0.9.52.1 (build/103/lib-ehc/UHC/Light/Compiler/Core/Check.ag)
module UHC.Light.Compiler.Core.Check(NotYetTransformed (..), NotYetTransformedS
, cmodCheck', Inh_CodeAGItf (..), Syn_CodeAGItf (..)) where
import UHC.Light.Compiler.Base.HsName.Builtin
import UHC.Light.Compiler.Base.Common
import UHC.Light.Compiler.Opts
import UHC.Light.Compiler.Ty
import UHC.Light.Compiler.Error
import UHC.Light.Compiler.Gam
import UHC.Light.Compiler.Gam.DataGam
import UHC.Light.Compiler.Base.TermLike
import UHC.Light.Compiler.AbstractCore
import UHC.Light.Compiler.Core
import Data.Maybe
import qualified Data.Map as Map
import qualified Data.Set as Set
import qualified UHC.Util.FastSeq as Seq
import qualified UHC.Util.Rel as Rel
import Control.Applicative
import UHC.Util.Pretty
import UHC.Light.Compiler.Module.ImportExport
deriving instance Typeable Syn_CodeAGItf
-- | What not yet has been transformed in the given Core, absence means some aspect has been transformed everywhere
data NotYetTransformed
= NotYetTransformed_LambdaLifted
| NotYetTransformed_ANormal
deriving (Eq, Ord, Show, Enum, Bounded)
type NotYetTransformedS = Set.Set NotYetTransformed
cmodCheck'
:: Inh_CodeAGItf
-> CModule
-> Syn_CodeAGItf
cmodCheck' inh cmod
= t
where t = wrap_CodeAGItf
(sem_CodeAGItf (CodeAGItf_AGItf cmod))
inh
type UndefNmMp = Map.Map MetaLev [ACoreBindRef]
undefmpUnion :: UndefNmMp -> UndefNmMp -> UndefNmMp
undefmpUnion = Map.unionWith (++)
-- CAlt --------------------------------------------------------
{-
visit 0:
inherited attributes:
evalCtx : EvalCtx
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
isFreeOfLam : Bool
undefNmMp : UndefNmMp
alternatives:
alternative Alt:
child pat : CPat
child expr : CExpr
visit 0:
local whatAbove : {WhatExpr}
local lev : _
-}
-- 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 = EvalCtx ->
Int ->
EHCOpts ->
( ErrSq,Bool,UndefNmMp)
sem_CAlt_Alt :: T_CPat ->
T_CExpr ->
T_CAlt
sem_CAlt_Alt pat_ expr_ =
(\ _lhsIevalCtx
_lhsIlev
_lhsIopts ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev + 1) of
{ _lev ->
(case (_lev) of
{ _exprOlev ->
(case (_lhsIevalCtx) of
{ _exprOevalCtx ->
(case (True) of
{ _exprOisTopTup ->
(case (True) of
{ _exprOisTopApp ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (_lhsIopts) of
{ _patOopts ->
(case (_lev) of
{ _patOlev ->
(case (pat_ _patOlev _patOopts) of
{ ( _patIerrs,_patIfldNmL,_patIisFreeOfLam,_patIundefNmMp) ->
(case (_patIerrs `Seq.union` _exprIerrs) of
{ _lhsOerrs ->
(case (_patIisFreeOfLam && _exprIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (_patIundefNmMp `undefmpUnion` _exprIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CAltL -------------------------------------------------------
{-
visit 0:
inherited attributes:
evalCtx : EvalCtx
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
isFreeOfLam : Bool
undefNmMp : UndefNmMp
alternatives:
alternative Cons:
child hd : CAlt
child tl : CAltL
alternative Nil:
-}
-- 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 = EvalCtx ->
Int ->
EHCOpts ->
( ErrSq,Bool,UndefNmMp)
sem_CAltL_Cons :: T_CAlt ->
T_CAltL ->
T_CAltL
sem_CAltL_Cons hd_ tl_ =
(\ _lhsIevalCtx
_lhsIlev
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts ->
(case (_lhsIlev) of
{ _tlOlev ->
(case (_lhsIevalCtx) of
{ _tlOevalCtx ->
(case (tl_ _tlOevalCtx _tlOlev _tlOopts) of
{ ( _tlIerrs,_tlIisFreeOfLam,_tlIundefNmMp) ->
(case (_lhsIopts) of
{ _hdOopts ->
(case (_lhsIlev) of
{ _hdOlev ->
(case (_lhsIevalCtx) of
{ _hdOevalCtx ->
(case (hd_ _hdOevalCtx _hdOlev _hdOopts) of
{ ( _hdIerrs,_hdIisFreeOfLam,_hdIundefNmMp) ->
(case (_hdIerrs `Seq.union` _tlIerrs) of
{ _lhsOerrs ->
(case (_hdIisFreeOfLam && _tlIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (_hdIundefNmMp `undefmpUnion` _tlIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }))
sem_CAltL_Nil :: T_CAltL
sem_CAltL_Nil =
(\ _lhsIevalCtx
_lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }))
-- CBind -------------------------------------------------------
{-
visit 0:
inherited attributes:
evalCtx : EvalCtx
isGlobal : Bool
letBindingsCateg : CBindCateg
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
hasMain : Bool
isFreeOfLam : Bool
modDefsRel : ModEntRel
nm : HsName
notYetTransformed : NotYetTransformedS
undefNmMp : UndefNmMp
alternatives:
alternative Bind:
child nm : {HsName}
child bindAspects : CBoundL
-}
-- cata
sem_CBind :: CBind ->
T_CBind
sem_CBind (CBind_Bind _nm _bindAspects) =
(sem_CBind_Bind _nm (sem_CBoundL _bindAspects))
-- semantic domain
type T_CBind = EvalCtx ->
Bool ->
CBindCateg ->
Int ->
EHCOpts ->
( ErrSq,Bool,Bool,ModEntRel,HsName,NotYetTransformedS,UndefNmMp)
sem_CBind_Bind :: HsName ->
T_CBoundL ->
T_CBind
sem_CBind_Bind nm_ bindAspects_ =
(\ _lhsIevalCtx
_lhsIisGlobal
_lhsIletBindingsCateg
_lhsIlev
_lhsIopts ->
(case (_lhsIopts) of
{ _bindAspectsOopts ->
(case (_lhsIlev) of
{ _bindAspectsOlev ->
(case (_lhsIletBindingsCateg) of
{ _bindAspectsOletBindingsCateg ->
(case (_lhsIisGlobal) of
{ _bindAspectsOisGlobal ->
(case (_lhsIevalCtx) of
{ _bindAspectsOevalCtx ->
(case (nm_) of
{ _bindAspectsOnm ->
(case (bindAspects_ _bindAspectsOevalCtx _bindAspectsOisGlobal _bindAspectsOletBindingsCateg _bindAspectsOlev _bindAspectsOnm _bindAspectsOopts) of
{ ( _bindAspectsIerrs,_bindAspectsIisFreeOfLam,_bindAspectsInotYetTransformed,_bindAspectsIundefNmMp) ->
(case (_bindAspectsIerrs) of
{ _lhsOerrs ->
(case (nm_ == hsnMain) of
{ _lhsOhasMain ->
(case (_bindAspectsIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (let o = IdOcc nm_ IdOcc_Val
in Rel.fromList [ (hsnQualified (ioccNm o), ModEnt (ioccKind o) o Set.empty emptyRange) ]) of
{ _lhsOmodDefsRel ->
(case (nm_) of
{ _lhsOnm ->
(case (_bindAspectsInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_bindAspectsIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOmodDefsRel,_lhsOnm,_lhsOnotYetTransformed,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CBindAnn ----------------------------------------------------
{-
visit 0:
inherited attributes:
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
isFreeOfLam : Bool
undefNmMp : UndefNmMp
alternatives:
alternative Coe:
child coe : {()}
-}
-- cata
sem_CBindAnn :: CBindAnn ->
T_CBindAnn
sem_CBindAnn (CBindAnn_Coe _coe) =
(sem_CBindAnn_Coe _coe)
-- semantic domain
type T_CBindAnn = Int ->
EHCOpts ->
( ErrSq,Bool,UndefNmMp)
sem_CBindAnn_Coe :: (()) ->
T_CBindAnn
sem_CBindAnn_Coe coe_ =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }))
-- CBindAnnL ---------------------------------------------------
{-
visit 0:
inherited attributes:
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
isFreeOfLam : Bool
undefNmMp : UndefNmMp
alternatives:
alternative Cons:
child hd : CBindAnn
child tl : CBindAnnL
alternative Nil:
-}
-- 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 = Int ->
EHCOpts ->
( ErrSq,Bool,UndefNmMp)
sem_CBindAnnL_Cons :: T_CBindAnn ->
T_CBindAnnL ->
T_CBindAnnL
sem_CBindAnnL_Cons hd_ tl_ =
(\ _lhsIlev
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts ->
(case (_lhsIlev) of
{ _tlOlev ->
(case (tl_ _tlOlev _tlOopts) of
{ ( _tlIerrs,_tlIisFreeOfLam,_tlIundefNmMp) ->
(case (_lhsIopts) of
{ _hdOopts ->
(case (_lhsIlev) of
{ _hdOlev ->
(case (hd_ _hdOlev _hdOopts) of
{ ( _hdIerrs,_hdIisFreeOfLam,_hdIundefNmMp) ->
(case (_hdIerrs `Seq.union` _tlIerrs) of
{ _lhsOerrs ->
(case (_hdIisFreeOfLam && _tlIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (_hdIundefNmMp `undefmpUnion` _tlIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }))
sem_CBindAnnL_Nil :: T_CBindAnnL
sem_CBindAnnL_Nil =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }))
-- CBindL ------------------------------------------------------
{-
visit 0:
inherited attributes:
evalCtx : EvalCtx
isGlobal : Bool
letBindingsCateg : CBindCateg
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
hasMain : Bool
isFreeOfLam : Bool
modDefsRel : ModEntRel
notYetTransformed : NotYetTransformedS
undefNmMp : UndefNmMp
alternatives:
alternative Cons:
child hd : CBind
child tl : CBindL
alternative Nil:
-}
-- 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 = EvalCtx ->
Bool ->
CBindCateg ->
Int ->
EHCOpts ->
( ErrSq,Bool,Bool,ModEntRel,NotYetTransformedS,UndefNmMp)
sem_CBindL_Cons :: T_CBind ->
T_CBindL ->
T_CBindL
sem_CBindL_Cons hd_ tl_ =
(\ _lhsIevalCtx
_lhsIisGlobal
_lhsIletBindingsCateg
_lhsIlev
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts ->
(case (_lhsIlev) of
{ _tlOlev ->
(case (_lhsIletBindingsCateg) of
{ _tlOletBindingsCateg ->
(case (_lhsIisGlobal) of
{ _tlOisGlobal ->
(case (_lhsIevalCtx) of
{ _tlOevalCtx ->
(case (tl_ _tlOevalCtx _tlOisGlobal _tlOletBindingsCateg _tlOlev _tlOopts) of
{ ( _tlIerrs,_tlIhasMain,_tlIisFreeOfLam,_tlImodDefsRel,_tlInotYetTransformed,_tlIundefNmMp) ->
(case (_lhsIopts) of
{ _hdOopts ->
(case (_lhsIlev) of
{ _hdOlev ->
(case (_lhsIletBindingsCateg) of
{ _hdOletBindingsCateg ->
(case (_lhsIisGlobal) of
{ _hdOisGlobal ->
(case (_lhsIevalCtx) of
{ _hdOevalCtx ->
(case (hd_ _hdOevalCtx _hdOisGlobal _hdOletBindingsCateg _hdOlev _hdOopts) of
{ ( _hdIerrs,_hdIhasMain,_hdIisFreeOfLam,_hdImodDefsRel,_hdInm,_hdInotYetTransformed,_hdIundefNmMp) ->
(case (_hdIerrs `Seq.union` _tlIerrs) of
{ _lhsOerrs ->
(case (_hdIhasMain || _tlIhasMain) of
{ _lhsOhasMain ->
(case (_hdIisFreeOfLam && _tlIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (_hdImodDefsRel `Rel.union` _tlImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_hdInotYetTransformed `Set.union` _tlInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_hdIundefNmMp `undefmpUnion` _tlIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBindL_Nil :: T_CBindL
sem_CBindL_Nil =
(\ _lhsIevalCtx
_lhsIisGlobal
_lhsIletBindingsCateg
_lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp) }) }) }) }) }) }))
-- CBound ------------------------------------------------------
{-
visit 0:
inherited attributes:
evalCtx : EvalCtx
isGlobal : Bool
isTopApp : Bool
isTopTup : Bool
letBindingsCateg : CBindCateg
lev : Int
nm : HsName
opts : EHCOpts
synthesized attributes:
errs : ErrSq
isFreeOfLam : Bool
isSimple : Bool
notYetTransformed : NotYetTransformedS
undefNmMp : UndefNmMp
alternatives:
alternative Bind:
child expr : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isSimple : _
local bindNotYetTransformed : _
alternative Val:
child aspectKeyS : {ACoreBindAspectKeyS}
child mlev : {MetaLev}
child lbl : {CLbl}
child expr : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isSimple : _
local bindNotYetTransformed : _
alternative Ty:
child aspectKeyS : {ACoreBindAspectKeyS}
child ty : {Ty}
alternative FFE:
child callconv : {FFIWay}
child expEnt : {ForeignEnt}
child expr : CExpr
child ty : {Ty}
visit 0:
local whatAbove : {WhatExpr}
-}
-- cata
sem_CBound :: CBound ->
T_CBound
sem_CBound (CBound_Bind _expr) =
(sem_CBound_Bind (sem_CExpr _expr))
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 = EvalCtx ->
Bool ->
Bool ->
Bool ->
CBindCateg ->
Int ->
HsName ->
EHCOpts ->
( ErrSq,Bool,Bool,NotYetTransformedS,UndefNmMp)
sem_CBound_Bind :: T_CExpr ->
T_CBound
sem_CBound_Bind expr_ =
(\ _lhsIevalCtx
_lhsIisGlobal
_lhsIisTopApp
_lhsIisTopTup
_lhsIletBindingsCateg
_lhsIlev
_lhsInm
_lhsIopts ->
(case (ExprIsBind _lhsInm) of
{ _whatAbove ->
(case (_whatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev) of
{ _exprOlev ->
(case (_lhsIevalCtx) of
{ _exprOevalCtx ->
(case (True) of
{ _exprOisTopTup ->
(case (True) of
{ _exprOisTopApp ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (_exprIerrs) of
{ _lhsOerrs ->
(case (_exprIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (case _exprIwhatBelow of
ExprIsVar _ -> True
ExprIsInt _ -> True
ExprIsOtherWHNF -> True
_ -> False) of
{ _isSimple ->
(case (_isSimple) of
{ _lhsOisSimple ->
(case (if whatExprIsLam _exprIwhatBelow
then if _lhsIisGlobal && _exprIlamBodyIsFreeOfLam
then Set.empty
else Set.singleton NotYetTransformed_LambdaLifted
else if _exprIisFreeOfLam
then Set.empty
else Set.singleton NotYetTransformed_LambdaLifted) of
{ _bindNotYetTransformed ->
(case (Set.unions [_bindNotYetTransformed, _exprInotYetTransformed]) of
{ _lhsOnotYetTransformed ->
(case (_exprIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOisSimple,_lhsOnotYetTransformed,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBound_Val :: ACoreBindAspectKeyS ->
MetaLev ->
CLbl ->
T_CExpr ->
T_CBound
sem_CBound_Val aspectKeyS_ mlev_ lbl_ expr_ =
(\ _lhsIevalCtx
_lhsIisGlobal
_lhsIisTopApp
_lhsIisTopTup
_lhsIletBindingsCateg
_lhsIlev
_lhsInm
_lhsIopts ->
(case (ExprIsBind _lhsInm) of
{ _whatAbove ->
(case (_whatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev) of
{ _exprOlev ->
(case (_lhsIisTopTup) of
{ _exprOisTopTup ->
(case (_lhsIisTopApp) of
{ _exprOisTopApp ->
(case (_lhsIevalCtx) of
{ _exprOevalCtx ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (_exprIerrs) of
{ _lhsOerrs ->
(case (_exprIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (case _exprIwhatBelow of
ExprIsVar _ -> True
ExprIsInt _ -> True
ExprIsOtherWHNF -> True
_ -> False) of
{ _isSimple ->
(case (_isSimple) of
{ _lhsOisSimple ->
(case (if whatExprIsLam _exprIwhatBelow
then if _lhsIisGlobal && _exprIlamBodyIsFreeOfLam
then Set.empty
else Set.singleton NotYetTransformed_LambdaLifted
else if _exprIisFreeOfLam
then Set.empty
else Set.singleton NotYetTransformed_LambdaLifted) of
{ _bindNotYetTransformed ->
(case (Set.unions [_bindNotYetTransformed, _exprInotYetTransformed]) of
{ _lhsOnotYetTransformed ->
(case (_exprIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOisSimple,_lhsOnotYetTransformed,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBound_Ty :: ACoreBindAspectKeyS ->
Ty ->
T_CBound
sem_CBound_Ty aspectKeyS_ ty_ =
(\ _lhsIevalCtx
_lhsIisGlobal
_lhsIisTopApp
_lhsIisTopTup
_lhsIletBindingsCateg
_lhsIlev
_lhsInm
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOisSimple ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOisSimple,_lhsOnotYetTransformed,_lhsOundefNmMp) }) }) }) }) }))
sem_CBound_FFE :: FFIWay ->
ForeignEnt ->
T_CExpr ->
Ty ->
T_CBound
sem_CBound_FFE callconv_ expEnt_ expr_ ty_ =
(\ _lhsIevalCtx
_lhsIisGlobal
_lhsIisTopApp
_lhsIisTopTup
_lhsIletBindingsCateg
_lhsIlev
_lhsInm
_lhsIopts ->
(case (ExprIsLam 0 Nothing) of
{ _whatAbove ->
(case (_whatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev) of
{ _exprOlev ->
(case (_lhsIevalCtx) of
{ _exprOevalCtx ->
(case (True) of
{ _exprOisTopTup ->
(case (True) of
{ _exprOisTopApp ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (_exprIerrs) of
{ _lhsOerrs ->
(case (_exprIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOisSimple ->
(case (_exprInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_exprIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOisSimple,_lhsOnotYetTransformed,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CBoundL -----------------------------------------------------
{-
visit 0:
inherited attributes:
evalCtx : EvalCtx
isGlobal : Bool
letBindingsCateg : CBindCateg
lev : Int
nm : HsName
opts : EHCOpts
synthesized attributes:
errs : ErrSq
isFreeOfLam : Bool
notYetTransformed : NotYetTransformedS
undefNmMp : UndefNmMp
alternatives:
alternative Cons:
child hd : CBound
child tl : CBoundL
alternative Nil:
-}
-- 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 = EvalCtx ->
Bool ->
CBindCateg ->
Int ->
HsName ->
EHCOpts ->
( ErrSq,Bool,NotYetTransformedS,UndefNmMp)
sem_CBoundL_Cons :: T_CBound ->
T_CBoundL ->
T_CBoundL
sem_CBoundL_Cons hd_ tl_ =
(\ _lhsIevalCtx
_lhsIisGlobal
_lhsIletBindingsCateg
_lhsIlev
_lhsInm
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts ->
(case (_lhsInm) of
{ _tlOnm ->
(case (_lhsIlev) of
{ _tlOlev ->
(case (_lhsIletBindingsCateg) of
{ _tlOletBindingsCateg ->
(case (_lhsIisGlobal) of
{ _tlOisGlobal ->
(case (_lhsIevalCtx) of
{ _tlOevalCtx ->
(case (tl_ _tlOevalCtx _tlOisGlobal _tlOletBindingsCateg _tlOlev _tlOnm _tlOopts) of
{ ( _tlIerrs,_tlIisFreeOfLam,_tlInotYetTransformed,_tlIundefNmMp) ->
(case (_lhsIopts) of
{ _hdOopts ->
(case (_lhsInm) of
{ _hdOnm ->
(case (_lhsIlev) of
{ _hdOlev ->
(case (_lhsIletBindingsCateg) of
{ _hdOletBindingsCateg ->
(case (_lhsIisGlobal) of
{ _hdOisGlobal ->
(case (_lhsIevalCtx) of
{ _hdOevalCtx ->
(case (True) of
{ _hdOisTopTup ->
(case (True) of
{ _hdOisTopApp ->
(case (hd_ _hdOevalCtx _hdOisGlobal _hdOisTopApp _hdOisTopTup _hdOletBindingsCateg _hdOlev _hdOnm _hdOopts) of
{ ( _hdIerrs,_hdIisFreeOfLam,_hdIisSimple,_hdInotYetTransformed,_hdIundefNmMp) ->
(case (_hdIerrs `Seq.union` _tlIerrs) of
{ _lhsOerrs ->
(case (_hdIisFreeOfLam && _tlIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (_hdInotYetTransformed `Set.union` _tlInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_hdIundefNmMp `undefmpUnion` _tlIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOnotYetTransformed,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CBoundL_Nil :: T_CBoundL
sem_CBoundL_Nil =
(\ _lhsIevalCtx
_lhsIisGlobal
_lhsIletBindingsCateg
_lhsIlev
_lhsInm
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOnotYetTransformed,_lhsOundefNmMp) }) }) }) }))
-- CDataCon ----------------------------------------------------
{-
visit 0:
synthesized attributes:
dataConNmL : [HsName]
dataConstrTagMp : DataConstrTagMp
errs : ErrSq
undefNmMp : UndefNmMp
alternatives:
alternative Con:
child conNm : {HsName}
child tagNr : {Int}
child arity : {Int}
visit 0:
local dti : _
-}
-- cata
sem_CDataCon :: CDataCon ->
T_CDataCon
sem_CDataCon (CDataCon_Con _conNm _tagNr _arity) =
(sem_CDataCon_Con _conNm _tagNr _arity)
-- semantic domain
type T_CDataCon = ( ([HsName]),DataConstrTagMp,ErrSq,UndefNmMp)
sem_CDataCon_Con :: HsName ->
Int ->
Int ->
T_CDataCon
sem_CDataCon_Con conNm_ tagNr_ arity_ =
(case ([conNm_]) of
{ _lhsOdataConNmL ->
(case (emptyDataTagInfo
{ dtiConNm = conNm_
, dtiCTag = mkOnlyConInfoCTag conNm_ tagNr_ arity_
}) of
{ _dti ->
(case (Map.singleton conNm_ _dti) of
{ _lhsOdataConstrTagMp ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOdataConNmL,_lhsOdataConstrTagMp,_lhsOerrs,_lhsOundefNmMp) }) }) }) }) })
-- CDataConL ---------------------------------------------------
{-
visit 0:
synthesized attributes:
dataConNmL : [HsName]
dataConstrTagMp : DataConstrTagMp
errs : ErrSq
undefNmMp : UndefNmMp
alternatives:
alternative Cons:
child hd : CDataCon
child tl : CDataConL
alternative Nil:
-}
-- 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 = ( ([HsName]),DataConstrTagMp,ErrSq,UndefNmMp)
sem_CDataConL_Cons :: T_CDataCon ->
T_CDataConL ->
T_CDataConL
sem_CDataConL_Cons hd_ tl_ =
(case (tl_) of
{ ( _tlIdataConNmL,_tlIdataConstrTagMp,_tlIerrs,_tlIundefNmMp) ->
(case (hd_) of
{ ( _hdIdataConNmL,_hdIdataConstrTagMp,_hdIerrs,_hdIundefNmMp) ->
(case (_hdIdataConNmL ++ _tlIdataConNmL) of
{ _lhsOdataConNmL ->
(case (_hdIdataConstrTagMp `Map.union` _tlIdataConstrTagMp) of
{ _lhsOdataConstrTagMp ->
(case (_hdIerrs `Seq.union` _tlIerrs) of
{ _lhsOerrs ->
(case (_hdIundefNmMp `undefmpUnion` _tlIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOdataConNmL,_lhsOdataConstrTagMp,_lhsOerrs,_lhsOundefNmMp) }) }) }) }) }) })
sem_CDataConL_Nil :: T_CDataConL
sem_CDataConL_Nil =
(case ([]) of
{ _lhsOdataConNmL ->
(case (Map.empty) of
{ _lhsOdataConstrTagMp ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOdataConNmL,_lhsOdataConstrTagMp,_lhsOerrs,_lhsOundefNmMp) }) }) }) })
-- CDeclMeta ---------------------------------------------------
{-
visit 0:
synthesized attributes:
errs : ErrSq
gathDataGam : DataGam
modDefsRel : ModEntRel
undefNmMp : UndefNmMp
alternatives:
alternative Data:
child tyNm : {HsName}
child dataCons : CDataConL
-}
-- cata
sem_CDeclMeta :: CDeclMeta ->
T_CDeclMeta
sem_CDeclMeta (CDeclMeta_Data _tyNm _dataCons) =
(sem_CDeclMeta_Data _tyNm (sem_CDataConL _dataCons))
-- semantic domain
type T_CDeclMeta = ( ErrSq,DataGam,ModEntRel,UndefNmMp)
sem_CDeclMeta_Data :: HsName ->
T_CDataConL ->
T_CDeclMeta
sem_CDeclMeta_Data tyNm_ dataCons_ =
(case (dataCons_) of
{ ( _dataConsIdataConNmL,_dataConsIdataConstrTagMp,_dataConsIerrs,_dataConsIundefNmMp) ->
(case (_dataConsIerrs) of
{ _lhsOerrs ->
(case (gamSingleton tyNm_ $ mkDGIForCodegenOnly tyNm_ _dataConsIdataConstrTagMp) of
{ _lhsOgathDataGam ->
(case (let to = IdOcc ( tyNm_) IdOcc_Data
subs = [ ModEnt (ioccKind o) o Set.empty emptyRange | cn <- _dataConsIdataConNmL, let o = IdOcc ( cn) IdOcc_Val ]
in Rel.singleton (hsnQualified (ioccNm to)) (ModEnt (ioccKind to) to (Set.fromList subs) emptyRange)) of
{ _lhsOmodDefsRel ->
(case (_dataConsIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOgathDataGam,_lhsOmodDefsRel,_lhsOundefNmMp) }) }) }) }) })
-- CDeclMetaL --------------------------------------------------
{-
visit 0:
synthesized attributes:
errs : ErrSq
gathDataGam : DataGam
modDefsRel : ModEntRel
undefNmMp : UndefNmMp
alternatives:
alternative Cons:
child hd : CDeclMeta
child tl : CDeclMetaL
alternative Nil:
-}
-- 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 = ( ErrSq,DataGam,ModEntRel,UndefNmMp)
sem_CDeclMetaL_Cons :: T_CDeclMeta ->
T_CDeclMetaL ->
T_CDeclMetaL
sem_CDeclMetaL_Cons hd_ tl_ =
(case (tl_) of
{ ( _tlIerrs,_tlIgathDataGam,_tlImodDefsRel,_tlIundefNmMp) ->
(case (hd_) of
{ ( _hdIerrs,_hdIgathDataGam,_hdImodDefsRel,_hdIundefNmMp) ->
(case (_hdIerrs `Seq.union` _tlIerrs) of
{ _lhsOerrs ->
(case (_hdIgathDataGam `gamUnion` _tlIgathDataGam) of
{ _lhsOgathDataGam ->
(case (_hdImodDefsRel `Rel.union` _tlImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_hdIundefNmMp `undefmpUnion` _tlIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOgathDataGam,_lhsOmodDefsRel,_lhsOundefNmMp) }) }) }) }) }) })
sem_CDeclMetaL_Nil :: T_CDeclMetaL
sem_CDeclMetaL_Nil =
(case (Seq.empty) of
{ _lhsOerrs ->
(case (emptyGam) of
{ _lhsOgathDataGam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOgathDataGam,_lhsOmodDefsRel,_lhsOundefNmMp) }) }) }) })
-- CExport -----------------------------------------------------
{-
visit 0:
synthesized attributes:
errs : ErrSq
modExpL : [ModExp]
undefNmMp : UndefNmMp
alternatives:
alternative Export:
child nm : {HsName}
alternative ExportData:
child nm : {HsName}
child mbConNmL : {Maybe [HsName]}
-}
-- 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 = ( ErrSq,([ModExp]),UndefNmMp)
sem_CExport_Export :: HsName ->
T_CExport
sem_CExport_Export nm_ =
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([ModExpEnt (ModEntSpec (hsnQualified nm_) emptyRange Nothing)]) of
{ _lhsOmodExpL ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOmodExpL,_lhsOundefNmMp) }) }) })
sem_CExport_ExportData :: HsName ->
(Maybe [HsName]) ->
T_CExport
sem_CExport_ExportData nm_ mbConNmL_ =
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([ModExpEnt (ModEntSpec (hsnQualified nm_) emptyRange (fmap (ModEntSubs . map hsnQualified) mbConNmL_))]) of
{ _lhsOmodExpL ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOmodExpL,_lhsOundefNmMp) }) }) })
-- CExportL ----------------------------------------------------
{-
visit 0:
synthesized attributes:
errs : ErrSq
modExpL : [ModExp]
undefNmMp : UndefNmMp
alternatives:
alternative Cons:
child hd : CExport
child tl : CExportL
alternative Nil:
-}
-- 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 = ( ErrSq,([ModExp]),UndefNmMp)
sem_CExportL_Cons :: T_CExport ->
T_CExportL ->
T_CExportL
sem_CExportL_Cons hd_ tl_ =
(case (tl_) of
{ ( _tlIerrs,_tlImodExpL,_tlIundefNmMp) ->
(case (hd_) of
{ ( _hdIerrs,_hdImodExpL,_hdIundefNmMp) ->
(case (_hdIerrs `Seq.union` _tlIerrs) of
{ _lhsOerrs ->
(case (_hdImodExpL ++ _tlImodExpL) of
{ _lhsOmodExpL ->
(case (_hdIundefNmMp `undefmpUnion` _tlIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOmodExpL,_lhsOundefNmMp) }) }) }) }) })
sem_CExportL_Nil :: T_CExportL
sem_CExportL_Nil =
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([]) of
{ _lhsOmodExpL ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOmodExpL,_lhsOundefNmMp) }) }) })
-- CExpr -------------------------------------------------------
{-
visit 0:
inherited attributes:
evalCtx : EvalCtx
isTopApp : Bool
isTopTup : Bool
lev : Int
opts : EHCOpts
whatAbove : WhatExpr
synthesized attributes:
errs : ErrSq
hasMain : Bool
isFreeOfLam : Bool
lamBodyIsFreeOfLam : Bool
modDefsRel : ModEntRel
notYetTransformed : NotYetTransformedS
undefNmMp : UndefNmMp
whatBelow : WhatExpr
alternatives:
alternative Var:
child ref : {ACoreBindRef}
visit 0:
local nm : {HsName}
local whatBelow : _
alternative Int:
child int : {Int}
visit 0:
local whatBelow : _
alternative Char:
child char : {Char}
visit 0:
local whatBelow : _
alternative String:
child str : {String}
visit 0:
local whatBelow : _
alternative Integer:
child integer : {Integer}
visit 0:
local whatBelow : _
alternative Tup:
child tag : {CTag}
visit 0:
local whatBelow : _
alternative Let:
child categ : {CBindCateg}
child binds : CBindL
child body : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isTopTup : _
local isTopApp : {Bool}
local evalCtx : _
local letBindingsCateg : _
local isGlobal : _
local whatBelow : _
alternative App:
child func : CExpr
child arg : CBound
visit 0:
local letBindingsCateg : _
local isTopTup : _
local isGlobal : _
local whatAbove : {WhatExpr}
local appNotYetTransformed : _
local whatBelow : _
alternative Lam:
child bind : CBind
child body : CExpr
visit 0:
local whatAbove : {WhatExpr}
local lev : _
local isTopTup : _
local isTopApp : {Bool}
local letBindingsCateg : _
local isGlobal : _
local whatBelow : _
alternative Case:
child expr : CExpr
child alts : CAltL
child dflt : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isTopTup : _
local isTopApp : {Bool}
local whatBelow : _
alternative CaseAltFail:
child failReason : {CaseAltFailReason}
child errorExpr : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isTopTup : _
local isTopApp : {Bool}
alternative TupDel:
child expr : CExpr
child tag : {CTag}
child nm : {HsName}
child offset : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isTopTup : _
local isTopApp : {Bool}
local whatBelow : _
alternative TupIns:
child expr : CExpr
child tag : {CTag}
child nm : {HsName}
child offset : CExpr
child fldExpr : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isTopTup : _
local isTopApp : {Bool}
local whatBelow : _
alternative TupUpd:
child expr : CExpr
child tag : {CTag}
child nm : {HsName}
child offset : CExpr
child fldExpr : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isTopTup : _
local isTopApp : {Bool}
local whatBelow : _
alternative FFI:
child callconv : {FFIWay}
child safety : {String}
child impEnt : {ForeignEnt}
child ty : {Ty}
visit 0:
local whatBelow : _
alternative Dbg:
child info : {String}
visit 0:
local whatBelow : _
alternative Hole:
child uid : {UID}
visit 0:
local whatBelow : _
alternative HoleLet:
child bindsUid : {UID}
child body : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isTopTup : _
local isTopApp : {Bool}
local whatBelow : _
alternative CoeArg:
visit 0:
local whatBelow : _
alternative ImplsApp:
child func : CExpr
child uid : {ImplsVarId}
visit 0:
local whatAbove : {WhatExpr}
local isTopTup : _
local isTopApp : {Bool}
local whatBelow : _
alternative ImplsLam:
child uid : {ImplsVarId}
child body : CExpr
visit 0:
local whatAbove : {WhatExpr}
local isTopTup : _
local isTopApp : {Bool}
local whatBelow : _
alternative Ann:
child ann : CExprAnn
child expr : CExpr
-}
-- 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 = EvalCtx ->
Bool ->
Bool ->
Int ->
EHCOpts ->
WhatExpr ->
( ErrSq,Bool,Bool,Bool,ModEntRel,NotYetTransformedS,UndefNmMp,WhatExpr)
sem_CExpr_Var :: ACoreBindRef ->
T_CExpr
sem_CExpr_Var ref_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (acbrefNm ref_) of
{ _nm ->
(case (ExprIsVar _nm) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_Int :: Int ->
T_CExpr
sem_CExpr_Int int_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (ExprIsInt int_) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }))
sem_CExpr_Char :: Char ->
T_CExpr
sem_CExpr_Char char_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (ExprIsOtherWHNF) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }))
sem_CExpr_String :: String ->
T_CExpr
sem_CExpr_String str_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (ExprIsOtherWHNF) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }))
sem_CExpr_Integer :: Integer ->
T_CExpr
sem_CExpr_Integer integer_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (ExprIsOtherWHNF) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }))
sem_CExpr_Tup :: CTag ->
T_CExpr
sem_CExpr_Tup tag_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (ExprIsTup tag_) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }))
sem_CExpr_Let :: CBindCateg ->
T_CBindL ->
T_CExpr ->
T_CExpr
sem_CExpr_Let categ_ binds_ body_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _bodyOwhatAbove ->
(case (_lhsIopts) of
{ _bodyOopts ->
(case (_lhsIlev) of
{ _bodyOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _bodyOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _bodyOisTopApp ->
(case (if categ_ == CBindCateg_Strict
then EvalCtx_Eval
else EvalCtx_Thunk) of
{ _evalCtx ->
(case (_evalCtx) of
{ _bodyOevalCtx ->
(case (body_ _bodyOevalCtx _bodyOisTopApp _bodyOisTopTup _bodyOlev _bodyOopts _bodyOwhatAbove) of
{ ( _bodyIerrs,_bodyIhasMain,_bodyIisFreeOfLam,_bodyIlamBodyIsFreeOfLam,_bodyImodDefsRel,_bodyInotYetTransformed,_bodyIundefNmMp,_bodyIwhatBelow) ->
(case (_lhsIopts) of
{ _bindsOopts ->
(case (categ_) of
{ _letBindingsCateg ->
(case (_letBindingsCateg) of
{ _bindsOletBindingsCateg ->
(case (_lhsIlev == cLevModule) of
{ _isGlobal ->
(case (_isGlobal) of
{ _bindsOisGlobal ->
(case (_evalCtx) of
{ _bindsOevalCtx ->
(case (_lhsIlev + 1) of
{ _bindsOlev ->
(case (binds_ _bindsOevalCtx _bindsOisGlobal _bindsOletBindingsCateg _bindsOlev _bindsOopts) of
{ ( _bindsIerrs,_bindsIhasMain,_bindsIisFreeOfLam,_bindsImodDefsRel,_bindsInotYetTransformed,_bindsIundefNmMp) ->
(case (_bindsIerrs `Seq.union` _bodyIerrs) of
{ _lhsOerrs ->
(case (_bindsIhasMain || _bodyIhasMain) of
{ _lhsOhasMain ->
(case (_bindsIisFreeOfLam && _bodyIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_bindsImodDefsRel `Rel.union` _bodyImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_bindsInotYetTransformed `Set.union` _bodyInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_bindsIundefNmMp `undefmpUnion` _bodyIundefNmMp) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_App :: T_CExpr ->
T_CBound ->
T_CExpr
sem_CExpr_App func_ arg_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (_lhsIopts) of
{ _argOopts ->
(case (_lhsIlev) of
{ _argOlev ->
(case (acoreBindcategPlain) of
{ _letBindingsCateg ->
(case (_letBindingsCateg) of
{ _argOletBindingsCateg ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _argOisTopTup ->
(case (False) of
{ _isGlobal ->
(case (_isGlobal) of
{ _argOisGlobal ->
(case (hsnUnknown) of
{ _argOnm ->
(case (EvalCtx_Thunk) of
{ _argOevalCtx ->
(case (True) of
{ _argOisTopApp ->
(case (arg_ _argOevalCtx _argOisGlobal _argOisTopApp _argOisTopTup _argOletBindingsCateg _argOlev _argOnm _argOopts) of
{ ( _argIerrs,_argIisFreeOfLam,_argIisSimple,_argInotYetTransformed,_argIundefNmMp) ->
(case (maybe (ExprIsApp 1 ExprIsOther) (\(a,w) -> ExprIsApp (a + 1) w) $ whatExprMbApp _lhsIwhatAbove) of
{ _whatAbove ->
(case (_whatAbove) of
{ _funcOwhatAbove ->
(case (_lhsIopts) of
{ _funcOopts ->
(case (_lhsIlev) of
{ _funcOlev ->
(case (_isTopTup) of
{ _funcOisTopTup ->
(case (_lhsIevalCtx) of
{ _funcOevalCtx ->
(case (False) of
{ _funcOisTopApp ->
(case (func_ _funcOevalCtx _funcOisTopApp _funcOisTopTup _funcOlev _funcOopts _funcOwhatAbove) of
{ ( _funcIerrs,_funcIhasMain,_funcIisFreeOfLam,_funcIlamBodyIsFreeOfLam,_funcImodDefsRel,_funcInotYetTransformed,_funcIundefNmMp,_funcIwhatBelow) ->
(case (_funcIerrs `Seq.union` _argIerrs) of
{ _lhsOerrs ->
(case (_funcIhasMain) of
{ _lhsOhasMain ->
(case (_funcIisFreeOfLam && _argIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_funcImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (if _argIisSimple then Set.empty else Set.singleton NotYetTransformed_ANormal) of
{ _appNotYetTransformed ->
(case (Set.unions [_appNotYetTransformed, _funcInotYetTransformed, _argInotYetTransformed]) of
{ _lhsOnotYetTransformed ->
(case (_funcIundefNmMp `undefmpUnion` _argIundefNmMp) of
{ _lhsOundefNmMp ->
(case (maybe (ExprIsApp 1 _funcIwhatBelow) (\(a,w) -> ExprIsApp (a + 1) w) $ whatExprMbApp _funcIwhatBelow) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_Lam :: T_CBind ->
T_CExpr ->
T_CExpr
sem_CExpr_Lam bind_ body_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (case _lhsIwhatAbove of
ExprIsLam a mbnm -> ExprIsLam (a + 1) mbnm
ExprIsBind nm -> ExprIsLam 1 (Just nm)
_ -> ExprIsLam 1 Nothing) of
{ _whatAbove ->
(case (_whatAbove) of
{ _bodyOwhatAbove ->
(case (_lhsIopts) of
{ _bodyOopts ->
(case (_lhsIlev + 1) of
{ _lev ->
(case (_lev) of
{ _bodyOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _bodyOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _bodyOisTopApp ->
(case (_lhsIevalCtx) of
{ _bodyOevalCtx ->
(case (body_ _bodyOevalCtx _bodyOisTopApp _bodyOisTopTup _bodyOlev _bodyOopts _bodyOwhatAbove) of
{ ( _bodyIerrs,_bodyIhasMain,_bodyIisFreeOfLam,_bodyIlamBodyIsFreeOfLam,_bodyImodDefsRel,_bodyInotYetTransformed,_bodyIundefNmMp,_bodyIwhatBelow) ->
(case (_lhsIopts) of
{ _bindOopts ->
(case (_lev) of
{ _bindOlev ->
(case (acoreBindcategPlain) of
{ _letBindingsCateg ->
(case (_letBindingsCateg) of
{ _bindOletBindingsCateg ->
(case (False) of
{ _isGlobal ->
(case (_isGlobal) of
{ _bindOisGlobal ->
(case (_lhsIevalCtx) of
{ _bindOevalCtx ->
(case (bind_ _bindOevalCtx _bindOisGlobal _bindOletBindingsCateg _bindOlev _bindOopts) of
{ ( _bindIerrs,_bindIhasMain,_bindIisFreeOfLam,_bindImodDefsRel,_bindInm,_bindInotYetTransformed,_bindIundefNmMp) ->
(case (_bindIerrs `Seq.union` _bodyIerrs) of
{ _lhsOerrs ->
(case (_bindIhasMain || _bodyIhasMain) of
{ _lhsOhasMain ->
(case (False) of
{ _lhsOisFreeOfLam ->
(case (if whatExprIsLam _bodyIwhatBelow
then _bodyIlamBodyIsFreeOfLam
else _bodyIisFreeOfLam) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_bindImodDefsRel `Rel.union` _bodyImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_bindInotYetTransformed `Set.union` _bodyInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_bindIundefNmMp `undefmpUnion` _bodyIundefNmMp) of
{ _lhsOundefNmMp ->
(case (maybe (ExprIsLam 1 Nothing) (\a -> ExprIsLam (a + 1) Nothing) $ whatExprMbLam _bodyIwhatBelow) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_Case :: T_CExpr ->
T_CAltL ->
T_CExpr ->
T_CExpr
sem_CExpr_Case expr_ alts_ dflt_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _dfltOwhatAbove ->
(case (_lhsIopts) of
{ _dfltOopts ->
(case (_lhsIlev) of
{ _dfltOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _dfltOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _dfltOisTopApp ->
(case (_lhsIevalCtx) of
{ _dfltOevalCtx ->
(case (dflt_ _dfltOevalCtx _dfltOisTopApp _dfltOisTopTup _dfltOlev _dfltOopts _dfltOwhatAbove) of
{ ( _dfltIerrs,_dfltIhasMain,_dfltIisFreeOfLam,_dfltIlamBodyIsFreeOfLam,_dfltImodDefsRel,_dfltInotYetTransformed,_dfltIundefNmMp,_dfltIwhatBelow) ->
(case (_lhsIopts) of
{ _altsOopts ->
(case (_lhsIlev) of
{ _altsOlev ->
(case (_lhsIevalCtx) of
{ _altsOevalCtx ->
(case (alts_ _altsOevalCtx _altsOlev _altsOopts) of
{ ( _altsIerrs,_altsIisFreeOfLam,_altsIundefNmMp) ->
(case (_whatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev) of
{ _exprOlev ->
(case (_isTopTup) of
{ _exprOisTopTup ->
(case (_isTopApp) of
{ _exprOisTopApp ->
(case (_lhsIevalCtx) of
{ _exprOevalCtx ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (_exprIerrs `Seq.union` _altsIerrs `Seq.union` _dfltIerrs) of
{ _lhsOerrs ->
(case (_exprIhasMain || _dfltIhasMain) of
{ _lhsOhasMain ->
(case (_exprIisFreeOfLam && _altsIisFreeOfLam && _dfltIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_exprImodDefsRel `Rel.union` _dfltImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_exprInotYetTransformed `Set.union` _dfltInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_exprIundefNmMp `undefmpUnion` _altsIundefNmMp `undefmpUnion` _dfltIundefNmMp) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_CaseAltFail :: CaseAltFailReason ->
T_CExpr ->
T_CExpr
sem_CExpr_CaseAltFail failReason_ errorExpr_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _errorExprOwhatAbove ->
(case (_lhsIopts) of
{ _errorExprOopts ->
(case (_lhsIlev) of
{ _errorExprOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _errorExprOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _errorExprOisTopApp ->
(case (_lhsIevalCtx) of
{ _errorExprOevalCtx ->
(case (errorExpr_ _errorExprOevalCtx _errorExprOisTopApp _errorExprOisTopTup _errorExprOlev _errorExprOopts _errorExprOwhatAbove) of
{ ( _errorExprIerrs,_errorExprIhasMain,_errorExprIisFreeOfLam,_errorExprIlamBodyIsFreeOfLam,_errorExprImodDefsRel,_errorExprInotYetTransformed,_errorExprIundefNmMp,_errorExprIwhatBelow) ->
(case (_errorExprIerrs) of
{ _lhsOerrs ->
(case (_errorExprIhasMain) of
{ _lhsOhasMain ->
(case (_errorExprIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_errorExprImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_errorExprInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_errorExprIundefNmMp) of
{ _lhsOundefNmMp ->
(case (_errorExprIwhatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_TupDel :: T_CExpr ->
CTag ->
HsName ->
T_CExpr ->
T_CExpr
sem_CExpr_TupDel expr_ tag_ nm_ offset_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _offsetOwhatAbove ->
(case (_lhsIopts) of
{ _offsetOopts ->
(case (_lhsIlev) of
{ _offsetOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _offsetOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _offsetOisTopApp ->
(case (_lhsIevalCtx) of
{ _offsetOevalCtx ->
(case (offset_ _offsetOevalCtx _offsetOisTopApp _offsetOisTopTup _offsetOlev _offsetOopts _offsetOwhatAbove) of
{ ( _offsetIerrs,_offsetIhasMain,_offsetIisFreeOfLam,_offsetIlamBodyIsFreeOfLam,_offsetImodDefsRel,_offsetInotYetTransformed,_offsetIundefNmMp,_offsetIwhatBelow) ->
(case (_whatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev) of
{ _exprOlev ->
(case (_isTopApp) of
{ _exprOisTopApp ->
(case (_lhsIevalCtx) of
{ _exprOevalCtx ->
(case (False) of
{ _exprOisTopTup ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (_exprIerrs `Seq.union` _offsetIerrs) of
{ _lhsOerrs ->
(case (_exprIhasMain || _offsetIhasMain) of
{ _lhsOhasMain ->
(case (_exprIisFreeOfLam && _offsetIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_exprImodDefsRel `Rel.union` _offsetImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_exprInotYetTransformed `Set.union` _offsetInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_exprIundefNmMp `undefmpUnion` _offsetIundefNmMp) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_TupIns :: T_CExpr ->
CTag ->
HsName ->
T_CExpr ->
T_CExpr ->
T_CExpr
sem_CExpr_TupIns expr_ tag_ nm_ offset_ fldExpr_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _fldExprOwhatAbove ->
(case (_lhsIopts) of
{ _fldExprOopts ->
(case (_lhsIlev) of
{ _fldExprOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _fldExprOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _fldExprOisTopApp ->
(case (_lhsIevalCtx) of
{ _fldExprOevalCtx ->
(case (fldExpr_ _fldExprOevalCtx _fldExprOisTopApp _fldExprOisTopTup _fldExprOlev _fldExprOopts _fldExprOwhatAbove) of
{ ( _fldExprIerrs,_fldExprIhasMain,_fldExprIisFreeOfLam,_fldExprIlamBodyIsFreeOfLam,_fldExprImodDefsRel,_fldExprInotYetTransformed,_fldExprIundefNmMp,_fldExprIwhatBelow) ->
(case (_whatAbove) of
{ _offsetOwhatAbove ->
(case (_lhsIopts) of
{ _offsetOopts ->
(case (_lhsIlev) of
{ _offsetOlev ->
(case (_isTopTup) of
{ _offsetOisTopTup ->
(case (_isTopApp) of
{ _offsetOisTopApp ->
(case (_lhsIevalCtx) of
{ _offsetOevalCtx ->
(case (offset_ _offsetOevalCtx _offsetOisTopApp _offsetOisTopTup _offsetOlev _offsetOopts _offsetOwhatAbove) of
{ ( _offsetIerrs,_offsetIhasMain,_offsetIisFreeOfLam,_offsetIlamBodyIsFreeOfLam,_offsetImodDefsRel,_offsetInotYetTransformed,_offsetIundefNmMp,_offsetIwhatBelow) ->
(case (_whatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev) of
{ _exprOlev ->
(case (_isTopApp) of
{ _exprOisTopApp ->
(case (_lhsIevalCtx) of
{ _exprOevalCtx ->
(case (False) of
{ _exprOisTopTup ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (_exprIerrs `Seq.union` _offsetIerrs `Seq.union` _fldExprIerrs) of
{ _lhsOerrs ->
(case (_exprIhasMain || _offsetIhasMain || _fldExprIhasMain) of
{ _lhsOhasMain ->
(case (_exprIisFreeOfLam && _offsetIisFreeOfLam && _fldExprIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_exprImodDefsRel `Rel.union` _offsetImodDefsRel `Rel.union` _fldExprImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_exprInotYetTransformed `Set.union` _offsetInotYetTransformed `Set.union` _fldExprInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_exprIundefNmMp `undefmpUnion` _offsetIundefNmMp `undefmpUnion` _fldExprIundefNmMp) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_TupUpd :: T_CExpr ->
CTag ->
HsName ->
T_CExpr ->
T_CExpr ->
T_CExpr
sem_CExpr_TupUpd expr_ tag_ nm_ offset_ fldExpr_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _fldExprOwhatAbove ->
(case (_lhsIopts) of
{ _fldExprOopts ->
(case (_lhsIlev) of
{ _fldExprOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _fldExprOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _fldExprOisTopApp ->
(case (_lhsIevalCtx) of
{ _fldExprOevalCtx ->
(case (fldExpr_ _fldExprOevalCtx _fldExprOisTopApp _fldExprOisTopTup _fldExprOlev _fldExprOopts _fldExprOwhatAbove) of
{ ( _fldExprIerrs,_fldExprIhasMain,_fldExprIisFreeOfLam,_fldExprIlamBodyIsFreeOfLam,_fldExprImodDefsRel,_fldExprInotYetTransformed,_fldExprIundefNmMp,_fldExprIwhatBelow) ->
(case (_whatAbove) of
{ _offsetOwhatAbove ->
(case (_lhsIopts) of
{ _offsetOopts ->
(case (_lhsIlev) of
{ _offsetOlev ->
(case (_isTopTup) of
{ _offsetOisTopTup ->
(case (_isTopApp) of
{ _offsetOisTopApp ->
(case (_lhsIevalCtx) of
{ _offsetOevalCtx ->
(case (offset_ _offsetOevalCtx _offsetOisTopApp _offsetOisTopTup _offsetOlev _offsetOopts _offsetOwhatAbove) of
{ ( _offsetIerrs,_offsetIhasMain,_offsetIisFreeOfLam,_offsetIlamBodyIsFreeOfLam,_offsetImodDefsRel,_offsetInotYetTransformed,_offsetIundefNmMp,_offsetIwhatBelow) ->
(case (_whatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev) of
{ _exprOlev ->
(case (_isTopApp) of
{ _exprOisTopApp ->
(case (_lhsIevalCtx) of
{ _exprOevalCtx ->
(case (False) of
{ _exprOisTopTup ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (_exprIerrs `Seq.union` _offsetIerrs `Seq.union` _fldExprIerrs) of
{ _lhsOerrs ->
(case (_exprIhasMain || _offsetIhasMain || _fldExprIhasMain) of
{ _lhsOhasMain ->
(case (_exprIisFreeOfLam && _offsetIisFreeOfLam && _fldExprIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_exprImodDefsRel `Rel.union` _offsetImodDefsRel `Rel.union` _fldExprImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_exprInotYetTransformed `Set.union` _offsetInotYetTransformed `Set.union` _fldExprInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_exprIundefNmMp `undefmpUnion` _offsetIundefNmMp `undefmpUnion` _fldExprIundefNmMp) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_FFI :: FFIWay ->
String ->
ForeignEnt ->
Ty ->
T_CExpr
sem_CExpr_FFI callconv_ safety_ impEnt_ ty_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (ExprIsFFI) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }))
sem_CExpr_Dbg :: String ->
T_CExpr
sem_CExpr_Dbg info_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }))
sem_CExpr_Hole :: UID ->
T_CExpr
sem_CExpr_Hole uid_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }))
sem_CExpr_HoleLet :: UID ->
T_CExpr ->
T_CExpr
sem_CExpr_HoleLet bindsUid_ body_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _bodyOwhatAbove ->
(case (_lhsIopts) of
{ _bodyOopts ->
(case (_lhsIlev) of
{ _bodyOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _bodyOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _bodyOisTopApp ->
(case (_lhsIevalCtx) of
{ _bodyOevalCtx ->
(case (body_ _bodyOevalCtx _bodyOisTopApp _bodyOisTopTup _bodyOlev _bodyOopts _bodyOwhatAbove) of
{ ( _bodyIerrs,_bodyIhasMain,_bodyIisFreeOfLam,_bodyIlamBodyIsFreeOfLam,_bodyImodDefsRel,_bodyInotYetTransformed,_bodyIundefNmMp,_bodyIwhatBelow) ->
(case (_bodyIerrs) of
{ _lhsOerrs ->
(case (_bodyIhasMain) of
{ _lhsOhasMain ->
(case (_bodyIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_bodyImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_bodyInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_bodyIundefNmMp) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_CoeArg :: T_CExpr
sem_CExpr_CoeArg =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (False) of
{ _lhsOhasMain ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (Rel.empty) of
{ _lhsOmodDefsRel ->
(case (Set.empty) of
{ _lhsOnotYetTransformed ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }))
sem_CExpr_ImplsApp :: T_CExpr ->
ImplsVarId ->
T_CExpr
sem_CExpr_ImplsApp func_ uid_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _funcOwhatAbove ->
(case (_lhsIopts) of
{ _funcOopts ->
(case (_lhsIlev) of
{ _funcOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _funcOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _funcOisTopApp ->
(case (_lhsIevalCtx) of
{ _funcOevalCtx ->
(case (func_ _funcOevalCtx _funcOisTopApp _funcOisTopTup _funcOlev _funcOopts _funcOwhatAbove) of
{ ( _funcIerrs,_funcIhasMain,_funcIisFreeOfLam,_funcIlamBodyIsFreeOfLam,_funcImodDefsRel,_funcInotYetTransformed,_funcIundefNmMp,_funcIwhatBelow) ->
(case (_funcIerrs) of
{ _lhsOerrs ->
(case (_funcIhasMain) of
{ _lhsOhasMain ->
(case (_funcIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_funcImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_funcInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_funcIundefNmMp) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_ImplsLam :: ImplsVarId ->
T_CExpr ->
T_CExpr
sem_CExpr_ImplsLam uid_ body_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _bodyOwhatAbove ->
(case (_lhsIopts) of
{ _bodyOopts ->
(case (_lhsIlev) of
{ _bodyOlev ->
(case (True) of
{ _isTopTup ->
(case (_isTopTup) of
{ _bodyOisTopTup ->
(case (True) of
{ _isTopApp ->
(case (_isTopApp) of
{ _bodyOisTopApp ->
(case (_lhsIevalCtx) of
{ _bodyOevalCtx ->
(case (body_ _bodyOevalCtx _bodyOisTopApp _bodyOisTopTup _bodyOlev _bodyOopts _bodyOwhatAbove) of
{ ( _bodyIerrs,_bodyIhasMain,_bodyIisFreeOfLam,_bodyIlamBodyIsFreeOfLam,_bodyImodDefsRel,_bodyInotYetTransformed,_bodyIundefNmMp,_bodyIwhatBelow) ->
(case (_bodyIerrs) of
{ _lhsOerrs ->
(case (_bodyIhasMain) of
{ _lhsOhasMain ->
(case (_bodyIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_bodyImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_bodyInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_bodyIundefNmMp) of
{ _lhsOundefNmMp ->
(case (ExprIsOther) of
{ _whatBelow ->
(case (_whatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
sem_CExpr_Ann :: T_CExprAnn ->
T_CExpr ->
T_CExpr
sem_CExpr_Ann ann_ expr_ =
(\ _lhsIevalCtx
_lhsIisTopApp
_lhsIisTopTup
_lhsIlev
_lhsIopts
_lhsIwhatAbove ->
(case (_lhsIwhatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev) of
{ _exprOlev ->
(case (_lhsIisTopTup) of
{ _exprOisTopTup ->
(case (_lhsIisTopApp) of
{ _exprOisTopApp ->
(case (_lhsIevalCtx) of
{ _exprOevalCtx ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (_lhsIopts) of
{ _annOopts ->
(case (_lhsIlev) of
{ _annOlev ->
(case (ann_ _annOlev _annOopts) of
{ ( _annIerrs,_annIisFreeOfLam,_annIundefNmMp) ->
(case (_annIerrs `Seq.union` _exprIerrs) of
{ _lhsOerrs ->
(case (_exprIhasMain) of
{ _lhsOhasMain ->
(case (_annIisFreeOfLam && _exprIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (False) of
{ _lhsOlamBodyIsFreeOfLam ->
(case (_exprImodDefsRel) of
{ _lhsOmodDefsRel ->
(case (_exprInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_annIundefNmMp `undefmpUnion` _exprIundefNmMp) of
{ _lhsOundefNmMp ->
(case (_exprIwhatBelow) of
{ _lhsOwhatBelow ->
( _lhsOerrs,_lhsOhasMain,_lhsOisFreeOfLam,_lhsOlamBodyIsFreeOfLam,_lhsOmodDefsRel,_lhsOnotYetTransformed,_lhsOundefNmMp,_lhsOwhatBelow) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CExprAnn ----------------------------------------------------
{-
visit 0:
inherited attributes:
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
isFreeOfLam : Bool
undefNmMp : UndefNmMp
alternatives:
alternative Ty:
child ty : {Ty}
alternative Debug:
child info : {String}
-}
-- 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 = Int ->
EHCOpts ->
( ErrSq,Bool,UndefNmMp)
sem_CExprAnn_Ty :: Ty ->
T_CExprAnn
sem_CExprAnn_Ty ty_ =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }))
sem_CExprAnn_Debug :: String ->
T_CExprAnn
sem_CExprAnn_Debug info_ =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }))
-- CImport -----------------------------------------------------
{-
visit 0:
synthesized attributes:
errs : ErrSq
impModNmL : [HsName]
modImpL : [ModImp]
undefNmMp : UndefNmMp
alternatives:
alternative Import:
child nm : {HsName}
-}
-- cata
sem_CImport :: CImport ->
T_CImport
sem_CImport (CImport_Import _nm) =
(sem_CImport_Import _nm)
-- semantic domain
type T_CImport = ( ErrSq,([HsName]),([ModImp]),UndefNmMp)
sem_CImport_Import :: HsName ->
T_CImport
sem_CImport_Import nm_ =
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([nm_]) of
{ _lhsOimpModNmL ->
(case ([ModImp True nm_ nm_ False [] emptyRange]) of
{ _lhsOmodImpL ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOimpModNmL,_lhsOmodImpL,_lhsOundefNmMp) }) }) }) })
-- CImportL ----------------------------------------------------
{-
visit 0:
synthesized attributes:
errs : ErrSq
impModNmL : [HsName]
modImpL : [ModImp]
undefNmMp : UndefNmMp
alternatives:
alternative Cons:
child hd : CImport
child tl : CImportL
alternative Nil:
-}
-- 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 = ( ErrSq,([HsName]),([ModImp]),UndefNmMp)
sem_CImportL_Cons :: T_CImport ->
T_CImportL ->
T_CImportL
sem_CImportL_Cons hd_ tl_ =
(case (tl_) of
{ ( _tlIerrs,_tlIimpModNmL,_tlImodImpL,_tlIundefNmMp) ->
(case (hd_) of
{ ( _hdIerrs,_hdIimpModNmL,_hdImodImpL,_hdIundefNmMp) ->
(case (_hdIerrs `Seq.union` _tlIerrs) of
{ _lhsOerrs ->
(case (_hdIimpModNmL ++ _tlIimpModNmL) of
{ _lhsOimpModNmL ->
(case (_hdImodImpL ++ _tlImodImpL) of
{ _lhsOmodImpL ->
(case (_hdIundefNmMp `undefmpUnion` _tlIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOimpModNmL,_lhsOmodImpL,_lhsOundefNmMp) }) }) }) }) }) })
sem_CImportL_Nil :: T_CImportL
sem_CImportL_Nil =
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([]) of
{ _lhsOimpModNmL ->
(case ([]) of
{ _lhsOmodImpL ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOimpModNmL,_lhsOmodImpL,_lhsOundefNmMp) }) }) }) })
-- CModule -----------------------------------------------------
{-
visit 0:
inherited attributes:
lev : Int
moduleNm : HsName
opts : EHCOpts
synthesized attributes:
errs : ErrSq
gathDataGam : DataGam
hasMain : Bool
impModNmL : [HsName]
isFreeOfLam : Bool
mod : Mod
notYetTransformed : NotYetTransformedS
realModuleNm : HsName
undefNmMp : UndefNmMp
alternatives:
alternative Mod:
child moduleNm : {HsName}
child exports : CExportL
child imports : CImportL
child declMetas : CDeclMetaL
child expr : CExpr
visit 0:
local whatAbove : {WhatExpr}
local realModuleNm : _
-}
-- 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 = Int ->
HsName ->
EHCOpts ->
( ErrSq,DataGam,Bool,([HsName]),Bool,Mod,NotYetTransformedS,HsName,UndefNmMp)
sem_CModule_Mod :: HsName ->
T_CExportL ->
T_CImportL ->
T_CDeclMetaL ->
T_CExpr ->
T_CModule
sem_CModule_Mod moduleNm_ exports_ imports_ declMetas_ expr_ =
(\ _lhsIlev
_lhsImoduleNm
_lhsIopts ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _exprOwhatAbove ->
(case (_lhsIopts) of
{ _exprOopts ->
(case (_lhsIlev) of
{ _exprOlev ->
(case (EvalCtx_Eval) of
{ _exprOevalCtx ->
(case (True) of
{ _exprOisTopTup ->
(case (True) of
{ _exprOisTopApp ->
(case (expr_ _exprOevalCtx _exprOisTopApp _exprOisTopTup _exprOlev _exprOopts _exprOwhatAbove) of
{ ( _exprIerrs,_exprIhasMain,_exprIisFreeOfLam,_exprIlamBodyIsFreeOfLam,_exprImodDefsRel,_exprInotYetTransformed,_exprIundefNmMp,_exprIwhatBelow) ->
(case (declMetas_) of
{ ( _declMetasIerrs,_declMetasIgathDataGam,_declMetasImodDefsRel,_declMetasIundefNmMp) ->
(case (imports_) of
{ ( _importsIerrs,_importsIimpModNmL,_importsImodImpL,_importsIundefNmMp) ->
(case (exports_) of
{ ( _exportsIerrs,_exportsImodExpL,_exportsIundefNmMp) ->
(case (_exportsIerrs `Seq.union` _importsIerrs `Seq.union` _declMetasIerrs `Seq.union` _exprIerrs) of
{ _lhsOerrs ->
(case (_declMetasIgathDataGam) of
{ _lhsOgathDataGam ->
(case (_exprIhasMain) of
{ _lhsOhasMain ->
(case (_importsIimpModNmL) of
{ _lhsOimpModNmL ->
(case (_exprIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (moduleNm_) of
{ _realModuleNm ->
(case (Mod _realModuleNm (Just _realModuleNm) (Just _exportsImodExpL) _importsImodImpL
(_declMetasImodDefsRel `Rel.union` _exprImodDefsRel)
Rel.empty []) of
{ _lhsOmod ->
(case (_exprInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_realModuleNm) of
{ _lhsOrealModuleNm ->
(case (_exportsIundefNmMp `undefmpUnion` _importsIundefNmMp `undefmpUnion` _declMetasIundefNmMp `undefmpUnion` _exprIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOgathDataGam,_lhsOhasMain,_lhsOimpModNmL,_lhsOisFreeOfLam,_lhsOmod,_lhsOnotYetTransformed,_lhsOrealModuleNm,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CPat --------------------------------------------------------
{-
visit 0:
inherited attributes:
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
fldNmL : [HsName]
isFreeOfLam : Bool
undefNmMp : UndefNmMp
alternatives:
alternative Var:
child pnm : {HsName}
alternative Con:
child tag : {CTag}
child rest : CPatRest
child binds : CPatFldL
alternative Int:
child int : {Int}
alternative Char:
child char : {Char}
alternative BoolExpr:
child cexpr : {CExpr}
-}
-- 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 = Int ->
EHCOpts ->
( ErrSq,([HsName]),Bool,UndefNmMp)
sem_CPat_Var :: HsName ->
T_CPat
sem_CPat_Var pnm_ =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([]) of
{ _lhsOfldNmL ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOfldNmL,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }))
sem_CPat_Con :: CTag ->
T_CPatRest ->
T_CPatFldL ->
T_CPat
sem_CPat_Con tag_ rest_ binds_ =
(\ _lhsIlev
_lhsIopts ->
(case (_lhsIopts) of
{ _bindsOopts ->
(case (_lhsIlev) of
{ _bindsOlev ->
(case (binds_ _bindsOlev _bindsOopts) of
{ ( _bindsIerrs,_bindsIfldNmL,_bindsIisFreeOfLam,_bindsIundefNmMp) ->
(case (_lhsIopts) of
{ _restOopts ->
(case (_lhsIlev) of
{ _restOlev ->
(case (rest_ _restOlev _restOopts) of
{ ( _restIerrs,_restIisFreeOfLam,_restIundefNmMp) ->
(case (_restIerrs `Seq.union` _bindsIerrs) of
{ _lhsOerrs ->
(case (_bindsIfldNmL) of
{ _lhsOfldNmL ->
(case (_restIisFreeOfLam && _bindsIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (_restIundefNmMp `undefmpUnion` _bindsIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOfldNmL,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }))
sem_CPat_Int :: Int ->
T_CPat
sem_CPat_Int int_ =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([]) of
{ _lhsOfldNmL ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOfldNmL,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }))
sem_CPat_Char :: Char ->
T_CPat
sem_CPat_Char char_ =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([]) of
{ _lhsOfldNmL ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOfldNmL,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }))
sem_CPat_BoolExpr :: CExpr ->
T_CPat
sem_CPat_BoolExpr cexpr_ =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([]) of
{ _lhsOfldNmL ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOfldNmL,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }))
-- CPatFld -----------------------------------------------------
{-
visit 0:
inherited attributes:
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
fldNmL : [HsName]
isFreeOfLam : Bool
undefNmMp : UndefNmMp
alternatives:
alternative Fld:
child lbl : {HsName}
child offset : CExpr
child bind : CBind
child fldAnns : CBindAnnL
visit 0:
local whatAbove : {WhatExpr}
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 = Int ->
EHCOpts ->
( ErrSq,([HsName]),Bool,UndefNmMp)
sem_CPatFld_Fld :: HsName ->
T_CExpr ->
T_CBind ->
T_CBindAnnL ->
T_CPatFld
sem_CPatFld_Fld lbl_ offset_ bind_ fldAnns_ =
(\ _lhsIlev
_lhsIopts ->
(case (_lhsIopts) of
{ _fldAnnsOopts ->
(case (_lhsIlev) of
{ _fldAnnsOlev ->
(case (fldAnns_ _fldAnnsOlev _fldAnnsOopts) of
{ ( _fldAnnsIerrs,_fldAnnsIisFreeOfLam,_fldAnnsIundefNmMp) ->
(case (_lhsIopts) of
{ _bindOopts ->
(case (_lhsIlev) of
{ _bindOlev ->
(case (False) of
{ _bindOisGlobal ->
(case (EvalCtx_None) of
{ _bindOevalCtx ->
(case (acoreBindcategPlain) of
{ _bindOletBindingsCateg ->
(case (bind_ _bindOevalCtx _bindOisGlobal _bindOletBindingsCateg _bindOlev _bindOopts) of
{ ( _bindIerrs,_bindIhasMain,_bindIisFreeOfLam,_bindImodDefsRel,_bindInm,_bindInotYetTransformed,_bindIundefNmMp) ->
(case (ExprIsOther) of
{ _whatAbove ->
(case (_whatAbove) of
{ _offsetOwhatAbove ->
(case (_lhsIopts) of
{ _offsetOopts ->
(case (_lhsIlev) of
{ _offsetOlev ->
(case (EvalCtx_Eval) of
{ _offsetOevalCtx ->
(case (True) of
{ _offsetOisTopTup ->
(case (True) of
{ _offsetOisTopApp ->
(case (offset_ _offsetOevalCtx _offsetOisTopApp _offsetOisTopTup _offsetOlev _offsetOopts _offsetOwhatAbove) of
{ ( _offsetIerrs,_offsetIhasMain,_offsetIisFreeOfLam,_offsetIlamBodyIsFreeOfLam,_offsetImodDefsRel,_offsetInotYetTransformed,_offsetIundefNmMp,_offsetIwhatBelow) ->
(case (_offsetIerrs `Seq.union` _bindIerrs `Seq.union` _fldAnnsIerrs) of
{ _lhsOerrs ->
(case (_bindInm) of
{ _fldNm ->
(case ([_fldNm]) of
{ _lhsOfldNmL ->
(case (_offsetIisFreeOfLam && _bindIisFreeOfLam && _fldAnnsIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (_offsetIundefNmMp `undefmpUnion` _bindIundefNmMp `undefmpUnion` _fldAnnsIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOfldNmL,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }) }))
-- CPatFldL ----------------------------------------------------
{-
visit 0:
inherited attributes:
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
fldNmL : [HsName]
isFreeOfLam : Bool
undefNmMp : UndefNmMp
alternatives:
alternative Cons:
child hd : CPatFld
child tl : CPatFldL
alternative Nil:
-}
-- 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 = Int ->
EHCOpts ->
( ErrSq,([HsName]),Bool,UndefNmMp)
sem_CPatFldL_Cons :: T_CPatFld ->
T_CPatFldL ->
T_CPatFldL
sem_CPatFldL_Cons hd_ tl_ =
(\ _lhsIlev
_lhsIopts ->
(case (_lhsIopts) of
{ _tlOopts ->
(case (_lhsIlev) of
{ _tlOlev ->
(case (tl_ _tlOlev _tlOopts) of
{ ( _tlIerrs,_tlIfldNmL,_tlIisFreeOfLam,_tlIundefNmMp) ->
(case (_lhsIopts) of
{ _hdOopts ->
(case (_lhsIlev) of
{ _hdOlev ->
(case (hd_ _hdOlev _hdOopts) of
{ ( _hdIerrs,_hdIfldNmL,_hdIisFreeOfLam,_hdIundefNmMp) ->
(case (_hdIerrs `Seq.union` _tlIerrs) of
{ _lhsOerrs ->
(case (_hdIfldNmL ++ _tlIfldNmL) of
{ _lhsOfldNmL ->
(case (_hdIisFreeOfLam && _tlIisFreeOfLam) of
{ _lhsOisFreeOfLam ->
(case (_hdIundefNmMp `undefmpUnion` _tlIundefNmMp) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOfldNmL,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }) }) }) }) }) }) }))
sem_CPatFldL_Nil :: T_CPatFldL
sem_CPatFldL_Nil =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case ([]) of
{ _lhsOfldNmL ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOfldNmL,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }) }))
-- CPatRest ----------------------------------------------------
{-
visit 0:
inherited attributes:
lev : Int
opts : EHCOpts
synthesized attributes:
errs : ErrSq
isFreeOfLam : Bool
undefNmMp : UndefNmMp
alternatives:
alternative Var:
child nm : {HsName}
alternative Empty:
-}
-- 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 = Int ->
EHCOpts ->
( ErrSq,Bool,UndefNmMp)
sem_CPatRest_Var :: HsName ->
T_CPatRest
sem_CPatRest_Var nm_ =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }))
sem_CPatRest_Empty :: T_CPatRest
sem_CPatRest_Empty =
(\ _lhsIlev
_lhsIopts ->
(case (Seq.empty) of
{ _lhsOerrs ->
(case (True) of
{ _lhsOisFreeOfLam ->
(case (Map.empty) of
{ _lhsOundefNmMp ->
( _lhsOerrs,_lhsOisFreeOfLam,_lhsOundefNmMp) }) }) }))
-- CodeAGItf ---------------------------------------------------
{-
visit 0:
inherited attributes:
moduleNm : HsName
opts : EHCOpts
synthesized attributes:
errs : ErrSq
gathDataGam : DataGam
hasMain : Bool
impModNmL : [HsName]
mod : Mod
notYetTransformed : NotYetTransformedS
realModuleNm : HsName
alternatives:
alternative AGItf:
child module : CModule
-}
-- cata
sem_CodeAGItf :: CodeAGItf ->
T_CodeAGItf
sem_CodeAGItf (CodeAGItf_AGItf _module) =
(sem_CodeAGItf_AGItf (sem_CModule _module))
-- semantic domain
type T_CodeAGItf = HsName ->
EHCOpts ->
( ErrSq,DataGam,Bool,([HsName]),Mod,NotYetTransformedS,HsName)
data Inh_CodeAGItf = Inh_CodeAGItf {moduleNm_Inh_CodeAGItf :: HsName,opts_Inh_CodeAGItf :: EHCOpts}
data Syn_CodeAGItf = Syn_CodeAGItf {errs_Syn_CodeAGItf :: ErrSq,gathDataGam_Syn_CodeAGItf :: DataGam,hasMain_Syn_CodeAGItf :: Bool,impModNmL_Syn_CodeAGItf :: ([HsName]),mod_Syn_CodeAGItf :: Mod,notYetTransformed_Syn_CodeAGItf :: NotYetTransformedS,realModuleNm_Syn_CodeAGItf :: HsName}
wrap_CodeAGItf :: T_CodeAGItf ->
Inh_CodeAGItf ->
Syn_CodeAGItf
wrap_CodeAGItf sem (Inh_CodeAGItf _lhsImoduleNm _lhsIopts) =
(let ( _lhsOerrs,_lhsOgathDataGam,_lhsOhasMain,_lhsOimpModNmL,_lhsOmod,_lhsOnotYetTransformed,_lhsOrealModuleNm) = sem _lhsImoduleNm _lhsIopts
in (Syn_CodeAGItf _lhsOerrs _lhsOgathDataGam _lhsOhasMain _lhsOimpModNmL _lhsOmod _lhsOnotYetTransformed _lhsOrealModuleNm))
sem_CodeAGItf_AGItf :: T_CModule ->
T_CodeAGItf
sem_CodeAGItf_AGItf module_ =
(\ _lhsImoduleNm
_lhsIopts ->
(case (_lhsIopts) of
{ _moduleOopts ->
(case (_lhsImoduleNm) of
{ _moduleOmoduleNm ->
(case (cLevModule) of
{ _moduleOlev ->
(case (module_ _moduleOlev _moduleOmoduleNm _moduleOopts) of
{ ( _moduleIerrs,_moduleIgathDataGam,_moduleIhasMain,_moduleIimpModNmL,_moduleIisFreeOfLam,_moduleImod,_moduleInotYetTransformed,_moduleIrealModuleNm,_moduleIundefNmMp) ->
(case (_moduleIerrs) of
{ _lhsOerrs ->
(case (_moduleIgathDataGam) of
{ _lhsOgathDataGam ->
(case (_moduleIhasMain) of
{ _lhsOhasMain ->
(case (_moduleIimpModNmL) of
{ _lhsOimpModNmL ->
(case (_moduleImod) of
{ _lhsOmod ->
(case (_moduleInotYetTransformed) of
{ _lhsOnotYetTransformed ->
(case (_moduleIrealModuleNm) of
{ _lhsOrealModuleNm ->
( _lhsOerrs,_lhsOgathDataGam,_lhsOhasMain,_lhsOimpModNmL,_lhsOmod,_lhsOnotYetTransformed,_lhsOrealModuleNm) }) }) }) }) }) }) }) }) }) }) }))