Mercurial > urweb
comparison src/elaborate.sml @ 1586:03ad79980b55
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 => |