Changes between Version 14 and Version 15 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 8:21:54 PM (8 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v14 v15  
    5959= Report TODO List =
    6060List of items that need to change in the [http://darcs.haskell.org/haskell-prime-report/report/haskell-prime-draft.html draft report].
    61 
    62  1. is ''forall'' a keyword? in what cases? (In types? In identifiers?)
    63 {{{
    64 f forall = forall
    65 }}}
    66    1. Hugs treats forall as a reserved keyword, whereas GHC only treats it specially in types.
     61 1. Introduce a new ''special identifier'' '''forall''.  This identifier has a special interpretation in types and type schemes (i.e., it is ''not'' a type variable).
     62    However, '''forall''' can still be used as an ordinary variable in expressions.
    6763 1. syntax
    6864   1. change "atype" or modify specific sections?