Mercurial > urweb

comparison src/elab_print.sml @ 624:354800878b4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Kind polymorphism through Explify
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Feb 2009 16:32:56 -0500
parents 588b9d16b00a
children 12b73f3c108e
comparison
equal deleted inserted replaced
623:588b9d16b00a 624:354800878b4d
66 space, 66 space,
67 string "-->", 67 string "-->",
68 space, 68 space,
69 p_kind (E.pushKRel env x) k] 69 p_kind (E.pushKRel env x) k]
70 70
71 and p_kind k = p_kind' false k 71 and p_kind env = p_kind' false env
72 72
73 fun p_explicitness e = 73 fun p_explicitness e =
74 case e of 74 case e of
75 Explicit => string "::" 75 Explicit => string "::"
76 | Implicit => string ":::" 76 | Implicit => string ":::"