fixes Num.subWrap on std.rs

This commit is contained in:
Celso Bonutti Filho 2020-12-22 23:30:41 -03:00
parent fe588c120c
commit ff23ce7bec

View file

@ -176,7 +176,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
unique_function(vec![num_type(u, num), num_type(v, num)], num_type(w, num))
});
// subWrap : Num a, Num a -> Num a
// subWrap : Int, Int -> Int
add_type(Symbol::NUM_SUB_WRAP, {
let_tvars! { u, v, w, num };
unique_function(vec![num_type(u, num), num_type(v, num)], num_type(w, num))