<d_bot>
<andreypopp> I'd be surprised if ppx doesn't have access to the original AST and compiler unsugar punning before the ppx pass.
tengu1 has joined #ocaml
olle has joined #ocaml
tengu1 has quit [Quit: Client closed]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
waleee has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
mro has joined #ocaml
<bgs>
I noticed sometimes type constructors are written as 'Name of t' and sometimes as 'Name : t'. What's the difference between these two?
saltrocklamp[m] has quit [Quit: Bridge terminating on SIGTERM]
<d_bot>
<Kakadu> Normal ADT syntax vs. GADT syntax
CodeBitCookie[m] has quit [Quit: Bridge terminating on SIGTERM]
krnkktz has quit [Quit: Bridge terminating on SIGTERM]
smondet[m] has quit [Quit: Bridge terminating on SIGTERM]
mclovin has quit [Quit: Bridge terminating on SIGTERM]
adibsaad[m] has quit [Quit: Bridge terminating on SIGTERM]
tomku[m] has quit [Quit: Bridge terminating on SIGTERM]
<octachron>
`Name of t` is a classical constructor. `type t = Name: * -> * t | .. ` is a GADT constructor.
<octachron>
GADT constructors make it possible to refine the relationship between constructors and the type that they inhabit (and give an easy way to introduce existentially quantified type variables along the way).
<bgs>
thanks
<bgs>
I don't really understand what GADTs and existentially quantified type variables are yet
<bgs>
I'll just stick to the ordinary syntax for the time being
<octachron>
Ah yes, in case of doubts, you should stick to the ordinary syntax. GADTs are an advanced feature.
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<dmbaturin>
I still haven't had a use case for GADTs in my practically useful code. :)
krnkktz has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
mro has quit [Read error: Connection reset by peer]
mro_ has joined #ocaml
spip has quit [Ping timeout: 245 seconds]
<dmbaturin>
octachron: By the way, would you or other maintainer be opposed to adding a specific error message for overflow in caml_int_of_string? From a quick look, it would be a trivial patch, I'll do it if there are no objections.
mclovin has joined #ocaml
smondet[m] has joined #ocaml
CodeBitCookie[m] has joined #ocaml
saltrocklamp[m] has joined #ocaml
adibsaad[m] has joined #ocaml
tomku[m] has joined #ocaml
spip has joined #ocaml
mro_ has quit [Remote host closed the connection]
<octachron>
An independant function that fails with well-typed error type sounds more useful. See also the last comment in https://github.com/ocaml/ocaml/pull/10276 .
<dmbaturin>
octachron: I.e. it would be better to write a function that returns (int, string_ result and in OCaml rather than in C?
<octachron>
That's what I would advise indeed (aka write the straigthforward OCaml version before reaching for C-level optimisations).
<dmbaturin>
I see. Actually I wonder why that part is in C, would implementing it in OCaml incur an unacceptable performce cost at the time
<octachron>
The bytecode interpreter is the probable reason why this code is in C.
mclovin has quit [Quit: Client limit exceeded: 20000]
mro has joined #ocaml
krnkktz has quit [Quit: Client limit exceeded: 20000]
saltrocklamp[m] has quit [Quit: Client limit exceeded: 20000]
<kakadu>
I expected that I will see this alerts on compilation, but they do not appear.
<d_bot>
<RegularSpatula> There are a few packages for OCaml-Rust FFI, but it seems like the best option currently would be to use ctypes to bind to a c interface provided by a rust library…anyone here have any thoughts on this?
rgrinberg has joined #ocaml
mro has quit [Remote host closed the connection]
zebrag has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<d_bot>
<Alistair> Does anyone know what `proc` stands for in the Bonsai API? Just curious about the naming
mro has joined #ocaml
rwmjones is now known as rwmjones|HOLS
bmo has joined #ocaml
<Putonlalla>
Pick your favorite from `aspell -d en_US dump master | grep '^proc' | sort`, Alistair.
slothby has quit [Quit: brb ... maybe]
bmo has quit [Quit: Client closed]
slothby has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
leah2 has quit [Remote host closed the connection]
mro has quit [Remote host closed the connection]
leah2 has joined #ocaml
mro has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
mro has quit [Remote host closed the connection]
bartholin has quit [Quit: Leaving]
jlrnick has quit [Ping timeout: 250 seconds]
mbuf has quit [Quit: Leaving]
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
Haudegen has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
mro has joined #ocaml
rgrinberg has joined #ocaml
farn has quit [Ping timeout: 260 seconds]
farn has joined #ocaml
mro_ has joined #ocaml
mro has quit [Ping timeout: 245 seconds]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]