Support struct expressions

1 files changed, 5 insertions, 1 deletions

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