Add signatures

1 files changed, 2 insertions, 1 deletions

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, [])