Merge branch 'master' of github.com:idris-lang/Idris-dev
commit6e26f5117b7feb5ce8d612fe9ae896504ffc23e7
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 24 Aug 2014, 21:54 (12 years ago)
parent1ec12bb12abf74
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