companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
rgrinberg has joined #ocaml
ralu1 has quit [Ping timeout: 256 seconds]
ralu1 has joined #ocaml
vicfred has quit [Quit: Leaving]
waleee has quit [Ping timeout: 260 seconds]
xenu_ has joined #ocaml
xenu has quit [Read error: Connection reset by peer]
<d_bot> <d4hines> Does anyone know of support for Yarn v2 in Nix?
<d_bot> <d4hines> I mean, generating derivations based on the new lockfile format?
<drakonis> i think you might want to ask that on the nix discord or irc
tizoc has quit [Quit: Coyote finally caught me]
<d_bot> <d4hines> lol, I thoughts that's where I was, mb. Too many discords.
tizoc has joined #ocaml
wyrd has quit [Quit: leaving]
wingsorc has quit [Quit: Leaving]
wingsorc has joined #ocaml
Haudegen has joined #ocaml
xenu_ is now known as xenu
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
average has quit [Ping timeout: 260 seconds]
shawnw has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
gravicappa has joined #ocaml
Serpent7776 has joined #ocaml
<d_bot> <idnes> [*]
<d_bot> <Patate> ?
mro has joined #ocaml
gopiandcode has joined #ocaml
gahr has quit [Remote host closed the connection]
olle has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<d_bot> <Patate> [ctypes] Trying to bind a structure field which is an array of DIM elements. but as I am in the cstubs type definitions, DIM is not yet available... Is it possible to use it somehow?
<d_bot> <cgenie> hello, is it possible to have a `match` with more complex condition, i.e. `match x with | (x, y) when x > y -> 1` ?
<d_bot> <cgenie> haskell does have this: `f x y | x > y = 1 ...`
<olle> Yes
<olle> It's called guards
<d_bot> <cgenie> ah ok thanks foudn it 🙂
<olle> +1
<d_bot> <cgenie> @olle are you a bot?
bacam has quit [Quit: reboot]
<d_bot> <cgenie> ok another question: I have a variable `a = "abc"` and I want to use it in multiple pattern matches, this won't work though `match x with | a -> ...`, can I substitute `a` in the `match` as expansion of my variable?
<d_bot> <cgenie> i.e. the analogue of `#define` in C
<olle> Am I a robot? How to know?
<olle> But seriously, no, it's the IRC->Discord bridge
<d_bot> <cgenie> ah ok 🙂
<olle> Not sure about your second question
<olle> companion_cube: ?
<d_bot> <cgenie> https://github.com/ocaml-community/cppo this seems to solve this partially, though I was thinking of a more "built-in" solution
<d_bot> <cgenie> in Elixir you can "hold" a variable in pattern matching with the "pin" operator `^`: https://elixir-lang.org/getting-started/pattern-matching.html
<olle> There's no macro system for OCaml, but you can do syntax extensions.
<d_bot> <cgenie> it doesn't require any preprocessing
<d_bot> <cgenie> I guess it's more complex in ocaml to do this since it checks whether the match is exhaustive
<olle> Is that type-safe, in Elixir?
<d_bot> <cgenie> I guess it's possible with `match x with | x when x = a`
<d_bot> <cgenie> elixir doesn't check types that much
<olle> Aha
<olle> Well, type-safety is religion in OCaml
<d_bot> <Patate> Type safety 🙏
<d_bot> <Patate> avoids so much errors
bacam has joined #ocaml
infinity0 has quit [Ping timeout: 240 seconds]
bobo has joined #ocaml
spip has quit [Read error: Connection reset by peer]
bartholin has joined #ocaml
bartholin has quit [Ping timeout: 250 seconds]
bartholin has joined #ocaml
zebrag has joined #ocaml
gahr has joined #ocaml
gahr has quit [Quit: leaving]
infinity0 has joined #ocaml
gahr has joined #ocaml
dextaa has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
mro has quit [Remote host closed the connection]
zebrag has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
haesbaert has quit [Remote host closed the connection]
mro has quit [Remote host closed the connection]
dextaa9 has joined #ocaml
dextaa has quit [Ping timeout: 276 seconds]
dextaa9 is now known as dextaa
mro has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
ralu1 has quit [Ping timeout: 240 seconds]
<d_bot> <Patate> Any trick to do a constant pass before dune's ctypes stanza's types pass?
<d_bot> <Patate> I thought of adding another ctypes stanza, but there can only be one...
mro has joined #ocaml
mro has quit [Ping timeout: 248 seconds]
mro has joined #ocaml
ralu1 has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
shawnw has quit [Ping timeout: 240 seconds]
<companion_cube> olle: ?
<olle> companion_cube: see history
<olle> I think it was solved tho
Haudegen has joined #ocaml
azimut has quit [*.net *.split]
adanwan has quit [*.net *.split]
jpds has quit [*.net *.split]
mro has quit [Remote host closed the connection]
adanwan has joined #ocaml
azimut has joined #ocaml
mro has joined #ocaml
jpds has joined #ocaml
mro has quit [Ping timeout: 256 seconds]
waleee has joined #ocaml
mro has joined #ocaml
olle has quit [Ping timeout: 276 seconds]
vicfred has joined #ocaml
emad has joined #ocaml
emad has quit [Remote host closed the connection]
dextaa has quit [Remote host closed the connection]
dextaa has joined #ocaml
dextaa has quit [Remote host closed the connection]
dextaa has joined #ocaml
dextaa has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
dextaa has joined #ocaml
dextaa has quit [Remote host closed the connection]
dextaa has joined #ocaml
gravicappa has quit [Ping timeout: 246 seconds]
olle has joined #ocaml
jpds has quit [Ping timeout: 240 seconds]
jpds has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
bartholin has quit [Ping timeout: 246 seconds]
Haudegen has quit [Quit: Bin weg.]
bartholin has joined #ocaml
vicfred has quit [Quit: Leaving]
Anarchos has joined #ocaml
ralu1 has quit [Ping timeout: 276 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
gravicappa has joined #ocaml
bartholin has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
ralu1 has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
mro has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has quit [Ping timeout: 240 seconds]
Anarchos has joined #ocaml
Haudegen has joined #ocaml
vicfred has joined #ocaml
neiluj has joined #ocaml
<neiluj> Hi! IS it possible to use the Result monad in functions that return unit? for instance in an alcotest test.
<neiluj> the value of the error monad needs to be "unwrapped" somehow
ns12 has quit [Quit: bye]
ns12 has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
<d_bot> <leviroth> `Result.get_ok`?
<neiluj> thanks leviroth!
rgrinberg has joined #ocaml
waleee has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
<neiluj> when you have a module in whoch most function take the same parameters, does it make sense to make a class out of it?
<neiluj> Or maybe a functor, but that wouldn't make sense since you would like to pass the parameters in a record, not a module as an argument to the functor
<d_bot> <Ambika E.> This is normal for a module
<d_bot> <Ambika E.> E.g. list module
<neiluj> thanks
<neiluj> nevermind, that's needlessly complicated
neiluj has quit [Quit: Leaving]
mro has joined #ocaml
bartholin has quit [Quit: Leaving]
Tuplanolla has joined #ocaml
cross_ has quit [Remote host closed the connection]
mro has quit [Quit: Leaving...]
bobo has quit [Ping timeout: 240 seconds]
bobo has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
cedric has joined #ocaml
Serpent7776 has quit [Quit: leaving]
gravicappa has quit [Ping timeout: 246 seconds]
cedric has quit [Quit: Konversation terminated!]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
rgrinberg has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
dextaa has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
Tuplanolla has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 240 seconds]
wingsorc has quit [Ping timeout: 240 seconds]
john_A has joined #ocaml
rgrinberg has joined #ocaml
john_A has quit [Quit: Client closed]
wingsorc has joined #ocaml
olle has quit [Ping timeout: 240 seconds]