Changes between Version 8 and Version 9 of Holes
- Timestamp:
- 02/10/12 05:04:38 (16 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Holes
v8 v9 36 36 37 37 === {{{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).38 As 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). 39 39 40 40 A similar example:
