Added very basic list test grammars.

This commit is contained in:
bringert
2005-05-25 09:42:32 +00:00
parent e2dc03a9ca
commit 561b8edccf
2 changed files with 20 additions and 0 deletions

View File

@@ -0,0 +1,8 @@
abstract ListTest = {
cat A; [A]; B; [B]{1};
fun apa : A;
fun bepa : B;
}

View File

@@ -0,0 +1,12 @@
concrete ListTestEng of ListTest = {
lin BaseA = { s = "" } ;
lin ConsA a as = { s = a.s ++ "" ++ as.s } ;
lin BaseB b = { s = b.s } ;
lin ConsB b bs = { s = b.s ++ "," ++ bs.s } ;
lin apa = { s = "apa" } ;
lin bepa = { s = "bepa" } ;
}