Commit 24848f37 authored by Michael Hanus 's avatar Michael Hanus

Export `constrEq` since it is required by the strict equality optimizer

parent 946157c0
......@@ -56,7 +56,7 @@ module Prelude
, IOError (..), userError, ioError, catch
-- * Constraint Programming
, Success, success, solve, doSolve, (=:=), (=:<=)
, Success, success, solve, doSolve, (=:=), (=:<=), constrEq
#ifdef __PAKCS__
, (=:<<=)
#endif
......@@ -2036,6 +2036,9 @@ doSolve b | b = return ()
(=:=) :: Data a => a -> a -> Bool
x =:= y = constrEq x y
--- Internal operation to implement equational constraints.
--- It is used by the strict equality optimizer but should not be used
--- in regular programs.
constrEq :: a -> a -> Bool
constrEq external
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment