deploy: 288857c

RedPRL · Nov 16, 2023 · d590c91 · d590c91
1 parent 2c7e756
commit d590c91
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/asai/quickstart.html b/asai/quickstart.html
@@ -79,7 +79,9 @@
   let short_code : t -&gt; string =
     function
     (* ... *)
-    | Cool c -&gt; CoolLibrary.Reporter.Message.short_code c
+    | Cool c -&gt;
+      (* You can add a prefix to avoid code collision. *)
+      &quot;C-&quot; ^ CoolLibrary.Reporter.Message.short_code c
 
   (** It is recommended to add a helper function (such as [cool]) to save typing,
       and this tutorial will assume you have done that. *)