andreas.marth@daimlerchrysler.com wrote:

Hallo everybody!

The file bug1.hs includes an example where acording to main sT==sXXP is True, but sXXP==sT is False. The file bug2.hs doesn't have the problem after inlinige one where clause. The file bug3.hs also doesn't have the problem after adding a type signature to the function "h0CMt".

So what exactly is the problem here?

Thanks, Andreas

Hi Andreas, Thanks for your report. Would it be possible for you to try to trim down the examples somewhat? That would speed up my process of finding the bug considerably. You know the code you've written, so you're in a much better position to do that then I am. As a general rule, bug reports will get much quicker attention if the illustrating examples are minimal. All the best, Johan