[project @ 2005-10-26 10:23:47 by simonpj]

Cosmetics

diff --git a/ghc/compiler/basicTypes/RdrName.lhs b/ghc/compiler/basicTypes/RdrName.lhs
index d04aa6f..172485c 100644 (file)
--- a/ghc/compiler/basicTypes/RdrName.lhs
+++ b/ghc/compiler/basicTypes/RdrName.lhs
@@ -451,7 +451,7 @@ data Provenance
   = LocalDef           -- Defined locally
        Module
 
-  | Imported                           -- Imported
+  | Imported           -- Imported
        [ImportSpec]    -- INVARIANT: non-empty
 
 data ImportSpec = ImpSpec { is_decl :: ImpDeclSpec,

diff --git a/ghc/compiler/typecheck/TcSplice.lhs b/ghc/compiler/typecheck/TcSplice.lhs
index 0459956..1262674 100644 (file)
--- a/ghc/compiler/typecheck/TcSplice.lhs
+++ b/ghc/compiler/typecheck/TcSplice.lhs
@@ -139,14 +139,15 @@ tc_bracket (TypBr typ)
        -- Result type is Type (= Q Typ)
 
 tc_bracket (DecBr decls)
-  = tcTopSrcDecls emptyModDetails decls                `thenM_`
+  = do { tcTopSrcDecls emptyModDetails decls
        -- Typecheck the declarations, dicarding the result
        -- We'll get all that stuff later, when we splice it in
 
-    tcMetaTy decTyConName      `thenM` \ decl_ty ->
-    tcMetaTy qTyConName                `thenM` \ q_ty ->
-    returnM (mkAppTy q_ty (mkListTy decl_ty))
+       ; decl_ty <- tcMetaTy decTyConName
+       ; q_ty    <- tcMetaTy qTyConName
+       ; return (mkAppTy q_ty (mkListTy decl_ty))
        -- Result type is Q [Dec]
+    }
 \end{code}