diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-08 09:42:00 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-08 09:42:00 +0100 |
| commit | 33b507693ec2885f444c5d3df3736a779bcf8fab (patch) | |
| tree | c11a9e80ed7929b0f59ab377d25a6c7d005f0317 /testsuite/tests | |
| parent | b379f2727c628790f409edeebed7b53296018f78 (diff) | |
| download | haskell-33b507693ec2885f444c5d3df3736a779bcf8fab.tar.gz | |
Commit missing stderr file
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/gadt/T7293.stderr | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/testsuite/tests/gadt/T7293.stderr b/testsuite/tests/gadt/T7293.stderr index 0519ecba6e..61cdc25f37 100644 --- a/testsuite/tests/gadt/T7293.stderr +++ b/testsuite/tests/gadt/T7293.stderr @@ -1 +1,9 @@ -
\ No newline at end of file + +T7293.hs:24:5: + Couldn't match type 'False with 'True + Inaccessible code in + a pattern with constructor + Nil :: forall a. Vec a 'Zero, + in an equation for `nth' + In the pattern: Nil + In an equation for `nth': nth Nil _ = undefined |