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}}}).