imperatives in Slovenian

2026-06-30 02:58:35 -06:00 · 2016-05-06 08:29:25 +00:00
parent f0754ec7e7
commit ab1d434585
5 changed files with 26 additions and 12 deletions
@@ -1,9 +1,16 @@
 concrete VerbSlv of Verb = CatSlv ** open ResSlv, Prelude in {

  lin
-    UseV v = predV v.s ;
+    UseV v = 
+      { s  = v.s ;
+        s2 = \\a => ""
+      } ;

-    SlashV2a v = predV v.s ** {c2 = v.c2} ;
+    SlashV2a v = 
+      { s  = v.s ;
+        s2 = \\a => "" ;
+        c2 = v.c2
+      } ;

    ComplSlash vp np =
      insertObj (\\_ => vp.c2.s ++ np.s ! vp.c2.c) vp ;