IP now depends on the Case, i.e. koi/kogo

This commit is contained in:
krasimir
2008-02-22 14:08:01 +00:00
parent ec4edf4524
commit 038bb07c33
5 changed files with 17 additions and 14 deletions

View File

@@ -420,9 +420,12 @@ resource ResBul = ParamX ** open Prelude in {
DNeutDef => addDef dve
} ;
mkIP : Str -> GenNum -> {s : Str ; gn : GenNum} =
\s,gn -> {
s = s ;
mkIP : Str -> Str -> GenNum -> {s : Case => Str ; gn : GenNum} =
\koi,kogo,gn -> {
s = table {
Nom => koi ;
Acc => kogo
} ;
gn = gn
} ;