Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-compiler-and-rts
compiler
Commits
b5aed71b
Commit
b5aed71b
authored
May 04, 2001
by
Ronny Wichers Schreur
🏘
Browse files
Clean 2.0 compiler bug workaround
parent
2ebb97de
Changes
1
Hide whitespace changes
Inline
Side-by-side
frontend/generics.icl
View file @
b5aed71b
...
...
@@ -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
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment