IRTS.Simplified

Documentation

data SExp

Constructors

SV LVar

SApp Bool Name [LVar]

SLet LVar SExp SExp

SUpdate LVar SExp

SCon Int Name [LVar]

SCase LVar [SAlt]

SChkCase LVar [SAlt]

SProj LVar Int

SConst Const

SForeign FLang FType String [(FType, LVar)]

SOp PrimFn [LVar]

SNothing

SError String

Instances

Show SExp

data SAlt

Constructors

SConCase Int Int Name [Name] SExp

SConstCase Const SExp

SDefaultCase SExp

Instances

Show SAlt

data SDecl

Constructors

SFun Name [Name] Int SExp

Instances

Show SDecl

hvar :: State (DDefs, Int) Int

ldefs :: State (DDefs, Int) DDefs

simplify :: Bool -> DExp -> State (DDefs, Int) SExp

sVar :: DExp -> StateT (DDefs, Int) Identity (LVar, Maybe SExp)

mkapp :: Monad m => ([LVar] -> SExp) -> [(LVar, Maybe SExp)] -> m SExp

mkfapp :: Monad m => ([(t, LVar)] -> SExp) -> [(t, (LVar, Maybe SExp))] -> m SExp

sAlt :: Bool -> DAlt -> StateT (DDefs, Int) Identity SAlt

checkDefs :: DDefs -> [(Name, DDecl)] -> TC [(Name, SDecl)]

lvar :: (Ord s, MonadState s m) => s -> m ()

scopecheck :: DDefs -> [(Name, Int)] -> SExp -> StateT Int TC SExp