Changes between Initial Version and Version 20 of Ticket #10141


Ignore:
Timestamp:
Mar 19, 2018 10:20:56 PM (11 months ago)
Author:
bgamari
Comment:

Removing milestone as no one is actively looking at this.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10141

    • Property Priority changed from highest to normal
    • Property Summary changed from Kind inference regression in closed type families to CUSK mysteries
    • Property Test Case changed from to indexed-types/should_fail/T10141
    • Property Keywords TypeFamilies TypeInType added
    • Property Milestone changed from 7.10.1 to
  • Ticket #10141 – Description

    initial v20  
    11Take the following definition:
    22
    3 {{{
     3{{{#!hs
    44type family G (a :: k) where
    55   G Int  = Bool