Mercurial > urweb

comparison src/elaborate.sml @ 1586:03ad79980b55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove debug print
author Adam Chlipala <adam@chlipala.net>
date Wed, 02 Nov 2011 09:37:20 -0400
parents d5fb78321cca
children 65d6488c82d5
comparison
equal deleted inserted replaced
1585:d5fb78321cca 1586:03ad79980b55
3510 let 3510 let
3511 val ds' = List.mapPartial (fn (env', (c1, c2), loc) => 3511 val ds' = List.mapPartial (fn (env', (c1, c2), loc) =>
3512 case (decompileCon env' c1, decompileCon env' c2) of 3512 case (decompileCon env' c1, decompileCon env' c2) of
3513 (SOME c1, SOME c2) => 3513 (SOME c1, SOME c2) =>
3514 SOME (L.DConstraint (c1, c2), loc) 3514 SOME (L.DConstraint (c1, c2), loc)
3515 | _ => (Print.prefaces "BAD" [("c1", p_con env' c1), 3515 | _ => NONE) (nconstraints nd)
3516 ("c2", p_con env' c2)];
3517 NONE)) (nconstraints nd)
3518 3516
3519 val ds' = 3517 val ds' =
3520 case SS.listItems (nvals nd) of 3518 case SS.listItems (nvals nd) of
3521 [] => ds' 3519 [] => ds'
3522 | xs => 3520 | xs =>