diff options
| author | johnvg | 2005-04-08 14:45:37 +0000 |
|---|---|---|
| committer | johnvg | 2005-04-08 14:45:37 +0000 |
| commit | 9b425cd3500b88b8df5cefbe2db7f6324125adca (patch) | |
| tree | 9443651b1f9af6ef6a9e5102cb5396e280b1e192 | |
| parent | use cDirectory.c with hfs paths instead of unix paths (diff) | |
fix uniqueness type of UnqArraySelectFun
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1525 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/checkFunctionBodies.icl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/frontend/checkFunctionBodies.icl b/frontend/checkFunctionBodies.icl index 53d1f8c..3c8a856 100644 --- a/frontend/checkFunctionBodies.icl +++ b/frontend/checkFunctionBodies.icl @@ -980,7 +980,9 @@ checkExpression free_vars (PE_Selection selector_kind expr [PS_Array index_expr] = case selector_kind of ParsedNormalSelector -> (PD_ArraySelectFun, NormalSelector) - ParsedUniqueSelector _ + ParsedUniqueSelector False + -> (PD_UnqArraySelectFun, NormalSelector) + ParsedUniqueSelector True -> (PD_UnqArraySelectFun, NormalSelectorUniqueElementResult) # (glob_select_symb, cs) = getPredefinedGlobalSymbol select_fun PD_StdArray STE_Member 2 cs (selector, free_vars, e_state, e_info, cs) = checkArraySelection glob_select_symb free_vars index_expr e_input e_state e_info cs |