ikaros has quit [Quit: Leave the magic to Houdini]
<adrien>
hi, with 3.12, I don't have libstr.a anymore. Is it only with godi or is it gone from upstream? (is anyone else missing the library?)
<adrien>
brute-force found it: it has been renamed to "libcamlstr.a"
<adrien>
mfp: you might want to change that in ld-ocaml ^^ (libstr.a renamed to libcamlstr: you link against -lstr)
oriba has joined #ocaml
<mfp>
adrien: thanks for the heads up, will detect the OCaml version in the OMakefile
<adrien>
:)
barismetin has joined #ocaml
f[x] has joined #ocaml
f[x] has quit [Ping timeout: 276 seconds]
f[x] has joined #ocaml
th5 has joined #ocaml
valross has quit [Quit: Ex-Chat]
rudi_s_ has quit [Quit: leaving]
_andre has joined #ocaml
rudi_s has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
f[x] has joined #ocaml
sepp2k has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
oriba_ has joined #ocaml
hyperboreean has quit [Ping timeout: 240 seconds]
oriba has quit [Ping timeout: 264 seconds]
hyperboreean has joined #ocaml
th5 has quit [Quit: th5]
f[x] has joined #ocaml
pcarrier has joined #ocaml
f[x] has quit [Ping timeout: 260 seconds]
f[x] has joined #ocaml
ftrvxmtrx has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
hto has quit [Read error: Connection reset by peer]
hto has joined #ocaml
teiresias has joined #ocaml
JimmyRcom has joined #ocaml
oriba_ has quit [Quit: Verlassend]
boscop has joined #ocaml
_unK has quit [Remote host closed the connection]
jonathandav has joined #ocaml
f[x] has quit [Read error: Operation timed out]
f[x] has joined #ocaml
joewilliams_away is now known as joewilliams
Yoric has quit [Quit: Yoric]
omfgwtf has joined #ocaml
eldragon has joined #ocaml
eldragon has quit [Read error: Connection reset by peer]
eldragon has joined #ocaml
ikaros has joined #ocaml
verte has quit [Quit: ~~~ Crash in JIT!]
sepp2k has quit [Remote host closed the connection]
<adrien>
is debian or fedora generating .cmxs files even when they're not built by default?
ftrvxmtrx has quit [Quit: Leaving]
Anarchos has joined #ocaml
smimou has joined #ocaml
<gildor>
adrien: sgnb has done some tweaking to be able to generate .cmxs for rev-dep of ocsigen
barismetin has quit [Remote host closed the connection]
<sgnb>
adrien: my own policy is on a per-need basis
<adrien>
sounds good: I was doing something with ld-ocaml and ocamlnet, which meant that 30 .cmxs were required and I have 173 .cmx*a* files but only 12 .cmx*s* ones (on godi), a bit depressing
<adrien>
hopefully it's still possible to create them later on
ttamttam has left #ocaml []
<adrien>
but it's pretty annoying
chee has joined #ocaml
omfgwtf has quit [Ping timeout: 252 seconds]
sepp2k has joined #ocaml
eldragon is now known as maharba
xeno_ has joined #ocaml
init1 has joined #ocaml
joewilliams is now known as joewilliams_away
mjonsson has joined #ocaml
omfgwtf has joined #ocaml
smimou has quit [Quit: bli]
omfgwtf has left #ocaml []
uho has joined #ocaml
smimou has joined #ocaml
<uho>
I want to add all the elements of a list less than an integer i. http://codepad.org/BcO9L4MV . This is obviously incorrenct, but I'm a bit stuck
<sepp2k>
uho: (if x < i then x else 0) + text xs i
<uho>
ah, thanks! Need to get more used to ocaml. Do you know of any exercises I could do?
ikaros_ has joined #ocaml
thelema_ is now known as thelema
<thelema>
uho: if you like math puzzles, eulerproject
<uho>
wow, looks intersting! thanks thelema
<thelema>
the first few are done (by me) in the batteries source tree (examples/euler). If you want to contribute more, I'd be happy to include your code as more examples
ikaros has quit [Ping timeout: 276 seconds]
<uho>
:) this is cool, kind of like my numerical methods class. gonna bookmrk it
chee has quit [Ping timeout: 265 seconds]
ulfdoz has joined #ocaml
<thelema>
yes, eulerproject is a very good thing
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
<uho>
I'm splitting up the list into a tuple with a) values < i, b) values = i, c) values < i
<uho>
err last one should be > i
<adrien>
why not x::a instead of a@[x] ? and the final case would be (List.rev a, List.rev b, List.rev c)
<uho>
hm, I guess that would work too. Couldn't I do a::x and avoid a list reversal at the end?
<adrien>
well, it'll reverse the list, but if you don't need to keep the order, you can skip the reversal
<adrien>
(x::a + List.rev) is better for everything when compared to (a@[x])
<uho>
okay, I'll keep that in mind, thanks!
init1 has quit [Quit: Quitte]
_unK has joined #ocaml
sepp2k has quit [Quit: Leaving.]
coucou747 has quit [Quit: 0x2a]
easy4 has quit [Quit: easy4]
ulfdoz has quit [Ping timeout: 245 seconds]
_andre has quit [Quit: leaving]
uho has quit [Ping timeout: 245 seconds]
Edward has joined #ocaml
coucou747 has joined #ocaml
joewilliams_away is now known as joewilliams
<xeno_>
what's the syntax for defining a type constructor with multiple arguments? (that is, like type expression = Not expression | And expression expression | ... ;;
<thelema>
type expression = Not of expression | And of expression * expression | ...
<ben_m>
Getting the following error when trying to compile Batteries with 3.12: http://sprunge.us/NULj
<ben_m>
Reward for helping me: virtual hug and/or cookie
<xeno_>
thelema: thanks... tried writing it in vi then pasting it into an ocaml command line, and got "Illegal character \027", but when I wrote it by hand, it went ok...
joewilliams is now known as joewilliams_away
xeno_ is now known as xeno
<thelema>
ben_m: ocaml version?
<thelema>
3.12, yes
<ben_m>
3.12.0, to be exact
<thelema>
you'll need the latest git of batteries - there was a regression in 3.12's camlp4
<thelema>
the fix is in the source tree
<ben_m>
I'll try that, thanks.
joewilliams_away is now known as joewilliams
jakedouglas has quit [Quit: Leaving.]
SEcki has joined #ocaml
<xeno>
so, how do I print a user defined type to stdout?
<thelema>
write a printer for it.
smimou has joined #ocaml
<thelema>
every user defined type is composed of primitive types, no?
<thelema>
if it's not too complex, batteries will likely make the job reasonable, as its printing functions are composable in just the right way
<sgnb>
thelema: BTW, you are aware of the parenthesis trick for camlp4 regression?
ikaros_ has quit [Quit: Leave the magic to Houdini]
joewilliams_away is now known as joewilliams
smimou has quit [Quit: bli]
joewilliams is now known as joewilliams_away
ben_m has quit [Quit: WeeChat 0.3.3]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 276 seconds]
rudi_s has quit [Ping timeout: 272 seconds]
rudi_s has joined #ocaml
alpounet has left #ocaml []
roconnor has joined #ocaml
<roconnor>
The Matita ./configure file uses the environment variable OCAMLPATH, overriding my OCAMLPATH so that ocamlfind doesn't find the locations of my ocaml libs. ARG!!