top-level access to contracted auxiliaries in ExtraEng. Introduced them as variants in ParseEng.

This commit is contained in:
aarne
2013-12-03 14:52:12 +00:00
parent 3294f2b1c5
commit 629efbe2c0
3 changed files with 16 additions and 7 deletions

View File

@@ -179,7 +179,9 @@ lin
ComplBareVS v s = insertExtra s.s (predV v) ;
SlashBareV2S v s = insertExtrac s.s (predVc v) ;
ContractedUseCl t p cl = {
s = t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p ! ODir True
} ;