projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1996-05-16 09:48:23 by partain]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
GenSpecEtc.lhs
diff --git
a/ghc/compiler/typecheck/GenSpecEtc.lhs
b/ghc/compiler/typecheck/GenSpecEtc.lhs
index
7a0fbb1
..
079c292
100644
(file)
--- a/
ghc/compiler/typecheck/GenSpecEtc.lhs
+++ b/
ghc/compiler/typecheck/GenSpecEtc.lhs
@@
-179,14
+179,14
@@
genBinds binder_names mono_ids bind lie sig_infos prag_info_fn
let
dict_tys = map tcIdType dicts_bound
poly_tys = map (mkForAllTys tyvars . mkFunTys dict_tys) mono_id_types
let
dict_tys = map tcIdType dicts_bound
poly_tys = map (mkForAllTys tyvars . mkFunTys dict_tys) mono_id_types
- poly_ids = zipWithEqual mk_poly binder_names poly_tys
+ poly_ids = zipWithEqual "genspecetc" mk_poly binder_names poly_tys
mk_poly name ty = mkUserId name ty (prag_info_fn name)
in
-- BUILD RESULTS
returnTc (
AbsBinds tyvars
dicts_bound
mk_poly name ty = mkUserId name ty (prag_info_fn name)
in
-- BUILD RESULTS
returnTc (
AbsBinds tyvars
dicts_bound
- (map TcId mono_ids `zip` map TcId poly_ids)
+ (zipEqual "genBinds" (map TcId mono_ids) (map TcId poly_ids))
dict_binds
bind,
lie',
dict_binds
bind,
lie',