From a5929da02cbd10d2967e180237706c6adb5014cd Mon Sep 17 00:00:00 2001
From: Inari Listenmaa <inari.listenmaa@gmail.com>
Date: Thu, 25 May 2023 11:34:08 +0200
Subject: [PATCH] (May) fix BaseVPS, ConsVPS and ConjVPS

---
 src/malay/ExtendMay.gf | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/malay/ExtendMay.gf b/src/malay/ExtendMay.gf
index da91b944..a646139c 100644
--- a/src/malay/ExtendMay.gf
+++ b/src/malay/ExtendMay.gf
@@ -3,7 +3,7 @@
 concrete ExtendMay of Extend = CatMay
   ** ExtendFunctor - [
     VPS           -- finite VP's with tense and polarity
-    , ListVPS
+    , ListVPS, BaseVPS, ConsVPS, ConjVPS
     , VPI, MkVPI, ComplVPIVV
     , ListVPI -- infinitive VP's (TODO: with anteriority and polarity)
     , MkVPS
@@ -38,11 +38,11 @@ concrete ExtendMay of Extend = CatMay
         } ;
 
       -- BaseVPS : VPS -> VPS -> ListVPS ;
-      BaseVPS vps vps2 = twoSS vps vps2 ;
+      BaseVPS = twoSS ;
       -- ConsVPS : VPS -> ListVPS -> ListVPS ;
-      ConsVPS str listvps vps = consSS "," listvps vps ;
+      ConsVPS = consrSS ",";
       -- ConjVPS    : Conj -> [VPS] -> VPS ;      -- has walked and won't sleep
-      ConjVPS conj listvps = conjunctX conj listvps ;
+      ConjVPS = conjunctDistrSS ;
       -- PredVPS    : NP   -> VPS -> S ;          -- she [has walked and won't sleep]
       PredVPS np vps = {
         s = np.s ! Bare ++ vps.s ;