Mercurial > urweb

comparison src/elab_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 1405d8c26790
children a9f3ce2d1b9b
comparison
equal deleted inserted replaced
41:1405d8c26790 42:b3fbbc6cb1e5
321 string ")", 321 string ")",
322 space, 322 space,
323 string ":", 323 string ":",
324 space, 324 space,
325 p_sgn (E.pushStrNamedAs env x n sgn) sgn'] 325 p_sgn (E.pushStrNamedAs env x n sgn) sgn']
326 | SgnWhere (sgn, x, c) => box [p_sgn env sgn,
327 space,
328 string "where",
329 space,
330 string "con",
331 space,
332 string x,
333 space,
334 string "=",
335 space,
336 p_con env c]
326 | SgnError => string "<ERROR>" 337 | SgnError => string "<ERROR>"
327 338
328 fun p_decl env ((d, _) : decl) = 339 fun p_decl env ((d, _) : decl) =
329 case d of 340 case d of
330 DCon (x, n, k, c) => box [string "con", 341 DCon (x, n, k, c) => box [string "con",