negative imperative

2026-06-27 11:56:29 -06:00 · 2022-03-30 23:32:08 +08:00
parent 1d033679f2
commit ffd1f28b42
2 changed files with 8 additions and 1 deletions
@@ -28,7 +28,10 @@ lin
 --2 Imperatives
  -- : VP -> Imp ;
  ImpVP vp = {
-    s = \\num,pol => vp.s ! Root ! pol
+    s = \\num,pol => case pol of {
+      Neg => "jangan" ++ vp.s ! Root ! Pos;
+      Pos => vp.s ! Root ! Pos
+    }
  } ;

 {-