Fix a comment

This commit is contained in:
Richard Feldman 2020-04-25 07:00:34 -04:00
parent 9dd9b7951d
commit 5a22348f35

View File

@ -444,7 +444,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
unique_function(vec![list_type(UVAR1, TVAR1)], bool_type(UVAR2)),
);
// len : List * -> Int
// len : Attr u (List *) -> Attr v Int
add_type(
Symbol::LIST_LEN,
unique_function(vec![list_type(UVAR1, TVAR1)], int_type(UVAR2)),