diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_run/T15415.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_run/T15415.stderr | 44 |
1 files changed, 29 insertions, 15 deletions
diff --git a/testsuite/tests/partial-sigs/should_run/T15415.stderr b/testsuite/tests/partial-sigs/should_run/T15415.stderr index daa791ffa4..a43f80e6bd 100644 --- a/testsuite/tests/partial-sigs/should_run/T15415.stderr +++ b/testsuite/tests/partial-sigs/should_run/T15415.stderr @@ -1,27 +1,41 @@ <interactive>:1:7: error: - Found type wildcard ‘_’ standing for ‘w0 :: k0’ - Where: ‘k0’ is an ambiguous type variable - ‘w0’ is an ambiguous type variable - To use the inferred type, enable PartialTypeSignatures + • Found type wildcard ‘_’ standing for ‘_0 :: k0’ + Where: ‘k0’ is an ambiguous type variable + ‘_0’ is an ambiguous type variable + To use the inferred type, enable PartialTypeSignatures + • In the first argument of ‘Proxy’, namely ‘_’ + In the type ‘Proxy _’ <interactive>:1:17: error: - Found type wildcard ‘_’ standing for ‘* -> *’ - To use the inferred type, enable PartialTypeSignatures + • 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: - Found type wildcard ‘_’ standing for ‘w0’ - Where: ‘w0’ is an ambiguous type variable - To use the inferred type, enable PartialTypeSignatures + • Found type wildcard ‘_’ standing for ‘_0’ + Where: ‘_0’ 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)] - Found type wildcard ‘_’ standing for ‘w0 :: k0’ - Where: ‘k0’ is an ambiguous type variable - ‘w0’ is an ambiguous type variable + • Found type wildcard ‘_’ standing for ‘_0 :: k0’ + Where: ‘k0’ is an ambiguous type variable + ‘_0’ 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)] - Found type wildcard ‘_’ standing for ‘* -> *’ + • 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)] - Found type wildcard ‘_’ standing for ‘w0’ - Where: ‘w0’ is an ambiguous type variable + • Found type wildcard ‘_’ standing for ‘_0’ + Where: ‘_0’ is an ambiguous type variable + • In the first argument of ‘Dependent’, namely ‘_’ + In the type ‘Dependent _’ |