gibbon-0.3: A compiler for operating on serialized data
Safe HaskellSafe-Inferred
LanguageHaskell2010

Gibbon.Passes.InferEffects

Description

An intermediate language with an effect system that captures traversals.

ASSUMES that the flatten pass has run, and thus we have trivial AppE operands.

Documentation

inferEffects :: Prog2 -> PassM Prog2 Source #

inferExp :: DDefs Ty2 -> FunEnv2 -> TyEnv Ty2 -> Deps -> Exp2 -> (Set Effect, Maybe LocVar) Source #