roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 00:09:33 +03:00
Code Issues Packages Projects Releases Wiki Activity

Drop some duplicate type defs

Browse Source
This commit is contained in:
Richard Feldman 2020-06-29 22:13:05 -04:00
parent dc4807bfcb
commit 010a03926e
1 changed files with 1 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
compiler/builtins/src/unique.rs
View File

@ -323,20 +323,6 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
unique_function(vec![num_type(star1, a)], float_type(star2))
});
// Int module
// isLt or (<) : Num a, Num a -> Bool
add_type(Symbol::NUM_LT, {
let_tvars! { u, v, w };
unique_function(vec![int_type(u), int_type(v)], bool_type(w))
});
// abs : Int -> Int
add_type(Symbol::NUM_ABS, {
let_tvars! { u, v };
unique_function(vec![int_type(u)], int_type(v))
});
// rem : Attr * Int, Attr * Int -> Attr * (Result (Attr * Int) (Attr * [ DivByZero ]*))
add_type(Symbol::NUM_REM, {
let_tvars! { star1, star2, star3, star4, star5 };
@ -367,21 +353,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
)
});
// rem : Int, Int -> Int
add_type(Symbol::NUM_REM, {
let_tvars! { star1, star2, star3, };
unique_function(vec![int_type(star1), int_type(star2)], int_type(star3))
});
// Float module
// isGt or (>) : Num a, Num a -> Bool
add_type(Symbol::NUM_GT, {
let_tvars! { star1, star2, star3}
unique_function(vec![float_type(star1), float_type(star2)], bool_type(star3))
});
// div : Float, Float -> Float
// divFloat : Float, Float -> Float
add_type(Symbol::NUM_DIV_FLOAT, {
let_tvars! { star1, star2, star3};
unique_function(
@ -390,15 +362,6 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
)
});
// mod : Float, Float -> Float
// add_type(Symbol::NUM_REM, {
// let_tvars! { star1, star2, star3};
// unique_function(
// vec![float_type(star1), float_type(star2)],
// float_type(star3),
// )
// });
// round : Float -> Int
add_type(Symbol::NUM_ROUND, {
let_tvars! { star1, star2 };
@ -411,12 +374,6 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
unique_function(vec![float_type(star1)], float_type(star2))
});
// abs : Float -> Float
add_type(Symbol::NUM_ABS, {
let_tvars! { star1, star2 };
unique_function(vec![float_type(star1)], float_type(star2))
});
// sin : Float -> Float
add_type(Symbol::NUM_SIN, {
let_tvars! { star1, star2 };