Changes between Version 90 and Version 91 of TypeFunctions


Ignore:
Timestamp:
Mar 7, 2017 10:50:47 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v90 v91  
    2525 * Our type-indexed data types are open.  However, we currently don't allow case expressions mixing constructors from different indexes.  We could do that if we had a story for open function definitions outside of classes.  Class instances of entire data families (including `deriving` clauses at family declarations to derive for all instances) requires the same sort of capabilities as case expressions mixing data constructors from different indexes.  This is, as they require to build a dictionary that applies to all family instances (as opposed to a distinct dictionary per instance, which is what we have now).
    2626
     27== Tickets ==
     28
     29Use Keyword = `TypeFamilies` to ensure that a ticket ends up on these lists.
     30
     31'''Open Tickets:'''
     32[[TicketQuery(status=new|patch,keywords=~TypeFamilies)]]
     33
     34'''Closed Tickets:'''
     35[[TicketQuery(status=closed,keywords=~TypeFamilies)]]
    2736
    2837== Terminology ==