00:01
toppler has joined #ocaml
00:07
toppler has quit [Ping timeout: 240 seconds]
00:12
toppler has joined #ocaml
00:19
toppler has quit [Ping timeout: 246 seconds]
00:19
keep_learning has joined #ocaml
00:24
toppler has joined #ocaml
00:30
toppler has quit [Ping timeout: 240 seconds]
00:31
pmetzger has joined #ocaml
00:36
toppler has joined #ocaml
00:43
toppler has quit [Ping timeout: 240 seconds]
00:49
toppler has joined #ocaml
00:55
olle has quit [Ping timeout: 276 seconds]
00:56
toppler has quit [Ping timeout: 268 seconds]
00:56
olle has joined #ocaml
00:57
AtumT has quit [Quit: AtumT]
01:00
pmetzger has quit []
01:01
toppler has joined #ocaml
01:08
toppler has quit [Ping timeout: 240 seconds]
01:13
toppler has joined #ocaml
01:19
toppler has quit [Ping timeout: 240 seconds]
01:25
toppler has joined #ocaml
01:32
toppler has quit [Ping timeout: 240 seconds]
01:38
toppler has joined #ocaml
01:45
toppler has quit [Ping timeout: 250 seconds]
01:50
toppler has joined #ocaml
01:51
analogue has quit [Quit: Leaving]
01:56
toppler has quit [Ping timeout: 240 seconds]
02:02
toppler has joined #ocaml
02:03
rople has joined #ocaml
02:07
toppler has quit [Ping timeout: 268 seconds]
02:13
toppler has joined #ocaml
02:13
jao has quit [Remote host closed the connection]
02:15
tormen has joined #ocaml
02:16
mfp has quit [Ping timeout: 250 seconds]
02:18
tormen_ has quit [Ping timeout: 240 seconds]
02:20
toppler has quit [Ping timeout: 268 seconds]
02:25
toppler has joined #ocaml
02:32
toppler has quit [Ping timeout: 268 seconds]
02:37
toppler has joined #ocaml
02:37
rople has quit [Ping timeout: 276 seconds]
02:40
rople has joined #ocaml
02:44
toppler has quit [Ping timeout: 240 seconds]
02:49
toppler has joined #ocaml
02:56
toppler has quit [Ping timeout: 265 seconds]
03:01
toppler has joined #ocaml
03:09
toppler has quit [Ping timeout: 268 seconds]
03:14
nullifidian_ is now known as nullifidian
03:14
toppler has joined #ocaml
03:21
toppler has quit [Ping timeout: 268 seconds]
03:26
toppler has joined #ocaml
03:43
toppler has quit [Ping timeout: 268 seconds]
03:49
toppler has joined #ocaml
03:56
toppler has quit [Ping timeout: 240 seconds]
04:03
toppler has joined #ocaml
04:10
toppler has quit [Ping timeout: 240 seconds]
04:10
Traviss__ has joined #ocaml
04:13
traviss has quit [Ping timeout: 245 seconds]
04:16
toppler has joined #ocaml
04:23
toppler has quit [Ping timeout: 240 seconds]
04:28
toppler has joined #ocaml
04:35
toppler has quit [Ping timeout: 265 seconds]
04:40
toppler has joined #ocaml
04:48
toppler has quit [Ping timeout: 265 seconds]
04:52
toppler has joined #ocaml
04:59
kleisli has quit [Ping timeout: 240 seconds]
04:59
toppler has quit [Ping timeout: 265 seconds]
05:05
toppler has joined #ocaml
05:12
toppler has quit [Ping timeout: 240 seconds]
05:17
toppler has joined #ocaml
05:25
toppler has quit [Ping timeout: 250 seconds]
05:30
toppler has joined #ocaml
05:37
toppler has quit [Ping timeout: 240 seconds]
05:42
narimiran has joined #ocaml
05:43
toppler has joined #ocaml
05:50
toppler has quit [Ping timeout: 250 seconds]
05:56
toppler has joined #ocaml
06:03
toppler has quit [Ping timeout: 264 seconds]
06:10
toppler has joined #ocaml
06:18
toppler has quit [Ping timeout: 276 seconds]
06:21
barockobamo has joined #ocaml
06:23
toppler has joined #ocaml
06:28
mbuf has joined #ocaml
06:31
toppler has quit [Ping timeout: 245 seconds]
06:33
vesper11- has quit [Read error: Connection reset by peer]
06:36
vesper11 has joined #ocaml
06:36
toppler has joined #ocaml
06:43
toppler has quit [Ping timeout: 245 seconds]
06:49
toppler has joined #ocaml
06:57
toppler has quit [Ping timeout: 265 seconds]
06:59
nullifidian has quit [Ping timeout: 240 seconds]
07:03
toppler has joined #ocaml
07:09
ohama has quit [Ping timeout: 265 seconds]
07:09
gravicappa has joined #ocaml
07:11
toppler has quit [Ping timeout: 240 seconds]
07:16
Serpent7776 has joined #ocaml
07:16
toppler has joined #ocaml
07:16
ohama has joined #ocaml
07:22
<
obadz >
newbie here, how can I "import" ppx_deriving in the repl?
07:24
toppler has quit [Ping timeout: 240 seconds]
07:29
ohama has quit [Disconnected by services]
07:29
ohama has joined #ocaml
07:29
toppler has joined #ocaml
07:29
<
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
07:36
<
obadz >
vsiles: yup same error here
07:37
toppler has quit [Ping timeout: 246 seconds]
07:42
toppler has joined #ocaml
07:49
<
Leonidas >
obadz: #require "ppx_deriving.show"
07:50
<
Leonidas >
ppx_deriving is just the framework, you need to load the derivers you want to use
07:50
toppler has quit [Ping timeout: 268 seconds]
07:55
toppler has joined #ocaml
07:55
nullifidian has joined #ocaml
07:57
<
vsiles >
Leonidas: thx !
08:01
toppler has quit [Ping timeout: 245 seconds]
08:08
toppler has joined #ocaml
08:10
ollehar has joined #ocaml
08:15
toppler has quit [Ping timeout: 265 seconds]
08:17
orbifx2 has joined #ocaml
08:21
toppler has joined #ocaml
08:25
Traviss__ has quit [Ping timeout: 240 seconds]
08:27
orbifx2 has quit [Read error: Connection reset by peer]
08:28
bartholin has quit [Remote host closed the connection]
08:28
traviss has joined #ocaml
08:29
toppler has quit [Ping timeout: 276 seconds]
08:29
orbifx2 has joined #ocaml
08:30
jaar has joined #ocaml
08:34
toppler has joined #ocaml
08:37
flodin_ has quit [Remote host closed the connection]
08:42
toppler has quit [Ping timeout: 265 seconds]
08:44
bitwinery has quit [Quit: Leaving]
08:47
jaar has quit [Remote host closed the connection]
08:47
jaar has joined #ocaml
08:48
toppler has joined #ocaml
08:55
toppler has quit [Ping timeout: 240 seconds]
09:01
toppler has joined #ocaml
09:06
orbifx2 has quit [Read error: Connection reset by peer]
09:07
orbifx2 has joined #ocaml
09:09
toppler has quit [Ping timeout: 245 seconds]
09:15
toppler has joined #ocaml
09:18
KeyJoo has joined #ocaml
09:19
pino|work has quit [Quit: brb]
09:20
orbifx2 has quit [Read error: Connection reset by peer]
09:21
orbifx2 has joined #ocaml
09:22
toppler has quit [Ping timeout: 240 seconds]
09:28
toppler has joined #ocaml
09:30
nullifidian_ has joined #ocaml
09:30
pino|work has joined #ocaml
09:31
nullifidian has quit [Read error: Connection reset by peer]
09:36
toppler has quit [Ping timeout: 265 seconds]
09:41
toppler has joined #ocaml
10:03
barockobamo has quit [Ping timeout: 265 seconds]
10:04
toppler has quit [Ping timeout: 245 seconds]
10:07
mfp has joined #ocaml
10:10
toppler has joined #ocaml
10:17
KeyJoo has quit [Quit: KeyJoo]
10:18
toppler has quit [Ping timeout: 246 seconds]
10:24
toppler has joined #ocaml
10:33
toppler has quit [Ping timeout: 265 seconds]
10:39
toppler has joined #ocaml
10:47
toppler has quit [Ping timeout: 268 seconds]
10:53
toppler has joined #ocaml
10:54
FreeBirdLjj has joined #ocaml
11:00
jaar has quit [Ping timeout: 252 seconds]
11:02
toppler has quit [Ping timeout: 250 seconds]
11:05
tane has joined #ocaml
11:08
toppler has joined #ocaml
11:16
toppler has quit [Ping timeout: 265 seconds]
11:18
jaar has joined #ocaml
11:21
toppler has joined #ocaml
11:23
Haudegen has joined #ocaml
11:24
FreeBirdLjj has quit [Remote host closed the connection]
11:29
toppler has quit [Ping timeout: 240 seconds]
11:32
AtumT has joined #ocaml
11:32
rople has quit [Ping timeout: 265 seconds]
11:33
ggole has joined #ocaml
11:37
toppler has joined #ocaml
11:37
pioneer42 has joined #ocaml
11:39
barockobamo has joined #ocaml
11:45
toppler has quit [Ping timeout: 264 seconds]
11:48
barockobamo has quit [Remote host closed the connection]
11:49
jbrown has quit [Ping timeout: 276 seconds]
11:49
pioneer42 has left #ocaml [#ocaml]
11:50
toppler has joined #ocaml
11:59
toppler has quit [Ping timeout: 250 seconds]
12:01
jbrown has joined #ocaml
12:05
toppler has joined #ocaml
12:10
pmetzger has joined #ocaml
12:13
toppler has quit [Ping timeout: 265 seconds]
12:18
toppler has joined #ocaml
12:26
toppler has quit [Ping timeout: 245 seconds]
12:27
Serpent7776 has quit [Remote host closed the connection]
12:27
Serpent7776 has joined #ocaml
12:28
malc_ has joined #ocaml
12:31
toppler has joined #ocaml
12:39
toppler has quit [Ping timeout: 264 seconds]
12:44
toppler has joined #ocaml
12:45
malc_ has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]
12:52
toppler has quit [Ping timeout: 240 seconds]
12:58
toppler has joined #ocaml
13:07
toppler has quit [Ping timeout: 268 seconds]
13:12
toppler has joined #ocaml
13:20
toppler has quit [Ping timeout: 240 seconds]
13:21
<
companion_cube >
or just require "ppx_deriving.std"
13:26
toppler has joined #ocaml
13:28
<
Leonidas >
personally I prefer to be explicit which ppxes I run, but yeah, jst also has ppx_jane which is "basically all"
13:28
gravicappa has quit [Ping timeout: 240 seconds]
13:28
gravicappa has joined #ocaml
13:29
<
companion_cube >
JST is fully committed to the "move fast" philosophy, always living on the latest version. It seems to work well for them.
13:34
toppler has quit [Ping timeout: 250 seconds]
13:38
spew has joined #ocaml
13:40
toppler has joined #ocaml
13:48
toppler has quit [Ping timeout: 240 seconds]
13:54
toppler has joined #ocaml
13:57
jao has joined #ocaml
13:57
FreeBirdLjj has joined #ocaml
14:04
toppler has quit [Ping timeout: 265 seconds]
14:06
barockobamo has joined #ocaml
14:10
toppler has joined #ocaml
14:17
toppler has quit [Ping timeout: 240 seconds]
14:19
jack5638 has quit [Ping timeout: 245 seconds]
14:21
oz has left #ocaml ["WeeChat 2.6"]
14:23
toppler has joined #ocaml
14:28
jack5638 has joined #ocaml
14:31
toppler has quit [Ping timeout: 240 seconds]
14:37
pmetzger_ has joined #ocaml
14:37
toppler has joined #ocaml
14:38
smazga has joined #ocaml
14:40
pmetzger has quit [Ping timeout: 246 seconds]
14:45
toppler has quit [Ping timeout: 240 seconds]
14:51
toppler has joined #ocaml
14:55
kleisli has joined #ocaml
14:58
nullifidian_ is now known as nullifidian
14:59
toppler has quit [Ping timeout: 250 seconds]
15:04
ollehar has quit [Ping timeout: 250 seconds]
15:05
orbifx2 has quit [Ping timeout: 268 seconds]
15:07
toppler has joined #ocaml
15:15
toppler has quit [Ping timeout: 268 seconds]
15:17
Serpent7776 has quit [Quit: Leaving]
15:18
kleisli has quit [Ping timeout: 240 seconds]
15:21
toppler has joined #ocaml
15:28
toppler has quit [Ping timeout: 240 seconds]
15:32
FreeBirdLjj has quit [Remote host closed the connection]
15:34
toppler has joined #ocaml
15:43
toppler has quit [Ping timeout: 250 seconds]
15:45
pino|work has quit [Quit: bye]
15:47
kleisli has joined #ocaml
15:50
toppler has joined #ocaml
15:50
Haudegen has quit [Quit: Bin weg.]
15:57
toppler has quit [Ping timeout: 265 seconds]
15:57
jgkamat has joined #ocaml
15:58
narimiran has quit [Remote host closed the connection]
16:01
narimiran has joined #ocaml
16:02
kleisli has quit [Remote host closed the connection]
16:02
kleisli has joined #ocaml
16:03
toppler has joined #ocaml
16:05
bartholin has joined #ocaml
16:11
toppler has quit [Ping timeout: 240 seconds]
16:15
ziyourenxiang_ has quit [Ping timeout: 240 seconds]
16:18
toppler has joined #ocaml
16:20
barockobamo has quit [Remote host closed the connection]
16:26
toppler has quit [Ping timeout: 240 seconds]
16:31
toppler has joined #ocaml
16:38
jgkamat has joined #ocaml
16:39
toppler has quit [Ping timeout: 240 seconds]
16:42
FreeBirdLjj has joined #ocaml
16:44
kakadu has joined #ocaml
16:45
toppler has joined #ocaml
16:46
FreeBirdLjj has quit [Ping timeout: 240 seconds]
16:50
mbuf has quit [Quit: Leaving]
16:53
toppler has quit [Ping timeout: 250 seconds]
16:58
Haudegen has joined #ocaml
16:59
toppler has joined #ocaml
17:08
toppler has quit [Ping timeout: 268 seconds]
17:12
jgkamat has quit [Ping timeout: 265 seconds]
17:13
toppler has joined #ocaml
17:20
gareppa has joined #ocaml
17:21
toppler has quit [Ping timeout: 240 seconds]
17:23
bitwinery has joined #ocaml
17:24
jgkamat has joined #ocaml
17:28
toppler has joined #ocaml
17:36
toppler has quit [Ping timeout: 240 seconds]
17:40
ggole has quit [Ping timeout: 245 seconds]
17:40
ggole- has joined #ocaml
17:42
toppler has joined #ocaml
17:45
gareppa has quit [Quit: Leaving]
17:45
ggole_ has joined #ocaml
17:48
ggole- has quit [Ping timeout: 250 seconds]
17:50
ggole_ has quit [Client Quit]
17:51
toppler has quit [Ping timeout: 250 seconds]
17:52
Serpent7776 has joined #ocaml
17:57
orbifx2 has joined #ocaml
17:57
toppler has joined #ocaml
17:59
kleisli has quit [Ping timeout: 268 seconds]
18:01
nullifidian_ has joined #ocaml
18:01
kleisli has joined #ocaml
18:03
nullifidian has quit [Ping timeout: 265 seconds]
18:05
toppler has quit [Ping timeout: 264 seconds]
18:07
nullifidian_ is now known as nullifidian
18:11
toppler has joined #ocaml
18:19
toppler has quit [Ping timeout: 240 seconds]
18:23
kleisli has quit [Ping timeout: 246 seconds]
18:25
toppler has joined #ocaml
18:31
jao has quit [Remote host closed the connection]
18:34
toppler has quit [Ping timeout: 268 seconds]
18:36
jaar has quit [Ping timeout: 240 seconds]
18:37
infinity0 has joined #ocaml
18:39
toppler has joined #ocaml
18:48
toppler has quit [Ping timeout: 265 seconds]
18:51
<
obadz >
Leonidas: thanks!
18:52
jao has joined #ocaml
18:52
jao is now known as Guest8858
18:53
Guest8858 has quit [Remote host closed the connection]
18:54
jao- has joined #ocaml
18:54
toppler has joined #ocaml
19:03
toppler has quit [Ping timeout: 268 seconds]
19:05
kleisli has joined #ocaml
19:09
toppler has joined #ocaml
19:09
jnavila has joined #ocaml
19:16
toppler has quit [Ping timeout: 240 seconds]
19:23
toppler has joined #ocaml
19:26
klntsky has quit [Remote host closed the connection]
19:27
klntsky has joined #ocaml
19:32
toppler has quit [Ping timeout: 240 seconds]
19:32
orbifx2 has quit [Ping timeout: 268 seconds]
19:38
toppler has joined #ocaml
19:46
toppler has quit [Ping timeout: 240 seconds]
19:48
tane has quit [Quit: Leaving]
19:53
toppler has joined #ocaml
20:02
toppler has quit [Ping timeout: 265 seconds]
20:05
orbifx2 has joined #ocaml
20:10
toppler has joined #ocaml
20:10
gravicappa has quit [Ping timeout: 276 seconds]
20:10
andreas303 has quit [Ping timeout: 260 seconds]
20:12
andreas31 has joined #ocaml
20:16
narimiran has quit [Ping timeout: 268 seconds]
20:17
toppler has quit [Ping timeout: 265 seconds]
20:19
kleisli has quit [Ping timeout: 268 seconds]
20:23
toppler has joined #ocaml
20:24
kleisli has joined #ocaml
20:31
toppler has quit [Ping timeout: 265 seconds]
20:31
orbifx2 has quit [Ping timeout: 265 seconds]
20:32
kleisli has quit [Ping timeout: 268 seconds]
20:36
toppler has joined #ocaml
20:45
toppler has quit [Ping timeout: 240 seconds]
20:47
Serpent7776 has quit [Quit: leaving]
20:52
toppler has joined #ocaml
20:58
jnavila has quit [Remote host closed the connection]
20:59
orbifx2 has joined #ocaml
21:01
toppler has quit [Ping timeout: 240 seconds]
21:08
toppler has joined #ocaml
21:17
toppler has quit [Ping timeout: 268 seconds]
21:23
toppler has joined #ocaml
21:26
orbifx2 has quit [Ping timeout: 268 seconds]
21:33
toppler has quit [Ping timeout: 268 seconds]
21:39
toppler has joined #ocaml
21:44
pmetzger_ has quit [Remote host closed the connection]
21:47
<
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
21:47
<
adrien >
is there a way to achieve that?
21:49
infinity0 has quit [Remote host closed the connection]
21:49
toppler has quit [Ping timeout: 276 seconds]
21:55
toppler has joined #ocaml
22:04
toppler has quit [Ping timeout: 250 seconds]
22:10
pmetzger has joined #ocaml
22:10
toppler has joined #ocaml
22:20
toppler has quit [Ping timeout: 240 seconds]
22:24
kakadu has quit [Remote host closed the connection]
22:26
toppler has joined #ocaml
22:27
spew has quit [Quit: Connection closed for inactivity]
22:35
toppler has quit [Ping timeout: 250 seconds]
22:37
orbifx2 has joined #ocaml
22:42
toppler has joined #ocaml
22:47
Haudegen has quit [Ping timeout: 240 seconds]
22:50
orbifx2 has quit [Ping timeout: 276 seconds]
22:52
toppler has quit [Ping timeout: 240 seconds]
22:59
toppler has joined #ocaml
23:06
tormen has quit [Ping timeout: 240 seconds]
23:09
toppler has quit [Ping timeout: 265 seconds]
23:16
toppler has joined #ocaml
23:18
tormen has joined #ocaml
23:26
toppler has quit [Ping timeout: 240 seconds]
23:27
smazga has quit [Quit: leaving]
23:34
toppler has joined #ocaml
23:44
toppler has quit [Ping timeout: 265 seconds]
23:44
ziyourenxiang_ has joined #ocaml
23:51
toppler has joined #ocaml