-
Simon Peyton Jones authored
Temporary fix for a nasty black hole The problem is that the type checker has a big knot for "unf_env". This means that we can't look at unfoldings inside the loop, which is fair enough. But setting an unfolding in the IdInfo is strict in the unfolding, so we can't look at the IdInfo either. But isLocalId looks at the IdInfo, and it was being used in an assert in TcHsSyn, and in setting the in_scope_vars in TcIfaceSig. I think the right solution is to take the "flavour" out of IdInfo, and put it into VarDetails, but I've done a quick fix for now. (Remove the assert, and use a different way in TcIfaceSig.)
82f63df9