Changes between Version 35 and Version 36 of GhcKinds


Ignore:
Timestamp:
Nov 27, 2012 1:26:32 PM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v35 v36  
    5353}}}
    5454
    55 '''Future work:''' promote type synonyms to kind synonyms.
     55We propose to change this, and make GHC promote
     56type synonyms to kind synonyms by default with `-XDataKinds`. For instance, `type String = [Char]`
     57should give rise to a kind `String`.
    5658
     59'''Question:''' are there dangerous interactions with `-XLiberalTypeSynonyms`? E.g. what's the kind
     60of ''type K a = forall b. b -> a`?
     61
     62By extension, we might want to have kind synonyms that do not arise from promotion: `type kind K ...`.
     63And perhaps even type synonyms that never give rise to a promoted kind: `type type T ...`.
    5764
    5865