Commit 654bac46 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #3023

parent eb751c04
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances #-}
{-# OPTIONS_GHC -fwarn-missing-signatures #-}
module Bug where
class C a b | a -> b, b -> a where
f :: a -> b
instance C Int Bool where
f = undefined
instance (C a c, C b d) => C (a -> b) (c -> d) where
f = undefined
foo :: Int -> Int
foo = undefined
bar = f foo
T3023.hs:17:1:
Warning: Top-level binding with no type signature:
bar :: Bool -> Bool
......@@ -153,4 +153,3 @@ test('T3826', normal, compile, [''])
test('T4200', normal, compile, [''])
test('T3851', normal, compile, [''])
test('T4178', normal, compile, [''])
test('T4358', normal, compile, [''])
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