split the testsuite to different directories for compiler, runtime and libraries

2026-09-15 06:46:00 -06:00 · 2009-06-13 13:54:06 +00:00
parent 4df8a263eb
commit 8ae43ac855
19 changed files with 5 additions and 5 deletions
@@ -0,0 +1,9 @@
+abstract lins = {
+
+cat Nat ;
+cat C Nat ;
+
+fun zero : Nat ;
+    test : C zero ;
+
+}