git.iko.soy/elk
on master help sign in
cosmetic: add the infinite type error the same way as other cases
6486452Evan Czaplicki
compiler/src/Type/Solve.hs+1−1
compare with master
unifiedsplit
@@ -260,7 +260,7 @@ occurs state (name, A.At region variable) =
260 do errorType <- Type.toErrorType variable
260 do errorType <- Type.toErrorType variable
261 (Descriptor _ rank mark copy) <- UF.get variable
261 (Descriptor _ rank mark copy) <- UF.get variable
262 UF.set variable (Descriptor Error rank mark copy)
262 UF.set variable (Descriptor Error rank mark copy)
263− return $ state { _errors = Error.InfiniteType region name errorType : _errors state }
263+ return $ addError state (Error.InfiniteType region name errorType)
264 else
264 else
265 return state
265 return state
266
266