git.iko.soy/elk
on master help sign in
Properly register type variable in CLet for let-destructuring
6a33dd6Evan Czaplicki
src/Type/Constrain/Expression.hs+1−1
compare with master
unifiedsplit
@@ -533,7 +533,7 @@ constrainDestruct rtv region pattern expr bodyCon =
533 exprCon <-
533 exprCon <-
534 constrain rtv expr (FromContext region Destructure patternType)
534 constrain rtv expr (FromContext region Destructure patternType)
535
535
536− return $ CLet [] pvars headers (CAnd (reverse (exprCon:revCons))) bodyCon
536+ return $ CLet [] (patternVar:pvars) headers (CAnd (reverse (exprCon:revCons))) bodyCon
537
537
538
538
539
539