Fix #2759: add mkRealConstr and mkIntegralConstr, deprecate mkFloatConstr and mkIntConstr
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 16 Jan 2009 14:06:55 +0000 (14:06 +0000)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 16 Jan 2009 14:06:55 +0000 (14:06 +0000)
commit88c71497ea34789b25d87486548a88539af2ecde
tree60e628c5c8b83640270d878756cd83d28616ae2f
parent35f07c91dbec27562bb0f1143f7cb20ef1cbb23f
Fix #2759: add mkRealConstr and mkIntegralConstr, deprecate mkFloatConstr and mkIntConstr
Data/Data.hs