diff src/cjr_print.sml @ 931:be6585b4058b

Have nullable columns working with Dbgrid
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Sep 2009 12:00:34 -0400
parents d6a71f19a3d8
children e2305dcc3965
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Sep 12 15:08:16 2009 -0400
+++ b/src/cjr_print.sml	Sun Sep 13 12:00:34 2009 -0400
@@ -923,7 +923,7 @@
                 box [string "(request[0] == '/' ? ++request : request, ",
                      string "((!strncmp(request, \"None\", 4) ",
                      string "&& (request[4] == 0 || request[4] == '/')) ",
-                     string "? (request += 4, NULL) ",
+                     string "? (request += (request[4] == 0 ? 4 : 5), NULL) ",
                      string ": ((!strncmp(request, \"Some\", 4) ",
                      string "&& request[4] == '/') ",
                      string "? (request += 5, ",