From ed48b02873f3ea3cab0107176d00eb00c9519766 Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rosehogenson@posteo.net>
Date: Fri, 4 Jul 2025 11:19:55 -0700
Subject: Add signatures

---
 Syntax.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Syntax.sml')

diff --git a/Syntax.sml b/Syntax.sml
index 0d10dd2..c9e4323 100644
--- a/Syntax.sml
+++ b/Syntax.sml
@@ -36,7 +36,8 @@ struct
   | DFun of string * (pat list * expr) list
   | DDatatype of string list * string * (string * etype option) list
   | DType of string * etype
-  | DStruct of string * structExpr
+  | DStruct of string * string option * structExpr
+  | DSig of string * (string * etype) list
 
   and structExpr =
     SIdent of string
-- 
cgit v1.3.1