language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-01 15:51:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

polish list signatures

Browse source
This commit is contained in:
Folkert 2020-06-23 14:36:48 +02:00
parent 0696c5aa09
commit c0c4f4c74b
1 changed files with 4 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/builtins/src/unique.rs
View file

@ -304,13 +304,10 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
});
// sub or (-) : Num a, Num a -> Num a
add_type(
Symbol::NUM_SUB,
unique_function(
vec![num_type(UVAR1, TVAR1), num_type(UVAR2, TVAR1)],
num_type(UVAR3, TVAR1),
),
);
add_type(Symbol::NUM_SUB, {
let_tvars! { u, v, w, num };
unique_function(vec![num_type(u, num), num_type(v, num)], num_type(w, num))
});
// mul or (*) : Num a, Num a -> Num a
add_type(