Commit aa2a9946 authored by Michael Hanus 's avatar Michael Hanus

constrEq and unifEq removed for PAKCS

parent 04c8a083
......@@ -1988,32 +1988,18 @@ doSolve b | b = return ()
--- reduced to a unifiable data term (i.e., a term without defined
--- function symbols).
(=:=) :: Data a => a -> a -> Bool
#ifdef __PAKCS__
(=:=) = constrEq
constrEq :: a -> a -> Bool
constrEq external
#else
(=:=) external
#endif
--- Non-strict equational constraint. Used to implement functional patterns.
(=:<=) :: Data a => a -> a -> Bool
#ifdef __PAKCS__
(=:<=) = unifEq
unifEq :: a -> a -> Bool
unifEq external
#else
(=:<=) external
#endif
#ifdef __PAKCS__
--- Non-strict equational constraint for linear functional patterns.
--- Thus, it must be ensured that the first argument is always (after evalutation
--- by narrowing) a linear pattern. Experimental.
(=:<<=) :: Data a => a -> a -> Bool
(=:<<=) = unifEqLinear
x =:<<= y = unifEqLinear x y
unifEqLinear :: a -> a -> Bool
unifEqLinear external
......
......@@ -107,13 +107,13 @@
<library>prim_standard</library>
<entry>prim_failed[raw]</entry>
</primitive>
<primitive name="constrEq" arity="2">
<primitive name="=:=" arity="3">
<library>prim_standard</library>
<entry>constrEq[raw]</entry>
<entry>Prelude.=:=[raw]</entry>
</primitive>
<primitive name="unifEq" arity="2">
<primitive name="=:&lt;=" arity="3">
<library>prim_standard</library>
<entry>unifEq[raw]</entry>
<entry>Prelude.=:&lt;=[raw]</entry>
</primitive>
<primitive name="unifEqLinear" arity="2">
<library>prim_standard</library>
......
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