diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-02 14:01:02 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-02 14:01:02 +0100 |
| commit | 067f78b276f3f3d2d50a2d3134f211ccd099f4a6 (patch) | |
| tree | bb68ee378c4cd5745302dbf739430b36d71c5891 /testsuite/tests/ghci/scripts/Defer02.stderr | |
| parent | 6b5696230f426f531eb182cd189c0b206afe9296 (diff) | |
| download | haskell-067f78b276f3f3d2d50a2d3134f211ccd099f4a6.tar.gz | |
Error message wibbles following ambiguity check changes
Diffstat (limited to 'testsuite/tests/ghci/scripts/Defer02.stderr')
| -rw-r--r-- | testsuite/tests/ghci/scripts/Defer02.stderr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index 5ff199cf5a..2d4b848529 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -83,11 +83,13 @@ Inaccessible code in the type signature for k :: Int ~ Bool => Int -> Bool In the ambiguity check for: Int ~ Bool => Int -> Bool + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature for ‛k’: k :: Int ~ Bool => Int -> Bool ../../typecheck/should_run/Defer01.hs:45:6: Warning: Couldn't match expected type ‛Bool’ with actual type ‛Int’ In the ambiguity check for: Int ~ Bool => Int -> Bool + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature for ‛k’: k :: Int ~ Bool => Int -> Bool ../../typecheck/should_run/Defer01.hs:45:6: Warning: |