language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-01 07:41:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add Num.ceiling

Browse source
This commit is contained in:
Jared Ramirez 2020-09-15 18:37:45 -07:00
parent 9dcf990fe3
commit a0402bca4d
10 changed files with 71 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/builtins/src/unique.rs
View file

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