adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 246 seconds]
keep_learning has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
pmetzger has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
olle has quit [Ping timeout: 276 seconds]
toppler has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
AtumT has quit [Quit: AtumT]
pmetzger has quit []
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 250 seconds]
toppler has joined #ocaml
analogue has quit [Quit: Leaving]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
rople has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
jao has quit [Remote host closed the connection]
tormen has joined #ocaml
mfp has quit [Ping timeout: 250 seconds]
tormen_ has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
rople has quit [Ping timeout: 276 seconds]
rople has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
nullifidian_ is now known as nullifidian
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
Traviss__ has joined #ocaml
traviss has quit [Ping timeout: 245 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
kleisli has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 250 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
narimiran has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 250 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 264 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
barockobamo has joined #ocaml
toppler has joined #ocaml
mbuf has joined #ocaml
toppler has quit [Ping timeout: 245 seconds]
vesper11- has quit [Read error: Connection reset by peer]
vesper11 has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 245 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
nullifidian has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
ohama has quit [Ping timeout: 265 seconds]
gravicappa has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
Serpent7776 has joined #ocaml
toppler has joined #ocaml
ohama has joined #ocaml
<obadz> newbie here, how can I "import" ppx_deriving in the repl?
toppler has quit [Ping timeout: 240 seconds]
ohama has quit [Disconnected by services]
ohama has joined #ocaml
toppler has joined #ocaml
<vsiles> in utop you can run `#require "ppx_deriving"` but then it dies with `Error: Cannot locate the derivier show`... I'm not sure how to find that
<obadz> vsiles: yup same error here
toppler has quit [Ping timeout: 246 seconds]
toppler has joined #ocaml
<Leonidas> obadz: #require "ppx_deriving.show"
<Leonidas> ppx_deriving is just the framework, you need to load the derivers you want to use
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
nullifidian has joined #ocaml
<vsiles> Leonidas: thx !
toppler has quit [Ping timeout: 245 seconds]
toppler has joined #ocaml
ollehar has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
orbifx2 has joined #ocaml
toppler has joined #ocaml
Traviss__ has quit [Ping timeout: 240 seconds]
orbifx2 has quit [Read error: Connection reset by peer]
bartholin has quit [Remote host closed the connection]
traviss has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
orbifx2 has joined #ocaml
jaar has joined #ocaml
toppler has joined #ocaml
flodin_ has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 265 seconds]
bitwinery has quit [Quit: Leaving]
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
orbifx2 has quit [Read error: Connection reset by peer]
orbifx2 has joined #ocaml
toppler has quit [Ping timeout: 245 seconds]
toppler has joined #ocaml
KeyJoo has joined #ocaml
pino|work has quit [Quit: brb]
orbifx2 has quit [Read error: Connection reset by peer]
orbifx2 has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
nullifidian_ has joined #ocaml
pino|work has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
barockobamo has quit [Ping timeout: 265 seconds]
toppler has quit [Ping timeout: 245 seconds]
mfp has joined #ocaml
toppler has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
toppler has quit [Ping timeout: 246 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
jaar has quit [Ping timeout: 252 seconds]
toppler has quit [Ping timeout: 250 seconds]
tane has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
jaar has joined #ocaml
toppler has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 240 seconds]
AtumT has joined #ocaml
rople has quit [Ping timeout: 265 seconds]
ggole has joined #ocaml
toppler has joined #ocaml
pioneer42 has joined #ocaml
barockobamo has joined #ocaml
toppler has quit [Ping timeout: 264 seconds]
barockobamo has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 276 seconds]
pioneer42 has left #ocaml [#ocaml]
toppler has joined #ocaml
toppler has quit [Ping timeout: 250 seconds]
jbrown has joined #ocaml
toppler has joined #ocaml
pmetzger has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 245 seconds]
Serpent7776 has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
malc_ has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 264 seconds]
toppler has joined #ocaml
malc_ has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
<companion_cube> or just require "ppx_deriving.std"
toppler has joined #ocaml
<Leonidas> personally I prefer to be explicit which ppxes I run, but yeah, jst also has ppx_jane which is "basically all"
gravicappa has quit [Ping timeout: 240 seconds]
gravicappa has joined #ocaml
<companion_cube> JST is fully committed to the "move fast" philosophy, always living on the latest version. It seems to work well for them.
toppler has quit [Ping timeout: 250 seconds]
spew has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
jao has joined #ocaml
FreeBirdLjj has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
barockobamo has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
jack5638 has quit [Ping timeout: 245 seconds]
oz has left #ocaml ["WeeChat 2.6"]
toppler has joined #ocaml
jack5638 has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
pmetzger_ has joined #ocaml
toppler has joined #ocaml
smazga has joined #ocaml
pmetzger has quit [Ping timeout: 246 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
kleisli has joined #ocaml
nullifidian_ is now known as nullifidian
toppler has quit [Ping timeout: 250 seconds]
ollehar has quit [Ping timeout: 250 seconds]
orbifx2 has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
Serpent7776 has quit [Quit: Leaving]
kleisli has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
toppler has joined #ocaml
toppler has quit [Ping timeout: 250 seconds]
pino|work has quit [Quit: bye]
kleisli has joined #ocaml
toppler has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
jgkamat has quit [Quit: ZNC - https://znc.in]
toppler has quit [Ping timeout: 265 seconds]
jgkamat has joined #ocaml
narimiran has quit [Remote host closed the connection]
narimiran has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
toppler has joined #ocaml
bartholin has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
ziyourenxiang_ has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
barockobamo has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
jgkamat has quit [Quit: ZNC - https://znc.in]
jgkamat has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
kakadu has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
mbuf has quit [Quit: Leaving]
toppler has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
jgkamat has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
gareppa has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
bitwinery has joined #ocaml
jgkamat has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
ggole has quit [Ping timeout: 245 seconds]
ggole- has joined #ocaml
toppler has joined #ocaml
gareppa has quit [Quit: Leaving]
ggole_ has joined #ocaml
ggole- has quit [Ping timeout: 250 seconds]
ggole_ has quit [Client Quit]
toppler has quit [Ping timeout: 250 seconds]
Serpent7776 has joined #ocaml
orbifx2 has joined #ocaml
toppler has joined #ocaml
kleisli has quit [Ping timeout: 268 seconds]
nullifidian_ has joined #ocaml
kleisli has joined #ocaml
nullifidian has quit [Ping timeout: 265 seconds]
toppler has quit [Ping timeout: 264 seconds]
nullifidian_ is now known as nullifidian
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
kleisli has quit [Ping timeout: 246 seconds]
toppler has joined #ocaml
jao has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 268 seconds]
jaar has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
<obadz> Leonidas: thanks!
jao has joined #ocaml
jao is now known as Guest8858
Guest8858 has quit [Remote host closed the connection]
jao- has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
kleisli has joined #ocaml
toppler has joined #ocaml
jnavila has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
orbifx2 has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
orbifx2 has joined #ocaml
toppler has joined #ocaml
gravicappa has quit [Ping timeout: 276 seconds]
andreas303 has quit [Ping timeout: 260 seconds]
andreas31 has joined #ocaml
narimiran has quit [Ping timeout: 268 seconds]
toppler has quit [Ping timeout: 265 seconds]
kleisli has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
kleisli has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
orbifx2 has quit [Ping timeout: 265 seconds]
kleisli has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
Serpent7776 has quit [Quit: leaving]
toppler has joined #ocaml
jnavila has quit [Remote host closed the connection]
orbifx2 has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
orbifx2 has quit [Ping timeout: 268 seconds]
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
pmetzger_ has quit [Remote host closed the connection]
<adrien> I have a module LowLevel = struct type t = foobar end, and I want to make a higher-level module that "inherits" from it and hides the type t implementation; I thought about "with type t ...' but this construct can only add information, not remove some
<adrien> is there a way to achieve that?
infinity0 has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 276 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 250 seconds]
pmetzger has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
toppler has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
toppler has quit [Ping timeout: 250 seconds]
orbifx2 has joined #ocaml
toppler has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
orbifx2 has quit [Ping timeout: 276 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
tormen has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
smazga has quit [Quit: leaving]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
ziyourenxiang_ has joined #ocaml
toppler has joined #ocaml