rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<herrschreinerei>
err
<herrschreinerei>
I see so many ways to handle time, I am a bit lost.
<herrschreinerei>
I just need the current year.
<herrschreinerei>
I can't find the doc for calendar
<herrschreinerei>
meh, just when I found it....
jonasbits has quit [Ping timeout: 244 seconds]
jonasbits has joined #ocaml
Sankalp has quit [Ping timeout: 240 seconds]
Sankalp has joined #ocaml
Sankalp has quit [Ping timeout: 276 seconds]
Sankalp has joined #ocaml
gopiandcode has quit [Ping timeout: 240 seconds]
gopiandcode has joined #ocaml
mbuf has joined #ocaml
Serpent7776 has quit [Quit: leaving]
bastienleonard has quit [Ping timeout: 260 seconds]
Tuplanolla has joined #ocaml
bobo_ has quit [Ping timeout: 240 seconds]
bobo_ has joined #ocaml
Haudegen has joined #ocaml
<d_bot>
<darrenldl> i'm still waiting on timedesc 0.8.0 PR being merged before making announcement : v
mg_ is now known as mg
mro has joined #ocaml
mro has quit [Remote host closed the connection]
azimut has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
bartholin has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<d_bot>
<darrenldl> do people consider sexplib a lightweight dep?
<d_bot>
<VPhantom> It doesn't depend on Base, does it?
mro has joined #ocaml
<d_bot>
<VPhantom> Nevermind, its dependencies do depend on it.
<d_bot>
<leviroth> Can you get away with just `sexplib0`?
mro has quit [Read error: Connection reset by peer]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<d_bot>
<darrenldl> i need parsing
<d_bot>
<darrenldl> which sexplib0 itself doesnt do iirc(?)
<d_bot>
<darrenldl> is base (very) heavy?
Haudegen has quit [Quit: Bin weg.]
mro has joined #ocaml
<d_bot>
<Anurag> No it’s not. It’s only dependency is dune
mro has quit [Read error: Connection reset by peer]
mro has joined #ocaml
fds has quit [Ping timeout: 255 seconds]
mro has quit [Client Quit]
<d_bot>
<darrenldl> coolio, ano need to do another breaking change
<d_bot>
<darrenldl> no*
<d_bot>
<Anurag> I started using it around 0.10 and they are up to 0.15 right now. I haven’t had to change any of my Base usage in that time.
<d_bot>
<Anurag> Oh I guess it depends on sexplib0 but that’s a light dependency
<companion_cube>
@darrendl there's a small sexp parser in containers ;)
fds has joined #ocaml
<d_bot>
<darrenldl> is containers more lightweight than base?
azimut_ has joined #ocaml
azimut has quit [Ping timeout: 268 seconds]
<d_bot>
<darrenldl> (was using that precisely in previous versions, but just cut many deps recently including containers, to hopefully make timedesc an easier choice)
<d_bot>
<Anurag> Depends on how you define “lightweight” I guess. My personal opinion is that both base and containers are high quality and neither one of them is a “heavy” dependency.
<companion_cube>
ah, for timedesc, right
<companion_cube>
sexplib0 is more lightweight now I think
<d_bot>
<darrenldl> ah well, too late
<companion_cube>
they truly removed everything but the types though
<d_bot>
<darrenldl> companion_cube: yeah sexplib depends on base
<companion_cube>
oh I see.
<d_bot>
<Anurag> Sexplib0 indeed is a good base for s-expressions. You can pair that with ppx_sexp_conv and use deriving inline which lets you stick to sexplib0 for the final library
<d_bot>
<darrenldl> seeing many packages using sexplob though, so perhaps it's good enough
<d_bot>
<Anurag> With deriving inline you won’t need to depend on base for your library if the only thing you use is sexplib0
<companion_cube>
it's a bit sad to have to pull the whole of base but well
<d_bot>
<darrenldl> yeah...
<companion_cube>
idk how base behaves if you only link part of it
<d_bot>
<darrenldl> as long as i dont open Base, i dont have to care anyway right
<companion_cube>
well sexplib will use some of it
<companion_cube>
otherwise it wouldn't depend on it :)
<d_bot>
<darrenldl> right you're talking about that hm...
<d_bot>
<octachron> Only used modules will be linked.
bastienleonard has joined #ocaml
<d_bot>
<darrenldl> probably should replace use of mparser with angstrom come to think of it hm...
<d_bot>
<darrenldl> oh well, goal for next 6 months possibly : v
Haudegen has joined #ocaml
azimut_ has quit [Remote host closed the connection]
azimut has joined #ocaml
gwizon has joined #ocaml
slothby has joined #ocaml
infiniteregrets has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bartholin has quit [Quit: Leaving]
Haudegen has quit [Quit: Bin weg.]
gwizon has quit [Quit: leaving]
zebrag has joined #ocaml
<d_bot>
<p0lunin> Hi, I'm using ppx_compare and I have huge part of type definitions:
<d_bot>
<p0lunin> ```
<d_bot>
<p0lunin> type _ = ...
<d_bot>
<p0lunin> ...
<d_bot>
<p0lunin> and huge_ty =
<d_bot>
<p0lunin> ...
<d_bot>
<p0lunin> | WrapVariant of string * huge_ty
<d_bot>
<p0lunin> ...
<d_bot>
<p0lunin> ...
<d_bot>
<p0lunin> [@@deriving equal]
<d_bot>
<p0lunin> ```
<d_bot>
<p0lunin> I want to override equality for the `WrapVariant` but I do not understand how can I do this. I think I cannot create a new module with type `wrap_type = string * huge_type` because in that case they are mutually exclusive. What can I do?
<d_bot>
<NULL> If you're only interested in the value of the string, you can `type 'a wrap_type = string * 'a`
rgrinberg has joined #ocaml
infiniteregrets has quit [Quit: Client closed]
Serpent7776 has joined #ocaml
infiniteregrets has joined #ocaml
infiniteregrets has quit [Client Quit]
pieguy128 has quit [Ping timeout: 264 seconds]
pieguy128 has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mbuf has quit [Quit: Leaving]
rgrinberg has joined #ocaml
herrschreinerei has quit [Ping timeout: 246 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot>
<sim642> I was gonna suggest just using the attribute that override's a type's implementation, but apparently ppx_compare doesn't seem to have it. ppx_deriving does and I think would allow doing it that way
raskol has joined #ocaml
<d_bot>
<mpmfrans> Hello, is this the official Ocaml discord?
<d_bot>
<geoff> yes
<d_bot>
<mpmfrans> 🥳
<d_bot>
<mpmfrans> I am so excited. The reason I am learning Ocaml is because of Binary Analysis Platform (BAP). I am integrating BAP as symbolic execution engine.
<d_bot>
<Ulugbek> Integrating bap into what, if not a secret? 🙂
grobe0ba_ has joined #ocaml
grobe0ba has quit [Ping timeout: 264 seconds]
grobe0ba_ is now known as grobe0ba
<d_bot>
<mpmfrans> Its a research I am doing for the university. Company has AFL++ as fuzzing setup. We want to integrate symbolic execution to increase code coverage for AFL++. Someone already did research on what symbolic execution engine and as a result BAP.
Sankalp has quit [Ping timeout: 244 seconds]
romildo has joined #ocaml
spip has quit [Ping timeout: 244 seconds]
bobo_ has joined #ocaml
romildo has quit [Quit: Leaving]
bastienleonard has quit [Ping timeout: 276 seconds]