Tidy and trim the type environment in mkBootModDetails
authorsimonpj@microsoft.com <unknown>
Fri, 23 Nov 2007 15:35:19 +0000 (15:35 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 23 Nov 2007 15:35:19 +0000 (15:35 +0000)
commite517644d3a3272f4306654d0f50db28c664a9a8b
tree85b82c896e1fa014da9e729c6b71c9d97a38bec2
parent292efb43eced024fffce3e55ba87cd54e97f8c22
Tidy and trim the type environment in mkBootModDetails

Should fix Trac #1833

We were failing to trim the type envt in mkBootModDetails, so several
functions all called (*), for example, were getting into the interface.
Result chaos.  It only actually bites when we do the retyping-loop thing,
which is why it's gone so long without a fix.
compiler/main/TidyPgm.lhs