git.iko.soy/elk
on master help sign in
Preemptively add "number" as a kind of flexible variable that can unify with an (Is Number)
47aa48dEvan Czaplicki
compiler/Type/Unify.hs+1−1
compare with master
unifiedsplit
@@ -77,7 +77,7 @@ actuallyUnify span variable1 variable2 = do
77 unify' variable1 variable2
77 unify' variable1 variable2
78
78
79 unifyNumber svar name
79 unifyNumber svar name
80− | name `elem` ["Int","Float"] = flexAndUnify svar
80+ | name `elem` ["Int","Float","number"] = flexAndUnify svar
81 | otherwise = TS.addError span "Expecting a number (Int or Float)" variable1 variable2
81 | otherwise = TS.addError span "Expecting a number (Int or Float)" variable1 variable2
82
82
83 comparableError str = TS.addError span (str ++ msg) variable1 variable2
83 comparableError str = TS.addError span (str ++ msg) variable1 variable2