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

fix incorrect signature for isEq in uniq builtins

Browse source
This commit is contained in:
Folkert 2020-03-13 20:49:16 +01:00
parent 05a3e8c3d8
commit df54bb5aef
2 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -394,16 +394,16 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
// Bool module // Bool module
// isEq or (==) : *, * -> Attr u Bool // isEq or (==) : a, a -> Attr u Bool
add_type( add_type(
Symbol::BOOL_EQ, Symbol::BOOL_EQ,
unique_function(vec![flex(TVAR1), flex(TVAR2)], bool_type(UVAR3)), unique_function(vec![flex(TVAR1), flex(TVAR1)], bool_type(UVAR3)),
); );
// isNeq or (!=) : *, * -> Attr u Bool // isNeq or (!=) : a, a -> Attr u Bool
add_type( add_type(
Symbol::BOOL_NEQ, Symbol::BOOL_NEQ,
unique_function(vec![flex(TVAR1), flex(TVAR2)], bool_type(UVAR3)), unique_function(vec![flex(TVAR1), flex(TVAR1)], bool_type(UVAR3)),
); );
// and or (&&) : Attr u1 Bool, Attr u2 Bool -> Attr u3 Bool // and or (&&) : Attr u1 Bool, Attr u2 Bool -> Attr u3 Bool

2
compiler/solve/tests/test_uniq_solve.rs
View file

@ -2358,7 +2358,7 @@ mod test_uniq_solve {
\a, b -> a == b \a, b -> a == b
"# "#
), ),
"Attr * (*, * -> Attr * Bool)", "Attr * (a, a -> Attr * Bool)",
); );
} }