From fe2d1fe8ab56f83796a80bcb370d7420e693ab2a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 2 Jan 2012 17:08:39 -0500 Subject: Fix handling of quotes in generating C literals --- src/prim.sig | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/prim.sig') diff --git a/src/prim.sig b/src/prim.sig index fb067b3a..74147471 100644 --- a/src/prim.sig +++ b/src/prim.sig @@ -41,4 +41,7 @@ signature PRIM = sig val toString : t -> string + val toCString : string -> string + (* SML's built-in [String.toCString] gets confused by single quotes! *) + end -- cgit v1.2.3