-
Simon Peyton Jones authored
This fixes Trac #4935. See Note [Preparing inert set for implications]. Lots of comments, but not a lot of code is changed!
72c40bc5
This fixes Trac #4935. See Note [Preparing inert set for implications]. Lots of comments, but not a lot of code is changed!