Changes between Version 1 and Version 2 of Typeable/WithTypeable


Ignore:
Timestamp:
Aug 26, 2015 4:31:26 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Typeable/WithTypeable

    v1 v2  
    88
    99Currently, `withTypeable` cannot be written in Haskell, but it is straightforward to write in Core. Can we fix this?
     10
     11A facility like this is needed by Edward Kmett: see [ticket:2439#comment:25]
    1012
    1113== Fully general approach ==