Mercurial > urweb

comparison src/cjr_print.sml @ 200:5dbba661deab

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Urlifying records
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 20:08:29 -0400
parents c938fe391c84
children 71bafe66dbe1
comparison
equal deleted inserted replaced
199:c938fe391c84 200:5dbba661deab
912 string "] == '/')) ? (request", 912 string "] == '/')) ? (request",
913 space, 913 space,
914 string "+=", 914 string "+=",
915 space, 915 space,
916 string (Int.toString (size has_arg)), 916 string (Int.toString (size has_arg)),
917 string ", ", 917 string ", (request[0] == '/' ? ++request : NULL), ",
918 newline,
918 919
919 case #1 t of 920 case #1 t of
920 TDatatype _ => unurlify t 921 TDatatype _ => unurlify t
921 | TFfi ("Basis", "string") => unurlify t 922 | TFfi ("Basis", "string") => unurlify t
922 | _ => box [string "({", 923 | _ => box [string "({",
987 space, 988 space,
988 string "+=", 989 string "+=",
989 space, 990 space,
990 string (Int.toString (size x')), 991 string (Int.toString (size x')),
991 string ";", 992 string ";",
993 newline,
994 string "if (request[0] == '/') ++request;",
992 newline, 995 newline,
993 case to of 996 case to of
994 NONE => box [] 997 NONE => box []
995 | SOME t => box [string "tmp->data.lw_", 998 | SOME t => box [string "tmp->data.lw_",
996 string x', 999 string x',