Changes between Version 10 and Version 11 of PolymorphicComponents


Ignore:
Timestamp:
Jan 19, 2007 10:57:57 PM (9 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"?