diff options
| author | Facundo Domínguez <facundo.dominguez@tweag.io> | 2016-03-17 12:21:25 -0300 |
|---|---|---|
| committer | Facundo Domínguez <facundo.dominguez@tweag.io> | 2016-04-06 22:31:43 -0300 |
| commit | c9e8f801170b213b85735ed403f24b2842aedf1b (patch) | |
| tree | 3402a67ebf70881b69ad5fabafe3af6aed98a955 /testsuite/tests/typecheck/should_fail/T11698.stderr | |
| parent | 0f58d3484d6bd57fa10bf83f0d9b126884027ebf (diff) | |
| download | haskell-c9e8f801170b213b85735ed403f24b2842aedf1b.tar.gz | |
Set tct_closed to TopLevel for closed bindings.
Summary:
Till now tct_closed determined whether the type of a binding is closed.
With this patch tct_closed indicates whether the binding is closed.
Test Plan: ./validate
Reviewers: simonpj, austin, bgamari
Reviewed By: simonpj
Subscribers: mboes, thomie, simonpj
Differential Revision: https://phabricator.haskell.org/D2016
GHC Trac Issues: #11698
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T11698.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T11698.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T11698.stderr b/testsuite/tests/typecheck/should_fail/T11698.stderr new file mode 100644 index 0000000000..4f2cf8e717 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T11698.stderr @@ -0,0 +1,7 @@ + +T11698.hs:4:17: error: + • Couldn't match expected type ‘Char’ with actual type ‘Bool’ + • In the first argument of ‘k’, namely ‘True’ + In the expression: k True + In the expression: (k 'v', k True) + |