diff options
Diffstat (limited to 'testsuite/tests/polykinds/T9222.stderr')
-rw-r--r-- | testsuite/tests/polykinds/T9222.stderr | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/testsuite/tests/polykinds/T9222.stderr b/testsuite/tests/polykinds/T9222.stderr index a5b35ee2b1..6a45c4a7fb 100644 --- a/testsuite/tests/polykinds/T9222.stderr +++ b/testsuite/tests/polykinds/T9222.stderr @@ -7,18 +7,13 @@ T9222.hs:13:3: error: (a ~ '(b0, c0)) => Proxy b0 at T9222.hs:13:3 ‘b’ is a rigid type variable bound by - the type of the constructor ‘Want’: - ((a ~ '(b, c)) => Proxy b) -> Want a - at T9222.hs:13:3 + the type of the constructor ‘Want’: + forall (k :: BOX) (k1 :: BOX) (a :: (,) k k1) (b :: k) (c :: k1). + ((a ~ '(b, c)) => Proxy b) -> Want a + at T9222.hs:13:3 Expected type: '(b, c) Actual type: a - In the ambiguity check for the type of the constructor ‘Want’: - Want :: forall (k :: BOX) - (k1 :: BOX) - (a :: (,) k k1) - (b :: k) - (c :: k1). - ((a ~ '(b, c)) => Proxy b) -> Want a + In the ambiguity check for ‘Want’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the definition of data constructor ‘Want’ In the data type declaration for ‘Want’ |