Mercurial > urweb
diff src/elab_print.sml @ 213:0343557355fc
Explifying type classes
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 16 Aug 2008 14:45:23 -0400 |
parents | e86411f647c6 |
children | 19e5791923d0 |
line wrap: on
line diff
--- a/src/elab_print.sml Sat Aug 16 14:36:17 2008 -0400 +++ b/src/elab_print.sml Sat Aug 16 14:45:23 2008 -0400 @@ -630,6 +630,13 @@ string ":", space, p_con env c] + | DClass ( x, n, c) => box [string "class", + space, + p_named x n, + space, + string "=", + space, + p_con env c] and p_str env (str, _) = case str of