> I hoped for another clarification also for the message “warning: iso drop_else
> does not match the code below on line 55” (and the corresponding debug
> display).
I imagine that there is another bit of fine-tuning possible.
>> There is an isomorphism that drops else's in ifs, but that only
> I noticed that there was a report about an isomorphism not applying.
I hoped for another clarification also for the message “warning: iso drop_else
does not match the code below on line 55” (and the corresponding debug display).
> That issurely the problem. So you have to figure out why it