• simonpj@microsoft.com's avatar
    Fix up the instance-declaration re-engineering story · 4f597914
    simonpj@microsoft.com authored
    This patch deals with a rather complicated situation involving
    overlapping instances.  It's all explained in the commments
       Note [Subtle interaction of recursion and overlap]
    The absence of this case make DoCon and regex-base fail with
    an error about overlapping instances.  Now they work properly 
TcInstDcls.lhs 41.1 KB