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 8

Merge remote-tracking branch 'origin/main' into fix-more-can-stuff

Browse source
This commit is contained in:
Richard Feldman 2025-12-10 10:02:33 -05:00
commit 48d550af10
No known key found for this signature in database
1 changed files with 3 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/parse/Parser.zig
View file

@ -123,7 +123,6 @@ pub fn peekN(self: *Parser, n: u32) Token.Tag {
/// - `Name :` followed by a valid type start token
/// - `Name :=` followed by a valid type start token
/// - `Name ::` followed by a valid type start token
/// - `Name a b :` etc. (with type params)
/// - `Name(a, b) :` etc. (with parenthesized type params)
///
/// The key insight is that after the `:` (or `:=` or `::`), we must see a token that
@ -150,16 +149,9 @@ fn looksLikeTypeDecl(self: *Parser) bool {
}
lookahead += 1;
}
} else {
// Skip past any lowercase identifiers (type parameters like `a`, `b`)
while (true) {
const tok = self.peekN(lookahead);
switch (tok) {
.LowerIdent, .Underscore, .NamedUnderscore => lookahead += 1,
else => break,
}
}
}
// Note: We do NOT support the old `Name a b :` syntax with space-separated type params.
// Only `Name(a, b) :` with parenthesized type params is supported.
// Now check for : or := or ::
const op_tok = self.peekN(lookahead);
@ -176,7 +168,7 @@ fn looksLikeTypeDecl(self: *Parser) bool {
.LowerIdent, // Type variable: a, b, etc.
.OpenRound, // Tuple or grouping: (a, b)
.NoSpaceOpenRound, // Tuple or grouping without space
.OpenSquare, // Tag union: [Ok a, Err e]
.OpenSquare, // Tag union: [Ok(a), Err(e)]
.OpenCurly, // Record type: { name: Str }
.Underscore, // Wildcard type: _
.NamedUnderscore, // Named wildcard: _foo