Mercurial > urweb

comparison src/elab_print.sml @ 334:9601c717d2f3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryX
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 19:49:53 -0400
parents 42dfb0d61cf0
children e976b187d73a
comparison
equal deleted inserted replaced
333:c655eddc3795 334:9601c717d2f3
78 p_kind k, 78 p_kind k,
79 space, 79 space,
80 string "->", 80 string "->",
81 space, 81 space,
82 p_con (E.pushCRel env x k) c]) 82 p_con (E.pushCRel env x k) c])
83 | TDisjoint (c1, c2, c3) => parenIf par (box [p_con env c1, 83 | TDisjoint (_, c1, c2, c3) => parenIf par (box [p_con env c1,
84 space, 84 space,
85 string "~", 85 string "~",
86 space, 86 space,
87 p_con env c2, 87 p_con env c2,
88 space, 88 space,
89 string "->", 89 string "->",
90 space, 90 space,
91 p_con env c3]) 91 p_con env c3])
92 | TRecord (CRecord (_, xcs), _) => box [string "{", 92 | TRecord (CRecord (_, xcs), _) => box [string "{",
93 p_list (fn (x, c) => 93 p_list (fn (x, c) =>
94 box [p_name env x, 94 box [p_name env x,
95 space, 95 space,
96 string ":", 96 string ":",