Changes between Version 27 and Version 28 of Holes
 Timestamp:
 May 4, 2012 10:09:03 AM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Holes
v27 v28 216 216 f = _?h >>= _?i 217 217 }}} 218 Thus, we prefer that this program be considered welltyped 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.218 Thus, we prefer that this program be considered welltyped with {{{f :: Monad m => m b}}} and the holes {{{_?h :: Monad m => m a}}} and {{{_?i :: Monad m => a > m b}}}. 219 220 If `XNoMonomorphismRestriction` is used, we expect that the typing of the holes will not change. 221 221 222 222 === Type of a hole === 223 223 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}}} .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}}}).