strange bug

[andreas.marth@daimlerchrysler.com]

--Boundary=_0.0_=0057440008851988
Content-Type: text/plain; charset=ISO-8859-1; name="MEMO 03/02/01 22:01:22"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hallo everybody!

The file bug1.hs includes an example where acording to main sT=3D=3DsXX=
P is True,=20
but sXXP=3D=3DsT is False.
The file bug2.hs doesn't have the problem after inlinige one where clau=
se.
The file bug3.hs also doesn't have the problem after adding a type sign=
ature to=20
the function "h0CMt".

So what exactly is the problem here?

Thanks,
Andreas
=

--Boundary=_0.0_=0057440008851988
Content-Type: application/octet-stream; name=bug1.hs
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename=bug1.hs

aW1wb3J0IEFycmF5CgpkYXRhIENNIGEgPSBaTSB8IE0gKEFycmF5IChJbnQsSW50KSBhKSAKCWRl
cml2aW5nIChTaG93LEVxKQoKZGF0YSBSRCA9ICAgIE5CICEoRG91YmxlLEludCxJbnQpCgpnZXRE
YXRhIG4gZGw9Y2FzZSBlcmcgb2YKICAgICAgICAgICAgICAgICAgICAgICAgW2hdICAgICAtPiBo
CiAgICAgICAgICAgICAgICAgICAgICAgIF8gICAgICAgLT4gZXJyb3IgKCJlcnJvciBpbiBnZXRE
YXRhIikKICAgICAgICAgICAgICAgICAgICB3aGVyZSBlcmc9W2R8KHgsZCk8LWRsLHg9PW5dCgpz
WFhQIDo6IEFycmF5IChJbnQsSW50KSAoQ00gRG91YmxlKQpzWFhQID0gbGlzdEFycmF5ICgoMSwx
KSwoMSw0KSkgW00gKGxpc3RBcnJheSAoKDEsMSksKDEsMSkpIFsxLjBdKSxaTSxaTSxaTV0KCnhC
ZGkgOjogQXJyYXkgSW50IChBcnJheSBJbnQgRG91YmxlKQp4QmRpPSBsaXN0QXJyYXkgKDEsNCkg
W2FycmF5ICgxLDEpIFsoMSwxMCldLGFycmF5ICgxLDEpIFsoMSw1KV0sYXJyYXkgKDEsMikgWygx
LDMuNSksKDIsMS41KV0sYXJyYXkgKDEsMSkgWygxLDApXV0gICAKCm1haW4gID0gZG8JbGV0IHNU
ID0gZm9vIHhCZGkgWygiUk4xIixbKDAuMCwzLjI0ZS0wNildKV0gKCJSTjEiLE5CICgxLjAsMSwx
KSkKCQlwdXRWYWwgInNUPT1zWFhQIiAoc1Q9PXNYWFApCgkJcHV0VmFsICJzWFhQPT1zVCIgKHNY
WFA9PXNUKQoJCXB1dFZhbCAiYm5kcyBzVCBzWFhQIiAoKChib3VuZHMpIHNUKT09KChib3VuZHMp
IHNYWFApKQoJCXB1dFZhbCAiYm5kcyAraWQgc1Qgc1hYUCIgKCgoYm91bmRzLmlkKSBzVCk9PSgo
Ym91bmRzKSBzWFhQKSkKCQlwdXRWYWwgImlkICtibmRzIHNUIHNYWFAiICgoKGlkLmJvdW5kcykg
c1QpPT0oKGJvdW5kcykgc1hYUCkpCgkJcmV0dXJuICgpCgpmb28gOjogQXJyYXkgSW50IChBcnJh
eSBJbnQgRG91YmxlKS0+WyhTdHJpbmcsWyhEb3VibGUsRG91YmxlKV0pXS0+KFN0cmluZyxSRCkt
PkFycmF5IChJbnQsSW50KSAoQ00gRG91YmxlKQpmb28geGggcmRsaCAocm4scmQpID0gY2FzZSBy
ZCBvZgogCQkJKE5CIChmLHAscykpICAgICAJCQktPiBoCgkJCQl3aGVyZQoJCQkJaAk9IGhDTXQg
WyhwLGhNYXQpXQoJCQkJaE1hdAk9IGVNYXQgcyBmCgkJCXdoZXJlCgkJCShsYix1YikJCT0gYm91
bmRzIHhoCgkJCS0taDBDTXQgOjogQXJyYXkgKEludCwgSW50KSAoQ00gRG91YmxlKQoJCQloMENN
dAk9IGFjY3VtQXJyYXkgKFxhIF8tPiBhKSBaTSAoKDEsbGIpLCgxLHViKSkgW10KCQkJZU1hdCBn
IHcJPSBhY2N1bUFycmF5ICgrKSAwICgoMSwxKSwoZyxnKSkgWygoaSxpKSx3KXxpPC1bMS4uZ11d
CgkJCWhDTXQgcG9fYXJMCT0gaDBDTXQgLy8gKG1hcCAoXChwbyxhcikgLT4gKCgxLHBvKSxNIGFy
KSkgcG9fYXJMKQoKcHV0VmFsIDo6IChTaG93IGEpID0+IFN0cmluZyAtPiBhIC0+IElPICgpCnB1
dFZhbCBzIGEgPSBwdXRTdHIgKHMrKyIgIisrc2hvdyBhKysiXG4iKQ==

