From e5034d3a668fbf0a4367bb582d759ba82b5576a3 Mon Sep 17 00:00:00 2001 From: Rose Hogenson Date: Wed, 22 Jan 2025 19:45:12 -0800 Subject: Support struct expressions --- Syntax.sml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Syntax.sml') diff --git a/Syntax.sml b/Syntax.sml index bb394b4..5d45133 100644 --- a/Syntax.sml +++ b/Syntax.sml @@ -35,7 +35,11 @@ struct | DFun of string * (pat list * expr) list | DDatatype of string * (string * etype option) list | DType of string * etype - | DStruct of string * dec list + | DStruct of string * structExpr + + and structExpr = + SIdent of string list + | SStruct of dec list (* Lambda language *) type var = int -- cgit v1.3.1