Merging in remote trunk

This commit is contained in:
Chad Stearns 2020-11-08 07:01:07 -05:00
commit 5e0e3da3b7
59 changed files with 13685 additions and 697 deletions

View file

@ -1046,6 +1046,12 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
unique_function(vec![str_type(star1), str_type(star2)], str_type(star3))
});
// Str.countGraphemes : Attr * Str, -> Attr * Int
add_type(Symbol::STR_COUNT_GRAPHEMES, {
let_tvars! { star1, star2 };
unique_function(vec![str_type(star1)], int_type(star2))
});
// Result module
// map : Attr * (Result (Attr a e))