From 266c422afe4fdca49d2f3c963c49632febc7f789 Mon Sep 17 00:00:00 2001
From: Sam Westrick <shwestrick@gmail.com>
Date: Mon, 9 Jan 2023 13:27:06 -0500
Subject: [PATCH] readme and usage message for allow-extended-text-consts

---
 README.md      | 6 +++++-
 src/smlfmt.sml | 7 +++++++
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 1c44f43..caefe77 100644
--- 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.
\ No newline at end of file
+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.
\ No newline at end of file
diff --git a/src/smlfmt.sml b/src/smlfmt.sml
index 11997a3..db66a1a 100644
--- 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"