cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Published 20 hours ago • verified publisher icon CakeML

Logical "&&" and "||" feature in Pancake

Open Kswin01 opened this issue 1 year ago • 3 comments

Having logical "and" and "or" for conditional statements in pancake would be a QoL improvement.

Kswin01 avatar Mar 16 '23 23:03 Kswin01

As far as I can tell, these already exist on the translation_update branch. Only the syntax is & and |. Does that work for you on the latest binary from @mktnk3?

IlmariReissumies avatar Mar 16 '23 23:03 IlmariReissumies

Yes, my apologies I was not aware this was added. I have just tested this and it seems to be working well

Kswin01 avatar Mar 16 '23 23:03 Kswin01

As discussed with @Kswin01 in private correspondence though, the ones we have currently are bitwise not logical. While @Kswin01 can make do with them for now, it seems a silly restriction not to have logical and/or, so reopening.

IlmariReissumies avatar Mar 17 '23 00:03 IlmariReissumies

Fixed in #999

IlmariReissumies avatar Jun 14 '24 01:06 IlmariReissumies