Mercurial > urweb

comparison src/source_print.sml @ 191:aa54250f58ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parametrized datatypes through explify
author Adam Chlipala <adamc@hcoop.net>
date Fri, 08 Aug 2008 10:28:32 -0400
parents b2d752455182
children dd82457fda82
comparison
equal deleted inserted replaced
190:3eb53c957d10 191:aa54250f58ac
276 space, 276 space,
277 p_exp e]) pes]) 277 p_exp e]) pes])
278 278
279 and p_exp e = p_exp' false e 279 and p_exp e = p_exp' false e
280 280
281 fun p_datatype (x, cons) = 281 fun p_datatype (x, xs, cons) =
282 box [string "datatype", 282 box [string "datatype",
283 space, 283 space,
284 string x, 284 string x,
285 p_list_sep (box []) (fn x => box [space, string x]) xs,
285 space, 286 space,
286 string "=", 287 string "=",
287 space, 288 space,
288 p_list_sep (box [space, string "|", space]) 289 p_list_sep (box [space, string "|", space])
289 (fn (x, NONE) => string x 290 (fn (x, NONE) => string x