~thon/thon

5789efaaec00f72e28d5d6a4d9abcbdbc5ac4134 — Evan Bergeron 8 months ago d1bc645
Test setget example
1 files changed, 3 insertions(+), 0 deletions(-)

M thon.sml
M thon.sml => thon.sml +3 -0
@@ 1078,6 1078,9 @@ val zerobst = parseFile "/home/evan/thon/examples/singletonbst.thon";
val appbst = eval (A.App(A.App(bstinsert, A.Zero), emptybst));
val true = (zerobst = appbst);

val setget = parseFile "/home/evan/thon/examples/setget.thon";
val Some ("t",Prod (Arr (Nat,TypVar ("t",0)),Arr (TypVar ("t",0),Nat))) = typeof setget;

in
()
end