Changes between Version 7 and Version 8 of TypeLevelReasoning


Ignore:
Timestamp:
Feb 26, 2013 4:55:37 PM (14 months ago)
Author:
heisenbug
Comment:

mention "deriving"

Legend:

Unmodified
Added
Removed
Modified
  • TypeLevelReasoning

    v7 v8  
    6363 * Perhaps we should move some of what we're discussing out of {{{GHC.TypeLits}}}. After all, {{{(:~:)}}} does not interact directly with singletons, and neither do some of the definitions I mentioned above. I'm at a bit of a loss for a name, though... 
    6464 
     65== Other thoughts (Gabor) == 
     66 
     67 * Ultimately we want GHC to derive the {{{SingEquality}}} instance ({{{sameSing}}}, {{{decideSing}}} methods) for any singleton instance. GHC libraries should be laid out in a way that GHC's deriving engine can access all vital parts. IISC, this criterion rules out a completely detached library. 
     68 
    6569== Course of Implementation == 
    6670