language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 07:14:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

reverted to original unique for List.map

Browse source
This commit is contained in:
Chad Stearns 2020-08-24 03:36:08 -04:00
parent ddc15fd2ea
commit 6a34b9355c
1 changed files with 5 additions and 32 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -772,42 +772,15 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
// , Attr Shared (a -> b)
// -> Attr * (List b)
add_type(Symbol::LIST_MAP, {
let_tvars! { star1, star2, star3, a, b };
let_tvars! { a, b, star1, star2 };
unique_function(
vec![
SolvedType::Apply(
Symbol::ATTR_ATTR,
vec![
flex(star1),
SolvedType::Apply(Symbol::LIST_LIST, vec![flex(a)]),
list_type(star1, a),
shared(SolvedType::Func(vec![flex(a)], Box::new(flex(b)))),
],
),
SolvedType::Apply(
Symbol::ATTR_ATTR,
vec![
flex(star2),
SolvedType::Func(vec![flex(a)], Box::new(flex(b))),
],
),
],
SolvedType::Apply(
Symbol::ATTR_ATTR,
vec![
flex(star3),
SolvedType::Apply(Symbol::LIST_LIST, vec![flex(b)]),
],
),
list_type(star2, b),
)
// let_tvars! { a, b, star1, star2 };
//
// unique_function(
// vec![
// list_type(star1, a),
// shared(SolvedType::Func(vec![flex(a)], Box::new(flex(b)))),
// ],
// list_type(star2, b),
// )
});
// foldr : Attr (* | u) (List (Attr u a))