In general, if you want to call a C function in ATS,
you can just use 'extfcall' for external function calls.
Of course, if you do so, you bypass ATS type-checking.
Here is an example:
%{^
int lsl(uint u, int n) { return (u << n); }
int lsr(uint u, int n) { return (u >> n); }
%}
implement
main0() =
{
val
pow_2_10 =
$extfcall(uint, "lsl", 1, 10)
val () = println!("pow_2_10 = ", pow_2_10)
}
On Wed, Jul 8, 2020 at 10:56 AM Dambaev Alexander <ice.redm...@gmail.com>
wrote:
> 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
> <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KzT18QD6_GYseq2guD_%3DQ8aMwnwKHhW8dqC%3DTJfLN7aHg%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/CAPPSPLqSbMjt-1pbGP-D-4%3DkZgJkrGbae3azsAQ3rc6RhRS-Rg%40mail.gmail.com.
