comparison src/cjr_print.sml @ 197:b1b9bcfd8c42

Re-consistent-ify naming of union members
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:54:04 -0400
parents 890a61991263
children ab86aa858e6c
comparison
equal deleted inserted replaced
196:890a61991263 197:b1b9bcfd8c42
851 newline, 851 newline,
852 string "if (request[0] == '/') ++request;", 852 string "if (request[0] == '/') ++request;",
853 newline, 853 newline,
854 case to of 854 case to of
855 NONE => box [] 855 NONE => box []
856 | SOME t => box [string "tmp->data.__lwc_", 856 | SOME t => box [string "tmp->data.lw_",
857 string x', 857 string x',
858 space, 858 space,
859 string "=", 859 string "=",
860 space, 860 space,
861 unurlify t, 861 unurlify t,