Mercurial > urweb

comparison src/cjr_print.sml @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children acb8537f58f0
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
2144 string "}"] 2144 string "}"]
2145 2145
2146 | DJavaScript s => box [string "static char jslib[] = \"", 2146 | DJavaScript s => box [string "static char jslib[] = \"",
2147 string (String.toString s), 2147 string (String.toString s),
2148 string "\";"] 2148 string "\";"]
2149 | DStyle (s, xs) => box [string "/*",
2150 space,
2151 string "style",
2152 space,
2153 string s,
2154 space,
2155 string ":",
2156 space,
2157 p_list string xs,
2158 space,
2159 string "*/"]
2149 2160
2150 datatype 'a search = 2161 datatype 'a search =
2151 Found of 'a 2162 Found of 'a
2152 | NotFound 2163 | NotFound
2153 | Error 2164 | Error