projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2005-10-26 10:23:47 by simonpj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcSplice.lhs
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)
-- 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
-- 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]
-- Result type is Q [Dec]
+ }
\end{code}
\end{code}