Changes between Version 12 and Version 13 of TypeFunctions/ClassFamilies


Ignore:
Timestamp:
May 29, 2007 11:03:36 AM (7 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