@@ -24,6 +24,7 @@ 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
27doInline defs d@(LConstructor _ _ _) = d
28doInline defs d@(LConstructor _ _ _) = d
28doInline defs (LFun opts topn args exp)
29doInline defs (LFun opts topn args exp)
29 = let res = evalState (inlineWith [topn] (map (\n -> (n, LV (Glob n))) args) exp) 0 in
30 = let res = evalState (inlineWith [topn] (map (\n -> (n, LV (Glob n))) args) exp) 0 in