cosmetic: add the infinite type error the same way as other cases
commit6486452cefb7977319a92c1cb3b5704b29e58d62
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateMon 23 Apr 2018, 00:27 (9 years ago)
parent612fc2e
compiler/src/Type/Solve.hs+1−1
@@ -260,7 +260,7 @@ occurs state (name, A.At region variable) =
260260 do errorType <- Type.toErrorType variable
261261 (Descriptor _ rank mark copy) <- UF.get variable
262262 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)
264264 else
265265 return state
266266