Properly register type variable in CLet for let-destructuring
commit6a33dd60e3c3cd9d96e0c19230203f98e372b238
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 16 Jan 2018, 19:28 (9 years ago)
parentab555e7
src/Type/Constrain/Expression.hs+1−1
@@ -533,7 +533,7 @@ constrainDestruct rtv region pattern expr bodyCon =
533533 exprCon <-
534534 constrain rtv expr (FromContext region Destructure patternType)
535535
536− return $ CLet [] pvars headers (CAnd (reverse (exprCon:revCons))) bodyCon
536+ return $ CLet [] (patternVar:pvars) headers (CAnd (reverse (exprCon:revCons))) bodyCon
537537
538538
539539