Fix type constraint generation for record accessors
commitd89ada275ff75c717814337f721e791dee637014
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateMon 15 Jan 2018, 21:27 (9 years ago)
parent1248704
src/Type/Constrain/Expression.hs+1−1
@@ -133,7 +133,7 @@ constrain rtv (A.At region expression) expected =
133133 return $ exists [ fieldVar, extVar ] $
134134 CAnd
135135 [ recordCon
136− , CEqual region (Access field) recordType expected
136+ , CEqual region (Access field) fieldType expected
137137 ]
138138
139139 Can.Update expr fields ->