X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FhsSyn%2FHsPat.lhs;h=abfb3c623af8d6c0a2b37d13d0eab25059d42626;hb=970d5b88b1554bbdd7e459dae41aab3668ae897a;hp=ea59e8827eade9dc485d489011b6ef60e7d93fa7;hpb=6fb1a6433a3b9e8d54abeab9d4aa7aa947140a1e;p=ghc-hetmet.git 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}