Changes between Initial Version and Version 1 of Ticket #9429, comment 23


Ignore:
Timestamp:
Aug 17, 2014 10:20:10 PM (5 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9429, comment 23

    initial v1  
    1 I'm sorry, but I still don't understand the problem.  Why exactly do you need a `Typeable` instance for types involving `Any`?  In the example you give in "Context", you could perfectly well declare your own data type `MyAny` and use it instead of `Any`.  Can you give a more complete example that shows why it's essential to have a `Typeable` instance for GHC's `Any`?
     1I'm sorry, but I still don't understand the problem.
     2
     3 * Why exactly do you need a `Typeable` instance for types involving GHC's built-in `Any`? 
     4
     5 * In the example you give in "Context", you could perfectly well declare your own data type `MyAny` and use it instead of `Any`. 
     6
     7To be concrete, can you give a more complete example that shows why it's essential to have a `Typeable` instance for GHC's `Any`?
    28
    39Thanks