diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-23 09:14:36 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-23 09:14:36 +0100 |
| commit | 0d0739096c969f9380336bb8f1f11c302fcf539f (patch) | |
| tree | 87ff24c4a4d84899b8699731b22322b93b151c2a /testsuite/tests/ghci/scripts/Defer02.stderr | |
| parent | f28c6b0202687a2ee49d175e72b7387948fc3bcd (diff) | |
| download | haskell-0d0739096c969f9380336bb8f1f11c302fcf539f.tar.gz | |
Error message wibbles
Diffstat (limited to 'testsuite/tests/ghci/scripts/Defer02.stderr')
| -rw-r--r-- | testsuite/tests/ghci/scripts/Defer02.stderr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index 26cac57740..b1fb11ecc5 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -88,6 +88,11 @@ 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 + In the type signature for ‛k’: k :: Int ~ Bool => Int -> Bool + +../../typecheck/should_run/Defer01.hs:45:6: Warning: Couldn't match type ‛Int’ with ‛Bool’ Inaccessible code in the type signature for k :: Int ~ Bool => Int -> Bool |