Skip to content

Commit 11ad25f

Browse files
committed
Fix auto-dup on ifl default var
1 parent 5391c03 commit 11ad25f

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

src/HVM/Parse.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -798,7 +798,7 @@ buildMatchExpr val mov cases
798798
cid <- return $ mget (pCtrToCid st) (getName $ head cases)
799799
adt <- return $ mget (pCidToADT st) cid
800800
var <- return $ getVar (last cases)
801-
ifl <- intoIfLetChain (Var var) mov (init cases) var (last cases)
801+
ifl <- intoIfLetChain (Var (stripName var)) mov (init cases) var (last cases)
802802
return $ Let LAZY var val ifl
803803
| otherwise = do -- All ADT cases covered
804804
st <- getState

0 commit comments

Comments
 (0)