From c7d528851c816f59740b83fa93d99ee857695d59 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Wed, 7 Jun 2023 20:07:20 +0100 Subject: Parse effect in function definition --- src/main/java/org/shedlang/compiler/parser/Parser.java | 9 ++++++++- 1 file changed, 8 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 f76dfd78..1972163a 100644 --- a/src/main/java/org/shedlang/compiler/parser/Parser.java +++ b/src/main/java/org/shedlang/compiler/parser/Parser.java @@ -91,6 +91,13 @@ public class Parser { var params = parseParams(tokens); tokens.skip(TokenType.SYMBOL_PAREN_CLOSE); + Optional effect; + if (tokens.trySkip(TokenType.SYMBOL_BANG)) { + effect = Optional.of(parseTopLevelTypeLevelExpression(tokens)); + } else { + effect = Optional.empty(); + } + tokens.skip(TokenType.SYMBOL_THIN_ARROW); var returnType = parseTopLevelTypeLevelExpression(tokens); @@ -104,7 +111,7 @@ public class Parser { return new UntypedFunctionDefinitionNode( name, params, - Optional.empty(), + effect, returnType, body, source -- cgit v1.2.3