From d6afd5049c97159fbcb6e13aa033a07e4f56d181 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 2 Mar 2024 13:50:16 +0000 Subject: Parse effect params --- src/main/java/org/shedlang/compiler/parser/Parser.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/main/java') 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 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 tokens) { -- cgit v1.2.3