Changes between Version 12 and Version 13 of TypeFunctions/ClassFamilies

Show
Ignore:
Timestamp:
05/29/07 04:03:36 (6 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctions/ClassFamilies

    v12 v13  
    286286data SizeCtxt -- uninhabited 
    287287 
    288 class instance Context SizeCtxt e = Size e 
     288class instance (Size e) => Context SizeCtxt e 
    289289}}} 
    290290