--Boundary=_0.0_=0057440008851988
Content-Type: application/octet-stream; name=bug2.hs
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename=bug2.hs

aW1wb3J0IEFycmF5CgpkYXRhIENNIGEgPSBaTSB8IE0gKEFycmF5IChJbnQsSW50KSBhKSAKCWRl
cml2aW5nIChTaG93LEVxKQoKZGF0YSBSRCA9ICAgIE5CICEoRG91YmxlLEludCxJbnQpCgpnZXRE
YXRhIG4gZGw9Y2FzZSBlcmcgb2YKICAgICAgICAgICAgICAgICAgICAgICAgW2hdICAgICAtPiBo
CiAgICAgICAgICAgICAgICAgICAgICAgIF8gICAgICAgLT4gZXJyb3IgKCJlcnJvciBpbiBnZXRE
YXRhIikKICAgICAgICAgICAgICAgICAgICB3aGVyZSBlcmc9W2R8KHgsZCk8LWRsLHg9PW5dCgpz
WFhQIDo6IEFycmF5IChJbnQsSW50KSAoQ00gRG91YmxlKQpzWFhQID0gbGlzdEFycmF5ICgoMSwx
KSwoMSw0KSkgW00gKGxpc3RBcnJheSAoKDEsMSksKDEsMSkpIFsxLjBdKSxaTSxaTSxaTV0KCnhC
ZGkgOjogQXJyYXkgSW50IChBcnJheSBJbnQgRG91YmxlKQp4QmRpPSBsaXN0QXJyYXkgKDEsNCkg
W2FycmF5ICgxLDEpIFsoMSwxMCldLGFycmF5ICgxLDEpIFsoMSw1KV0sYXJyYXkgKDEsMikgWygx
LDMuNSksKDIsMS41KV0sYXJyYXkgKDEsMSkgWygxLDApXV0gICAKCm1haW4gID0gZG8JbGV0IHNU
ID0gZm9vIHhCZGkgWygiUk4xIixbKDAuMCwzLjI0ZS0wNildKV0gKCJSTjEiLE5CICgxLjAsMSwx
KSkKCQlwdXRWYWwgInNUPT1zWFhQIiAoc1Q9PXNYWFApCgkJcHV0VmFsICJzWFhQPT1zVCIgKHNY
WFA9PXNUKQoJCXB1dFZhbCAiYm5kcyBzVCBzWFhQIiAoKChib3VuZHMpIHNUKT09KChib3VuZHMp
IHNYWFApKQoJCXB1dFZhbCAiYm5kcyAraWQgc1Qgc1hYUCIgKCgoYm91bmRzLmlkKSBzVCk9PSgo
Ym91bmRzKSBzWFhQKSkKCQlwdXRWYWwgImlkICtibmRzIHNUIHNYWFAiICgoKGlkLmJvdW5kcykg
c1QpPT0oKGJvdW5kcykgc1hYUCkpCgkJcmV0dXJuICgpCgpmb28gOjogQXJyYXkgSW50IChBcnJh
eSBJbnQgRG91YmxlKS0+WyhTdHJpbmcsWyhEb3VibGUsRG91YmxlKV0pXS0+KFN0cmluZyxSRCkt
PkFycmF5IChJbnQsSW50KSAoQ00gRG91YmxlKQpmb28geGggcmRsaCAocm4scmQpID0gY2FzZSBy
ZCBvZgogCQkJKE5CIChmLHAscykpICAgICAJCQktPiBoCgkJCQl3aGVyZQoJCQkJaAk9IGhDTXQg
WyhwLGhNYXQpXQoJCQkJaE1hdAk9IGVNYXQgcyBmCi0tCQkJd2hlcmUKCQkJCShsYix1YikJCT0g
Ym91bmRzIHhoCgkJCQktLWgwQ010IDo6IEFycmF5IChJbnQsIEludCkgKENNIERvdWJsZSkKCQkJ
CWgwQ010CT0gYWNjdW1BcnJheSAoXGEgXy0+IGEpIFpNICgoMSxsYiksKDEsdWIpKSBbXQoJCQkJ
ZU1hdCBnIHcJPSBhY2N1bUFycmF5ICgrKSAwICgoMSwxKSwoZyxnKSkgWygoaSxpKSx3KXxpPC1b
MS4uZ11dCgkJCQloQ010IHBvX2FyTAk9IGgwQ010IC8vIChtYXAgKFwocG8sYXIpIC0+ICgoMSxw
byksTSBhcikpIHBvX2FyTCkKCnB1dFZhbCA6OiAoU2hvdyBhKSA9PiBTdHJpbmcgLT4gYSAtPiBJ
TyAoKQpwdXRWYWwgcyBhID0gcHV0U3RyIChzKysiICIrK3Nob3cgYSsrIlxuIik=

