ImpP3 in IdiomEng

This commit is contained in:
aarne
2009-12-16 15:42:47 +00:00
parent 95ad030dc6
commit 4f749d8bae

View File

@@ -26,5 +26,7 @@ concrete IdiomEng of Idiom = CatEng ** open Prelude, ResEng in {
ImpPl1 vp = {s = "let's" ++ infVP True vp (AgP1 Pl)} ;
ImpP3 np vp = {s = "let" ++ np.s ! Acc ++ infVP True vp np.a} ;
}