~thon/thon

76c7503cb9cba4c1c906c229a8a86ef8bfc308a7 — Evan Bergeron 21 days ago c157067 master
Update tests
1 files changed, 2 insertions(+), 1 deletions(-)

M thon.sml
M thon.sml => thon.sml +2 -1
@@ 1232,7 1232,8 @@ val
val manualDatatype = parseFile "/home/evan/thon/examples/manual-datatype.thon";
val autoDatatype = elaborateDatatypes (parse "data List = Nil unit | Cons nat * List in Z");

val (Succ Zero) = runFile "/home/evan/thon/examples/auto-natlist.thon";
val Zero = runFile "/home/evan/thon/examples/auto-natlist.thon";
val Succ (Succ Zero) = runFile "/home/evan/thon/examples/bst-depth.thon";

in
()