aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2024-03-02 13:50:16 +0000
committerMichael Williamson <mike@zwobble.org>2024-03-02 13:50:16 +0000
commitd6afd5049c97159fbcb6e13aa033a07e4f56d181 (patch)
tree03e56ba3f40bfc9f698ae500f6721e3143b1444f /src/main/java
parent8a1a44ca6e4e5307ef81e47a810cf2dfe401ffa7 (diff)
Parse effect params
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/parser/Parser.java6
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) {