Mercurial > urweb

comparison src/elab_print.sml @ 211:e86411f647c6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial type class support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:32:18 -0400
parents cc68da3801bc
children 0343557355fc
comparison
equal deleted inserted replaced
210:f4033abd6ab1 211:e86411f647c6
462 p_named x n, 462 p_named x n,
463 space, 463 space,
464 string ":", 464 string ":",
465 space, 465 space,
466 p_con env c] 466 p_con env c]
467 | SgiClassAbs (x, n) => box [string "class",
468 space,
469 p_named x n]
470 | SgiClass (x, n, c) => box [string "class",
471 space,
472 p_named x n,
473 space,
474 string "=",
475 space,
476 p_con env c]
467 477
468 and p_sgn env (sgn, _) = 478 and p_sgn env (sgn, _) =
469 case sgn of 479 case sgn of
470 SgnConst sgis => box [string "sig", 480 SgnConst sgis => box [string "sig",
471 newline, 481 newline,