Mercurial > urweb

comparison src/elab_print.sml @ 213:0343557355fc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explifying type classes
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:45:23 -0400
parents e86411f647c6
children 19e5791923d0
comparison
equal deleted inserted replaced
212:ba4d7c33a45f 213:0343557355fc
628 p_named x n, 628 p_named x n,
629 space, 629 space,
630 string ":", 630 string ":",
631 space, 631 space,
632 p_con env c] 632 p_con env c]
633 | DClass ( x, n, c) => box [string "class",
634 space,
635 p_named x n,
636 space,
637 string "=",
638 space,
639 p_con env c]
633 640
634 and p_str env (str, _) = 641 and p_str env (str, _) =
635 case str of 642 case str of
636 StrConst ds => box [string "struct", 643 StrConst ds => box [string "struct",
637 newline, 644 newline,