Changes between Version 7 and Version 8 of ClassMethodTypes


Ignore:
Timestamp:
Feb 2, 2006 4:04:41 AM (8 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ClassMethodTypes

    v7 v8  
    2424would have to carry around a dictionary for Num as well as Foo in dictionary passing implementation of type classes. In general some sort of fixpoint iteration would be needed to determine the set of dictionaries needed on an existential type. 
    2525 
     26This would not affect typecase based implementations of classes such as jhcs. 
     27 
    2628 
    2729