From 5439bab7664bafc3f085af00739dba49cba1f19e Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 7 Sep 2000 16:27:55 +0000 Subject: [PATCH] [project @ 2000-09-07 16:27:55 by simonpj] Add comment --- ghc/compiler/typecheck/TcPat.lhs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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)) -- 1.7.10.4