projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1997-08-25 21:54:41 by sof]
[ghc-hetmet.git]
/
ghc
/
compiler
/
simplCore
/
SimplCore.lhs
diff --git
a/ghc/compiler/simplCore/SimplCore.lhs
b/ghc/compiler/simplCore/SimplCore.lhs
index
1b42cc0
..
e6bf0e1
100644
(file)
--- a/
ghc/compiler/simplCore/SimplCore.lhs
+++ b/
ghc/compiler/simplCore/SimplCore.lhs
@@
-501,8
+501,9
@@
tidyCoreExpr (Con con args)
returnTM (Con con args')
tidyCoreExpr (Prim prim args)
returnTM (Con con args')
tidyCoreExpr (Prim prim args)
- = mapTM tidyCoreArg args `thenTM` \ args' ->
- returnTM (Prim prim args')
+ = tidyPrimOp prim `thenTM` \ prim' ->
+ mapTM tidyCoreArg args `thenTM` \ args' ->
+ returnTM (Prim prim' args')
tidyCoreExpr (Lam (ValBinder v) body)
= newId v $ \ v' ->
tidyCoreExpr (Lam (ValBinder v) body)
= newId v $ \ v' ->
@@
-632,6
+633,15
@@
tidyCoreArg (TyArg ty) = tidyTy ty `thenTM` \ ty' ->
tidyCoreArg (UsageArg u) = returnTM (UsageArg u)
\end{code}
tidyCoreArg (UsageArg u) = returnTM (UsageArg u)
\end{code}
+\begin{code}
+tidyPrimOp (CCallOp fn casm gc tys ty)
+ = mapTM tidyTy tys `thenTM` \ tys' ->
+ tidyTy ty `thenTM` \ ty' ->
+ returnTM (CCallOp fn casm gc tys' ty')
+
+tidyPrimOp other_prim_op = returnTM other_prim_op
+\end{code}
+
%************************************************************************
%* *
%************************************************************************
%* *