diff options
Diffstat (limited to 'frontend')
| -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 |