diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-03-02 13:50:16 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-03-02 13:50:16 +0000 |
| commit | d6afd5049c97159fbcb6e13aa033a07e4f56d181 (patch) | |
| tree | 03e56ba3f40bfc9f698ae500f6721e3143b1444f /src/main/java | |
| parent | 8a1a44ca6e4e5307ef81e47a810cf2dfe401ffa7 (diff) | |
Parse effect params
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/parser/Parser.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/parser/Parser.java b/src/main/java/org/shedlang/compiler/parser/Parser.java index 14eb903f..45d3f1b1 100644 --- a/src/main/java/org/shedlang/compiler/parser/Parser.java +++ b/src/main/java/org/shedlang/compiler/parser/Parser.java @@ -1343,12 +1343,16 @@ public class Parser { static UntypedTypeLevelParamNode parseTypeLevelParam(TokenIterator<TokenType> tokens) { var start = tokens.position(); + var isEffectParam = tokens.trySkip(TokenType.SYMBOL_BANG); + var name = tokens.nextValue(TokenType.IDENTIFIER); var end = tokens.position(); var source = start.to(end); - return new UntypedTypeParamNode(name, source); + return isEffectParam + ? new UntypedEffectParamNode(name, source) + : new UntypedTypeParamNode(name, source); } private static UntypedTypeLevelReferenceNode parseTypeLevelReference(TokenIterator<TokenType> tokens) { |
