added Question.AdvIAdv and correcponding entry of mkIAdv in API

2010-04-29 05:55:59 +00:00
parent 49abf31256
commit c5fe59ce50
12 changed files with 32 additions and 4 deletions
--- a/lib/src/polish/QuestionPol.gf
+++ b/lib/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;