Marcin 'Qrczak' Kowalczyk wrote:
> Requires overlapping instances in a case where in fact something is
> X and the way it should be Z is different than that induced by X.
> And overlapping instances themselves can be lost because of context
> reduction, where a polymorphic function will use the g
Sun, 6 Feb 2000 20:33:52 +0300 (MSK), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> It is clear from the example of my previous letter that some
> operation may be computed in different ways in general and in
> several special situations. This leads to overlapping instances.
This does not *requir
To my notes on overlapping instances
>> [..]
>> In my case, it was not so bad. The results were different in a weaker
>> sense. It was like this:
>> card z5 --> Fin 5
>> "integers modulo 5 has finite cardinality 5"
>> Omitting certain import
Sun, 6 Feb 2000 11:29:28 +0300 (MSK), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> In my case, it was not so bad. The results were different in a weaker
> sense. It was like this:
> card z5 --> Fin 5
> "integers modulo 5 has finite cardinality
To my
>> Indeed, I had met a couple of times in practice that forgetting of
>> import ...
>> may lead to successful compilation and the un-desired change of
>> computation result at the run-time!
Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> writes on 5 Feb 2000
> I think it's hard t
