diff options
| author | Christiaan Baaij <christiaan.baaij@gmail.com> | 2017-02-11 19:21:52 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-11 19:58:34 -0500 |
| commit | 07292e958cb0c08705d9a694f09d9621058b16e6 (patch) | |
| tree | 4362824bc21ef87fc4b9fbd51183164d993f9920 /compiler/utils | |
| parent | 56c9bb39246f9ffd8ed41a0656bfe8e60d23be57 (diff) | |
| download | haskell-07292e958cb0c08705d9a694f09d9621058b16e6.tar.gz | |
zonkCt tries to maintain the canonical form of a Ct.
For example,
- a CDictCan should stay a CDictCan;
- a CTyEqCan should stay a CTyEqCan (if the LHS stays as a variable.).
- a CHoleCan should stay a CHoleCan
Why? For CDicteqCan see Trac #11525.
Test Plan: Validate
Reviewers: austin, adamgundry, simonpj, goldfire, bgamari
Reviewed By: simonpj, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3105
Diffstat (limited to 'compiler/utils')
0 files changed, 0 insertions, 0 deletions