- = (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)