Changes between Version 3 and Version 4 of ArrayIndexing
- Timestamp:
- 02/01/13 07:47:10 (4 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ArrayIndexing
v3 v4 29 29 A more useful definition of '!' would be 30 30 31 {{{ 31 32 f ! x = x `seq` f x 32 33 }}} 33 34 where '!' has the exact same fixity as function application. so 34 35 {{{ 35 36 foo !x !y 36 37 }}} 37 38 could be used to call foo with x and y evaluated strictly beforehand.
