aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-06-09 18:50:15 +0100
committerMichael Williamson <mike@zwobble.org>2023-06-09 18:50:15 +0100
commitb6fa0ee0ad8a7d2b4815ec912f4e64fb443718e5 (patch)
treedbf611cb3f507b169af5b20927d089bef3304f08 /src/main/java
parentde58ca8b2a4afa65f111292bbc3283aa9427ec8f (diff)
Add typed bool node
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/ast/typed/TypedBoolLiteralNode.java15
-rw-r--r--src/main/java/org/shedlang/compiler/ast/typed/TypedExpressionNode.java2
2 files changed, 16 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/ast/typed/TypedBoolLiteralNode.java b/src/main/java/org/shedlang/compiler/ast/typed/TypedBoolLiteralNode.java
new file mode 100644
index 00000000..8dd0adab
--- /dev/null
+++ b/src/main/java/org/shedlang/compiler/ast/typed/TypedBoolLiteralNode.java
@@ -0,0 +1,15 @@
+package org.shedlang.compiler.ast.typed;
+
+import org.shedlang.compiler.sources.Source;
+import org.shedlang.compiler.types.Type;
+import org.shedlang.compiler.types.Types;
+
+public record TypedBoolLiteralNode(
+ boolean value,
+ Source source
+) implements TypedExpressionNode {
+ @Override
+ public Type type() {
+ return Types.BOOL;
+ }
+}
diff --git a/src/main/java/org/shedlang/compiler/ast/typed/TypedExpressionNode.java b/src/main/java/org/shedlang/compiler/ast/typed/TypedExpressionNode.java
index 73ad8991..3afb418b 100644
--- a/src/main/java/org/shedlang/compiler/ast/typed/TypedExpressionNode.java
+++ b/src/main/java/org/shedlang/compiler/ast/typed/TypedExpressionNode.java
@@ -3,7 +3,7 @@ package org.shedlang.compiler.ast.typed;
import org.shedlang.compiler.sources.Source;
import org.shedlang.compiler.types.Type;
-public sealed interface TypedExpressionNode permits TypedReferenceNode, TypedStringLiteralNode {
+public sealed interface TypedExpressionNode permits TypedBoolLiteralNode, TypedReferenceNode, TypedStringLiteralNode {
Source source();
Type type();
}