Changes between Version 15 and Version 16 of ScopedTypeVariables


Ignore:
Timestamp:
Jan 27, 2006 12:06:53 PM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ScopedTypeVariables

    v15 v16  
    11[[PageOutline]] 
    22= Scoped Type Variables = 
    3  
    4 '''[search:?q="ScopedTypeVariables"&ticket=on Ticket(s)]''' 
    53 
    64== Brief Explanation == 
     
    5553Note that although GHC and Hugs use the same syntax, the meaning of type variables is quite different, and there are other differences too. 
    5654 
     55== Tickets == 
     56[[TicketQuery(description~=ScopedTypeVariables)]] 
     57 
    5758== Pros == 
    5859  * Allows better documentation (without them, some expressions cannot be annotated with their types).