Changes between Version 4 and Version 5 of FlexibleContexts


Ignore:
Timestamp:
Jan 11, 2006 4:09:05 PM (10 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