examples/test is moved to testsuite

This commit is contained in:
krasimir committed 2009-05-20 11:25:00 +00:00
1 parent b6ce113041
commit 352ac74b0f
12 files changed

No files matched your search

@@ -0,0 +1,9 @@
cat S; E;
fun s : S ;
fun es : E -> S -> S ;
fun e : E ;
lin s = { s = "s" } ;
lin es e s = { s = e.s ++ s.s } ;
lin e = { s = [] } ;