Changes between Version 15 and Version 16 of ScopedTypeVariables


Ignore:
Timestamp:
Jan 27, 2006 12:06:53 PM (10 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).