Commit 3aff1617 authored by's avatar
Browse files

Fix bug in lifted environment inspection code

parent 9d899efe
......@@ -404,7 +404,7 @@ mkClosureMonoFns info arg body
return . Let (NonRec lbndr lenv)
$ Case (mkApps (Var lengthPA) [Type vty, (Var lbndr)])
(exprType lbody)
[(DEFAULT, [], lbody)]
bind_lenv lenv lbody lc_bndr lbndrs
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment