X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcArrows.lhs;h=0b50b32e2411c259bf8a55d821ba5c70ed2a37b1;hb=5244158455f546d07632e48c718a771a8f2145a3;hp=90a5e885e3f5c2e70e28b75a8d011b1972aa33bf;hpb=288213d7c2c65fa68ca466c1a1a3378e24fa1151;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcArrows.lhs b/compiler/typecheck/TcArrows.lhs index 90a5e88..0b50b32 100644 --- a/compiler/typecheck/TcArrows.lhs +++ b/compiler/typecheck/TcArrows.lhs @@ -14,8 +14,6 @@ Typecheck arrow notation module TcArrows ( tcProc ) where -#include "HsVersions.h" - import {-# SOURCE #-} TcExpr( tcMonoExpr, tcInferRho ) import HsSyn @@ -40,6 +38,7 @@ import Type import SrcLoc import Outputable +import FastString import Util import Control.Monad @@ -318,8 +317,8 @@ tc_cmd env cmd@(HsArrForm expr fixity cmd_args) (cmd_stk, res_ty) -- This is where expressions that aren't commands get rejected tc_cmd env cmd _ - = failWithTc (vcat [ptext SLIT("The expression"), nest 2 (ppr cmd), - ptext SLIT("was found where an arrow command was expected")]) + = failWithTc (vcat [ptext (sLit "The expression"), nest 2 (ppr cmd), + ptext (sLit "was found where an arrow command was expected")]) \end{code} @@ -345,20 +344,20 @@ arrowTyConKind = mkArrowKinds [liftedTypeKind, liftedTypeKind] liftedTypeKind %************************************************************************ \begin{code} -cmdCtxt cmd = ptext SLIT("In the command:") <+> ppr cmd +cmdCtxt cmd = ptext (sLit "In the command:") <+> ppr cmd caseScrutCtxt cmd - = hang (ptext SLIT("In the scrutinee of a case command:")) 4 (ppr cmd) + = hang (ptext (sLit "In the scrutinee of a case command:")) 4 (ppr cmd) nonEmptyCmdStkErr cmd - = hang (ptext SLIT("Non-empty command stack at command:")) + = hang (ptext (sLit "Non-empty command stack at command:")) 4 (ppr cmd) kappaUnderflow cmd - = hang (ptext SLIT("Command stack underflow at command:")) + = hang (ptext (sLit "Command stack underflow at command:")) 4 (ppr cmd) badFormFun i tup_ty' - = hang (ptext SLIT("The type of the") <+> speakNth i <+> ptext SLIT("argument of a command form has the wrong shape")) - 4 (ptext SLIT("Argument type:") <+> ppr tup_ty') + = hang (ptext (sLit "The type of the") <+> speakNth i <+> ptext (sLit "argument of a command form has the wrong shape")) + 4 (ptext (sLit "Argument type:") <+> ppr tup_ty') \end{code}