diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T11471.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T11471.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_fail/T11471.stderr b/testsuite/tests/dependent/should_fail/T11471.stderr index 640ae6c754..7772850564 100644 --- a/testsuite/tests/dependent/should_fail/T11471.stderr +++ b/testsuite/tests/dependent/should_fail/T11471.stderr @@ -4,8 +4,8 @@ T11471.hs:15:10: error: When matching types a :: * Int# :: TYPE 'IntRep - Expected type: Proxy a - Actual type: Proxy Int# + Expected: Proxy a + Actual: Proxy Int# • In the first argument of ‘f’, namely ‘(undefined :: Proxy Int#)’ In the expression: f (undefined :: Proxy Int#) 3# In an equation for ‘bad’: bad = f (undefined :: Proxy Int#) 3# |