Mercurial > urweb

comparison src/elab_ops.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 1bbcc3345d12
comparison
equal deleted inserted replaced
344:3c0feecd057d 345:b85e6ba56618
144 val c = (CApp (c, nm), loc) 144 val c = (CApp (c, nm), loc)
145 val c = (CApp (c, v), loc) 145 val c = (CApp (c, v), loc)
146 val c = (CApp (c, r), loc) 146 val c = (CApp (c, r), loc)
147 fun unconstraint c = 147 fun unconstraint c =
148 case hnormCon env c of 148 case hnormCon env c of
149 (CDisjoint (_, _, c), _) => unconstraint c 149 (CDisjoint (_, _, _, c), _) => unconstraint c
150 | c => c 150 | c => c
151 val c = unconstraint c 151 val c = unconstraint c
152 152
153 fun tryFusion () = 153 fun tryFusion () =
154 let 154 let