Changes between Version 2 and Version 3 of ClassMethodTypes


Ignore:
Timestamp:
Jan 27, 2006 11:42:46 AM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ClassMethodTypes

    v2 v3  
    11= Class Method Types = 
    22 
    3 '''[search:?q="ClassMethodTypes"&ticket=on Ticket(s)]''' 
     3== Brief Explanation == 
    44 
    55In [http://www.haskell.org/onlinereport/decls.html#class-decls Haskell 98, s4.3.1], the signatures of methods in a class may contain constraints, but these constraints must not mention the argument of the type class. The following is illegal: 
     
    1212However this restriction is not implemented by Hugs, following a suggestion of Mark Jones in 
    1313[http://www.cse.ogi.edu/~mpj/thih/ Typing Haskell in Haskell], and can be turned off in GHC with `-fglasgow-exts`. 
     14 
     15== Tickets == 
     16[[TicketQuery(description~=ClassMethodTypes)]]