language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-02 16:21:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Fix some missing unary Num operation types

Browse source
This commit is contained in:
Richard Feldman 2020-06-24 21:54:55 -04:00
parent 35446348a3
commit b3dfbeeec8
2 changed files with 60 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

30
compiler/builtins/src/std.rs
View file

@ -271,6 +271,36 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
SolvedType::Func(vec![num_type(flex(TVAR1))], Box::new(float_type())),
);
// isNegative : Num a -> Bool
add_type(
Symbol::NUM_IS_NEGATIVE,
SolvedType::Func(vec![num_type(flex(TVAR1))], Box::new(bool_type())),
);
// isPositive : Num a -> Bool
add_type(
Symbol::NUM_IS_POSITIVE,
SolvedType::Func(vec![num_type(flex(TVAR1))], Box::new(bool_type())),
);
// isZero : Num a -> Bool
add_type(
Symbol::NUM_IS_ZERO,
SolvedType::Func(vec![num_type(flex(TVAR1))], Box::new(bool_type())),
);
// isEven : Num a -> Bool
add_type(
Symbol::NUM_IS_EVEN,
SolvedType::Func(vec![num_type(flex(TVAR1))], Box::new(bool_type())),
);
// isOdd : Num a -> Bool
add_type(
Symbol::NUM_IS_ODD,
SolvedType::Func(vec![num_type(flex(TVAR1))], Box::new(bool_type())),
);
// Int module
// highest : Int

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

@ -347,6 +347,36 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
unique_function(vec![num_type(UVAR1, TVAR1)], float_type(UVAR2)),
);
// isNegative : Num a -> Bool
add_type(
Symbol::NUM_IS_NEGATIVE,
unique_function(vec![num_type(UVAR2, TVAR1)], bool_type(UVAR3)),
);
// isPositive : Num a -> Bool
add_type(
Symbol::NUM_IS_POSITIVE,
unique_function(vec![num_type(UVAR2, TVAR1)], bool_type(UVAR3)),
);
// isZero : Num a -> Bool
add_type(
Symbol::NUM_IS_ZERO,
unique_function(vec![num_type(UVAR2, TVAR1)], bool_type(UVAR3)),
);
// isEven : Num a -> Bool
add_type(
Symbol::NUM_IS_EVEN,
unique_function(vec![num_type(UVAR2, TVAR1)], bool_type(UVAR3)),
);
// isOdd : Num a -> Bool
add_type(
Symbol::NUM_IS_ODD,
unique_function(vec![num_type(UVAR2, TVAR1)], bool_type(UVAR3)),
);
// rem : Int, Int -> Result Int [ DivByZero ]*
add_type(
Symbol::NUM_REM,