Changes between Version 35 and Version 36 of GhcKinds


Ignore:
Timestamp:
Nov 27, 2012 1:26:32 PM (17 months 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