Changes between Version 8 and Version 9 of GhcKinds/KindsWithoutData


Ignore:
Timestamp:
Nov 27, 2012 1:25:54 PM (17 months ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/KindsWithoutData

    v8 v9  
    5353By extension, we might want to define a datatype that will never be promoted, even with `-XDataKinds`. 
    5454For that we propose the syntax `data type D ...`. 
    55  
    56 = Kind synonyms (from type synonym promotion) = 
    57  
    58 Currently GHC does not promote type synonyms. We propose to change this, and make GHC promote 
    59 type synonyms to kind synonyms by default with `-XDataKinds`. For instance, `type String = [Char]` 
    60 should give rise to a kind `String`. 
    61  
    62 '''Question:''' are there dangerous interactions with `-XLiberalTypeSynonyms`? E.g. what's the kind 
    63 of ''type K a = forall b. b -> a`? 
    64  
    65 By extension, we might want to have kind synonyms that do not arise from promotion: `type kind K ...`. 
    66 And perhaps even type synonyms that never give rise to a promoted kind: `type type T ...`.