Changes between Version 5 and Version 6 of ClassMethodTypes


Ignore:
Timestamp:
Feb 2, 2006 4:02:32 AM (10 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