(Ara) misc small fixes/comments

2026-07-01 11:38:34 -06:00 · 2018-12-26 14:34:15 +01:00
parent 8b016f35bc
commit f85e64a90d
3 changed files with 7 additions and 3 deletions
@@ -6,8 +6,11 @@ flags optimize = all ;--noexpand;
  oper

    mkDet : Str -> Number -> State -> Det
-      = \word,num,state -> baseQuant **
-      { s = \\_,_,c => word + caseTbl ! c ;
+      = mkDetDecl True ;
+
+    mkDetDecl : Bool -> Str -> Number -> State -> Det
+      = \decl,word,num,state -> baseQuant **
+      { s = \\_,_,c => word + if_then_Str decl (caseTbl ! c) [] ;
        n = numberToSize num;
        d = state;  --only Const is used now. check StructuralAra
      } ;