Mercurial > urweb

comparison src/source_print.sml @ 345:b85e6ba56618

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge CDisjoint and TDisjoint
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Oct 2008 15:50:28 -0400
parents 075b36dbb1a4
children 8084fa9216de
comparison
equal deleted inserted replaced
344:3c0feecd057d 345:b85e6ba56618
79 p_kind k, 79 p_kind k,
80 space, 80 space,
81 string "->", 81 string "->",
82 space, 82 space,
83 p_con c]) 83 p_con c])
84 | TDisjoint (c1, c2, c3) => parenIf par (box [p_con c1,
85 space,
86 string "~",
87 space,
88 p_con c2,
89 space,
90 string "->",
91 space,
92 p_con c3])
93 | TRecord (CRecord xcs, _) => box [string "{", 84 | TRecord (CRecord xcs, _) => box [string "{",
94 p_list (fn (x, c) => 85 p_list (fn (x, c) =>
95 box [p_name x, 86 box [p_name x,
96 space, 87 space,
97 string ":", 88 string ":",