language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-12-23 08:48:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Fix compiler crash

Browse source
This commit is contained in:
Richard Feldman 2025-11-16 17:25:11 -05:00
parent fee2b35c52
commit 80e7eb57a6
No known key found for this signature in database
2 changed files with 19 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/build/roc/Builtin.roc
View file

@ -123,6 +123,7 @@ Builtin :: [].{
rem_by : U8, U8 -> U8
from_int_digits : List(U8) -> Try(U8, [OutOfRange])
from_num_literal : NumLiteral -> Try(U8, [InvalidNumLiteral(Str)])
}
I8 :: [].{
@ -143,6 +144,7 @@ Builtin :: [].{
rem_by : I8, I8 -> I8
from_int_digits : List(U8) -> Try(I8, [OutOfRange])
from_num_literal : NumLiteral -> Try(I8, [InvalidNumLiteral(Str)])
}
U16 :: [].{
@ -160,6 +162,7 @@ Builtin :: [].{
rem_by : U16, U16 -> U16
from_int_digits : List(U8) -> Try(U16, [OutOfRange])
from_num_literal : NumLiteral -> Try(U16, [InvalidNumLiteral(Str)])
}
I16 :: [].{
@ -180,6 +183,7 @@ Builtin :: [].{
rem_by : I16, I16 -> I16
from_int_digits : List(U8) -> Try(I16, [OutOfRange])
from_num_literal : NumLiteral -> Try(I16, [InvalidNumLiteral(Str)])
}
U32 :: [].{
@ -197,6 +201,7 @@ Builtin :: [].{
rem_by : U32, U32 -> U32
from_int_digits : List(U8) -> Try(U32, [OutOfRange])
from_num_literal : NumLiteral -> Try(U32, [InvalidNumLiteral(Str)])
}
I32 :: [].{
@ -217,6 +222,7 @@ Builtin :: [].{
rem_by : I32, I32 -> I32
from_int_digits : List(U8) -> Try(I32, [OutOfRange])
from_num_literal : NumLiteral -> Try(I32, [InvalidNumLiteral(Str)])
}
U64 :: [].{
@ -234,6 +240,7 @@ Builtin :: [].{
rem_by : U64, U64 -> U64
from_int_digits : List(U8) -> Try(U64, [OutOfRange])
from_num_literal : NumLiteral -> Try(U64, [InvalidNumLiteral(Str)])
}
I64 :: [].{
@ -254,6 +261,7 @@ Builtin :: [].{
rem_by : I64, I64 -> I64
from_int_digits : List(U8) -> Try(I64, [OutOfRange])
from_num_literal : NumLiteral -> Try(I64, [InvalidNumLiteral(Str)])
}
U128 :: [].{
@ -271,6 +279,7 @@ Builtin :: [].{
rem_by : U128, U128 -> U128
from_int_digits : List(U8) -> Try(U128, [OutOfRange])
from_num_literal : NumLiteral -> Try(U128, [InvalidNumLiteral(Str)])
}
I128 :: [].{
@ -291,6 +300,7 @@ Builtin :: [].{
rem_by : I128, I128 -> I128
from_int_digits : List(U8) -> Try(I128, [OutOfRange])
from_num_literal : NumLiteral -> Try(I128, [InvalidNumLiteral(Str)])
}
Dec :: [].{
@ -313,6 +323,7 @@ Builtin :: [].{
from_int_digits : List(U8) -> Try(Dec, [OutOfRange])
from_dec_digits : (List(U8), List(U8)) -> Try(Dec, [OutOfRange])
from_num_literal : NumLiteral -> Try(Dec, [InvalidNumLiteral(Str)])
}
F32 :: [].{
@ -333,6 +344,7 @@ Builtin :: [].{
from_int_digits : List(U8) -> Try(F32, [OutOfRange])
from_dec_digits : (List(U8), List(U8)) -> Try(F32, [OutOfRange])
from_num_literal : NumLiteral -> Try(F32, [InvalidNumLiteral(Str)])
}
F64 :: [].{
@ -353,6 +365,7 @@ Builtin :: [].{
from_int_digits : List(U8) -> Try(F64, [OutOfRange])
from_dec_digits : (List(U8), List(U8)) -> Try(F64, [OutOfRange])
from_num_literal : NumLiteral -> Try(F64, [InvalidNumLiteral(Str)])
}
}
}

9
src/canonicalize/Can.zig
View file

@ -863,16 +863,19 @@ fn processAssociatedItemsSecondPass(
const current_scope = &self.scopes.items[self.scopes.items.len - 1];
// Update unqualified name (e.g., "my_not")
try self.updatePlaceholder(current_scope, decl_ident, pattern_idx);
// Only update if still a placeholder (nested types may have already processed this)
if (self.isPlaceholder(decl_ident)) {
try self.updatePlaceholder(current_scope, decl_ident, pattern_idx);
}
// Update type-qualified name (e.g., "MyBool.my_not")
const type_qualified_idx = try self.env.insertQualifiedIdent(self.env.getIdent(parent_type_name), decl_text);
if (type_qualified_idx.idx != decl_ident.idx) {
if (type_qualified_idx.idx != decl_ident.idx and self.isPlaceholder(type_qualified_idx)) {
try self.updatePlaceholder(current_scope, type_qualified_idx, pattern_idx);
}
// Update fully qualified name (e.g., "Test.MyBool.my_not")
if (qualified_idx.idx != type_qualified_idx.idx and qualified_idx.idx != decl_ident.idx) {
if (qualified_idx.idx != type_qualified_idx.idx and qualified_idx.idx != decl_ident.idx and self.isPlaceholder(qualified_idx)) {
try self.updatePlaceholder(current_scope, qualified_idx, pattern_idx);
}