diff --git a/compiler/builtins/src/std.rs b/compiler/builtins/src/std.rs index 5c55933fe0..61ec3b2c44 100644 --- a/compiler/builtins/src/std.rs +++ b/compiler/builtins/src/std.rs @@ -498,7 +498,7 @@ pub fn types() -> MutMap { ), ); - // push : List a -> a -> List a + // push : List elem -> elem -> List elem add_type( Symbol::LIST_PUSH, SolvedType::Func( @@ -513,7 +513,7 @@ pub fn types() -> MutMap { SolvedType::Func(vec![flex(TVAR1)], Box::new(list_type(flex(TVAR1)))), ); - // repeat : Int, a -> List a + // repeat : Int, elem -> List elem add_type( Symbol::LIST_REPEAT, SolvedType::Func( diff --git a/compiler/builtins/src/unique.rs b/compiler/builtins/src/unique.rs index 760ec6ef06..f895f02523 100644 --- a/compiler/builtins/src/unique.rs +++ b/compiler/builtins/src/unique.rs @@ -615,7 +615,7 @@ pub fn types() -> MutMap { ) }); - // repeat : Int, a -> List a + // repeat : Int, elem -> List elem add_type(Symbol::LIST_REPEAT, { let u = UVAR1; let v = UVAR2;