Update some comments

This commit is contained in:
Richard Feldman 2020-03-01 14:38:01 -05:00
parent aa8f151d34
commit 1be57919d1

View File

@ -358,7 +358,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
),
);
// get : List a, Int -> Result a [ IndexOutOfBounds ]*
// get : List elem, Int -> Result elem [ IndexOutOfBounds ]*
let index_out_of_bounds = SolvedType::TagUnion(
vec![(TagName::Global("IndexOutOfBounds".into()), vec![])],
Box::new(SolvedType::Wildcard),
@ -380,7 +380,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
),
);
// set : List a, Int, a -> List a
// set : List elem, Int, elem -> List elem
add_type(
Symbol::LIST_SET,
SolvedType::Func(
@ -389,7 +389,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
),
);
// map : List a, (a -> b) -> List b
// map : List before, (before -> after) -> List after
add_type(
Symbol::LIST_MAP,
SolvedType::Func(