Avoid nasty name clash with associated data types (fixes Trac #2888)
authorsimonpj@microsoft.com <unknown>
Tue, 30 Dec 2008 16:44:32 +0000 (16:44 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 30 Dec 2008 16:44:32 +0000 (16:44 +0000)
commit46934dd87e13143ec2e97f075309a9e2c0945889
tree4ec9e6824cf41a31f712681de7ca93c8889e45fc
parent04c3bfc687db82659a7fe5a8b0fa4244c52560b7
Avoid nasty name clash with associated data types (fixes Trac #2888)

The main bug was in TcHsType; see Note [Avoid name clashes for
associated data types].  However I did a bit of re-factoring while
I was abouut it.

I'm still a but unhappy with the use of TyCon.setTyConArgPoss; it'd
be better to construct the TyCon correctly in the first place.  But
that means passing an extra parameter to tcTyDecl1... maybe we should
do this.
compiler/iface/BuildTyCl.lhs
compiler/iface/TcIface.lhs
compiler/typecheck/TcHsType.lhs
compiler/typecheck/TcInstDcls.lhs
compiler/typecheck/TcTyClsDecls.lhs
compiler/types/TyCon.lhs