Commit 6eb9db81 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Add a test tcfail202 for trac #2307

parent e164c370
......@@ -190,6 +190,7 @@ test('tcfail198', normal, compile_fail, [''])
test('tcfail199', normal, compile_fail, [''])
test('tcfail200', if_compiler_lt('ghc', '6.9', skip), compile_fail, [''])
test('tcfail201', normal, compile_fail, [''])
test('tcfail202', normal, compile_fail, [''])
test('T1899', normal, compile_fail, [''])
test('T2126', normal, compile_fail, [''])
......
-- trac #2307
-- This was accepted due to a bug in GHC
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
OverlappingInstances, UndecidableInstances, IncoherentInstances,
FlexibleInstances #-}
module Foo where
class C a b c | b -> c
instance C Bool Int Float
instance C Char Int Double
tcfail202.hs:11:9:
Functional dependencies conflict between instance declarations:
instance [incoherent] C Bool Int Float
-- Defined at tcfail202.hs:11:9-24
instance [incoherent] C Char Int Double
-- Defined at tcfail202.hs:12:9-25
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