kakadu__ has quit [Remote host closed the connection]
bitwinery has quit [Remote host closed the connection]
bitwinery has joined #ocaml
Madars has joined #ocaml
wingsorc_ has quit [Ping timeout: 272 seconds]
olle has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
sarna has quit [Quit: bye]
sarna has joined #ocaml
bitwinery has quit [Quit: Leaving]
z3n3 has quit [Quit: WeeChat 2.7]
z3n3 has joined #ocaml
mfp has quit [Ping timeout: 265 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 268 seconds]
mbuf has joined #ocaml
t0b0 has quit [Ping timeout: 265 seconds]
oni-on-ion has quit [Ping timeout: 252 seconds]
t0b0 has joined #ocaml
jao has quit [Read error: Connection reset by peer]
oni-on-ion has joined #ocaml
ggole has joined #ocaml
dborisog has joined #ocaml
mbuf has quit [Ping timeout: 260 seconds]
gravicappa has joined #ocaml
retropikzel has joined #ocaml
narimiran has joined #ocaml
bartholin has quit [Ping timeout: 265 seconds]
sagax has quit [Read error: Connection reset by peer]
sailor177354 has joined #ocaml
sailor177354 has quit [Remote host closed the connection]
sailor177354 has joined #ocaml
sailor177354 has quit [Remote host closed the connection]
sailor177354 has joined #ocaml
sailor177354 has quit [Remote host closed the connection]
sailor177354 has joined #ocaml
sailor177354 has quit [Remote host closed the connection]
sailor177354 has joined #ocaml
sailor177354 has quit [Remote host closed the connection]
andreas303 has quit [Ping timeout: 240 seconds]
sailor177354 has joined #ocaml
sailor177354 has quit [Remote host closed the connection]
sailor177354 has joined #ocaml
sailor177354 has quit [Max SendQ exceeded]
sailor177354 has joined #ocaml
andreas303 has joined #ocaml
sailor177354 has quit [Remote host closed the connection]
sailor177354 has joined #ocaml
sailor177354 has quit [Remote host closed the connection]
sailor177354 has joined #ocaml
sailor177354 has quit [Remote host closed the connection]
sailor177354 has joined #ocaml
mbuf has joined #ocaml
Haudegen has joined #ocaml
sagax has joined #ocaml
bartholin has joined #ocaml
z3n3 has quit [Quit: WeeChat 2.7]
z3n3 has joined #ocaml
z3n3 has quit [Quit: WeeChat 2.7]
z3n3 has joined #ocaml
nicoo has quit [Ping timeout: 240 seconds]
sailor177355 has joined #ocaml
nicoo has joined #ocaml
sailor177354 has quit [Ping timeout: 268 seconds]
leah2 has quit [Ping timeout: 260 seconds]
leah2 has joined #ocaml
nicoo has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
nicoo has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
ollehar has joined #ocaml
bartholin has quit [Quit: Leaving]
<Leonidas>
I somehow always have to grin when reading Chet's posts. He seems to be 300 years old :) "This reminds me of a story from my youth, when I was hanging out with Charles [Babbage], we were discussing which direction the gears should spin…"
kleisli has quit [Ping timeout: 265 seconds]
dogui has quit [Ping timeout: 265 seconds]
dogui has joined #ocaml
<def`>
:D
serge has joined #ocaml
sagax has quit [Ping timeout: 265 seconds]
mfp has joined #ocaml
sailor177355 has quit [Ping timeout: 260 seconds]
mbuf has quit [Quit: Leaving]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
sagax has joined #ocaml
gareppa has joined #ocaml
dhil has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
gareppa has quit [Remote host closed the connection]
<Armael>
:DD
zekt83 has quit [Quit: Ping timeout (120 seconds)]
adi_________ has quit [Ping timeout: 258 seconds]
mgsk has quit [Read error: Connection reset by peer]
adi_________ has joined #ocaml
mgsk has joined #ocaml
zekt83 has joined #ocaml
keep_learning has quit [Quit: Ping timeout (120 seconds)]
Haudegen has joined #ocaml
retropikzel has quit [Remote host closed the connection]
retropikzel has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
retropikzel has quit [Remote host closed the connection]
retropikzel has joined #ocaml
t0b0 has quit [Ping timeout: 265 seconds]
sailor177354 has joined #ocaml
dhil has joined #ocaml
FreeBirdLjj has joined #ocaml
t0b0 has joined #ocaml
mbuf has joined #ocaml
aiju has joined #ocaml
kleisli has joined #ocaml
<aiju>
how can i use a functor-generated module in another functor-generated module?
<aiju>
i have a functor Graph.Make(Ord) which uses Set.Make(Ord)
<aiju>
how do i expose sets on the interface?
<ollehar>
aiju: Take two modules as input to graph?
<def`>
aiju: or just reinstantiate Set.Make(Ord) in the body of Graph.Make
<mbuf>
If I had a function to runtime/caml/misc.h and use it in runtime/extern.c file, the code compiles fine, but, ld generates a undefined reference to the file error. What could be the reason?
amosbird has quit [Remote host closed the connection]
amosbird has joined #ocaml
<octachron_>
mbuf, you could have forgotten to add your new file to one of the various harcoded list of source files?
<mbuf>
octachron_, the function had to be defined in misc.c
<mbuf>
octachron_, thanks for your reply!
t0b0 has quit [Ping timeout: 260 seconds]
<aiju>
is there a way to avoid defining the signature twice (in .mli and .ml) with functors?
olle has quit [Ping timeout: 272 seconds]
olle has joined #ocaml
olle has quit [Ping timeout: 258 seconds]
olle has joined #ocaml
t0b0 has joined #ocaml
tane has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
Haudegen has quit [Quit: Bin weg.]
smazga has joined #ocaml
retropikzel has quit [Quit: Vision[0.10.3]: i've been blurred!]
mbuf has quit [Quit: Leaving]
mahmudov has joined #ocaml
ollehar has quit [Ping timeout: 268 seconds]
retropikzel has joined #ocaml
TheLemonMan has joined #ocaml
retropikzel has quit [Ping timeout: 260 seconds]
seliopou has quit [Ping timeout: 252 seconds]
seliopou has joined #ocaml
Haudegen has joined #ocaml
octachron_ is now known as octachron
bartholin has joined #ocaml
cqc has quit [Read error: Connection reset by peer]
cqc has joined #ocaml
klntsky_ has quit [Remote host closed the connection]
klntsky_ has joined #ocaml
Serpent7776 has joined #ocaml
kakadu_ has joined #ocaml
sailor177354 has quit [Ping timeout: 272 seconds]
sailor177354 has joined #ocaml
sailor177355 has joined #ocaml
sailor177354 has quit [Ping timeout: 265 seconds]
dhil has quit [Ping timeout: 260 seconds]
twopoint718 has joined #ocaml
ggole has quit [Quit: Leaving]
kakadu__ has joined #ocaml
kakadu has quit [Ping timeout: 265 seconds]
smazga has quit [Ping timeout: 260 seconds]
kleisli has quit [Ping timeout: 265 seconds]
dborisog has quit [Ping timeout: 268 seconds]
sailor177355 has quit [Quit: Leaving]
jnavila has joined #ocaml
olle has quit [Ping timeout: 260 seconds]
wingsorc_ has joined #ocaml
olle has joined #ocaml
narimiran has quit [Ping timeout: 260 seconds]
olle has quit [Ping timeout: 240 seconds]
olle has joined #ocaml
<companion_cube>
Leonidas: 😂
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 258 seconds]
tane has quit [Quit: Leaving]
serge has quit [Remote host closed the connection]
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
serge has joined #ocaml
kakadu has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
smazga has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
jnavila has quit [Remote host closed the connection]
smazga has quit [Ping timeout: 265 seconds]
ArthurStrong has quit [Quit: leaving]
gravicappa has quit [Ping timeout: 268 seconds]
mahmudov has quit [Read error: Connection reset by peer]
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Hrundi_V_Bakshi has joined #ocaml
sagax has quit [Ping timeout: 265 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
twopoint718 has joined #ocaml
Serpent7776 has quit [Quit: leaving]
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kleisli has joined #ocaml
kakadu has quit [Remote host closed the connection]
serge has joined #ocaml
serge has quit [Ping timeout: 258 seconds]
smazga has joined #ocaml
smazga has quit [Ping timeout: 268 seconds]
rzmt has quit [Ping timeout: 258 seconds]
porchetta has quit [Ping timeout: 258 seconds]
Hrundi_V_Bakshi has quit [Ping timeout: 268 seconds]