diff src/jscomp.sml @ 821:395a5d450cc0

Chars and more string operations
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 May 2009 12:25:06 -0400
parents 493f44759879
children 497c7dbcc695
line wrap: on
line diff
--- a/src/jscomp.sml	Sat May 23 10:14:51 2009 -0400
+++ b/src/jscomp.sml	Tue May 26 12:25:06 2009 -0400
@@ -541,6 +541,7 @@
                                                                                 Int.fmt StringCvt.OCT (ord ch),
                                                                                 3)) s
                                      ^ "\"")
+                              | Prim.Char ch => str ("'" ^ String.str ch ^ "'")
                               | _ => str (Prim.toString p)
 
                         fun jsPat depth inner (p, _) succ fail =