diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-02-23 15:37:13 +0100 |
|---|---|---|
| committer | Niklas Haas <git@nand.wakku.to> | 2014-02-23 15:37:13 +0100 |
| commit | 64850ca4f7dc2ca0fdb21d078d93cd636de5c87a (patch) | |
| tree | 294c6f3115b29620ed7b4cd9bf3b5a5f93a5c289 /html-test/ref/mini_GADTRecords.html | |
| parent | 14531f7838c5abd0ba2aaf5217a477194d7b1897 (diff) | |
Lower precedence of equality constraints
This drops them to the new precedence pREC_CTX, which makes single
eqaulity constraints show up as (a ~ b) => ty, in line with GHC's
rendering. Additional tests added to make sure other type operators
render as intended. Current behavior matches GHC
Diffstat (limited to 'html-test/ref/mini_GADTRecords.html')
0 files changed, 0 insertions, 0 deletions