Changes between Version 40 and Version 41 of Holes


Ignore:
Timestamp:
May 17, 2012 8:43:34 AM (3 years ago)
Author:
spl
Comment:

Expected type

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v40 v41  
    195195boo = undefined 
    196196}}} 
    197  1. Perhaps it's not technically correct to call `MonadPlus m => m b` the "inferred type," but it is the type with the minimum set of constraints that type needs to fulfill to be accepted. Or maybe I'm missing something. 
     197 1. Perhaps it's not technically correct to call `MonadPlus m => m b` the "inferred type" (what about "expected type"?), but it is the type with the minimum set of constraints that type needs to fulfill to be accepted. Or maybe I'm missing something. 
    198198 1. How would you report the type of the holes? The above wording is merely a suggestion, but I think all that information should be there. 
    199199