diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-28 13:51:19 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-28 13:51:19 +0000 |
| commit | f1fa6eb2f5f51307e72b445feac57dfa0ea7b8e6 (patch) | |
| tree | 0aab7f679d8a2237fc721869612903099420ca39 /compiler/vectorise | |
| parent | a98e51ecf51d1a93d48a8a10d35827edfd9d8c28 (diff) | |
| download | haskell-f1fa6eb2f5f51307e72b445feac57dfa0ea7b8e6.tar.gz | |
Pure refactoring
* Move tidyType and friends from TcType to TypeRep
(It was always wrong to have it in TcType.)
* Move mkCoAxBranch and friends from FamInst to Coercion
* Move pprCoAxBranch and friends from FamInstEnv to Coercion
No change in functionality, though there might be a little
wibble in error message output, because I combined two different
functions both called pprCoAxBranch!
Diffstat (limited to 'compiler/vectorise')
| -rw-r--r-- | compiler/vectorise/Vectorise/Generic/PData.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/vectorise/Vectorise/Generic/PData.hs b/compiler/vectorise/Vectorise/Generic/PData.hs index f2b9f7ab9c..893f1559be 100644 --- a/compiler/vectorise/Vectorise/Generic/PData.hs +++ b/compiler/vectorise/Vectorise/Generic/PData.hs @@ -14,6 +14,7 @@ import Vectorise.Generic.Description import Vectorise.Utils import Vectorise.Env( GlobalEnv( global_fam_inst_env ) ) +import Coercion( mkSingleCoAxiom ) import BasicTypes import BuildTyCl import DataCon |