Changes between Version 4 and Version 5 of Alpha/Language/Overview/EvaluationOrder


Ignore:
Timestamp:
Aug 26, 2010, 12:44:14 AM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Alpha/Language/Overview/EvaluationOrder

    v4 v5  
    4949}}}
    5050
    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 spend functions. The type of @suspend1@ is approximately:
     51Suspending 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:
    5252
    5353{{{
     
    5555}}}
    5656
    57 Where @!e@ identifies the effect of the parameter function.
     57Where `!e` identifies the effect of the parameter function.