git.iko.soy/elk
on master help sign in
Fix type constraint generation for record accessors
d89ada2Evan Czaplicki
src/Type/Constrain/Expression.hs+1−1
compare with master
unifiedsplit
@@ -133,7 +133,7 @@ constrain rtv (A.At region expression) expected =
133 return $ exists [ fieldVar, extVar ] $
133 return $ exists [ fieldVar, extVar ] $
134 CAnd
134 CAnd
135 [ recordCon
135 [ recordCon
136− , CEqual region (Access field) recordType expected
136+ , CEqual region (Access field) fieldType expected
137 ]
137 ]
138
138
139 Can.Update expr fields ->
139 Can.Update expr fields ->