diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2007-05-08 08:06:09 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2007-05-08 08:06:09 +0000 |
| commit | 098f818b622e5095fbd3f6318a463fcb2ce14fc6 (patch) | |
| tree | 5f43d19a31276d61b48102b30c16d5b0b5a3f6cc /compiler/iface/TcIface.lhs-boot | |
| parent | 30b123f6d3a42f5899e89d435a0add50daa19413 (diff) | |
| download | haskell-098f818b622e5095fbd3f6318a463fcb2ce14fc6.tar.gz | |
Improved VectInfo
- We need to keep pairs of (f, f_CC) in VectInfo as it is difficult
to obtain Names from OccNames (of imported modules) in Core passes.
- There is a choice of keeping Names or Vars in VectInfo. We go with Vars
for now; mainly to avoid converting between Names and Vars repeatedly for
the same VectInfo in other than one-shot mode.
Again goes to the HEAD straight away to avoid conflicts down the road.
Diffstat (limited to 'compiler/iface/TcIface.lhs-boot')
| -rw-r--r-- | compiler/iface/TcIface.lhs-boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/iface/TcIface.lhs-boot b/compiler/iface/TcIface.lhs-boot index ac3e880f9f..51ab25592e 100644 --- a/compiler/iface/TcIface.lhs-boot +++ b/compiler/iface/TcIface.lhs-boot @@ -6,9 +6,12 @@ import TcRnTypes ( IfL ) import InstEnv ( Instance ) import FamInstEnv ( FamInst ) import CoreSyn ( CoreRule ) +import HscTypes ( TypeEnv, VectInfo, IfaceVectInfo ) +import Module ( Module ) tcIfaceDecl :: Bool -> IfaceDecl -> IfL TyThing tcIfaceRules :: Bool -> [IfaceRule] -> IfL [CoreRule] +tcIfaceVectInfo:: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo tcIfaceInst :: IfaceInst -> IfL Instance tcIfaceFamInst :: IfaceFamInst -> IfL FamInst \end{code} |