Changes between Version 23 and Version 24 of Holes


Ignore:
Timestamp:
May 3, 2012 10:50:49 AM (2 years ago)
Author:
spl
Comment:

Minor fix + clarification

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v23 v24  
    192192 
    193193When using holes (i.e. {{{-XHoles}}} is set), we expect the following: 
    194   1. The program should type-check as if every hole {{{_?h}}} is replaced with {{{undefined}}}. This is one exception: see [#Ambiguoustypes Ambiguous types] below. 
     194  1. The program should type-check as if every hole {{{_?h}}} is replaced with {{{undefined}}}. There is an exception to this rule: see [#Ambiguoustypes Ambiguous types] below. 
    195195  1. If the program is well-typed (as above), then: 
    196196    * The types of all holes should be reported.