diff options
Diffstat (limited to 'testsuite/tests/polykinds/T9222.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T9222.stderr | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/testsuite/tests/polykinds/T9222.stderr b/testsuite/tests/polykinds/T9222.stderr index 6a45c4a7fb..69e850caf8 100644 --- a/testsuite/tests/polykinds/T9222.stderr +++ b/testsuite/tests/polykinds/T9222.stderr @@ -1,19 +1,19 @@ T9222.hs:13:3: error: - Couldn't match type ‘b0’ with ‘b’ - ‘b0’ is untouchable - inside the constraints: a ~ '(b0, c0) - bound by the type of the constructor ‘Want’: - (a ~ '(b0, c0)) => Proxy b0 + • Couldn't match type ‘b0’ with ‘b’ + ‘b0’ is untouchable + inside the constraints: a ~ '(b0, c0) + bound by the type of the constructor ‘Want’: + (a ~ '(b0, c0)) => Proxy b0 + at T9222.hs:13:3 + ‘b’ is a rigid type variable bound by + the type of the constructor ‘Want’: + forall i j (a :: (i, j)) (b :: i) (c :: j). + ((a ~ '(b, c)) => Proxy b) -> Want a at T9222.hs:13:3 - ‘b’ is a rigid type variable bound by - 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 ‘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’ + Expected type: Proxy b0 + Actual type: Proxy b + • 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’ |