strange bug

[Johan Nordlander]

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