MeTTaLog now treats : differently

[ngeiswei]

What is your problem?

For some reason, MeTTaLog freezes on some simple function call involving :.

How to reproduce your problem?

Run the following code with the latest revision (d232fac as of the time of writing) of MeTTaLog

(= (foo (: $x $a)) OK)
!(foo (: $x $a))

What should be normally output?

[OK]

What do you get instead?

It freezes.

[ngeiswei]

I know the problem has to do with : because if I replace it by another symbol, then it works.

[ngeiswei]

Oh, after merging the latest commits (revision db96914), it outputs

[(foo (predicate-arity $10000 1))]

which is better than freezing, but still incorrect.

[ngeiswei]

Thanks to that recent commit my backward chainer works again, so I removed the High Priority label. However the issue still occurs, as far as I can tell, so I am not closing it just yet.