aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsheaf <sam.derbyshire@gmail.com>2021-05-31 21:31:16 +0200
committersheaf <sam.derbyshire@gmail.com>2021-06-02 22:09:06 +0200
commit126beaef07cdcbe8aeea248cc555e8a3057de82b (patch)
tree42c980caca526a68c876435458f7b6a26a7571f2
parentcaee7fce3032ac08c38a591de5e31f37eedf681f (diff)
Update Haddock Bug873 to account for renaming
-rw-r--r--hoogle-test/ref/Bug873/test.txt6
1 files changed, 3 insertions, 3 deletions
diff --git a/hoogle-test/ref/Bug873/test.txt b/hoogle-test/ref/Bug873/test.txt
index 68873317..5e1117a4 100644
--- a/hoogle-test/ref/Bug873/test.txt
+++ b/hoogle-test/ref/Bug873/test.txt
@@ -18,9 +18,9 @@ module Bug873
-- It is also useful in higher-order situations, such as <tt><a>map</a>
-- (<a>$</a> 0) xs</tt>, or <tt><a>zipWith</a> (<a>$</a>) fs xs</tt>.
--
--- Note that <tt>(<a>$</a>)</tt> is levity-polymorphic in its result
--- type, so that <tt>foo <a>$</a> True</tt> where <tt>foo :: Bool -&gt;
--- Int#</tt> is well-typed.
+-- Note that <tt>(<a>$</a>)</tt> is representation-polymorphic in its
+-- result type, so that <tt>foo <a>$</a> True</tt> where <tt>foo :: Bool
+-- -&gt; Int#</tt> is well-typed.
($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
infixr 0 $
($$) :: (a -> b) -> a -> b