Changes between Version 27 and Version 28 of Holes


Ignore:
Timestamp:
May 4, 2012 10:09:03 AM (3 years ago)
Author:
spl
Comment:

Minor changes

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v27 v28  
    216216f = _?h >>= _?i 
    217217}}} 
    218 Thus, we prefer that this program be considered well-typed with {{{f :: Monad m => m b}}} and the holes reported to have the types {{{_?h :: Monad m => m a}}} and {{{_?i :: Monad m => a -> m b}}}. 
    219  
    220 If the extension `-XNoMonomorphismRestriction` is used, we expect that the typing of the holes will not change. 
     218Thus, we prefer that this program be considered well-typed with {{{f :: Monad m => m b}}} and the holes {{{_?h :: Monad m => m a}}} and {{{_?i :: Monad m => a -> m b}}}. 
     219 
     220If `-XNoMonomorphismRestriction` is used, we expect that the typing of the holes will not change. 
    221221 
    222222=== Type of a hole === 
    223223 
    224 The type of a hole should be the resolved type with minimum constraints. That is, the type of a hole should only have constraints that have not been solved but are either inferred from the context (e.g. {{{show _?h}}}) or given in a type annotation/signature (e.g. {{{_?h :: Show a => a}}}. 
     224The type of a hole should be the resolved type with minimum constraints. That is, the type of a hole should only have constraints that have not been solved but are either inferred from the context (e.g. {{{show _?h}}}) or given in a type annotation/signature (e.g. {{{_?h :: Show a => a}}}).