From fed4d43be44186694f1dc351bbfb673f740364ca Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 9 Jun 2023 18:20:45 +0100
Subject: Add function type

---
 src/main/java/org/shedlang/compiler/types/FunctionType.java | 9 +++++++++
 src/main/java/org/shedlang/compiler/types/Type.java         | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 src/main/java/org/shedlang/compiler/types/FunctionType.java

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/types/FunctionType.java b/src/main/java/org/shedlang/compiler/types/FunctionType.java
new file mode 100644
index 00000000..07505821
--- /dev/null
+++ b/src/main/java/org/shedlang/compiler/types/FunctionType.java
@@ -0,0 +1,9 @@
+package org.shedlang.compiler.types;
+
+import java.util.List;
+
+public record FunctionType(
+    List<Type> positionalArgs,
+    Type returnType
+) implements Type {
+}
diff --git a/src/main/java/org/shedlang/compiler/types/Type.java b/src/main/java/org/shedlang/compiler/types/Type.java
index b104f137..267fdcb8 100644
--- a/src/main/java/org/shedlang/compiler/types/Type.java
+++ b/src/main/java/org/shedlang/compiler/types/Type.java
@@ -1,4 +1,4 @@
 package org.shedlang.compiler.types;
 
-public sealed interface Type permits StringType, UnitType {
+public sealed interface Type permits FunctionType, StringType, UnitType {
 }
-- 
cgit v1.2.3