blob: 159e9c8081db58cb1aff5052bca6554362edd7c7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE UndecidableInstances #-}
module ShouldFail where
-- The constraint in the context of an instance declaration
-- is ambiguous, but we have UndecidableInstances on, so
-- it could conceivably be ok (we'd need OverlappingInstances
-- too in this case). So we allow it.
-- See Note [The ambiguity check for type signatures] in GHC.Tc.Utils.TcMType
class Bar a
instance Bar a => Bar Bool
|