[project @ 2003-01-06 15:30:14 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcExpr.lhs

diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index e9afbf5..5827426 100644 (file)
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -653,8 +653,8 @@ tcMonoExpr (HsReify (Reify flavour name)) res_ty
     returnM (HsReify (ReifyOut flavour name))
   where
     tycon_name = case flavour of
-                  ReifyDecl -> DsMeta.decTyConName
-                  ReifyType -> DsMeta.typTyConName
+                  ReifyDecl -> DsMeta.declTyConName
+                  ReifyType -> DsMeta.typeTyConName
                   ReifyFixity -> pprPanic "tcMonoExpr: cant do reifyFixity yet" (ppr name)
 #endif GHCI
 \end{code}
@@ -798,12 +798,15 @@ tcId name -- Look up the Id and instantiate its type
       Brack use_lvl ps_var lie_var
        | use_lvl > bind_lvl && not (isExternalName name)
        ->      -- E.g. \x -> [| h x |]
-                       -- We must behave as if the reference to x was
-                       --      h $(lift x)     
-                       -- We use 'x' itself as the splice proxy, used by 
-                       -- the desugarer to stitch it all back together
-                       -- NB: isExernalName is true of top level things, 
-                       -- and false of nested bindings
+               -- We must behave as if the reference to x was
+               --      h $(lift x)     
+               -- We use 'x' itself as the splice proxy, used by 
+               -- the desugarer to stitch it all back together.
+               -- If 'x' occurs many times we may get many identical
+               -- bindings of the same splice proxy, but that doesn't
+               -- matter, although it's a mite untidy.
+               -- NB: isExernalName is true of top level things, 
+               -- and false of nested bindings
        
        let
            id_ty = idType id