-timing option for command-line compiler

1 files changed, 4 insertions, 0 deletions

diff --git a/src/explify.sml b/src/explify.sml
index f33d2b64..da338147 100644
--- a/src/explify.sml
+++ b/src/explify.sml
@@ -39,6 +39,7 @@ fun explifyKind (k, loc) =
       | L.KRecord k => (L'.KRecord (explifyKind k), loc)
 
       | L.KUnit => (L'.KUnit, loc)
+      | L.KTuple _ => raise Fail "Explify KTuple"
 
       | L.KError => raise Fail ("explifyKind: KError at " ^ EM.spanToString loc)
       | L.KUnif (_, _, ref (SOME k)) => explifyKind k
@@ -67,6 +68,9 @@ fun explifyCon (c, loc) =
 
       | L.CUnit => (L'.CUnit, loc)
 
+      | L.CTuple _ => raise Fail "Explify CTuple"
+      | L.CProj _ => raise Fail "Explify CProj"
+
       | L.CError => raise Fail ("explifyCon: CError at " ^ EM.spanToString loc)
       | L.CUnif (_, _, _, ref (SOME c)) => explifyCon c
       | L.CUnif _ => raise Fail ("explifyCon: CUnif at " ^ EM.spanToString loc)