language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 11:52:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Merge remote-tracking branch 'remote/main' into upgrade-llvm-zig

Browse source
This commit is contained in:
Luke Boswell 2024-08-04 13:08:37 +10:00
commit cfbcfd1707
No known key found for this signature in database
GPG key ID: F6DB3C9DB47377B0
15 changed files with 115 additions and 49 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/compiler/builtins/roc/Num.roc
View file

@ -708,6 +708,9 @@ absDiff = \a, b ->
##
## Num.neg 0.0
## ```
## !! Num.neg is not completely implemented for all types in all contexts, see github.com/roc-lang/roc/issues/6959
## You can use `\someNum -> 0 - someNum` as a workaround.
##
## This is safe to use with any [Frac], but it can cause overflow when used with certain [Int] values.
##
## For example, calling #Num.neg on the lowest value of a signed integer (such as [Num.minI64] or [Num.minI32]) will cause overflow.

18
crates/compiler/load/tests/test_reporting.rs
View file

@ -8257,10 +8257,8 @@ All branches in an `if` must have the same type!
F Str
Tip: Type comparisons between an opaque type are only ever equal if
both types are the same opaque type. Did you mean to create an opaque
type by wrapping it? If I have an opaque type Age := U32 I can create
an instance of this opaque type by doing @Age 23.
Tip: *Add type annotations* to functions or values to help you figure
this out.
"#
);
@ -8294,10 +8292,8 @@ All branches in an `if` must have the same type!
Age
Tip: Type comparisons between an opaque type are only ever equal if
both types are the same opaque type. Did you mean to create an opaque
type by wrapping it? If I have an opaque type Age := U32 I can create
an instance of this opaque type by doing @Age 23.
Tip: *Add type annotations* to functions or values to help you figure
this out.
"
);
@ -10420,10 +10416,8 @@ All branches in an `if` must have the same type!
OList
Tip: Type comparisons between an opaque type are only ever equal if
both types are the same opaque type. Did you mean to create an opaque
type by wrapping it? If I have an opaque type Age := U32 I can create
an instance of this opaque type by doing @Age 23.
Tip: *Add type annotations* to functions or values to help you figure
this out.
"
);

2
crates/compiler/mono/src/ir.rs
View file

@ -6140,7 +6140,7 @@ fn late_resolve_ability_specialization(
member,
specialization_var,
)
.expect("Ability specialization is unknown - code generation cannot proceed!");
.expect("Ability specialization is unknown. Tip: check out <https://roc.zulipchat.com/#narrow/stream/231634-beginners/topic/Non-Functions.20in.20Abilities/near/456068617>");
match specialization {
Resolved::Specialization(symbol) => symbol,