From: Ian Lynagh <igloo@earth.li>
Date: Sat, 12 Apr 2008 16:21:52 +0000 (+0000)
Subject: (F)SLIT -> (f)sLit in TcInstDcls
X-Git-Tag: 2008-05-28~217
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=4a305e63d409e00417ee68912b564ab7887d653b

(F)SLIT -> (f)sLit in TcInstDcls
---

diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index 6d566dd..b35b8fe 100644
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -15,8 +15,6 @@ TcInstDecls: Typechecking instance declarations
 
 module TcInstDcls ( tcInstDecls1, tcInstDecls2 ) where
 
-#include "HsVersions.h"
-
 import HsSyn
 import TcBinds
 import TcTyClsDecls
@@ -217,8 +215,8 @@ tcInstDecls1 tycl_decls inst_decls deriv_decls
     isAssocFamily Nothing               = False
 
 assocInClassErr name = 
-  ptext SLIT("Associated type") <+> quotes (ppr name) <+> 
-  ptext SLIT("must be inside a class instance")
+  ptext (sLit "Associated type") <+> quotes (ppr name) <+> 
+  ptext (sLit "must be inside a class instance")
 
 addInsts :: [InstInfo] -> TcM a -> TcM a
 addInsts infos thing_inside
@@ -556,8 +554,8 @@ tcInstDecl2 (InstInfo { iSpec = ispec, iBinds = NewTypeDerived })
 	| null sc_dicts		-- Case (a)
 	= return coerced_rep_dict
 	| otherwise 		-- Case (b)
- 	= do { op_ids		 <- newSysLocalIds FSLIT("op") op_tys
-	     ; dummy_sc_dict_ids <- newSysLocalIds FSLIT("sc") (map idType sc_dict_ids)
+ 	= do { op_ids		 <- newSysLocalIds (fsLit "op") op_tys
+	     ; dummy_sc_dict_ids <- newSysLocalIds (fsLit "sc") (map idType sc_dict_ids)
 	     ; let the_pat = ConPatOut { pat_con = noLoc cls_data_con, pat_tvs = [],
 				    	 pat_dicts = dummy_sc_dict_ids,
 				    	 pat_binds = emptyLHsBinds,
@@ -865,22 +863,22 @@ instDeclCtxt2 dfun_ty
   where
     (_,_,cls,tys) = tcSplitDFunTy dfun_ty
 
-inst_decl_ctxt doc = ptext SLIT("In the instance declaration for") <+> quotes doc
+inst_decl_ctxt doc = ptext (sLit "In the instance declaration for") <+> quotes doc
 
-superClassCtxt = ptext SLIT("When checking the super-classes of an instance declaration")
+superClassCtxt = ptext (sLit "When checking the super-classes of an instance declaration")
 
-atInstCtxt name = ptext SLIT("In the associated type instance for") <+> 
+atInstCtxt name = ptext (sLit "In the associated type instance for") <+> 
 		  quotes (ppr name)
 
 mustBeVarArgErr ty = 
-  sep [ ptext SLIT("Arguments that do not correspond to a class parameter") <+>
-        ptext SLIT("must be variables")
-      , ptext SLIT("Instead of a variable, found") <+> ppr ty
+  sep [ ptext (sLit "Arguments that do not correspond to a class parameter") <+>
+        ptext (sLit "must be variables")
+      , ptext (sLit "Instead of a variable, found") <+> ppr ty
       ]
 
 wrongATArgErr ty instTy =
-  sep [ ptext SLIT("Type indexes must match class instance head")
-      , ptext SLIT("Found") <+> ppr ty <+> ptext SLIT("but expected") <+>
+  sep [ ptext (sLit "Type indexes must match class instance head")
+      , ptext (sLit "Found") <+> ppr ty <+> ptext (sLit "but expected") <+>
          ppr instTy
       ]
 \end{code}