Changes between Version 10 and Version 11 of FlexibleContexts


Ignore:
Timestamp:
Sep 5, 2006 11:49:22 AM (8 years ago)
Author:
ross@…
Comment:

expand on where reduction is forced

Legend:

Unmodified
Added
Removed
Modified
  • FlexibleContexts

    v10 v11  
    4848is neither allowed nor reducible, so a missing instance `C [a]` is reported. 
    4949 
    50 When restrictions on the form of contexts are removed, context reduction is forced only by explicit signatures, the type of `main`, and the few remaining restrictions on contexts. 
     50When restrictions on the form of contexts are removed, context reduction is forced only by 
     51 * explicit signatures 
     52 * the type of `main` 
     53 * the MonomorphismRestriction 
     54 * the no-escape restriction on ExistentialQuantification 
     55 * the few remaining restrictions on contexts 
    5156The above example becomes legal; if a matching instance is in scope when context reduction is forced on uses of `foo`, they will also typecheck: 
    5257{{{