Re: reply to `I hate this error'

[Alex Ferguson]

Sergey writes:
> Is not this due to omitting
> 
>    -optC-fallow-undecidable-instances  -optC-fallow-overlapping-instances
> ?
> 
> 
> Sorry, if i am missing the point.

No, I was!  ;-)  And thanks to Simon(s) for pointing this out, too.

Mind you, I somewhat object to the "undecidable" bit:  I thought the
current thinking was that "simple" non-variable contexts were a
sound, decidable extension?  [ The proof's in the post. ;-) ]

Slan,
Alex.