comparison 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
comparison
equal deleted inserted replaced
930:51bc7681c47e 931:be6585b4058b
921 921
922 | TOption t => 922 | TOption t =>
923 box [string "(request[0] == '/' ? ++request : request, ", 923 box [string "(request[0] == '/' ? ++request : request, ",
924 string "((!strncmp(request, \"None\", 4) ", 924 string "((!strncmp(request, \"None\", 4) ",
925 string "&& (request[4] == 0 || request[4] == '/')) ", 925 string "&& (request[4] == 0 || request[4] == '/')) ",
926 string "? (request += 4, NULL) ", 926 string "? (request += (request[4] == 0 ? 4 : 5), NULL) ",
927 string ": ((!strncmp(request, \"Some\", 4) ", 927 string ": ((!strncmp(request, \"Some\", 4) ",
928 string "&& request[4] == '/') ", 928 string "&& request[4] == '/') ",
929 string "? (request += 5, ", 929 string "? (request += 5, ",
930 if isUnboxable t then 930 if isUnboxable t then
931 unurlify' rf (#1 t) 931 unurlify' rf (#1 t)