• simonpj@microsoft.com's avatar
    Improve the handling of default methods · 77166b17
    simonpj@microsoft.com authored
    See the long Note [INLINE and default methods].  
    This patch changes a couple of data types, with a knock-on effect on
    the format of interface files.  A lot of files get touched, but is a
    relatively minor change.  The main tiresome bit is the extra plumbing
    to communicate default methods between the type checker and the