Changes between Version 8 and Version 9 of Holes


Ignore:
Timestamp:
Feb 10, 2012 1:04:38 PM (4 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: