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
Haudegen has quit [Ping timeout: 256 seconds]
jlrnick has joined #ocaml
rawley has joined #ocaml
vicfred has quit [Quit: Leaving]
jlrnick has quit [Ping timeout: 248 seconds]
chrisz has quit [Ping timeout: 256 seconds]
chrisz has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
rawley has quit [Remote host closed the connection]
<Corbin> Oh, I think I finally understand. The CAM really can be implemented in a weekend. It just takes a few years to grok the machine first!
shawnw has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot> <Continuation Calculus> always pushing the limit, wooo. So: I am trying to get a module's type, but abstract only one of its types
<d_bot> <Continuation Calculus> the basic hack that I use is `sig type t ;; include module type of M with type t := t end`
<d_bot> <Continuation Calculus> now, I have the same problem, but with a functor's type
<d_bot> <Continuation Calculus> the hack becomes a bit uglier:
<d_bot> <Continuation Calculus> (because the type I want to abstract over is a type from the parameter that the functor re-exports)
<d_bot> <Continuation Calculus> https://pastebin.com/H3V6YZ17
<d_bot> <Continuation Calculus> and now, I am trying to use a parametric `'a t` type instead, and I get `Error: invalid package type: parametrized types are not supported` 😦
<d_bot> <Continuation Calculus> I guess i'll have to find some other hack to do this, if anyone has any in mind
jlrnick has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
bartholin has joined #ocaml
jlrnick has quit [Ping timeout: 248 seconds]
mro has joined #ocaml
chrisz has quit [Ping timeout: 240 seconds]
chrisz has joined #ocaml
mro has quit [Remote host closed the connection]
dextaa has quit [Remote host closed the connection]
dextaa has joined #ocaml
Anarchos has joined #ocaml
spip has quit [Ping timeout: 246 seconds]
spip has joined #ocaml
Serpent7776 has joined #ocaml
ahmed_ has joined #ocaml
<reynir> wow, ocp-indent failed to indent lines in my file, and the cause was a tab character used for indentation many lines above
dextaa has quit [Remote host closed the connection]
dextaa has joined #ocaml
dextaa has quit [Remote host closed the connection]
dextaa has joined #ocaml
jlrnick has joined #ocaml
dextaa has quit [Remote host closed the connection]
dextaa has joined #ocaml
jlrnick has quit [Ping timeout: 248 seconds]
ralu has quit [Ping timeout: 248 seconds]
kaph_ has quit [Ping timeout: 272 seconds]
kaph_ has joined #ocaml
kaph_ has quit [Ping timeout: 268 seconds]
ahmed__ has joined #ocaml
ahmed_ has quit [Ping timeout: 248 seconds]
<d_bot> <Le condor du plateau> how can I generate `t_of_sexp` and `sexp_of_t` functions for a non-abstract `t` type from an external library with the ppx sexp_conv ?
Haudegen has joined #ocaml
TheRuralJuror has joined #ocaml
<d_bot> <Alistair> Use ppx import which will import the type definition and add a deriving sexp at the end of the import
<d_bot> <Le condor du plateau> so it adds a dependency?
<d_bot> <Le condor du plateau> `
<d_bot> <Le condor du plateau> include struct
<d_bot> <Le condor du plateau> open Sexplib
<d_bot> <Le condor du plateau>
<d_bot> <Le condor du plateau> type style = LTerm_style.t = {
<d_bot> <Le condor du plateau> bold : bool option;
<d_bot> <Le condor du plateau> underline : bool option;
<d_bot> <Le condor du plateau> blink : bool option;
<d_bot> <Le condor du plateau> reverse : bool option;
<d_bot> <Le condor du plateau> foreground : LTerm_style.color option;
<d_bot> <Le condor du plateau> background : LTerm_style.color option;
<d_bot> <Le condor du plateau> }
<d_bot> <Le condor du plateau> [@@deriving sexp]
<d_bot> <Le condor du plateau> end
<d_bot> <Le condor du plateau> oups
<d_bot> <Le condor du plateau> https://pastebin.com/FV5zTtLj
<d_bot> <Le condor du plateau> I made this dirty solution
<d_bot> <Alistair> Yeah, ppx import will write the add the MyLib.t = ... bit for you
<d_bot> <Le condor du plateau> okay thanks I'll check it out, thanks!
ahmed__ has quit [Quit: Leaving]
dextaa has quit [Read error: Connection reset by peer]
dextaa has joined #ocaml
kaph_ has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
shawnw has quit [Ping timeout: 248 seconds]
mro has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
<d_bot> <mbacarella> is there a successor to ppx_tools_versioned.metaquot?
mro has joined #ocaml
zebrag has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
kaph_ has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
vicfred has joined #ocaml
vicfred has quit [Quit: Leaving]
waleee has joined #ocaml
<sim642> ppxlib.metaquot?
Anarchos has quit [Quit: Vision[]: i've been blurred!]
gravicappa has joined #ocaml
vicfred has joined #ocaml
Anarchos has joined #ocaml
kakadu has quit [Remote host closed the connection]
mro has quit [Quit: Leaving...]
<d_bot> <mbacarella> 🤔
gravicappa has quit [Ping timeout: 268 seconds]
<d_bot> <mbacarella> i guess ppxlib.metaquot supersedes https://github.com/thierry-martinez/metaquot ?
vicfred has quit [Quit: Leaving]
<d_bot> <mbacarella> sounds like ppxlib is the authoritative thing? https://discuss.ocaml.org/t/the-future-of-ppx/3766
motherfsck has quit [Ping timeout: 256 seconds]
<d_bot> <mbacarella> oh, no, the thierry-martinez one seems to do a different thing
Anarchos has quit [Quit: Vision[]: i've been blurred!]
<d_bot> <Anurag> <https://github.com/ocaml-ppx/ppxlib/tree/main/metaquot> is the ppxlib's metaquot
<d_bot> <mbacarella> guys what about a rewriter *rewriter* that took *two* ASTs and used the *first AST to rewrite the second AST*
motherfsck has joined #ocaml
Soni is now known as queerdayofvengea
queerdayofvengea is now known as Soni
Anarchos has joined #ocaml
kaph has joined #ocaml
<d_bot> <Et7f3 (@me on reply)> Like first=`Convert(Mul(Var("x"), Const_int(2)), Add(Var("x"), Var("x")))` and second=`Mul(Var("x"), Const_int(2))` ?
ralu1 has joined #ocaml
olle has joined #ocaml
ralu1 has quit [Quit: The Lounge - https://thelounge.chat]
bobo has joined #ocaml
spip has quit [Ping timeout: 246 seconds]
ralu1 has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Serpent7776 has quit [Quit: leaving]
rgrinberg has joined #ocaml
olle has quit [Ping timeout: 272 seconds]
wyrd has quit [Ping timeout: 240 seconds]
wyrd has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bartholin has quit [Quit: Leaving]
vicfred has joined #ocaml
TheRuralJuror has quit [Ping timeout: 246 seconds]
Techcable has quit [Remote host closed the connection]
Techcable has joined #ocaml