Commit 474656aa authored by simonpj's avatar simonpj
Browse files

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

Cosmetics
parent 7f59c72a
...@@ -451,7 +451,7 @@ data Provenance ...@@ -451,7 +451,7 @@ data Provenance
= LocalDef -- Defined locally = LocalDef -- Defined locally
Module Module
| Imported -- Imported | Imported -- Imported
[ImportSpec] -- INVARIANT: non-empty [ImportSpec] -- INVARIANT: non-empty
data ImportSpec = ImpSpec { is_decl :: ImpDeclSpec, data ImportSpec = ImpSpec { is_decl :: ImpDeclSpec,
......
...@@ -139,14 +139,15 @@ tc_bracket (TypBr typ) ...@@ -139,14 +139,15 @@ tc_bracket (TypBr typ)
-- Result type is Type (= Q Typ) -- Result type is Type (= Q Typ)
tc_bracket (DecBr decls) tc_bracket (DecBr decls)
= tcTopSrcDecls emptyModDetails decls `thenM_` = do { tcTopSrcDecls emptyModDetails decls
-- Typecheck the declarations, dicarding the result -- Typecheck the declarations, dicarding the result
-- We'll get all that stuff later, when we splice it in -- We'll get all that stuff later, when we splice it in
tcMetaTy decTyConName `thenM` \ decl_ty -> ; decl_ty <- tcMetaTy decTyConName
tcMetaTy qTyConName `thenM` \ q_ty -> ; q_ty <- tcMetaTy qTyConName
returnM (mkAppTy q_ty (mkListTy decl_ty)) ; return (mkAppTy q_ty (mkListTy decl_ty))
-- Result type is Q [Dec] -- Result type is Q [Dec]
}
\end{code} \end{code}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment