diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-07-19 15:06:12 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-19 16:00:31 -0400 |
| commit | c9e4c861c6855e03bd14b182d2173da559e98d85 (patch) | |
| tree | 11e8d738c6fbfaf86fe148a0b1822964dabb4331 /docs/users_guide/using-optimisation.rst | |
| parent | a051b555e32d7d8a08472e36be4cb08716d6d8ad (diff) | |
| download | haskell-c9e4c861c6855e03bd14b182d2173da559e98d85.tar.gz | |
Allow visible type application for []
This amounts to a one-line change in `tcExpr`. I've added a Note to
explain what is going on.
This requires a separate change in the pattern-match checker to
account for the fact that typechecked `[]` expressions become
`ConLikeOut`s, not `ExplicitList`s.
Test Plan: make test TEST=T13680
Reviewers: goldfire, mpickering, austin, bgamari
Reviewed By: mpickering, bgamari
Subscribers: rwbarton, thomie, goldfire
GHC Trac Issues: #13680
Differential Revision: https://phabricator.haskell.org/D3733
Diffstat (limited to 'docs/users_guide/using-optimisation.rst')
0 files changed, 0 insertions, 0 deletions