From 0eef3f31e57ab863792f68937889ef25e6257f08 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Wed, 2 May 2007 16:38:54 +0000
Subject: [PATCH] Comments, plus type sigs
---
compiler/hsSyn/HsPat.lhs | 2 +-
compiler/typecheck/FamInst.lhs | 1 +
compiler/typecheck/TcPat.lhs | 3 +--
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/compiler/hsSyn/HsPat.lhs b/compiler/hsSyn/HsPat.lhs
index ea59e8827ead..abfb3c623af8 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 9a349435effd..fd98fe919a9a 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 14c12a5fca29..9d4c9b0c1187 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
--
GitLab