diff options
Diffstat (limited to 'docs/stg-spec/stg-spec.mng')
| -rw-r--r-- | docs/stg-spec/stg-spec.mng | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/stg-spec/stg-spec.mng b/docs/stg-spec/stg-spec.mng index 7e87c151d9..ea1b16746c 100644 --- a/docs/stg-spec/stg-spec.mng +++ b/docs/stg-spec/stg-spec.mng @@ -131,7 +131,7 @@ acts as a pointer to the value on the heap. \gram{\ottheap} -Execution procedes until a return value (a literal or a variable, i.e. +Execution proceeds until a return value (a literal or a variable, i.e. pointer to the heap) is produced. To accommodate for let-no-escape bindings, we also allow execution to terminate with a jump to a function application of a let-no-escape variable. |