noteventime has quit ["Someone reprogrammed the connection in C++ :-O"]
pantsd has quit [Read error: 110 (Connection timed out)]
joshcryer has quit [Client Quit]
seafoodX has joined #ocaml
joshcryer has joined #ocaml
<tsuyoshi>
abez: ah, just put him on ignore
seafoodX has quit []
m3ga has joined #ocaml
joshcryer has quit [Client Quit]
G_ has quit [Read error: 110 (Connection timed out)]
buluca has quit [Read error: 113 (No route to host)]
m3ga has quit ["disappearing into the sunset"]
seafoodX has joined #ocaml
thesoko has quit [Remote closed the connection]
piggybox has joined #ocaml
thesoko has joined #ocaml
crink has joined #ocaml
crink has left #ocaml []
doy has joined #ocaml
<doy>
i've got a question about the OCamlMakefile
thesoko has quit [Remote closed the connection]
<doy>
it generates the dependencies for all of the ocaml files
<doy>
but what does it do with them?
thesoko has joined #ocaml
<doy>
the docs say that it doesn't use them for ordering of compilation
joshcryer has joined #ocaml
pantsd has joined #ocaml
<flux>
I assume that means that it doesn't use them for ordering the final linking stage. It'd seem natural that they would be fed back to make and be used as compilation dependencies.
<doy>
well, it doesn't seem to
<seafoodX>
Okay, I'll admit I don't understand OCaml's module system all that well. If you see a declaration like this http://ocaml.pastebin.com/d63071b4b what exactly does it mean? It has a signature but not a struct. But it's not a module type, it's a module
piggybox_ has joined #ocaml
G_ has joined #ocaml
piggybox has quit [Connection timed out]
G__ has joined #ocaml
G_ has quit [Read error: 110 (Connection timed out)]
leo037 has joined #ocaml
G__ is now known as G
<seafoodX>
Hmm. I think I've got it now. It's like a type signature for something defined in the implementation module.
<seafoodX>
Whereas a "module type" is more like a type synonym at the value level.
buluca has joined #ocaml
Mr_Awesome has quit ["time to impregnate a moth"]
pango has quit [Remote closed the connection]
pango has joined #ocaml
G_ has joined #ocaml
love-pingoo has joined #ocaml
G has quit [Read error: 110 (Connection timed out)]
fmardini has joined #ocaml
slipstream has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
fmardini has quit []
fmardini has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
G_ is now known as G
fmardini has quit []
slipstream-- has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
fmardini has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
xavierbot has quit [Read error: 110 (Connection timed out)]
yminsky has joined #ocaml
yminsky has quit []
_blackdog has joined #ocaml
seafoodX has quit []
slipstream has joined #ocaml
_blackdog has quit [Read error: 104 (Connection reset by peer)]
_blackdog has joined #ocaml
slipstream-- has quit [Read error: 110 (Connection timed out)]
noj_ has quit ["leaving"]
Gibbor has joined #ocaml
Smerdyakov has quit ["Leaving"]
Gibbor has left #ocaml []
screwt8 has joined #ocaml
piggybox_ has quit [Connection timed out]
Cygal has joined #ocaml
seafoodX has joined #ocaml
buluca has joined #ocaml
Cygal is now known as Cygal_aw
piggybox has joined #ocaml
screwt8 has quit [Remote closed the connection]
buluca has quit [Read error: 104 (Connection reset by peer)]
fmardini has quit []
screwt8 has joined #ocaml
buluca has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
love-pingoo has quit [Remote closed the connection]
_blackdog has left #ocaml []
seafoodX has quit []
kosmikus_ has joined #ocaml
kosmikus has quit [Read error: 104 (Connection reset by peer)]
leo037 has quit ["Leaving"]
slipstream has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
kosmikus_ is now known as kosmikus
bluestorm_ has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
zarul has joined #ocaml
bluestorm_ has quit ["Konversation terminated!"]
Submarine has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
Cygal_aw has quit [Remote closed the connection]
buluca has joined #ocaml
flux has quit [Remote closed the connection]
Cygal_aw has joined #ocaml
Cygal` has joined #ocaml
_blackdog has joined #ocaml
_blackdog has left #ocaml []
_blackdog has joined #ocaml
_blackdog has left #ocaml []
Cygal_aw has quit [No route to host]
leo037 has joined #ocaml
noteventime has joined #ocaml
flux-_ has joined #ocaml
Cygal` has quit [Remote closed the connection]
noteventime has quit ["Someone reprogrammed the connection in C++ :-O"]
pantsd has quit [Read error: 110 (Connection timed out)]
pantsd has joined #ocaml
malc_ has joined #ocaml
piggybox has quit [Read error: 110 (Connection timed out)]
leo037 has quit ["Leaving"]
m3ga has joined #ocaml
m3ga has quit [Client Quit]
piggybox_ has joined #ocaml
david_koontz has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
ita has joined #ocaml
ita has left #ocaml []
buluca has joined #ocaml
pantsd has quit [Read error: 110 (Connection timed out)]