diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2021-05-31 21:31:16 +0200 |
|---|---|---|
| committer | sheaf <sam.derbyshire@gmail.com> | 2021-06-02 22:09:06 +0200 |
| commit | 126beaef07cdcbe8aeea248cc555e8a3057de82b (patch) | |
| tree | 42c980caca526a68c876435458f7b6a26a7571f2 /hoogle-test | |
| parent | caee7fce3032ac08c38a591de5e31f37eedf681f (diff) | |
Update Haddock Bug873 to account for renaming
Diffstat (limited to 'hoogle-test')
| -rw-r--r-- | hoogle-test/ref/Bug873/test.txt | 6 |
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 -> --- 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 +-- -> Int#</tt> is well-typed. ($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b infixr 0 $ ($$) :: (a -> b) -> a -> b |