Commit 573b215a authored by simonpj's avatar simonpj
Browse files

Update test output

parent 1f170c8f
{-# LANGUAGE RankNTypes #-}
{-# OPTIONS_GHC -fwarn-unused-binds #-}
module ShouldCompile() where
-- Trac #2497
-- Trac #2497; test should compile without language
-- pragmas to swith on the forall
{-# RULES "id" forall (x :: a). id x = x #-}
-- Trac #2494
foo :: (forall m. Monad m => Maybe (m a) -> Maybe (m a)) -> Maybe a -> Maybe a
foo _ x = x
{-# RULES
"foo/foo"
forall (f :: forall m. Monad m => Maybe (m a) -> Maybe (m a))
(g :: forall m. Monad m => Maybe (m a) -> Maybe (m a)) x.
foo f (foo g x) = foo (f . g) x
#-}
-- Trac #2213
-- Trac #2213; eq should not be reported as unused
eq,beq :: Eq a => a -> a -> Bool
eq = (==) -- Used
......
T2497.hs:28:0: Warning: Defined but not used: `beq'
T2497.hs:14:0: Warning: Defined but not used: `beq'
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