From: simonpj@microsoft.com <unknown>
Date: Wed, 2 May 2007 16:38:54 +0000 (+0000)
Subject: Comments, plus type sigs
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=0eef3f31e57ab863792f68937889ef25e6257f08;p=ghc-hetmet.git

Comments, plus type sigs
---

diff --git a/compiler/hsSyn/HsPat.lhs b/compiler/hsSyn/HsPat.lhs
index ea59e88..abfb3c6 100644
--- a/compiler/hsSyn/HsPat.lhs
+++ b/compiler/hsSyn/HsPat.lhs
@@ -131,7 +131,7 @@ data Pat id
   | CoPat 	HsWrapper		-- If co::t1 -> t2, p::t2, 
 					-- then (CoPat co p) :: t1
 		(Pat id)		-- Why not LPat?  Ans: existing locn will do
-	    	Type
+	    	Type			-- Type of whole pattern, t1
 	-- During desugaring a (CoPat co pat) turns into a cast with 'co' on 
 	-- the scrutinee, followed by a match on 'pat'
 \end{code}
diff --git a/compiler/typecheck/FamInst.lhs b/compiler/typecheck/FamInst.lhs
index 9a34943..fd98fe9 100644
--- a/compiler/typecheck/FamInst.lhs
+++ b/compiler/typecheck/FamInst.lhs
@@ -65,6 +65,7 @@ instance Ord ModulePair where
 --
 type ModulePairSet = FiniteMap ModulePair ()
 
+listToSet :: [ModulePair] -> ModulePairSet
 listToSet l = listToFM (zip l (repeat ()))
 
 checkFamInstConsistency :: [Module] -> [Module] -> TcM ()
diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs
index 14c12a5..9d4c9b0 100644
--- a/compiler/typecheck/TcPat.lhs
+++ b/compiler/typecheck/TcPat.lhs
@@ -584,8 +584,7 @@ tcConPat pstate con_span data_con tycon pat_ty arg_pats thing_inside
 	}
   where
     -- Split against the family tycon if the pattern constructor 
-    -- belongs to a representation tycon.
-    --
+    -- belongs to a family instance tycon.
     boxySplitTyConAppWithFamily tycon pat_ty =
       traceTc traceMsg >>
       case tyConFamInst_maybe tycon of