@@ -24,7 +24,6 @@ nextN = do i <- get
24-- Need to preserve uniqueness of variable names in the resulting definition,
24-- Need to preserve uniqueness of variable names in the resulting definition,
25-- so invent a new name for every variable we encounter
25-- so invent a new name for every variable we encounter
26doInline :: LDefs -> LDecl -> LDecl
26doInline :: LDefs -> LDecl -> LDecl
28doInline defs d@(LConstructor _ _ _) = d
27doInline defs d@(LConstructor _ _ _) = d
29doInline defs (LFun opts topn args exp)
28doInline defs (LFun opts topn args exp)
30 = let res = evalState (inlineWith [topn] (map (\n -> (n, LV (Glob n))) args) exp) 0 in
29 = let res = evalState (inlineWith [topn] (map (\n -> (n, LV (Glob n))) args) exp) 0 in