From 8150016c887a3a3e722341974c65884bc8090488 Mon Sep 17 00:00:00 2001
From: ronny
Date: Fri, 4 May 2001 11:13:03 +0000
Subject: Clean 2.0 compiler bug workaround

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

diff --git a/frontend/generics.icl b/frontend/generics.icl
index f8fbff9..5c77eeb 100644
--- a/frontend/generics.icl
+++ b/frontend/generics.icl
@@ -3023,7 +3023,13 @@ copyExpr expr heaps=:{hp_var_heap, hp_expression_heap}
 	= (expr, {heaps & hp_var_heap = us_var_heap, hp_expression_heap = us_symbol_heap})
 		//---> ("copy Expr")
 
+/* RWS ... Clean 2.0 compiler bug workaround
 mapExprSt :: (Expression .st->(Expression, .st)) Expression .st -> (Expression, .st)
+*/
+mapExprSt :: (Expression .st->v:(Expression, .st)) Expression .st 
+          -> w:(Expression, .st)
+          ,  [v<=w]
+// ... RWS
 mapExprSt f (App app=:{app_args}) st
 		# (app_args, st) = mapSt (mapExprSt f) app_args st
 		= f (App { app & app_args = app_args }) st
-- 
cgit v1.2.3