diff options
Diffstat (limited to 'hoogle-test/ref/Bug873')
| -rw-r--r-- | hoogle-test/ref/Bug873/test.txt | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/hoogle-test/ref/Bug873/test.txt b/hoogle-test/ref/Bug873/test.txt index 19100212..68873317 100644 --- a/hoogle-test/ref/Bug873/test.txt +++ b/hoogle-test/ref/Bug873/test.txt @@ -18,9 +18,10 @@ 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>($)</tt> is levity-polymorphic in its result type, so --- that foo $ True where foo :: Bool -> Int# is well-typed -($) :: () => (a -> b) -> a -> b +-- 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. +($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b infixr 0 $ ($$) :: (a -> b) -> a -> b infixr 0 $$ |