diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/checkFunctionBodies.icl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/frontend/checkFunctionBodies.icl b/frontend/checkFunctionBodies.icl index 6403222..d414b83 100644 --- a/frontend/checkFunctionBodies.icl +++ b/frontend/checkFunctionBodies.icl @@ -2163,8 +2163,9 @@ addArraySelections array_patterns rhs_expr free_vars e_input e_state e_info cs , cs ) - - +buildSelections e_input {ap_selections=[]} + (strict_binds, lazy_binds, free_vars, e_state, e_info, cs) + = (strict_binds, lazy_binds, free_vars, e_state, e_info, cs) // if an error occurs in checkPattern buildSelections e_input {ap_opt_var, ap_array_var, ap_selections} (strict_binds, lazy_binds, free_vars, e_state, e_info, cs) # (ap_array_var, [last_array_selection:lazy_binds], free_vars, e_state, e_info, cs) |