diff options
| author | David Feuer <david.feuer@gmail.com> | 2017-12-04 08:27:18 -0500 |
|---|---|---|
| committer | David Feuer <David.Feuer@gmail.com> | 2017-12-04 08:30:03 -0500 |
| commit | 1acb922bb1186662919c1dbc0af596584e5db3ac (patch) | |
| tree | 349f20170e38854599d16bcc4ad15cb11ebd13e1 /libraries/template-haskell/Language/Haskell/TH.hs | |
| parent | bc761ad9c65c7aa62d38db39c59a6c0ae59c8ab8 (diff) | |
| download | haskell-1acb922bb1186662919c1dbc0af596584e5db3ac.tar.gz | |
Make the Con and Con' patterns produce evidence
Matching with the `Con` and `Con'` patterns can reveal evidence
that the type in question is *not* an application. This can help
the pattern checker.
Reviewers: austin, hvr, bgamari
Reviewed By: bgamari
Subscribers: carter, rwbarton, thomie
Differential Revision: https://phabricator.haskell.org/D4139
Diffstat (limited to 'libraries/template-haskell/Language/Haskell/TH.hs')
0 files changed, 0 insertions, 0 deletions