diff options
| author | johnvg | 2007-11-20 12:01:47 +0000 |
|---|---|---|
| committer | johnvg | 2007-11-20 12:01:47 +0000 |
| commit | b34937d197a0a9ab8ec046428e2801673fe0996f (patch) | |
| tree | efdeb1e6ac597178e7cfa1b1aded4969c67f99b0 | |
| parent | change error: type variable of type of lifted argument .. appears in the spec... (diff) | |
remove is_pattern argument from functions
want_array_assignments and want_array_assignment
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1689 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/parse.icl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/frontend/parse.icl b/frontend/parse.icl index 593e320..b850f4a 100644 --- a/frontend/parse.icl +++ b/frontend/parse.icl @@ -3352,7 +3352,7 @@ wantRecordOrArrayExp is_pattern pState | is_pattern # (token, pState) = nextToken FunctionContext pState | token == SquareOpenToken - # (elems, pState) = want_array_assignments cIsAPattern pState + # (elems, pState) = want_array_assignments pState = (PE_ArrayPattern elems, wantToken FunctionContext "array selections in pattern" CurlyCloseToken pState) | token == CurlyCloseToken = (PE_Empty, parseError "record or array pattern" No "Array denotation not" pState) @@ -3746,19 +3746,19 @@ where want_record_or_array_update token expr pState = want_update NoRecordName expr token pState - want_array_assignments is_pattern pState - # (assign, pState) = want_array_assignment is_pattern pState + want_array_assignments pState + # (assign, pState) = want_array_assignment pState (token, pState) = nextToken FunctionContext pState | token == CommaToken # pState = wantToken FunctionContext "array assignments" SquareOpenToken pState - (assigns, pState) = want_array_assignments is_pattern pState + (assigns, pState) = want_array_assignments pState = ([ assign : assigns ], pState) = ([ assign ], tokenBack pState) where want_array_assignment is_pattern pState # (index_exprs, pState) = want_index_exprs pState pState = wantToken FunctionContext "array assignment" EqualToken pState - (pattern_exp, pState) = wantExpression is_pattern pState + (pattern_exp, pState) = wantExpression cIsAPattern pState = ({bind_dst = index_exprs, bind_src = pattern_exp}, pState) want_index_exprs pState |