diff options
Diffstat (limited to 'hoogle-test/ref/Bug873')
| -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 |