Changes between Version 4 and Version 5 of FlexibleContexts


Ignore:
Timestamp:
Jan 11, 2006 4:09:05 PM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FlexibleContexts

    v4 v5  
    3939The above example becomes legal; if a matching instance is in scope when context reduction is forced on uses of `foo`, they will also typecheck: 
    4040{{{ 
     41module Main where 
     42 
    4143import M 
     44 
    4245instance C [a] where c_method = null 
    4346 
     
    4952 * can leave contexts more complex (could interact with the Monomorphism Restriction) 
    5053 * delays (and sometimes avoids) type errors 
    51  * sometimes avoids nontermination of context reduction 
     54 * sometimes avoids nontermination of context reduction for UndecidableInstances 
    5255 * is required by OverlappingInstances 
    5356