test set for resource started

This commit is contained in:
aarne committed 2008-04-23 20:07:13 +00:00
1 parent 1871195a09
commit 937ddad3cc
19 files changed
+256 -66

No files matched your search

+13 -1
View File
@@ -99,7 +99,19 @@ concrete NounEng of Noun = CatEng ** open ResEng, Prelude in {
UseN n = n ;
UseN2 n = n ;
UseN3 n = n ;
---b UseN3 n = n ;
Use2N3 f = {
s = \\n,c => f.s ! n ! Nom ;
g = f.g ;
c2 = f.c2
} ;
Use3N3 f = {
s = \\n,c => f.s ! n ! Nom ;
g = f.g ;
c2 = f.c3
} ;
ComplN2 f x = {s = \\n,c => f.s ! n ! Nom ++ f.c2 ++ x.s ! c ; g = f.g} ;
ComplN3 f x = {