From: simonpj Date: Thu, 7 Sep 2000 16:27:55 +0000 (+0000) Subject: [project @ 2000-09-07 16:27:55 by simonpj] X-Git-Tag: Approximately_9120_patches~3772 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=5439bab7664bafc3f085af00739dba49cba1f19e;p=ghc-hetmet.git [project @ 2000-09-07 16:27:55 by simonpj] Add comment --- diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs index e5b8847..cedbd56 100644 --- a/ghc/compiler/typecheck/TcPat.lhs +++ b/ghc/compiler/typecheck/TcPat.lhs @@ -42,7 +42,6 @@ import Unique ( eqClassOpKey, geClassOpKey, minusClassOpKey, ) import BasicTypes ( isBoxed ) import Bag -import Util ( zipEqual ) import Outputable \end{code} @@ -213,7 +212,7 @@ tcPat tc_bndr pat@(RecPatIn name rpats) pat_ty -- Check the constructor itself tcConstructor pat name pat_ty `thenTc` \ (data_con, ex_tvs, dicts, lie_avail1, arg_tys) -> let - -- not zipEqual: if the constructor isn't really a record, then + -- Don't use zipEqual! If the constructor isn't really a record, then -- dataConFieldLabels will be empty (and each field in the pattern -- will generate an error below). field_tys = zip (map fieldLabelName (dataConFieldLabels data_con))