From 5e4523330d036e47f5c348ab6dc288d7dd01983d Mon Sep 17 00:00:00 2001
From: clean
Date: Tue, 14 Mar 2000 16:09:44 +0000
Subject: added Update alternative for consequences (Expression)

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@112 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/explicitimports.icl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'frontend')

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
-- 
cgit v1.2.3