summaryrefslogtreecommitdiffstats
path: root/Syntax.sml
diff options
context:
space:
mode:
Diffstat (limited to 'Syntax.sml')
-rw-r--r--Syntax.sml6
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