Commit 654169d1 authored by clean's avatar clean
Browse files

added Update alternative for consequences (Expression)

parent 284f0804
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment