Commit 6f8a79e6 authored by Kai-Oliver Prott's avatar Kai-Oliver Prott

Fix existence error when using an external declarations with a context

parent 75979426
......@@ -1980,7 +1980,16 @@ 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
-- For this operator we cannot remove the Data dictionary in the prolog code
-- Thus, we generalize the type of the external definition.
constrEq :: a -> a -> Bool
constrEq external
#else
(=:=) external
#endif
--- Non-strict equational constraint. Used to implement functional patterns.
(=:<=) :: Data a => a -> a -> Bool
......
......@@ -93,15 +93,15 @@
<library>prim_standard</library>
<entry>prim_failed[raw]</entry>
</primitive>
<primitive name="=:=" arity="2">
<primitive name="constrEq" arity="2">
<library>prim_standard</library>
<entry>constrEq[raw]</entry>
</primitive>
<primitive name="=:&lt;=" arity="2">
<primitive name="=:&lt;=" arity="3">
<library>prim_standard</library>
<entry>unifEq[raw]</entry>
</primitive>
<primitive name="=:&lt;&lt;=" arity="2">
<primitive name="=:&lt;&lt;=" arity="3">
<library>prim_standard</library>
<entry>unifEqLinear[raw]</entry>
</primitive>
......
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