*** compiler/typecheck/TcExpr.lhs-boot	2010-11-08 17:39:24.000000000 -0500
--- compiler/typecheck/TcExpr.lhs-boot	2010-08-31 14:05:51.192548000 -0400
***************
*** 2,28 ****
  module TcExpr where
  import HsSyn	( HsExpr, LHsExpr )
  import Name	( Name )
! import TcType	( TcType, TcRhoType, BoxySigmaType, BoxyRhoType )
! import TcRnTypes( TcM, TcId, InstOrigin )
  
  tcPolyExpr :: 
  	  LHsExpr Name
!        -> BoxySigmaType
         -> TcM (LHsExpr TcId)
  
  tcMonoExpr, tcMonoExprNC :: 
    	  LHsExpr Name
!        -> BoxyRhoType
         -> TcM (LHsExpr TcId)
  
  tcInferRho, tcInferRhoNC :: 
    	  LHsExpr Name
         -> TcM (LHsExpr TcId, TcRhoType)
  
! tcSyntaxOp :: 
! 	  InstOrigin
!        -> HsExpr Name
!        -> TcType
!        -> TcM (HsExpr TcId)
  
  \end{code}
--- 2,28 ----
  module TcExpr where
  import HsSyn	( HsExpr, LHsExpr )
  import Name	( Name )
! import TcType	( TcType, TcRhoType, TcSigmaType )
! import TcRnTypes( TcM, TcId, CtOrigin )
  
  tcPolyExpr :: 
  	  LHsExpr Name
!        -> TcSigmaType
         -> TcM (LHsExpr TcId)
  
  tcMonoExpr, tcMonoExprNC :: 
    	  LHsExpr Name
!        -> TcRhoType
         -> TcM (LHsExpr TcId)
  
  tcInferRho, tcInferRhoNC :: 
    	  LHsExpr Name
         -> TcM (LHsExpr TcId, TcRhoType)
  
! tcSyntaxOp :: CtOrigin
!        	   -> HsExpr Name
!        	   -> TcType
!        	   -> TcM (HsExpr TcId)
  
+ tcCheckId :: Name -> TcRhoType -> TcM (HsExpr TcId)
  \end{code}