language specific extensions started

This commit is contained in:
aarne
2006-06-03 21:23:22 +00:00
parent 477feb0af1
commit 2bfe0731c7
20 changed files with 90 additions and 66 deletions

View File

@@ -0,0 +1,12 @@
incomplete concrete ExtraScand of ExtraScandAbs = CatScand ** open CommonScand,ResScand in {
lin
GenNP np = {
s = \\n,_,g => np.s ! NPPoss (gennum g n) ;
det = DDef Indef
} ;
EmbedBareS s = {s = s.s ! Sub} ;
ComplBareVS v s = insertObj (\\_ => s.s ! Sub) (predV v) ;
}