summaryrefslogtreecommitdiffstats
path: root/Syntax.sml
diff options
context:
space:
mode:
authorRose Hogenson <rosehogenson@posteo.net>2025-07-04 11:19:55 -0700
committerRose Hogenson <rosehogenson@posteo.net>2025-07-04 11:19:55 -0700
commited48b02873f3ea3cab0107176d00eb00c9519766 (patch)
treeb8520790160c42466b5bef7644365259c6076bc4 /Syntax.sml
parentInstantiate asdf (diff)
downloadsml-ed48b02873f3ea3cab0107176d00eb00c9519766.tar.zst
Add signatures
Diffstat (limited to 'Syntax.sml')
-rw-r--r--Syntax.sml3
1 files changed, 2 insertions, 1 deletions
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