diff options
| author | simonpj@microsoft.com <unknown> | 2009-10-26 09:47:56 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2009-10-26 09:47:56 +0000 |
| commit | 48196c3c2a365ce085d0b0567cbd4ea047af59df (patch) | |
| tree | 2f26784a675e050f7bdebc3990e853c840d89d2b /driver/gcc | |
| parent | 291f2adda098f7e275db3720ed07e7dc77c821c4 (diff) | |
| download | haskell-48196c3c2a365ce085d0b0567cbd4ea047af59df.tar.gz | |
Add a coercion optimiser, to reduce the size of coercion terms
Coercion terms can get big (see Trac #2859 for example), so this
patch puts the infrastructure in place to optimise them:
* Adds Coercion.optCoercion :: Coercion -> Coercion
* Calls optCoercion in Simplify.lhs
The optimiser doesn't work right at the moment, so it is
commented out, but Tom is going to work on it.
Diffstat (limited to 'driver/gcc')
0 files changed, 0 insertions, 0 deletions