diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-17 11:34:28 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-17 13:46:28 +0100 |
| commit | af7cc9953217d74e88d4d21512e957edd8e97ec9 (patch) | |
| tree | 35e6c6b82a87c65a6a28508a357c282deb4f8087 /compiler/codeGen | |
| parent | 510f4394b6574c930b71bd430ca2cb8d25022fac (diff) | |
| download | haskell-af7cc9953217d74e88d4d21512e957edd8e97ec9.tar.gz | |
Implement 'left' and 'right' coercions
This patch finally adds 'left' and 'right' coercions back into
GHC. Trac #7205 gives the details.
The main change is to add a new constructor to Coercion:
data Coercion
= ...
| NthCo Int Coercion -- OLD, still there
| LRCo LeftOrRight Coercion -- NEW
data LeftOrRight = CLeft | CRight
Plus:
* Similar change to TcCoercion
* Use LRCo when decomposing AppTys
* Coercion optimisation needs to handle left/right
The rest is just knock-on effects.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions