language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-29 14:54:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Changed some commented out type signatures from List a to List elem

Browse source
This commit is contained in:
Chad Stearns 2020-06-21 13:30:49 -04:00
parent 7125af2493
commit 3af1632ede
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -498,7 +498,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
), ),
); );
// push : List a -> a -> List a // push : List elem -> elem -> List elem
add_type( add_type(
Symbol::LIST_PUSH, Symbol::LIST_PUSH,
SolvedType::Func( SolvedType::Func(
@ -513,7 +513,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
SolvedType::Func(vec![flex(TVAR1)], Box::new(list_type(flex(TVAR1)))), SolvedType::Func(vec![flex(TVAR1)], Box::new(list_type(flex(TVAR1)))),
); );
// repeat : Int, a -> List a // repeat : Int, elem -> List elem
add_type( add_type(
Symbol::LIST_REPEAT, Symbol::LIST_REPEAT,
SolvedType::Func( SolvedType::Func(

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

@ -615,7 +615,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
) )
}); });
// repeat : Int, a -> List a // repeat : Int, elem -> List elem
add_type(Symbol::LIST_REPEAT, { add_type(Symbol::LIST_REPEAT, {
let u = UVAR1; let u = UVAR1;
let v = UVAR2; let v = UVAR2;