00:00
pierpal has joined #ocaml
00:04
FreeBirdLjj has quit [Remote host closed the connection]
00:07
okuu has quit [Ping timeout: 246 seconds]
00:10
ale64bit has quit [Ping timeout: 258 seconds]
00:24
ygrek has joined #ocaml
01:00
ale64bit has joined #ocaml
01:17
ziyourenxiang has joined #ocaml
01:21
silver has quit [Read error: Connection reset by peer]
01:23
jao has quit [Remote host closed the connection]
01:24
jao has joined #ocaml
01:46
ale64bit has quit [Ping timeout: 252 seconds]
01:46
mfp has quit [Ping timeout: 252 seconds]
02:07
djellemah has quit [Ping timeout: 245 seconds]
02:09
AtumT has quit [Quit: AtumT]
02:17
jao has quit [Ping timeout: 245 seconds]
02:21
djellemah has joined #ocaml
03:00
gravicappa has joined #ocaml
03:29
oni-on-ion has quit [Remote host closed the connection]
03:30
oni-on-ion has joined #ocaml
03:30
al-damiri has quit [Quit: Connection closed for inactivity]
03:34
oni-on-ion has quit [Remote host closed the connection]
03:35
oni-on-ion has joined #ocaml
03:38
djellemah has quit [Ping timeout: 245 seconds]
03:51
pierpal has quit [Quit: Poof]
03:51
pierpal has joined #ocaml
05:05
wklm has joined #ocaml
05:16
anton-trunov_ has joined #ocaml
05:16
DanielRichman has joined #ocaml
05:16
tokenrov1 has joined #ocaml
05:17
companion_square has joined #ocaml
05:17
kalio_ has joined #ocaml
05:17
rntz_tmp_ has joined #ocaml
05:17
nullifidian_ has joined #ocaml
05:17
swistak35 has joined #ocaml
05:17
zapashcanon has quit [Ping timeout: 258 seconds]
05:17
anton-trunov has quit [Ping timeout: 258 seconds]
05:17
DanielRi1hman has quit [Ping timeout: 258 seconds]
05:17
Exagone313 has quit [Ping timeout: 258 seconds]
05:17
jrslepak has quit [Ping timeout: 258 seconds]
05:17
Khady has joined #ocaml
05:17
kalio has quit [Ping timeout: 258 seconds]
05:17
companion_cube has quit [Ping timeout: 258 seconds]
05:17
tokenrove has quit [Ping timeout: 258 seconds]
05:17
nullifidian has quit [Ping timeout: 258 seconds]
05:17
Khady has quit [Ping timeout: 258 seconds]
05:17
chindy has quit [Ping timeout: 258 seconds]
05:17
swistak35_ has quit [Ping timeout: 258 seconds]
05:17
rntz_tmp has quit [Ping timeout: 258 seconds]
05:17
Khady has joined #ocaml
05:17
Khady has quit [Changing host]
05:18
zapashcanon has joined #ocaml
05:18
zapashcanon has quit [Changing host]
05:18
zapashcanon has joined #ocaml
05:18
chindy has joined #ocaml
05:18
Exagone313 has joined #ocaml
05:20
bronsen has quit [Ping timeout: 246 seconds]
05:20
anton-trunov_ has quit [Ping timeout: 246 seconds]
05:20
anton-trunov has joined #ocaml
05:21
FreeBirdLjj has joined #ocaml
05:21
jrslepak has joined #ocaml
05:30
ygrek has quit [Ping timeout: 246 seconds]
05:42
sonologico has joined #ocaml
05:50
Khady_ has joined #ocaml
05:51
jacobian_ has joined #ocaml
05:51
Exagone313 has quit [Ping timeout: 258 seconds]
05:51
jacobian has quit [Ping timeout: 258 seconds]
05:51
Khady has quit [Ping timeout: 258 seconds]
05:51
chindy has joined #ocaml
05:51
chindy has quit [Ping timeout: 258 seconds]
05:53
Exagone313 has joined #ocaml
05:57
companion_square has quit [Quit: WeeChat 2.3]
05:57
companion_cube has joined #ocaml
06:39
FreeBirdLjj has quit [Remote host closed the connection]
06:51
ShalokShalom has joined #ocaml
07:12
wklm has quit [Ping timeout: 245 seconds]
07:21
dh_work has quit [Ping timeout: 252 seconds]
07:22
dh_work has joined #ocaml
07:26
FreeBirdLjj has joined #ocaml
07:32
wklm_ has joined #ocaml
07:42
Birdface has joined #ocaml
07:48
_whitelogger has joined #ocaml
07:54
_whitelogger has joined #ocaml
08:00
Khady_ has quit [Changing host]
08:00
Khady_ has joined #ocaml
08:24
clog has quit [Ping timeout: 246 seconds]
08:24
jimt[m]1 has quit [Write error: Connection reset by peer]
08:24
otini has quit [Remote host closed the connection]
08:24
hdurer[m] has quit [Read error: Connection reset by peer]
08:24
smondet[m] has quit [Remote host closed the connection]
08:24
nojb_[m] has quit [Remote host closed the connection]
08:25
copy` has quit [Read error: Connection reset by peer]
08:25
peddie has quit [Read error: Connection reset by peer]
08:25
Virgile[m] has quit [Remote host closed the connection]
08:25
dl3br[m] has quit [Read error: Connection reset by peer]
08:25
cgenie[m] has quit [Read error: Connection reset by peer]
08:25
aecepoglu[m] has quit [Remote host closed the connection]
08:25
aspiwack[m] has quit [Read error: Connection reset by peer]
08:25
rgr[m] has quit [Read error: Connection reset by peer]
08:25
yetanotherion[m] has quit [Remote host closed the connection]
08:25
lokydor[m]1 has quit [Read error: Connection reset by peer]
08:25
nojb[m] has quit [Remote host closed the connection]
08:25
sepp2k has quit [Remote host closed the connection]
08:25
flux[m] has quit [Read error: Connection reset by peer]
08:25
Haudegen[m] has quit [Remote host closed the connection]
08:25
karan[m]1 has quit [Read error: Connection reset by peer]
08:25
spectrumgomas[m] has quit [Read error: Connection reset by peer]
08:25
nkhodyunya[m] has quit [Remote host closed the connection]
08:25
regnat[m] has quit [Remote host closed the connection]
08:25
miguelbe[m] has quit [Remote host closed the connection]
08:25
Walter[m] has quit [Remote host closed the connection]
08:25
isaachodes[m] has quit [Remote host closed the connection]
08:26
clog has joined #ocaml
08:28
ocabot has quit [Ping timeout: 255 seconds]
08:31
ocabot has joined #ocaml
08:36
aspiwack[m] has joined #ocaml
08:47
Haudegen[m] has joined #ocaml
08:47
flux[m] has joined #ocaml
08:47
cgenie[m] has joined #ocaml
08:47
copy` has joined #ocaml
08:47
smondet[m] has joined #ocaml
08:47
hdurer[m] has joined #ocaml
08:47
spectrumgomas[m] has joined #ocaml
08:47
jimt[m] has joined #ocaml
08:47
peddie has joined #ocaml
08:47
nkhodyunya[m] has joined #ocaml
08:47
regnat[m] has joined #ocaml
08:47
rgr[m] has joined #ocaml
08:47
aecepoglu[m] has joined #ocaml
08:47
yetanotherion[m] has joined #ocaml
08:47
dl3br[m] has joined #ocaml
08:47
isaachodes[m] has joined #ocaml
08:47
karan[m] has joined #ocaml
08:47
otini has joined #ocaml
08:47
nojb_[m] has joined #ocaml
08:47
Virgile[m] has joined #ocaml
08:47
sepp2k has joined #ocaml
08:47
Walter[m] has joined #ocaml
08:47
lokydor[m] has joined #ocaml
08:48
miguelbe[m] has joined #ocaml
08:48
nojb[m] has joined #ocaml
08:50
dh_work has quit [Ping timeout: 245 seconds]
08:50
dh_work has joined #ocaml
08:53
kakadu has joined #ocaml
08:58
kakadu_ has joined #ocaml
08:58
kakadu has quit [Ping timeout: 252 seconds]
09:05
nullifidian_ is now known as nullifidian
09:08
oni-on-ion has quit [Remote host closed the connection]
09:16
Khady_ is now known as Khady
09:30
_whitelogger has joined #ocaml
09:33
mfp has joined #ocaml
10:12
FreeBirdLjj has quit [Remote host closed the connection]
10:19
jnavila has joined #ocaml
10:31
wklm_ has quit [Ping timeout: 268 seconds]
10:42
_whitelogger has joined #ocaml
11:02
silver has joined #ocaml
11:09
sonologico has quit [Remote host closed the connection]
11:09
sonologico has joined #ocaml
11:30
ggole has joined #ocaml
12:03
wklm has joined #ocaml
12:08
wklm has quit [Ping timeout: 244 seconds]
13:05
klntsky has quit [Remote host closed the connection]
13:06
klntsky has joined #ocaml
13:10
klntsky has quit [Remote host closed the connection]
13:11
klntsky has joined #ocaml
13:48
wklm has joined #ocaml
13:51
AtumT has joined #ocaml
14:03
oni-on-ion has joined #ocaml
14:17
djellemah has joined #ocaml
14:27
wklm has quit [Ping timeout: 244 seconds]
14:28
oni-on-ion has quit [Remote host closed the connection]
14:33
ale64bit has joined #ocaml
14:34
oni-on-ion has joined #ocaml
14:35
ygrek has joined #ocaml
14:35
ygrek has quit [Remote host closed the connection]
14:36
ygrek has joined #ocaml
14:41
djellemah has quit [Ping timeout: 245 seconds]
14:43
oni-on-ion has quit [Remote host closed the connection]
14:44
oni-on-ion has joined #ocaml
14:46
oni-on-ion has quit [Remote host closed the connection]
15:02
xuib has joined #ocaml
15:08
xuib has quit [Quit: xuib]
15:16
oni-on-ion has joined #ocaml
15:18
djellemah has joined #ocaml
15:19
djellemah has quit [Client Quit]
15:20
djellemah has joined #ocaml
15:23
wklm_ has joined #ocaml
15:30
picolino has quit [Ping timeout: 268 seconds]
15:34
ale64bit has quit [Ping timeout: 246 seconds]
15:34
picolino has joined #ocaml
15:38
xuib has joined #ocaml
16:04
djellemah has quit [Ping timeout: 255 seconds]
16:09
ziyourenxiang has quit [Ping timeout: 244 seconds]
16:28
AtumT_ has joined #ocaml
16:31
AtumT has quit [Ping timeout: 268 seconds]
16:42
AtumT has joined #ocaml
16:42
AtumT_ has quit [Ping timeout: 246 seconds]
16:58
ale64bit has joined #ocaml
17:02
Facebird has joined #ocaml
17:03
Birdface has quit [Ping timeout: 252 seconds]
17:07
Birdface has joined #ocaml
17:07
Facebird has quit [Ping timeout: 246 seconds]
17:18
Birdface has quit [Ping timeout: 246 seconds]
17:26
Birdface has joined #ocaml
17:26
Jeanne-Kamikaze has joined #ocaml
17:27
Facebird has joined #ocaml
17:29
Byrdface has joined #ocaml
17:30
Birdface has quit [Ping timeout: 245 seconds]
17:32
Birdface has joined #ocaml
17:32
Facebird has quit [Ping timeout: 250 seconds]
17:34
Byrdface has quit [Ping timeout: 250 seconds]
17:46
wklm_ has quit [Ping timeout: 245 seconds]
17:47
wklm_ has joined #ocaml
17:48
ale64bit has quit [Ping timeout: 258 seconds]
17:59
FreeBirdLjj has joined #ocaml
18:02
FreeBirdLjj has quit [Remote host closed the connection]
18:07
gravicappa has quit [Ping timeout: 244 seconds]
18:43
bronsen has joined #ocaml
18:48
djellemah has joined #ocaml
18:48
sonologico has quit [Remote host closed the connection]
18:49
jao has joined #ocaml
18:50
Netsu has joined #ocaml
18:51
<
Netsu >
Why such type constraint did not work there?
18:56
ShalokShalom has quit [Read error: Connection reset by peer]
19:02
<
oni-on-ion >
looks too advanced for me =)
19:13
<
oni-on-ion >
i had confidence, just using ocaml for a week, doing very well. and then i see this advanced code ... ^_^
19:17
<
Netsu >
just oop, type constraints, subtyping, recursive module, and universal type quantification, nothing special
19:17
jnavila_ has joined #ocaml
19:17
jnavila has quit [Quit: Konversation terminated!]
19:18
<
oni-on-ion >
i'm not sure if you intend to inspire or intimidate me further
19:19
<
octachron >
Netsu, your type `instance` is empty.
19:19
<
octachron >
An easy solution is to use "'a. <size: int; .. > as 'a -> int" rather than the shortcut #semigroup.
19:22
<
Netsu >
oni-on-ion: just don't rush, and read related topics in documentation, it's really not so scary :)
19:23
<
Netsu >
octachron: thank you. BTW why 'self isn't an object type here? Is it some limitation or just some syntax sugar?
19:25
<
octachron >
I am not sure to follow? You can declare "object (self: <size:int; .. >)" if you want
19:27
<
Netsu >
octachron: to reuse it like < 'self; .. >
19:28
<
Netsu >
in method's type
19:30
<
octachron >
Ah, the error message is unclear, but one can only extend type declaration in object types (or polymorphic variant types) not type variables.
19:30
<
octachron >
Also the simpler `plus: 'self -> int` works fine.
19:30
<
Netsu >
octachron: but last example less polymorphic
19:31
<
Netsu >
in inheritance sense
19:32
jao has quit [Ping timeout: 245 seconds]
19:32
<
Netsu >
octachron: not type variables <<< oh, I see: same, as with pol. variants....
19:33
<
octachron >
not in inheritance sense: if you extend the class by inheritance, 'self will refer to the derived class
19:37
djellemah has quit [Ping timeout: 258 seconds]
19:39
ggole has quit [Quit: Leaving]
19:49
djellemah has joined #ocaml
19:50
Jesin has quit [Quit: Leaving]
20:04
oni-on-ion has quit [Remote host closed the connection]
20:05
oni-on-ion has joined #ocaml
20:06
oni-on-ion has quit [Remote host closed the connection]
20:07
oni-on-ion has joined #ocaml
20:08
oni-on-ion has quit [Remote host closed the connection]
20:09
oni-on-ion has joined #ocaml
20:10
oni-on-ion has quit [Remote host closed the connection]
20:11
wklm_ has quit [Ping timeout: 244 seconds]
20:26
Jesin has joined #ocaml
20:51
jnavila_ is now known as jnavila
21:07
oni-on-ion has joined #ocaml
21:07
<
oni-on-ion >
Netsu, i did not suggest any fear or that anything was 'scary'.
21:30
xuib has quit [Quit: xuib]
21:56
sagax has joined #ocaml
22:11
kakadu_ has quit [Remote host closed the connection]
22:13
jnavila has quit [Remote host closed the connection]
22:26
dh_work has quit [Changing host]
22:26
dh_work has joined #ocaml
22:29
pierpal has quit [Read error: Connection reset by peer]
22:29
pierpal has joined #ocaml
22:33
pierpal has quit [Read error: Connection reset by peer]
22:35
dimitarvp has joined #ocaml
22:38
pierpal has joined #ocaml
22:40
dimitarvp has quit [Client Quit]
22:42
pierpal has quit [Ping timeout: 245 seconds]
22:46
pierpal has joined #ocaml
23:11
ygrek has quit [Ping timeout: 244 seconds]
23:15
weird_error has joined #ocaml
23:16
<
oni-on-ion >
what is the way to have Module1.Module2.Abc ? if i want all Module1.* in a folder, for eg
23:17
<
oni-on-ion >
i've been doing include Module1_one, Module1_two etc
23:36
weird_error has quit [Quit: weird_error]
23:39
ale64bit has joined #ocaml
23:40
Birdface has quit [Ping timeout: 250 seconds]
23:50
jao has joined #ocaml
23:51
weird_error has joined #ocaml
23:51
weird_error has quit [Client Quit]