Changes between Version 10 and Version 11 of PolymorphicComponents


Ignore:
Timestamp:
Jan 19, 2007 10:57:57 PM (8 years ago)
Author:
ijones
Comment:

iavor and I adding info about what needs to change in the report.

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v10 v11  
    3434 * distinguish from ExistentialQuantification (currently also marked with `forall`, but before the data constructor). 
    3535 
     36== Open Issues == 
     37 1. allow empty foralls? 
     38{{{ 
     39data T a = Mk (forall . Show a => a) 
     40}}} 
     41 1. hugs vs. ghc treatment as keyword (see below) 
     42 
    3643== Tickets == 
    3744[[TicketQuery(description~=PolymorphicComponents)]] 
     
    4754== Cons == 
    4855 * more complex denotational semantics 
     56 
     57 
     58= Report TODO List = 
     59List of items that need to change in the [http://darcs.haskell.org/haskell-prime-report/report/haskell-prime-draft.html draft report]. 
     60 
     61 1. is ''forall'' a keyword? in what cases? (In types? In identifiers?) 
     62{{{ 
     63f forall = forall 
     64}}} 
     65   1. Hugs treats forall as a reserved keyword, whereas GHC only treats it specially in types. 
     66 1. syntax 
     67   1. change "atype" or modify specific sections? 
     68   1. 4.2.1 - syntax in "Algebreic Datatype Declarations", add ''forall'' to various bits. 
     69   1. 4.2.3 - syntax in "Datatype Renaming" ''newtype'' declarations 
     70 1. lots of english text in algebreic datatype declartions 
     71 1. english text in Labelled fields - give an example of fields with polymorphic types 
     72 1. anything in "kind inference"?