From ed48b02873f3ea3cab0107176d00eb00c9519766 Mon Sep 17 00:00:00 2001 From: Rose Hogenson Date: Fri, 4 Jul 2025 11:19:55 -0700 Subject: Add signatures --- Types.sml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Types.sml') diff --git a/Types.sml b/Types.sml index 4406796..5b0e1a8 100644 --- a/Types.sml +++ b/Types.sml @@ -368,9 +368,10 @@ structure Types = struct let val env = bindType (vars, name, data) env in (env, SOME (Syntax.TDDatatype (name, map (fn (name, ty) => (name, Option.map (tyToSyntaxTy o (etypeToTy env)) ty)) data))) end | tagDec _ (Syntax.DType _) = raise Fail "TODO" - | tagDec env (Syntax.DStruct (name, str)) = + | tagDec env (Syntax.DStruct (name, _, str)) = let val (str, strType) = tagStructExpr env str in (bindStruct name strType env, SOME (Syntax.TDStruct (name, (str, structTypeToSyntaxStructType strType)))) end + | tagDec env (Syntax.DSig (s, decls)) = (env, NONE) | tagDec _ _ = raise Fail "invalid expr" and tagDecs env [] = (env, []) -- cgit v1.3.1