[m-users.] Store type difficulties

Tomas By tomas at basun.net
Sat Jul 4 16:16:27 AEST 2020

On Sat, 04 Jul 2020 08:10:33 +0200, Zoltan Somogyi wrote:
> Peter knows that perfectly well. What he was drawing attention to
> was the fact that predicates such as list.foldl6, while they have many
> modes, those modes tend *not* to include modes that allow
> more than one pair of arguments to be di/uo.

Yes, I realised that almost while clicking send. I was think values

But still doesn't sound like a huge problem.


More information about the users mailing list