Changes between Version 41 and Version 42 of TypeNats


Ignore:
Timestamp:
Jan 25, 2016 12:01:31 PM (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v41 v42  
    22
    33This page collects information on how to work with type-level literals, as implemented in the Haskell compiler GHC (ticket #4385).
     4
     5== Status ==
     6
     7Use Keyword = `TypeLits` to ensure that a ticket ends up on these lists.
     8
     9Open Tickets:
     10[[TicketQuery(status=infoneeded,status=new|patch,keywords=~TypeLits)]]
     11
     12Closed Tickets:
     13[[TicketQuery(status=infoneeded,status=closed,keywords=~TypeLits)]]
     14
     15
    416
    517== User's Guide ==