Changes between Version 5 and Version 6 of ClassMethodTypes


Ignore:
Timestamp:
Feb 2, 2006 4:02:32 AM (9 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ClassMethodTypes

    v5 v6  
    1313[http://www.cse.ogi.edu/~mpj/thih/ Typing Haskell in Haskell], and can be turned off in GHC with `-fglasgow-exts`. 
    1414 
     15== interaction with existentials == 
     16 
     17If this were allowed than existential types of the form 
     18 
     19{{{ 
     20data SomeFoo = exists a . Foo a => SomeFoo a 
     21}}} 
     22 
     23 
     24would have to carry around a dictionary for Num as well as Foo in dictionary passing implementation of type classes. 
     25 
     26 
     27 
    1528== Cons == 
    1629