diff options
Diffstat (limited to 'frontend/explicitimports.icl')
| -rw-r--r-- | frontend/explicitimports.icl | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl index 68fe201..f0c3623 100644 --- a/frontend/explicitimports.icl +++ b/frontend/explicitimports.icl @@ -777,15 +777,14 @@ 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 - // other alternatives should not occur - + consequences (RhsMacroBody body) = consequences body + instance consequences FunType where consequences {ft_type} = consequences ft_type |