Thanks, I will check it out ср, 8 июл. 2020 г. в 14:30, Hongwei Xi <gmh...@gmail.com>:
> You can find these operations in prelude/SATS/integer.sats > There are called: > lnot (for ~), > land (for &), lor (for |), lxor (for ^), lsl (for <<), and lsr (for >>). > > These operations are for unsigned ints. For signed ints, there > are asl (for <<) and asr (for >>). > > In ATS2, there is no implicit casting. You may have to cast a > signed int into an unsigned int explicitly in order to perform a bit > operation. > > > On Wed, Jul 8, 2020 at 5:33 AM ice.r...@gmail.com <ice.redm...@gmail.com> > wrote: > >> >> Hi, >> I was not able to find bit operations >> in ATS, like &, |, <<, >>. >> >> Does ATS supports them? >> >> -- >> 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/04b44a32-88e3-4855-acb9-ed7bdcc3391en%40googlegroups.com >> <https://groups.google.com/d/msgid/ats-lang-users/04b44a32-88e3-4855-acb9-ed7bdcc3391en%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- > 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/CAPPSPLr4FG-ai8xBPn-C4ZPQiXxYr0gjmLNcpy%3DcnG6ydivyVA%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLr4FG-ai8xBPn-C4ZPQiXxYr0gjmLNcpy%3DcnG6ydivyVA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAHjn2KzT18QD6_GYseq2guD_%3DQ8aMwnwKHhW8dqC%3DTJfLN7aHg%40mail.gmail.com.