Commit 6a0f8842 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Test [size_term].

parent 453bf66a
......@@ -17,6 +17,8 @@ let check (t : raw_term) =
printf "Imported (and reexported) term:\n%a\n"
Print.term (export_term KitExport.empty t)
printf "Size: %d\n"
(size_term t);
match typeof t with
| ty ->
printf "Inferred type:\n%a\n"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment