Changes between Version 7 and Version 8 of InterleavingTypeInstanceChecking


Ignore:
Timestamp:
Dec 2, 2018 9:12:25 PM (9 months ago)
Author:
RyanGlScott
Comment:

Even more tickets

Legend:

Unmodified
Added
Removed
Modified
  • InterleavingTypeInstanceChecking

    v7 v8  
    33 * #12088
    44 * #12239
     5 * #12643
     6 * #14668
     7 * #15561
     8 * #15987
    59
    610The essential problem is that type-checking declarations can depend on `type instance`s so we must be careful to process `type instance`s in the correct order. When necessary interleaving the instances with other declarations.