projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2003-09-16 13:03:37 by simonmar]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcIfaceSig.lhs
diff --git
a/ghc/compiler/typecheck/TcIfaceSig.lhs
b/ghc/compiler/typecheck/TcIfaceSig.lhs
index
5295fec
..
ebfdb49
100644
(file)
--- a/
ghc/compiler/typecheck/TcIfaceSig.lhs
+++ b/
ghc/compiler/typecheck/TcIfaceSig.lhs
@@
-230,12
+230,6
@@
tcCoreExpr (UfVar name)
tcCoreExpr (UfLit lit)
= returnM (Lit lit)
tcCoreExpr (UfLit lit)
= returnM (Lit lit)
--- The dreaded lit-lits are also similar, except here the type
--- is read in explicitly rather than being implicit
-tcCoreExpr (UfLitLit lit ty)
- = tcIfaceType ty `thenM` \ ty' ->
- returnM (Lit (MachLitLit lit ty'))
-
tcCoreExpr (UfFCall cc ty)
= tcIfaceType ty `thenM` \ ty' ->
newUnique `thenM` \ u ->
tcCoreExpr (UfFCall cc ty)
= tcIfaceType ty `thenM` \ ty' ->
newUnique `thenM` \ u ->
@@
-349,12
+343,6
@@
tcCoreAlt scrut_ty (UfLitAlt lit, names, rhs)
tcCoreExpr rhs `thenM` \ rhs' ->
returnM (LitAlt lit, [], rhs')
tcCoreExpr rhs `thenM` \ rhs' ->
returnM (LitAlt lit, [], rhs')
-tcCoreAlt scrut_ty (UfLitLitAlt str ty, names, rhs)
- = ASSERT( null names )
- tcCoreExpr rhs `thenM` \ rhs' ->
- tcIfaceType ty `thenM` \ ty' ->
- returnM (LitAlt (MachLitLit str ty'), [], rhs')
-
-- A case alternative is made quite a bit more complicated
-- by the fact that we omit type annotations because we can
-- work them out. True enough, but its not that easy!
-- A case alternative is made quite a bit more complicated
-- by the fact that we omit type annotations because we can
-- work them out. True enough, but its not that easy!