added Question.AdvIAdv and correcponding entry of mkIAdv in API

2010-04-29 05:55:59 +00:00
parent 97c2575f0f
commit dc58a51c4f
12 changed files with 32 additions and 4 deletions
--- a/src/polish/QuestionPol.gf
+++ b/src/polish/QuestionPol.gf
@@ -69,6 +69,8 @@ lin
 --     PrepIP    : Prep -> IP -> IAdv ;     -- with whom
    PrepIP prep ip = { s = prep.s ++ ip.dep !prep.c};

+    AdvIAdv i a = {s = i.s ++ a.s} ;
+
 --     CompIAdv  : IAdv -> IComp ;          -- where (is it)
    CompIAdv ia = ia;