add primitive 'set-code-text-command'

src/frontend/bytecomp/vminstdef.yaml

@@ -104,6 +104,21 @@ code: |
   let mcmd = get_math_command_func reducef valuecmd in
   Context(ctx, { ctxsub with math_command = mcmd; })
 
+---
+inst: PrimitiveSetCodeTextCommand
+is-pdf-mode-primitive: yes
+needs-reducef: yes
+name: "set-code-text-command"
+type: |
+  ~% (tICMD tS @-> tCTX @-> tCTX)
+
+params:
+- valuecmd
+- (ctx, ctxsub) : context
+code: |
+  let ctcmd = get_code_text_command_func reducef valuecmd in
+  Context(ctx, { ctxsub with code_text_command = ctcmd; })
+
 ---
 inst: BackendMathVariantCharDirect
 is-pdf-mode-primitive: yes

src/frontend/evalUtil.ml

@@ -696,6 +696,8 @@ let get_math_command_func _ valuemcmd =
 
 let make_math_command_func (MathCommand(valuemcmd)) = valuemcmd
 
+let get_code_text_command_func _ valuectcmd =
+  CodeTextCommand(valuectcmd)
 
 let make_list (type a) (makef : a -> syntactic_value) (lst : a list) : syntactic_value =
   List(lst |> List.map makef)

tools/gencode/vminst.ml

@@ -90,6 +90,23 @@ let ctx = HorzBox.({ ctx with math_char_class = mccls; }) in let (_, uchlst) = M
         ~code:{|
 let mcmd = get_math_command_func reducef valuecmd in
 Context(ctx, { ctxsub with math_command = mcmd; })
+|}
+    ; inst "PrimitiveSetCodeTextCommand"
+        ~name:"set-code-text-command"
+        ~type_:{|
+~% (tICMD tS @-> tCTX @-> tCTX)
+|}
+        ~fields:[
+        ]
+        ~params:[
+          param "valuecmd";
+          param "(ctx, ctxsub)" ~type_:"context";
+        ]
+        ~is_pdf_mode_primitive:true
+        ~needs_reducef:true
+        ~code:{|
+let ctcmd = get_code_text_command_func reducef valuecmd in
+Context(ctx, { ctxsub with code_text_command = ctcmd; })
 |}
     ; inst "BackendMathVariantCharDirect"
         ~name:"math-variant-char"