Commit 5ea65efe authored by Kai-Oliver Prott's avatar Kai-Oliver Prott
Browse files

Fix type of Prelude.=:=

parent 63eaecb7
......@@ -1934,7 +1934,7 @@ doSolve b | b = return ()
--- reduced to a unifiable data term (i.e., a term without defined
--- function symbols).
--TODO: note
(=:=) :: Eq a => a -> a -> Bool
(=:=) :: a -> a -> Bool
(=:=) external
--- Non-strict equational constraint. Used to implement functional patterns.
......
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