diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-03 08:49:27 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-03 08:49:27 +0000 |
| commit | 92a5889fbd718843362153bd163670243d6f310f (patch) | |
| tree | e9fad7cb47234c75f0e85cff712496cf4fd10fae /compiler/iface/LoadIface.lhs | |
| parent | 1cd8ff02dd9e25abe326ea3fecec036c8f23ef5f (diff) | |
| download | haskell-ghc-axioms.tar.gz | |
Small refactoringsghc-axioms
- Define mkAxInstRHS and use it
- Rename Instance to ClsInst
Diffstat (limited to 'compiler/iface/LoadIface.lhs')
| -rw-r--r-- | compiler/iface/LoadIface.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/iface/LoadIface.lhs b/compiler/iface/LoadIface.lhs index a685bb77e1..ec1205f83d 100644 --- a/compiler/iface/LoadIface.lhs +++ b/compiler/iface/LoadIface.lhs @@ -372,7 +372,7 @@ loadDecl ignore_prags mod (_version, decl) -- the names associated with the decl main_name <- lookupOrig mod (ifName decl) -- ; traceIf (text "Loading decl for " <> ppr main_name) - ; implicit_names <- mapM (lookupOrig mod) (ifaceDeclSubBndrs decl) + ; implicit_names <- mapM (lookupOrig mod) (ifaceDeclImplicitBndrs decl) -- Typecheck the thing, lazily -- NB. Firstly, the laziness is there in case we never need the @@ -402,7 +402,7 @@ loadDecl ignore_prags mod (_version, decl) -- (where the "MkT" is the *Name* associated with MkT, etc.) -- -- We do this by mapping the implict_names to the associated - -- TyThings. By the invariant on ifaceDeclSubBndrs and + -- TyThings. By the invariant on ifaceDeclImplicitBndrs and -- implicitTyThings, we can use getOccName on the implicit -- TyThings to make this association: each Name's OccName should -- be the OccName of exactly one implictTyThing. So the key is |