Changes between Version 43 and Version 44 of HaskellExtensions


Ignore:
Timestamp:
Feb 14, 2006 11:51:25 AM (8 years ago)
Author:
john@…
Comment:

jhc now supports rank-n some impredicativity and existentials

Legend:

Unmodified
Added
Removed
Modified
  • HaskellExtensions

    v43 v44  
    2323|| DottedHierarchicalModules || False   || False || False || True  ||  [[TicketQuery(description~=DottedHierarchicalModules, compact)]] || 
    2424|| EmptyDataDecls            || True    || True  || True  || True  ||  [[TicketQuery(description~=EmptyDataDecls, compact)]] || 
    25 || ExistentialQuantification || True    || True  || True  || False ||  [[TicketQuery(description~=ExistentialQuantification, compact)]] || 
     25|| ExistentialQuantification || True    || True  || True  || True  ||  [[TicketQuery(description~=ExistentialQuantification, compact)]] || 
     26|| ExistentialQuantifier     || False   || False || False || True  ||  [[TicketQuery(description~=ExistentialQuantification, compact)]] || 
    2627|| ExplicitDictionaries      || False   || False || False || False ||  [[TicketQuery(description~=ExplicitDictionaries, compact)]] || 
    2728|| ExtensibleRecords         || False   || False || True  || False ||  [[TicketQuery(description~=ExtensibleRecords, compact)]] || 
    28 || FlexibleContexts          || True    || False || True  || ?     ||  [[TicketQuery(description~=FlexibleContexts, compact)]] || 
    29 || FlexibleInstances         || True    || False || True  || ?     ||  [[TicketQuery(description~=FlexibleInstances, compact)]] || 
     29|| FlexibleContexts          || True    || False || True  || False     ||  [[TicketQuery(description~=FlexibleContexts, compact)]] || 
     30|| FlexibleInstances         || True    || False || True  || False     ||  [[TicketQuery(description~=FlexibleInstances, compact)]] || 
    3031|| ForeignData               || False   || False || False || True  ||  [[TicketQuery(description~=ForeignData, compact)]] || 
    3132|| ForeignFunctionInterface  || True    || True  || True  || True  ||  [[TicketQuery(description~=ForeignFunctionInterface, compact)]] || 
     
    6364|| TemplateHaskell           || True    || False || False || False ||  [[TicketQuery(description~=TemplateHaskell, compact)]] || 
    6465|| TypeSynonymInstances      || True    || False || True  || True  ||  [[TicketQuery(description~=TypeSynonymInstances, compact)]] || 
    65 || UnboxedTypes              || True    || False || False || Int   ||  [[TicketQuery(description~=UnboxedTypes, compact)]] || 
     66|| UnboxedTypes              || True    || False || False || Internal   ||  [[TicketQuery(description~=UnboxedTypes, compact)]] || 
    6667|| UndecidableInstances      || True    || False || False || False ||  [[TicketQuery(description~=UndecidableInstances, compact)]] || 
    6768|| [wiki:Views]               || False  || False || False || False ||  [[TicketQuery(description~=Views, compact)]] || 
     
    7273|| [wiki:GADTs]              || True    || False || False || False ||  [[TicketQuery(description~=GADTs, compact)]] || 
    7374|| [wiki:Generics]           || True    || False || False || False ||  [[TicketQuery(description~=Generics, compact)]] || 
    74 || [wiki:Impredicativity]    || ?       || False || False || False ||  [[TicketQuery(description~=Impredicativity, compact)]] || 
    75 || [wiki:Rank2Types]         || True    || False || True  || False ||  [[TicketQuery(description~=Rank2Types, compact)]] || 
    76 || [wiki:RankNTypes]         || True    || False || False || False ||  [[TicketQuery(description~=RankNTypes, compact)]] || 
     75|| [wiki:Impredicativity]    || ?       || False || False || Mostly ||  [[TicketQuery(description~=Impredicativity, compact)]] || 
     76|| [wiki:Rank2Types]         || True    || False || True  || True ||  [[TicketQuery(description~=Rank2Types, compact)]] || 
     77|| [wiki:RankNTypes]         || True    || False || False || True ||  [[TicketQuery(description~=RankNTypes, compact)]] || 
    7778|| [wiki:AllowImportAnywhere] || False  || False || False || False ||  [[TicketQuery(description~=AllowImportAnywhere, compact)]] || 
    7879