Changes between Version 14 and Version 15 of Holes


Ignore:
Timestamp:
Apr 27, 2012 12:51:29 PM (2 years ago)
Author:
spl
Comment:

Minor clarification

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v14 v15  
    4242  1. The program should be type-checked as if every hole {{{_?h}}} is replaced by {{{undefined}}}, except: 
    4343    * If type-checking would fail due to unsolved constraints that could be solved by giving a type to a hole. 
    44   1. If the program is well-typed, then: 
     44  1. If the program is well-typed (as above), then: 
    4545    * The types of all holes should be reported. 
    4646    * Reporting the hole types should not cause type-checking (or compiling in general) to stop (in error).