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

fix uniqueness signature

Browse source
This commit is contained in:
Folkert 2020-11-05 13:49:09 +01:00
parent f71ea1cbda
commit b4852c0f4f
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -675,12 +675,12 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
});
// contains : Attr * (List a)
// , Attr Shared a
// , Attr * a
// -> Attr * Bool
add_type(Symbol::LIST_CONTAINS, {
let_tvars! { a, star1, star2 };
unique_function(vec![list_type(star1, a), shared(flex(a))], bool_type(star2))
unique_function(vec![list_type(star1, a), flex(a)], bool_type(star2))
});
// join : Attr * (List (Attr * (List a)))