[project @ 1999-06-08 16:46:44 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcTyDecls.lhs

diff --git a/ghc/compiler/typecheck/TcTyDecls.lhs b/ghc/compiler/typecheck/TcTyDecls.lhs
index 282b30e..45984b7 100644 (file)
--- a/ghc/compiler/typecheck/TcTyDecls.lhs
+++ b/ghc/compiler/typecheck/TcTyDecls.lhs
@@ -303,18 +303,7 @@ mkRecordSelector tycon fields@((first_con, first_field_label) : other_fields)
        -- Check that all the fields in the group have the same type
        -- This check assumes that all the constructors of a given
        -- data type use the same type variables
-  = (if null other_fields then (\x->x) else
-       let lbls = [fieldLabelName f | (_,f) <- fields]
-           uniqs = [nameUnique l | l <- lbls]
-
-       in
-        pprTrace "mkRecordSelector" (vcat [ppr fields,
-                                       ppr lbls,
-                                       ppr uniqs,
-                                       hsep [text (show (field_name `compare` fieldLabelName f)) | (_,f) <- fields]
-                                       ]))
-                                 
-    checkTc (all (== field_ty) other_tys)
+  = checkTc (all (== field_ty) other_tys)
            (fieldTypeMisMatch field_name)      `thenTc_`
     returnTc selector_id
   where