Changes between Initial Version and Version 1 of Ticket #9858, comment 46


Ignore:
Timestamp:
Feb 4, 2015 4:35:18 AM (5 years ago)
Author:
oerjan
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9858, comment 46

    initial v1  
    1 Ah, I had misunderstood what the wiki page said, then.  Now this gives me an idea for a expanded test case.
     1Ah, I had misunderstood what the wiki page said, then.  Now this gives me an idea for an expanded test case.
    22
    33If my picture of how such a solver would work is now more correct, then I think by expanding the kinds in my example a bit, we can get a case where the solver would need not just to ''build'' new kind reps, but also to take the kind rep inside its provided `Typeable` instance further apart.  And for good measure let's include a data kind as well: