adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
pierpal has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
okuu has quit [Ping timeout: 246 seconds]
ale64bit has quit [Ping timeout: 258 seconds]
ygrek has joined #ocaml
ale64bit has joined #ocaml
ziyourenxiang has joined #ocaml
silver has quit [Read error: Connection reset by peer]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
ale64bit has quit [Ping timeout: 252 seconds]
mfp has quit [Ping timeout: 252 seconds]
djellemah has quit [Ping timeout: 245 seconds]
AtumT has quit [Quit: AtumT]
jao has quit [Ping timeout: 245 seconds]
djellemah has joined #ocaml
gravicappa has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
djellemah has quit [Ping timeout: 245 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
wklm has joined #ocaml
anton-trunov_ has joined #ocaml
DanielRichman has joined #ocaml
tokenrov1 has joined #ocaml
companion_square has joined #ocaml
kalio_ has joined #ocaml
rntz_tmp_ has joined #ocaml
nullifidian_ has joined #ocaml
swistak35 has joined #ocaml
zapashcanon has quit [Ping timeout: 258 seconds]
anton-trunov has quit [Ping timeout: 258 seconds]
DanielRi1hman has quit [Ping timeout: 258 seconds]
Exagone313 has quit [Ping timeout: 258 seconds]
jrslepak has quit [Ping timeout: 258 seconds]
Khady has joined #ocaml
kalio has quit [Ping timeout: 258 seconds]
companion_cube has quit [Ping timeout: 258 seconds]
tokenrove has quit [Ping timeout: 258 seconds]
nullifidian has quit [Ping timeout: 258 seconds]
Khady has quit [Ping timeout: 258 seconds]
chindy has quit [Ping timeout: 258 seconds]
swistak35_ has quit [Ping timeout: 258 seconds]
rntz_tmp has quit [Ping timeout: 258 seconds]
Khady has joined #ocaml
Khady has quit [Changing host]
zapashcanon has joined #ocaml
zapashcanon has quit [Changing host]
zapashcanon has joined #ocaml
chindy has joined #ocaml
Exagone313 has joined #ocaml
bronsen has quit [Ping timeout: 246 seconds]
anton-trunov_ has quit [Ping timeout: 246 seconds]
anton-trunov has joined #ocaml
FreeBirdLjj has joined #ocaml
jrslepak has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
sonologico has joined #ocaml
Khady_ has joined #ocaml
jacobian_ has joined #ocaml
Exagone313 has quit [Ping timeout: 258 seconds]
jacobian has quit [Ping timeout: 258 seconds]
Khady has quit [Ping timeout: 258 seconds]
chindy has joined #ocaml
chindy has quit [Ping timeout: 258 seconds]
Exagone313 has joined #ocaml
companion_square has quit [Quit: WeeChat 2.3]
companion_cube has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
wklm has quit [Ping timeout: 245 seconds]
dh_work has quit [Ping timeout: 252 seconds]
dh_work has joined #ocaml
FreeBirdLjj has joined #ocaml
wklm_ has joined #ocaml
Birdface has joined #ocaml
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
Khady_ has quit [Changing host]
Khady_ has joined #ocaml
clog has quit [Ping timeout: 246 seconds]
jimt[m]1 has quit [Write error: Connection reset by peer]
otini has quit [Remote host closed the connection]
hdurer[m] has quit [Read error: Connection reset by peer]
smondet[m] has quit [Remote host closed the connection]
nojb_[m] has quit [Remote host closed the connection]
copy` has quit [Read error: Connection reset by peer]
peddie has quit [Read error: Connection reset by peer]
Virgile[m] has quit [Remote host closed the connection]
dl3br[m] has quit [Read error: Connection reset by peer]
cgenie[m] has quit [Read error: Connection reset by peer]
aecepoglu[m] has quit [Remote host closed the connection]
aspiwack[m] has quit [Read error: Connection reset by peer]
rgr[m] has quit [Read error: Connection reset by peer]
yetanotherion[m] has quit [Remote host closed the connection]
lokydor[m]1 has quit [Read error: Connection reset by peer]
nojb[m] has quit [Remote host closed the connection]
sepp2k has quit [Remote host closed the connection]
flux[m] has quit [Read error: Connection reset by peer]
Haudegen[m] has quit [Remote host closed the connection]
karan[m]1 has quit [Read error: Connection reset by peer]
spectrumgomas[m] has quit [Read error: Connection reset by peer]
nkhodyunya[m] has quit [Remote host closed the connection]
regnat[m] has quit [Remote host closed the connection]
miguelbe[m] has quit [Remote host closed the connection]
Walter[m] has quit [Remote host closed the connection]
isaachodes[m] has quit [Remote host closed the connection]
clog has joined #ocaml
ocabot has quit [Ping timeout: 255 seconds]
ocabot has joined #ocaml
aspiwack[m] has joined #ocaml
Haudegen[m] has joined #ocaml
flux[m] has joined #ocaml
cgenie[m] has joined #ocaml
copy` has joined #ocaml
smondet[m] has joined #ocaml
hdurer[m] has joined #ocaml
spectrumgomas[m] has joined #ocaml
jimt[m] has joined #ocaml
peddie has joined #ocaml
nkhodyunya[m] has joined #ocaml
regnat[m] has joined #ocaml
rgr[m] has joined #ocaml
aecepoglu[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
dl3br[m] has joined #ocaml
isaachodes[m] has joined #ocaml
karan[m] has joined #ocaml
otini has joined #ocaml
nojb_[m] has joined #ocaml
Virgile[m] has joined #ocaml
sepp2k has joined #ocaml
Walter[m] has joined #ocaml
lokydor[m] has joined #ocaml
miguelbe[m] has joined #ocaml
nojb[m] has joined #ocaml
dh_work has quit [Ping timeout: 245 seconds]
dh_work has joined #ocaml
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 252 seconds]
nullifidian_ is now known as nullifidian
oni-on-ion has quit [Remote host closed the connection]
Khady_ is now known as Khady
_whitelogger has joined #ocaml
mfp has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
jnavila has joined #ocaml
wklm_ has quit [Ping timeout: 268 seconds]
_whitelogger has joined #ocaml
silver has joined #ocaml
sonologico has quit [Remote host closed the connection]
sonologico has joined #ocaml
ggole has joined #ocaml
wklm has joined #ocaml
wklm has quit [Ping timeout: 244 seconds]
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
wklm has joined #ocaml
AtumT has joined #ocaml
oni-on-ion has joined #ocaml
djellemah has joined #ocaml
wklm has quit [Ping timeout: 244 seconds]
oni-on-ion has quit [Remote host closed the connection]
ale64bit has joined #ocaml
oni-on-ion has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
djellemah has quit [Ping timeout: 245 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
xuib has joined #ocaml
xuib has quit [Quit: xuib]
oni-on-ion has joined #ocaml
djellemah has joined #ocaml
djellemah has quit [Client Quit]
djellemah has joined #ocaml
wklm_ has joined #ocaml
picolino has quit [Ping timeout: 268 seconds]
ale64bit has quit [Ping timeout: 246 seconds]
picolino has joined #ocaml
xuib has joined #ocaml
djellemah has quit [Ping timeout: 255 seconds]
ziyourenxiang has quit [Ping timeout: 244 seconds]
AtumT_ has joined #ocaml
AtumT has quit [Ping timeout: 268 seconds]
AtumT has joined #ocaml
AtumT_ has quit [Ping timeout: 246 seconds]
ale64bit has joined #ocaml
Facebird has joined #ocaml
Birdface has quit [Ping timeout: 252 seconds]
Birdface has joined #ocaml
Facebird has quit [Ping timeout: 246 seconds]
Birdface has quit [Ping timeout: 246 seconds]
Birdface has joined #ocaml
Jeanne-Kamikaze has joined #ocaml
Facebird has joined #ocaml
Byrdface has joined #ocaml
Birdface has quit [Ping timeout: 245 seconds]
Birdface has joined #ocaml
Facebird has quit [Ping timeout: 250 seconds]
Byrdface has quit [Ping timeout: 250 seconds]
wklm_ has quit [Ping timeout: 245 seconds]
wklm_ has joined #ocaml
ale64bit has quit [Ping timeout: 258 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
gravicappa has quit [Ping timeout: 244 seconds]
bronsen has joined #ocaml
djellemah has joined #ocaml
sonologico has quit [Remote host closed the connection]
jao has joined #ocaml
Netsu has joined #ocaml
<Netsu> Why such type constraint did not work there?
ShalokShalom has quit [Read error: Connection reset by peer]
<oni-on-ion> looks too advanced for me =)
<oni-on-ion> i had confidence, just using ocaml for a week, doing very well. and then i see this advanced code ... ^_^
<Netsu> just oop, type constraints, subtyping, recursive module, and universal type quantification, nothing special
jnavila_ has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
<oni-on-ion> i'm not sure if you intend to inspire or intimidate me further
<octachron> Netsu, your type `instance` is empty.
<octachron> An easy solution is to use "'a. <size: int; .. > as 'a -> int" rather than the shortcut #semigroup.
<Netsu> oni-on-ion: just don't rush, and read related topics in documentation, it's really not so scary :)
<Netsu> octachron: thank you. BTW why 'self isn't an object type here? Is it some limitation or just some syntax sugar?
<octachron> I am not sure to follow? You can declare "object (self: <size:int; .. >)" if you want
<Netsu> octachron: to reuse it like < 'self; .. >
<Netsu> in method's type
<octachron> Ah, the error message is unclear, but one can only extend type declaration in object types (or polymorphic variant types) not type variables.
<octachron> Also the simpler `plus: 'self -> int` works fine.
<Netsu> octachron: but last example less polymorphic
<Netsu> in inheritance sense
jao has quit [Ping timeout: 245 seconds]
<Netsu> octachron: not type variables <<< oh, I see: same, as with pol. variants....
<Netsu> thanks
<octachron> not in inheritance sense: if you extend the class by inheritance, 'self will refer to the derived class
djellemah has quit [Ping timeout: 258 seconds]
ggole has quit [Quit: Leaving]
djellemah has joined #ocaml
Jesin has quit [Quit: Leaving]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
wklm_ has quit [Ping timeout: 244 seconds]
Jesin has joined #ocaml
jnavila_ is now known as jnavila
oni-on-ion has joined #ocaml
<oni-on-ion> Netsu, i did not suggest any fear or that anything was 'scary'.
xuib has quit [Quit: xuib]
sagax has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
jnavila has quit [Remote host closed the connection]
dh_work has quit [Changing host]
dh_work has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
dimitarvp has joined #ocaml
pierpal has joined #ocaml
dimitarvp has quit [Client Quit]
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
ygrek has quit [Ping timeout: 244 seconds]
weird_error has joined #ocaml
<oni-on-ion> what is the way to have Module1.Module2.Abc ? if i want all Module1.* in a folder, for eg
<oni-on-ion> i've been doing include Module1_one, Module1_two etc
weird_error has quit [Quit: weird_error]
ale64bit has joined #ocaml
Birdface has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
weird_error has joined #ocaml
weird_error has quit [Client Quit]