diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-11-24 13:47:02 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-11-25 17:46:50 +0000 |
| commit | eb55ec2941239dee05afc6be818b129efe51660e (patch) | |
| tree | 06c348eaad9815ddee7ae31333bf541407c60097 /testsuite/tests/partial-sigs | |
| parent | 5f349fe24066e7b0af85934664e27636d2e84fe5 (diff) | |
| download | haskell-eb55ec2941239dee05afc6be818b129efe51660e.tar.gz | |
Refactor functional dependencies a bit
* Rename CoAxiom.Eqn = Pair Type to TypeEqn,
and use it for fundeps
* Use the FunDepEqn for injectivity, which lets us share a bit
more code, and (more important) brain cells
* When generating fundeps, take the max depth of the two
constraints. This aimed at tackling the strange loop in
Trac #12860, but there is more to come for that.
* Improve pretty-printing with -ddump-tc-trace
Diffstat (limited to 'testsuite/tests/partial-sigs')
0 files changed, 0 insertions, 0 deletions