Changes between Version 14 and Version 15 of PolymorphicComponents


Ignore:
Timestamp:
Apr 4, 2007 8:21:54 PM (7 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?