diff options
author | martinw | 2000-05-31 08:59:13 +0000 |
---|---|---|
committer | martinw | 2000-05-31 08:59:13 +0000 |
commit | 6485c9b2f7452600807535e84c30a1d7aeb9e2e5 (patch) | |
tree | bc018d9bd0e3e4d74eb3c3dbdda7bf4f64acfa0b /frontend/StdCompare.dcl | |
parent | fixed fusion bug: The algorithm that derived the type for the specialised fun... (diff) |
Added just a comment (beginning with "XXX") that indicates a change that has to be made
to solve the following bug:
f
# x = undef
#! y = x
| True
= 2
= y
After checking this will be like
f
# x = undef
| True
= 2
= x
To really solve this bug we have to invent something new, because aliases
like (#! y = x) are _not_ allowed. We could either introduce a dummy identity function:
f
# x = undef
#! y = dummy_id x
| True
= 2
= y
or we could introduce constructs like
f
# x = undef
#! y
| True
= 2
= y
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@145 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/StdCompare.dcl')
0 files changed, 0 insertions, 0 deletions