diff options
| author | clean | 2000-03-14 16:09:44 +0000 |
|---|---|---|
| committer | clean | 2000-03-14 16:09:44 +0000 |
| commit | 5e4523330d036e47f5c348ab6dc288d7dd01983d (patch) | |
| tree | 60e4a18e6c6f1d53517435107fb574f29a13dfeb | |
| parent | extended array patterns for muitidimensional arrays (diff) | |
added Update alternative for consequences (Expression)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@112 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/explicitimports.icl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl index 437db6b..68fe201 100644 --- a/frontend/explicitimports.icl +++ b/frontend/explicitimports.icl @@ -777,7 +777,10 @@ instance consequences Expression consequences (FreeVar _) = [] consequences (DynamicExpr dynamicExpr) = consequences dynamicExpr consequences EE = [] - +// RWS ... + consequences (Update expr1 selections expr2) = consequences expr1++consequences selections++consequences expr2 + consequences expr = abort "explicitimports:consequences (Expression) does not match" <<- expr +// ... RWS instance consequences FunctionBody where consequences (CheckedBody body) = consequences body consequences (TransformedBody body) = consequences body |