diff options
| author | Richard Eisenberg <eir@seas.upenn.edu> | 2013-08-28 12:05:03 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-08-28 13:09:02 -0400 |
| commit | a7bc138e3393b86ef4681410f17fdc7010909fe3 (patch) | |
| tree | 37f520334f36ff38c105d47d0e0ac31bdfb2caf7 /testsuite/tests/indexed-types/should_fail/Overlap15.stderr | |
| parent | e06abacd7b49ee5c675e4426535e921860c2bfbd (diff) | |
| download | haskell-a7bc138e3393b86ef4681410f17fdc7010909fe3.tar.gz | |
Wibble to tests from improving comments about apartness.
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/Overlap15.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/Overlap15.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/Overlap15.stderr b/testsuite/tests/indexed-types/should_fail/Overlap15.stderr new file mode 100644 index 0000000000..474bfd7983 --- /dev/null +++ b/testsuite/tests/indexed-types/should_fail/Overlap15.stderr @@ -0,0 +1,7 @@ + +Overlap15.hs:16:9: + Couldn't match expected type ‛F b [b] Bool’ with actual type ‛Bool’ + Relevant bindings include + foo :: Proxy * b -> F b [b] Bool (bound at Overlap15.hs:16:1) + In the expression: False + In an equation for ‛foo’: foo _ = False |