Changes between Initial Version and Version 1 of Ticket #14668, comment 7


Ignore:
Timestamp:
Dec 2, 2018 8:42:01 PM (12 months ago)
Author:
RyanGlScott
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14668, comment 7

    initial v1  
    1 This is almost surely a duplicate of #12088 (see also #12643 and #15561, which are other surely-duplicates of #12088).
     1This is almost surely a duplicate of #12088 (see also #12643, #15561, and #15987, which are other surely-duplicates of #12088).
    22
    33Here are two tricks to making these sorts of programs compile:
     
    3232}}}
    3333
    34 2. Closed type families. As I discovered recently in #15561, open and closed type families behave differently in SCC analysis, so it turns out that turning `ValKind` into a closed type family makes danilo2's program compile as well:
     342. Closed type families. As I discovered recently in #15987, open and closed type families behave differently in SCC analysis, so it turns out that turning `ValKind` into a closed type family makes danilo2's program compile as well:
    3535
    3636{{{#!hs