From f6b44aa57e1062c84234a6edb5d762e4e91feb00 Mon Sep 17 00:00:00 2001 From: krangelov Date: Mon, 14 Dec 2020 18:50:32 +0100 Subject: [PATCH] move VPI from ExtraBul to ExtendBul --- src/bulgarian/ExtendBul.gf | 15 +++++++++++++++ src/bulgarian/ExtraBul.gf | 15 --------------- 2 files changed, 15 insertions(+), 15 deletions(-) diff --git a/src/bulgarian/ExtendBul.gf b/src/bulgarian/ExtendBul.gf index 318a70f2..d37db0f6 100644 --- a/src/bulgarian/ExtendBul.gf +++ b/src/bulgarian/ExtendBul.gf @@ -119,6 +119,21 @@ lin vp.compl ! agr } ; +lincat + VPI = {s : Agr => Str} ; + [VPI] = {s : Agr => Ints 4 => Str} ; + +lin + BaseVPI x y = {s = \\a=>table {4 => y.s!a; _ => x.s!a}} ; + ConsVPI x xs = {s = \\a=>table {4 => xs.s!a!4; t => x.s!a++linCoord bindComma!t++xs.s!a!t}}; + + MkVPI vp = {s = daComplex Simul Pos vp ! Perf} ; + ConjVPI conj vpi = { + s = \\a => linCoord []!conj.sep ++ vpi.s!a!conj.sep ++ conj.s ++ vpi.s!a!4 + } ; + ComplVPIVV vv vpi = + insertObj (\\a => vpi.s ! a) Pos (predV vv) ; + lincat VPS = {s : Agr => Str} ; [VPS] = {s : Agr => Ints 4 => Str} ; diff --git a/src/bulgarian/ExtraBul.gf b/src/bulgarian/ExtraBul.gf index 653d7443..04375e75 100644 --- a/src/bulgarian/ExtraBul.gf +++ b/src/bulgarian/ExtraBul.gf @@ -55,21 +55,6 @@ concrete ExtraBul of ExtraBulAbs = CatBul ** IAdvAdv adv = {s = \\qf => (mkIAdv "колко").s ! qf ++ adv.s} ; - lincat - VPI = {s : Agr => Str} ; - [VPI] = {s : Agr => Ints 4 => Str} ; - - lin - BaseVPI x y = {s = \\a=>table {4 => y.s!a; _ => x.s!a}} ; - ConsVPI x xs = {s = \\a=>table {4 => xs.s!a!4; t => x.s!a++linCoord bindComma!t++xs.s!a!t}}; - - MkVPI vp = {s = daComplex Simul Pos vp ! Perf} ; - ConjVPI conj vpi = { - s = \\a => linCoord []!conj.sep ++ vpi.s!a!conj.sep ++ conj.s ++ vpi.s!a!4 - } ; - ComplVPIVV vv vpi = - insertObj (\\a => vpi.s ! a) Pos (predV vv) ; - lincat VPS = {s : Agr => Str} ; [VPS] = {s : Agr => Ints 4 => Str} ;