diff src/prim.sig @ 821:395a5d450cc0

Chars and more string operations
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 May 2009 12:25:06 -0400
parents 1901db85acb4
children 3e7c7e200713
line wrap: on
line diff
--- a/src/prim.sig	Sat May 23 10:14:51 2009 -0400
+++ b/src/prim.sig	Tue May 26 12:25:06 2009 -0400
@@ -31,6 +31,7 @@
              Int of Int64.int
            | Float of Real64.real
            | String of string
+           | Char of char
 
     val p_t : t Print.printer
     val p_t_GCC : t Print.printer