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 gen_primitives tests

Browse source
This commit is contained in:
Folkert 2021-05-03 21:19:40 +02:00
parent e69c512312
commit 82aa5c766d
2 changed files with 12 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/mono/src/ir.rs
View file

@ -7126,8 +7126,8 @@ pub fn num_argument_to_int_or_float(
known_to_be_float: bool,
) -> IntOrFloat {
match subs.get_without_compacting(var).content {
Content::FlexVar(_) if known_to_be_float => IntOrFloat::BinaryFloatType(FloatPrecision::F64),
Content::FlexVar(_) => IntOrFloat::SignedIntType(IntPrecision::I64), // We default (Num *) to I64
Content::FlexVar(_) | Content::RigidVar(_) if known_to_be_float => IntOrFloat::BinaryFloatType(FloatPrecision::F64),
Content::FlexVar(_) | Content::RigidVar(_) => IntOrFloat::SignedIntType(IntPrecision::I64), // We default (Num *) to I64
Content::Alias(Symbol::NUM_INTEGER, args, _) => {
debug_assert!(args.len() == 1);

20
compiler/test_gen/src/gen_primitives.rs
View file

@ -128,7 +128,7 @@ fn when_one_element_tag() {
assert_evals_to!(
indoc!(
r#"
x : [ Pair (Int *) (Int *) ]
x : [ Pair (Int a) (Int a) ]
x = Pair 0x2 0x3
when x is
@ -286,7 +286,7 @@ fn return_unnamed_fn() {
indoc!(
r#"
wrapper = \{} ->
alwaysFloatIdentity : Int * -> (Float * -> Float *)
alwaysFloatIdentity : Int * -> (Float a -> Float a)
alwaysFloatIdentity = \_ ->
(\a -> a)
@ -717,7 +717,7 @@ fn linked_list_sum_int() {
zero : LinkedList (Int *)
zero = Nil
sum : LinkedList (Int *) -> Int *
sum : LinkedList (Int a) -> Int a
sum = \list ->
when list is
Nil -> 0
@ -772,7 +772,7 @@ fn when_nested_maybe() {
r#"
Maybe a : [ Nothing, Just a ]
x : Maybe (Maybe (Int *))
x : Maybe (Maybe (Int a))
x = Just (Just 41)
when x is
@ -1026,11 +1026,11 @@ fn io_poc_effect() {
runEffect : Effect a -> a
runEffect = \@Effect thunk -> thunk {}
foo : Effect (Float *)
foo : Effect F64
foo =
succeed 3.14
main : Float *
main : F64
main =
runEffect foo
@ -1051,14 +1051,14 @@ fn io_poc_desugared() {
# succeed : a -> ({} -> a)
succeed = \x -> \{} -> x
foo : {} -> Float *
foo : {} -> F64
foo =
succeed 3.14
# runEffect : ({} -> a) -> a
runEffect = \thunk -> thunk {}
main : Float *
main : F64
main =
runEffect foo
"#
@ -1609,7 +1609,7 @@ fn linked_list_double_pattern_match() {
ConsList a : [ Cons a (ConsList a), Nil ]
foo : ConsList (Int *) -> Int *
foo : ConsList (Int a) -> Int a
foo = \list ->
when list is
Cons _ (Cons x _) -> x
@ -1835,7 +1835,7 @@ fn non_exhaustive_pattern_let() {
assert_evals_to!(
indoc!(
r#"
x : Result (Int *) (Float *)
x : Result (Int a) (Float b)
x = Ok 4
(Ok y) = x