Re-enable inlining in Lang IR
commit12abf74084414108141025f28e53832cdfd8be66
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 24 Aug 2014, 21:54 (12 years ago)
parentc643d6e
src/IRTS/LangOpts.hs−1
@@ -24,7 +24,6 @@ nextN = do i <- get
2424-- Need to preserve uniqueness of variable names in the resulting definition,
2525-- so invent a new name for every variable we encounter
2626doInline :: LDefs -> LDecl -> LDecl
27−doInline defs d = d
2827doInline defs d@(LConstructor _ _ _) = d
2928doInline defs (LFun opts topn args exp)
3029 = let res = evalState (inlineWith [topn] (map (\n -> (n, LV (Glob n))) args) exp) 0 in