readme and usage message for allow-extended-text-consts

shwestrick · Jan 9, 2023 · 266c422 · 266c422
1 parent 07315c8
commit 266c422
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -117,4 +117,8 @@ SuccessorML optional bar syntax is allowed.
 SuccessorML record punning syntax is allowed.
 
 `-allow-or-pats [true|false]` (default `false`) controls whether or not
-SuccessorML or-pattern syntax is allowed.
+SuccessorML or-pattern syntax is allowed.
+
+`allow-extended-text-consts [true|false]` (default `false`) controls whether
+or not SuccessorML extended text constants are allowed. Enable this to allow
+for UTF-8 characters within strings.
diff --git a/src/smlfmt.sml b/src/smlfmt.sml
@@ -53,6 +53,13 @@ val optionalArgDesc =
   \                             Valid options are: true, false\n\
   \                             (default 'false')\n\
   \\n\
+  \  [-allow-extended-text-consts B]\n\
+  \                             Enable/disable SuccessorML extended text\n\
+  \                             constants. Enable this to allow for UTF-8\n\
+  \                             characters within strings.\n\
+  \                             Valid options are: true, false\n\
+  \                             (default 'false')\n\
+  \\n\
   \  [--help]                   print this message\n"