Add Num.floor

This commit is contained in:
Jared Ramirez 2020-09-17 17:39:07 -07:00
parent 3b7db3858a
commit 665c7c7f9f
10 changed files with 87 additions and 21 deletions

View file

@ -469,6 +469,12 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
unique_function(vec![int_type(star1), int_type(star2)], int_type(star3))
});
// floor : Float -> Int
add_type(Symbol::NUM_FLOOR, {
let_tvars! { star1, star2 };
unique_function(vec![float_type(star1)], int_type(star2))
});
// Bool module
// isEq or (==) : Attr * a, Attr * a -> Attr * Bool