--Boundary=_0.0_=0057440008851988
Content-Type: application/octet-stream; name=bug3.hs
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename=bug3.hs

aW1wb3J0IEFycmF5CgpkYXRhIENNIGEgPSBaTSB8IE0gKEFycmF5IChJbnQsSW50KSBhKSAKCWRl
cml2aW5nIChTaG93LEVxKQoKZGF0YSBSRCA9ICAgIE5CICEoRG91YmxlLEludCxJbnQpCgpnZXRE
YXRhIG4gZGw9Y2FzZSBlcmcgb2YKICAgICAgICAgICAgICAgICAgICAgICAgW2hdICAgICAtPiBo
CiAgICAgICAgICAgICAgICAgICAgICAgIF8gICAgICAgLT4gZXJyb3IgKCJlcnJvciBpbiBnZXRE
YXRhIikKICAgICAgICAgICAgICAgICAgICB3aGVyZSBlcmc9W2R8KHgsZCk8LWRsLHg9PW5dCgpz
WFhQIDo6IEFycmF5IChJbnQsSW50KSAoQ00gRG91YmxlKQpzWFhQID0gbGlzdEFycmF5ICgoMSwx
KSwoMSw0KSkgW00gKGxpc3RBcnJheSAoKDEsMSksKDEsMSkpIFsxLjBdKSxaTSxaTSxaTV0KCnhC
ZGkgOjogQXJyYXkgSW50IChBcnJheSBJbnQgRG91YmxlKQp4QmRpPSBsaXN0QXJyYXkgKDEsNCkg
W2FycmF5ICgxLDEpIFsoMSwxMCldLGFycmF5ICgxLDEpIFsoMSw1KV0sYXJyYXkgKDEsMikgWygx
LDMuNSksKDIsMS41KV0sYXJyYXkgKDEsMSkgWygxLDApXV0gICAKCm1haW4gID0gZG8JbGV0IHNU
ID0gZm9vIHhCZGkgWygiUk4xIixbKDAuMCwzLjI0ZS0wNildKV0gKCJSTjEiLE5CICgxLjAsMSwx
KSkKCQlwdXRWYWwgInNUPT1zWFhQIiAoc1Q9PXNYWFApCgkJcHV0VmFsICJzWFhQPT1zVCIgKHNY
WFA9PXNUKQoJCXB1dFZhbCAiYm5kcyBzVCBzWFhQIiAoKChib3VuZHMpIHNUKT09KChib3VuZHMp
IHNYWFApKQoJCXB1dFZhbCAiYm5kcyAraWQgc1Qgc1hYUCIgKCgoYm91bmRzLmlkKSBzVCk9PSgo
Ym91bmRzKSBzWFhQKSkKCQlwdXRWYWwgImlkICtibmRzIHNUIHNYWFAiICgoKGlkLmJvdW5kcykg
c1QpPT0oKGJvdW5kcykgc1hYUCkpCgkJcmV0dXJuICgpCgpmb28gOjogQXJyYXkgSW50IChBcnJh
eSBJbnQgRG91YmxlKS0+WyhTdHJpbmcsWyhEb3VibGUsRG91YmxlKV0pXS0+KFN0cmluZyxSRCkt
PkFycmF5IChJbnQsSW50KSAoQ00gRG91YmxlKQpmb28geGggcmRsaCAocm4scmQpID0gY2FzZSBy
ZCBvZgogCQkJKE5CIChmLHAscykpICAgICAJCQktPiBoCgkJCQl3aGVyZQoJCQkJaAk9IGhDTXQg
WyhwLGhNYXQpXQoJCQkJaE1hdAk9IGVNYXQgcyBmCgkJCXdoZXJlCgkJCShsYix1YikJCT0gYm91
bmRzIHhoCgkJCWgwQ010IDo6IEFycmF5IChJbnQsIEludCkgKENNIERvdWJsZSkKCQkJaDBDTXQJ
PSBhY2N1bUFycmF5IChcYSBfLT4gYSkgWk0gKCgxLGxiKSwoMSx1YikpIFtdCgkJCWVNYXQgZyB3
CT0gYWNjdW1BcnJheSAoKykgMCAoKDEsMSksKGcsZykpIFsoKGksaSksdyl8aTwtWzEuLmddXQoJ
CQloQ010IHBvX2FyTAk9IGgwQ010IC8vIChtYXAgKFwocG8sYXIpIC0+ICgoMSxwbyksTSBhcikp
IHBvX2FyTCkKCnB1dFZhbCA6OiAoU2hvdyBhKSA9PiBTdHJpbmcgLT4gYSAtPiBJTyAoKQpwdXRW
YWwgcyBhID0gcHV0U3RyIChzKysiICIrK3Nob3cgYSsrIlxuIik=

--Boundary=_0.0_=0057440008851988--