X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplCore%2FSimplCore.lhs;h=e6bf0e1a93922fc3b3f76a746ea4219af7161213;hb=c11ba0a592397da50835665e65a68d08fa9fe331;hp=1b42cc0a648ac444d7ae776ec5e873b05935d6ae;hpb=df3b97f167c0a7186e6797a11961a4e81fbd1bb6;p=ghc-hetmet.git diff --git a/ghc/compiler/simplCore/SimplCore.lhs b/ghc/compiler/simplCore/SimplCore.lhs index 1b42cc0..e6bf0e1 100644 --- 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) - = 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' -> @@ -632,6 +633,15 @@ tidyCoreArg (TyArg ty) = tidyTy ty `thenTM` \ ty' -> 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} + %************************************************************************ %* *