Add note about no sharing between top-level and let-bound type variables
commit3686c8273862930f1fa2cb3bda316a5cf3fa85a0
authorEvan Czaplicki <info@elm-lang.org>
dateThu 19 Dec 2013, 15:04 (13 years ago)
parent2874797
compiler/Type/Unify.hs+2−1
@@ -114,7 +114,8 @@ actuallyUnify span variable1 variable2 = do
114114 where
115115 var = "'" ++ render (pretty Never variable) ++ "'"
116116 hint = "Cannot unify rigid type variable " ++ var ++
117− ".\nThe problem probably relates to a type annotation."
117+ ".\nThe problem probably relates to a type annotation. Note that rigid type\n\
118+ \variables are not shared between a top-level and let-bound type annotations."
118119
119120 superUnify =
120121 case (flex desc1, flex desc2, name desc1, name desc2) of