IRTS.LangOpts

Documentation

inlineAll :: [(Name, LDecl)] -> [(Name, LDecl)]

nextN :: State Int Name

doInline :: LDefs -> LDecl -> LDecl

Inline inside a declaration.

Variables are still Name at this stage. Need to preserve uniqueness of variable names in the resulting definition, so invent a new name for every variable we encounter