diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_run/T15415.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_run/T15415.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/partial-sigs/should_run/T15415.stderr b/testsuite/tests/partial-sigs/should_run/T15415.stderr index 1070a07ca8..245bb02f39 100644 --- a/testsuite/tests/partial-sigs/should_run/T15415.stderr +++ b/testsuite/tests/partial-sigs/should_run/T15415.stderr @@ -1,5 +1,5 @@ -<interactive>:1:7: error: +<interactive>:1:7: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w0 :: k0’ Where: ‘k0’ is an ambiguous type variable ‘w0’ is an ambiguous type variable @@ -7,34 +7,34 @@ • In the first argument of ‘Proxy’, namely ‘_’ In the type ‘Proxy _’ -<interactive>:1:17: error: +<interactive>:1:17: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘* -> *’ To use the inferred type, enable PartialTypeSignatures • In the kind ‘_’ In the first argument of ‘Proxy’, namely ‘(Maybe :: _)’ In the type ‘Proxy (Maybe :: _)’ -<interactive>:1:11: error: +<interactive>:1:11: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w0’ Where: ‘w0’ is an ambiguous type variable To use the inferred type, enable PartialTypeSignatures • In the first argument of ‘Dependent’, namely ‘_’ In the type ‘Dependent _’ -<interactive>:1:7: warning: [-Wpartial-type-signatures (in -Wdefault)] +<interactive>:1:7: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w0 :: k0’ Where: ‘k0’ is an ambiguous type variable ‘w0’ is an ambiguous type variable • In the first argument of ‘Proxy’, namely ‘_’ In the type ‘Proxy _’ -<interactive>:1:17: warning: [-Wpartial-type-signatures (in -Wdefault)] +<interactive>:1:17: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘* -> *’ • In the kind ‘_’ In the first argument of ‘Proxy’, namely ‘(Maybe :: _)’ In the type ‘Proxy (Maybe :: _)’ -<interactive>:1:11: warning: [-Wpartial-type-signatures (in -Wdefault)] +<interactive>:1:11: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w0’ Where: ‘w0’ is an ambiguous type variable • In the first argument of ‘Dependent’, namely ‘_’ |