Documentation

freshNames :: Prog0 -> PassM Prog0 Source #

freshNames1 :: Prog1 -> PassM Prog1 Source #

freshExp :: VarEnv -> TyVarEnv Ty0 -> Exp0 -> PassM Exp0 Source #

freshExp1 :: VarEnv -> Exp1 -> PassM Exp1 Source #

freshFun1 :: FunDef1 -> PassM FunDef1 Source #