diff options
Diffstat (limited to 'testsuite/tests/polykinds/T15116a.stderr')
-rw-r--r-- | testsuite/tests/polykinds/T15116a.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T15116a.stderr b/testsuite/tests/polykinds/T15116a.stderr index 7e4788f5b8..148432f5ca 100644 --- a/testsuite/tests/polykinds/T15116a.stderr +++ b/testsuite/tests/polykinds/T15116a.stderr @@ -2,6 +2,6 @@ T15116a.hs:6:21: error: • Data constructor ‘MkB’ cannot be used here (it is defined and used in the same recursive group) - • In the first argument of ‘Proxy’, namely ‘ 'MkB’ - In the type ‘(Proxy 'MkB)’ + • In the first argument of ‘Proxy’, namely ‘'MkB’ + In the type ‘(Proxy 'MkB)’ In the definition of data constructor ‘MkB’ |