diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-03-02 13:46:13 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-03-02 13:46:13 +0000 |
| commit | 346616ef0d875222cd50b594e91a448ab1d627a1 (patch) | |
| tree | 1a47998baa572b30126198c3bb89fd1361a24e65 /src/main/java | |
| parent | e9b8c708bb409fd101df6772ce3c740e60ead7dd (diff) | |
Add UntypedEffectParamNode
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ast/untyped/UntypedEffectParamNode.java | 9 | ||||
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ast/untyped/UntypedTypeLevelParamNode.java | 2 |
2 files changed, 10 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/ast/untyped/UntypedEffectParamNode.java b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedEffectParamNode.java new file mode 100644 index 00000000..4243da35 --- /dev/null +++ b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedEffectParamNode.java @@ -0,0 +1,9 @@ +package org.shedlang.compiler.ast.untyped; + +import org.shedlang.compiler.sources.Source; + +public record UntypedEffectParamNode( + String name, + Source source +) implements UntypedTypeLevelParamNode { +} diff --git a/src/main/java/org/shedlang/compiler/ast/untyped/UntypedTypeLevelParamNode.java b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedTypeLevelParamNode.java index 46776516..e9b22e76 100644 --- a/src/main/java/org/shedlang/compiler/ast/untyped/UntypedTypeLevelParamNode.java +++ b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedTypeLevelParamNode.java @@ -1,5 +1,5 @@ package org.shedlang.compiler.ast.untyped; -public sealed interface UntypedTypeLevelParamNode extends UntypedNode permits UntypedTypeParamNode { +public sealed interface UntypedTypeLevelParamNode extends UntypedNode permits UntypedEffectParamNode, UntypedTypeParamNode { String name(); } |
