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

fix f64_sqrt

Browse source
This commit is contained in:
Folkert 2020-07-07 18:52:28 +02:00
parent 6bde717df8
commit a7971c738a
1 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -369,9 +369,17 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
}); });
// sqrt : Float -> Float // sqrt : Float -> Float
let sqrt_of_negative = SolvedType::TagUnion(
vec![(TagName::Global("SqrtOfNegative".into()), vec![])],
Box::new(SolvedType::Wildcard),
);
add_type(Symbol::NUM_SQRT, { add_type(Symbol::NUM_SQRT, {
let_tvars! { star1, star2 }; let_tvars! { star1, star2, star3, star4 };
unique_function(vec![float_type(star1)], float_type(star2)) unique_function(
vec![float_type(star1)],
result_type(star2, float_type(star3), lift(star4, sqrt_of_negative)),
)
}); });
// sin : Float -> Float // sin : Float -> Float