We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 93d21f5 commit fb34f2dCopy full SHA for fb34f2d
src/Compiler/Jvm/Optimizer.idr
@@ -220,7 +220,7 @@ mutual
220
liftToLambdaConst (MkNConstAlt constant body) = pure $ MkNConstAlt constant !(goLiftToLambda True body)
221
222
liftToLambda : NamedCExp -> NamedCExp
223
-liftToLambda expr = evalState (goLiftToLambda True expr) 0
+liftToLambda expr = evalState 0 (goLiftToLambda True expr)
224
225
mutual
226
doGetFreeVariables : SortedSet String -> SortedSet String -> NamedCExp -> SortedSet String
0 commit comments