What happens if you use addition instead of oring? The result should be the same, and on modern processors performance is the same.

On Sun, 23 May 2021, David Smith wrote:


Hey, I have a small convenience function that takes 3 5 bit bit numbers to produce 
a 15 bit color, that's guaranteed to be <0x8000.

Now, apparently the typechecker doesn't know much about `lor`. Is there any way I could say 
"hey trust me, if these three numbers are < 0x20 then the result is < 0x8000"?

Thanks in advance.

--
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/4f5589ed-b80d-4662-918c-ac1fa81d04c9n%40googlegroups.com.



--
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/ac619622-d8a5-4df-7ff1-4f3f84c1d72%40elronnd.net.

Reply via email to