diff options
| author | ronny | 2001-05-04 11:13:03 +0000 |
|---|---|---|
| committer | ronny | 2001-05-04 11:13:03 +0000 |
| commit | 8150016c887a3a3e722341974c65884bc8090488 (patch) | |
| tree | 65c4ff444eed0942ad7e788954dbd41188e945f9 | |
| parent | Flag to turn generics on and off (SupportGenerics), default off (diff) | |
Clean 2.0 compiler bug workaround
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@387 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/generics.icl | 6 |
1 files changed, 6 insertions, 0 deletions
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 |