Changes between Version 26 and Version 27 of Holes


Ignore:
Timestamp:
May 4, 2012 9:55:51 AM (2 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.