Changes between Version 8 and Version 9 of GhcKinds/KindsWithoutData


Ignore:
Timestamp:
Nov 27, 2012 1:25:54 PM (3 years 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 ...`.