No problem. ✌😊 On Thu, Jun 3, 2021, 6:36 PM David Smith <[email protected]> wrote:
> Yes! stropt seems to be exactly what I want. Thank you! > > d4v3y_5c0n3s schrieb am Donnerstag, 3. Juni 2021 um 22:23:57 UTC: > >> I would suggest either trying the "stropt" type or the "Option_vt" type. >> Would you mind sharing a snippet of code, so that we could get a better >> understanding of what you are trying to do? >> >> On Thu, Jun 3, 2021, 6:00 PM David Smith <[email protected]> wrote: >> >>> I'm trying to wrap a library that has a function that takes a `char *`, >>> and optionally NULL. >>> >>> I tried strptr, string, and other random types I found in the prelude. >>> Now I'm trying to pass NULL (using `the_null_ptr`; great name btw), and I'm >>> getting type errors. >>> >>> Which string should I use here, and how would I pass null? >>> >>> 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 [email protected]. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/ats-lang-users/75f5caf2-e3e7-4619-b063-e8502de781a0n%40googlegroups.com >>> <https://groups.google.com/d/msgid/ats-lang-users/75f5caf2-e3e7-4619-b063-e8502de781a0n%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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/9d18baa2-2bea-4387-86aa-d70a807cd0c3n%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/9d18baa2-2bea-4387-86aa-d70a807cd0c3n%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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAHa%2B7MkDHDZPykgR1pRkKx%3D4v_eDF9hMkUOHaq4Kd_Xt2JkxUg%40mail.gmail.com.
