Mercurial > urweb

comparison src/source_print.sml @ 42:b3fbbc6cb1e5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating 'where'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 16:35:40 -0400
parents e3d3c2791105
children a9f3ce2d1b9b
comparison
equal deleted inserted replaced
41:1405d8c26790 42:b3fbbc6cb1e5
257 string ")", 257 string ")",
258 space, 258 space,
259 string ":", 259 string ":",
260 space, 260 space,
261 p_sgn sgn'] 261 p_sgn sgn']
262 262 | SgnWhere (sgn, x, c) => box [p_sgn sgn,
263 space,
264 string "where",
265 space,
266 string "con",
267 space,
268 string x,
269 space,
270 string "=",
271 space,
272 p_con c]
273
263 fun p_decl ((d, _) : decl) = 274 fun p_decl ((d, _) : decl) =
264 case d of 275 case d of
265 DCon (x, NONE, c) => box [string "con", 276 DCon (x, NONE, c) => box [string "con",
266 space, 277 space,
267 string x, 278 string x,