<ousado>
"Arguments ending in .cmx are taken to be compiled object code. ... "
lggr has quit [Ping timeout: 256 seconds]
<wieczyk>
It does not tell me nothing.
<wieczyk>
It tells me nothing.
<wieczyk>
eh my english lol
lggr has joined #ocaml
<ousado>
wieczyk: also "From the file x.ml, the ocamlopt compiler produces two files: x.o, containing native object code, and x.cmx, containing extra information for linking and optimization of the clients of the unit."
<wieczyk>
I have seen documentation but this does not tell me anything. How .o can be optimalized? I would like to know what exactly is in .cmx
<wieczyk>
I need to check in compiler i think.
<ousado>
yes, I think so, too :)
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
ankit9 has quit [Ping timeout: 246 seconds]
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
ankit9 has joined #ocaml
lggr has joined #ocaml
err404 has quit [Remote host closed the connection]
Yoric has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
madroach_ has quit [Ping timeout: 260 seconds]
lggr has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
avsm1 has joined #ocaml
lggr has joined #ocaml
Yoric has quit [Ping timeout: 260 seconds]
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
gnuvince_ has joined #ocaml
ankit9 has quit [Ping timeout: 246 seconds]
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
BiDOrD has joined #ocaml
<kdridi>
hi
<kdridi>
i'm a beginner in ocaml and i don't understand what the hell is a "string option" type … :x
<kdridi>
can't find in the docs :~
BiDOrD_ has quit [Ping timeout: 252 seconds]
<_habnabit>
kdridi, it's the composition of 'a option and string
<_habnabit>
kdridi, so it's either Some string or None
<kdridi>
and how do i represent it
<_habnabit>
'represent it' how?
<kdridi>
i mean the interpreter tells This expression has type string but an expression was expected of type string option
larhat has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
lggr has joined #ocaml
jpdeplaix has quit [Ping timeout: 260 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
lggr has quit [Ping timeout: 276 seconds]
larhat has quit [Read error: Connection reset by peer]
<sgnb>
fasta: yes, that
larhat has joined #ocaml
<sgnb>
library abstraction
lusory has joined #ocaml
lggr has joined #ocaml
tac has joined #ocaml
Jeaye has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
larhat has quit [Read error: Connection reset by peer]
jpdeplaix has joined #ocaml
lggr has joined #ocaml
pngl has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
larhat has joined #ocaml
contempt has quit [Quit: leaving]
lggr has quit [Ping timeout: 255 seconds]
contempt has joined #ocaml
ftrvxmtrx has joined #ocaml
larhat has quit [Ping timeout: 240 seconds]
larhat has joined #ocaml
larhat2 has joined #ocaml
lggr has joined #ocaml
larhat has quit [Ping timeout: 260 seconds]
foo303 has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
djcoin has quit [Quit: WeeChat 0.3.7]
lggr has joined #ocaml
avsm has quit [Quit: Leaving.]
lggr has quit [Ping timeout: 276 seconds]
thomasga has quit [Ping timeout: 245 seconds]
<hcarty>
thelema: BatBounded is getting close(r?) to a generally useful state. modulo_of_ord (maybe with a better name?) should be added and the Numeric pieces should be expanded.
lggr has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
thomasga has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
lggr has joined #ocaml
sepp2k has quit [Ping timeout: 246 seconds]
avsm has joined #ocaml
avsm1 has joined #ocaml
gnuvince_ has quit [Ping timeout: 245 seconds]
chambart has quit [Ping timeout: 260 seconds]
lggr has quit [Ping timeout: 264 seconds]
avsm has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
larhat2 has quit [Ping timeout: 246 seconds]
mnabil has quit [Ping timeout: 248 seconds]
lggr has quit [Ping timeout: 256 seconds]
sepp2k has joined #ocaml
gnuvince_ has joined #ocaml
GnomeStoleMyBike has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
gnuvince_ has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
Xizor has joined #ocaml
lggr has quit [Ping timeout: 276 seconds]
lggr has joined #ocaml
err404 has quit [Remote host closed the connection]
X1z0r has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
err404 has joined #ocaml
Xizor has quit [Ping timeout: 260 seconds]
pangoafk is now known as pango
lggr has joined #ocaml
mcclurmc is now known as mcclurmc_away
lggr has quit [Ping timeout: 255 seconds]
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
<thelema>
hcarty: yes, thank you for your contributions along this line. I don't plan on pulling bounded out of the incubator for at least a full release, so that it can encounter the community and still be reasonable to change the interface
<wmeyer>
hi
<thelema>
wmeyer: hi
Kakadu has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
err404 has quit [Remote host closed the connection]
lggr has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
lggr has quit [Ping timeout: 245 seconds]
larhat has joined #ocaml
lggr has joined #ocaml
GnomeStoleMyBike has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
mcclurmc_away is now known as mcclurmc
Neros has quit [Remote host closed the connection]
tac is now known as WHM
lggr has quit [Ping timeout: 276 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
Yoric has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
lggr has quit [Ping timeout: 246 seconds]
ivan\ has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
emmanuelux has joined #ocaml
Dettorer has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb` has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
sgnb has joined #ocaml
sgnb` has quit [Read error: Connection reset by peer]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
thomasga has quit [Ping timeout: 264 seconds]
mnabil has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
sgnb` has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
thomasga has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
chambart has joined #ocaml
Kakadu has joined #ocaml
sgnb` has quit [Read error: Connection reset by peer]
wagle has quit [Read error: Connection reset by peer]
X1z0r has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]
UncleVasya has quit [Ping timeout: 246 seconds]
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
chturne has quit [Quit: Leaving]
lggr has joined #ocaml
wagle has joined #ocaml
<_habnabit>
is there a way to get a Unix.file_descr out of the output returned by BatFile.open_temporary_out other than using Unix.open on the returned path?
<thelema>
_habnabit: not that I can think of.
<_habnabit>
.. actually, it doesn't look like open_temporary_out takes a directory anyway
<_habnabit>
hmm
<thelema>
if you really need a Unix.file_descr, maybe just create ...
<thelema>
iirc, the directory parameter of open_temporary_out has been added in the git master
<thelema>
there's a vigorous application of magic to try and detect dependencies, but if you already have the deps (or there aren't any), it's quite nice.
lggr has quit [Ping timeout: 246 seconds]
<_habnabit>
hmm, it looks like Filename.open_temp_file is what I want, but Unix.descr_of_out_channel gets clobbered with BatUnix.descr_of_output
<_habnabit>
isn't it Legacy.Unix to access the old Unix module?
<thelema>
yes
<_habnabit>
hm, I got an 'unbound module Legacy.Unix'
<thelema>
hmmm...
<thelema>
Batteries.Legacy.Unix
<_habnabit>
unbound module
<thelema>
hmm, I wonder if that was missing in some versions - are you using 1.5.0?
lggr has joined #ocaml
<_habnabit>
let's see
cdidd has quit [Read error: Connection reset by peer]
avsm1 has quit [Quit: Leaving.]
<_habnabit>
i'm using something weird
<thelema>
ah, yes. 1.x doesn't have Unix in legacy.
<_habnabit>
$ git describe --tags
<_habnabit>
v2beta1-164-g9b9a191
<thelema>
ok, you're using an older v2
<_habnabit>
apparently
<_habnabit>
worth updating to the latest v2 tag?
<_habnabit>
er, branch
<thelema>
latest master
<thelema>
at least that's what I use for my day-to-day coding
<_habnabit>
is master v2 now?
<thelema>
(which says something about my day-to-day coding)
<thelema>
yes, v2 is merged into master
<_habnabit>
ah, okay
<thelema>
and master is occasionally merged back into v2, but infrequently
<_habnabit>
actually, dang, I'm using an even older version
<_habnabit>
sha 4e1433d
<_habnabit>
okay, time to do an export and upgrade all these machines..
lggr has quit [Ping timeout: 276 seconds]
gnuvince_ has joined #ocaml
* thelema
realizes he just pushed without a 'make test' first; hopefully it's still clean
<_habnabit>
heh
<_habnabit>
i'll run it
<thelema>
just some trivial changes around batfloat.
<thelema>
they seem okay
lggr has joined #ocaml
<_habnabit>
lots of warnings about Bounded
<thelema>
4.00?
<_habnabit>
no, 3.12.1 still
<thelema>
ok. hopefully there's no 4.00 code in there; I realize that it may not have been tested under 3.12.1
<_habnabit>
test success
<thelema>
yay
<_habnabit>
File "src/batBounded.ml", line 188, characters 60-61:
<_habnabit>
Warning 27: unused variable x.
<_habnabit>
fwiw
<thelema>
ah, in the tests... okay
<thelema>
ok, should be fixed; one more 'make clean test' before I push