%
+% (c) The University of Glasgow 2006
% (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
%
-\section{Typecheck arrow notation}
+Typecheck arrow notation
\begin{code}
module TcArrows ( tcProc ) where
import {-# SOURCE #-} TcExpr( tcMonoExpr, tcInferRho )
import HsSyn
-import TcHsSyn ( mkHsDictLet )
-
-import TcMatches ( matchCtxt, tcStmts, tcMDoStmt, tcGuardStmt,
- TcMatchCtxt(..), tcMatchesCase )
-
-import TcType ( TcType, TcTauType, BoxyRhoType, mkFunTys, mkTyConApp,
- mkTyVarTy, mkAppTys, tcSplitTyConApp_maybe, tcEqType,
- SkolemInfo(..) )
-import TcMType ( newFlexiTyVarTy, tcInstSkolTyVars, zonkTcType )
-import TcBinds ( tcLocalBinds )
-import TcSimplify ( tcSimplifyCheck )
-import TcGadt ( Refinement, emptyRefinement, refineResType )
-import TcPat ( tcLamPat, tcLamPats )
-import TcUnify ( checkSigTyVarsWrt, boxySplitAppTy )
+import TcHsSyn
+
+import TcMatches
+
+import TcType
+import TcMType
+import TcBinds
+import TcSimplify
+import TcGadt
+import TcPat
+import TcUnify
import TcRnMonad
-import Inst ( tcSyntaxName )
-import Name ( Name )
-import TysWiredIn ( boolTy, pairTyCon )
+import Inst
+import Name
+import TysWiredIn
import VarSet
-import TysPrim ( alphaTyVar )
-import Type ( Kind, mkArrowKinds, liftedTypeKind, openTypeKind, tyVarsOfTypes )
+import TysPrim
+import Type
-import SrcLoc ( Located(..), noLoc, unLoc )
+import SrcLoc
import Outputable
-import Util ( lengthAtLeast )
-
+import Util
\end{code}
%************************************************************************
= addErrCtxt (cmdCtxt cmd) $
do { cmds_w_tys <- zipWithM new_cmd_ty cmd_args [1..]
; span <- getSrcSpanM
- ; [w_tv] <- tcInstSkolTyVars (ArrowSkol span) [alphaTyVar]
+ ; [w_tv] <- tcInstSkolTyVars ArrowSkol [alphaTyVar]
; let w_ty = mkTyVarTy w_tv -- Just a convenient starting point
-- a ((w,t1) .. tn) t
-- Check expr
; (expr', lie) <- escapeArrowScope (getLIE (tcMonoExpr expr e_ty))
- ; inst_binds <- tcSimplifyCheck sig_msg [w_tv] [] lie
+ ; loc <- getInstLoc (SigOrigin ArrowSkol)
+ ; inst_binds <- tcSimplifyCheck loc [w_tv] [] lie
-- Check that the polymorphic variable hasn't been unified with anything
-- and is not free in res_ty or the cmd_stk (i.e. t, t1..tn)
other -> (ty, [])
- sig_msg = ptext SLIT("expected type of a command form")
-
-----------------------------------------------------------------
-- Base case for illegal commands
-- This is where expressions that aren't commands get rejected