comparison src/cjr_print.sml @ 1613:4973d31b5fff

Fix server-side urlification of custom Option types
author Adam Chlipala <adam@chlipala.net>
date Fri, 25 Nov 2011 16:30:34 -0500
parents 02a50a9d50ea
children 15e0c935c91b
comparison
equal deleted inserted replaced
1612:7bb8c560f23d 1613:4973d31b5fff
1088 string "it0) {", 1088 string "it0) {",
1089 newline, 1089 newline,
1090 box [string "if (it0) {", 1090 box [string "if (it0) {",
1091 newline, 1091 newline,
1092 if isUnboxable t then 1092 if isUnboxable t then
1093 urlify' 0 t 1093 box [string "uw_write(ctx, \"",
1094 string has_arg,
1095 string "/\");",
1096 newline,
1097 urlify' 0 t,
1098 string ";",
1099 newline]
1094 else 1100 else
1095 box [p_typ env t, 1101 box [p_typ env t,
1096 space, 1102 space,
1097 string "it1", 1103 string "it1",
1098 space, 1104 space,