Changes between Version 4 and Version 5 of Language/Overview/EvaluationOrder
- Timestamp:
- 08/26/10 01:44:14 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Language/Overview/EvaluationOrder
v4 v5 49 49 }}} 50 50 51 Suspending a function application requires it to have no visible side effects (be pure). This is achieved by adding effect constraints to the types of the s pend functions. The type of @suspend1@ is approximately:51 Suspending a function application requires it to have no visible side effects (be pure). This is achieved by adding effect constraints to the types of the suspend functions. Eliding region and closure information for now, the type of `suspend1` is: 52 52 53 53 {{{ … … 55 55 }}} 56 56 57 Where @!e@identifies the effect of the parameter function.57 Where `!e` identifies the effect of the parameter function.
