X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/33464c9ce7b0b1559f8cb23734065b8ecdd382c1..HEAD:/src/HM.hs?ds=sidebyside

diff --git a/src/HM.hs b/src/HM.hs
index 9591706..3cbf5c9 100644
--- a/src/HM.hs
+++ b/src/HM.hs
@@ -67,7 +67,7 @@ composeSub s1 s2 = Map.map (substituteT s1) s2 `Map.union` s1
 
 varBind :: TypeVarName -> Type -> TI Substitution
 varBind v t | t == TypeVar v = return idSub
-            | v `Set.member` freeVarsT t = fail $ "occur check failed: " ++ v ++ " in " ++ show t
+            | v `Set.member` freeVarsT t = fail $ "occur check failed: " ++ v ++ " ~ " ++ show t
             | otherwise = return $ Map.singleton v t
 
 instantiate :: TypeScheme -> TI Type