Changes between Version 26 and Version 27 of Holes


Ignore:
Timestamp:
May 4, 2012 9:55:51 AM (3 years ago)
Author:
spl
Comment:

Include type of f

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v26 v27  
    216216f = _?h >>= _?i
    217217}}}
    218 Thus, we prefer that this program be considered well-typed with the holes reported to have the types {{{_?h :: Monad m => m a}}} and {{{_?i :: Monad m => a -> m b}}}.
     218Thus, 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}}}.
    219219
    220220If the extension `-XNoMonomorphismRestriction` is used, we expect that the typing of the holes will not change.