Changes between Version 8 and Version 9 of Holes


Ignore:
Timestamp:
Feb 10, 2012 1:04:38 PM (2 years ago)
Author:
spl
Comment:

Add forall

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v8 v9  
    3636 
    3737=== {{{undefined}}} === 
    38 As stated before, {{{undefined}}} typechecks just like a hole: it has type {{{a}}}, so it can be used anywhere. However, it is not very easy to use in this way: it is impossible to find out what type the compiler found for the hole, and it's impossible to get a list of all the holes used in your source file(s). 
     38As stated before, {{{undefined}}} typechecks just like a hole: it has type {{{forall a.a}}}, so it can be used anywhere. However, it is not very easy to use in this way: it is impossible to find out what type the compiler found for the hole, and it's impossible to get a list of all the holes used in your source file(s). 
    3939 
    4040A similar example: