git.iko.soy/elk
on master help sign in
Check the overall record type last, pinning down more types for error messages
cd20a9cEvan Czaplicki
src/Type/Constrain/Expression.hs+1−1
compare with master
unifiedsplit
@@ -160,7 +160,7 @@ constrain env (A.A region expression) tipe =
160 (map varN vars)
160 (map varN vars)
161 let fields' = ST.fieldMap (zip (map fst fields) (map varN vars))
161 let fields' = ST.fieldMap (zip (map fst fields) (map varN vars))
162 let recordType = record fields' (termN EmptyRecord1)
162 let recordType = record fields' (termN EmptyRecord1)
163− return (ex vars (CAnd (tipe === recordType : fieldCons)))
163+ return (ex vars (CAnd (fieldCons ++ [tipe === recordType])))
164
164
165 E.Let defs body ->
165 E.Let defs body ->
166 do bodyCon <- constrain env body tipe
166 do bodyCon <- constrain env body tipe