diff src/c/urweb.c @ 1128:e1cf925e2074

Allow escaped backslashes in literals; conversion betwixt int and char
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 Jan 2010 16:09:13 -0500
parents 0cee0c8d8c37
children 94e83c5533d2
line wrap: on
line diff
--- a/src/c/urweb.c	Tue Jan 12 11:19:02 2010 -0500
+++ b/src/c/urweb.c	Tue Jan 12 16:09:13 2010 -0500
@@ -3375,6 +3375,14 @@
   return toupper(c);
 }
 
+uw_Basis_int uw_Basis_ord(uw_context ctx, uw_Basis_char c) {
+  return (unsigned char)c;
+}
+
+uw_Basis_char uw_Basis_chr(uw_context ctx, uw_Basis_int n) {
+  return n;
+}
+
 uw_Basis_string uw_Basis_currentUrl(uw_context ctx) {
   return ctx->current_url;
 }