Mercurial > urweb

comparison src/cjr_print.sml @ 115:ff13d390ec60

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cjr ready for dispatch code generation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:56:39 -0400
parents 813e5a52063d
children c5d7ce9ddd57
comparison
equal deleted inserted replaced
114:0644d3c3bedf 115:ff13d390ec60
171 string ");"], 171 string ");"],
172 newline, 172 newline,
173 string "}"] 173 string "}"]
174 end 174 end
175 175
176 fun p_page env n = box [p_enamed env n, 176 fun p_page env (s, n) =
177 string "(lw_unit_v);"] 177 box [string "/* ",
178 string s,
179 string " */ ",
180 p_enamed env n,
181 string "(lw_unit_v);"]
178 182
179 fun p_file env (ds, ps) = 183 fun p_file env (ds, ps) =
180 let 184 let
181 val (pds, env) = ListUtil.foldlMap (fn (d, env) => 185 val (pds, env) = ListUtil.foldlMap (fn (d, env) =>
182 (p_decl env d, 186 (p_decl env d,