Changes between Version 7 and Version 8 of Status/April07
- Timestamp:
- 04/29/07 09:43:00 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Status/April07
v7 v8 87 87 more complicated than we expected; and it delivers less benefits than 88 88 we hoped. For example, the system described in the paper does not 89 type-check ( \verb+runST $ foo+) and everyone complains. So Simon added89 type-check (`runST $ foo`) and everyone complains. So Simon added 90 90 an even more ad-hoc extension that does left-to-right instantiation. 91 91
