Changes between Version 6 and Version 7 of InterleavingTypeInstanceChecking


Ignore:
Timestamp:
Aug 22, 2016 7:19:14 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • InterleavingTypeInstanceChecking

    v6 v7  
    1 This page is to track the discussions on #11348 and #12088.
     1This page is to track the discussions on
     2 * #11348
     3 * #12088
     4 * #12239
    25
    36The 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.