Mercurial > urweb
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, |