adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/
ulfdoz_ has joined #ocaml
mattrepl has quit [Quit: mattrepl]
ulfdoz has quit [Ping timeout: 264 seconds]
ulfdoz_ is now known as ulfdoz
mildfate has joined #ocaml
<mildfate> If I have a reference to a list. How do I append to this list using the reference?
<jathd> mildfate: If 'listref' is a reference to a list, you can get to the list using '!listref'.
<jathd> Then you just append two lists, using the '@' operator or the 'List.append' function.
<mildfate> jathd: I think I answered my question. I used 'listref := x::!listref'
<jathd> mildfate: Right, that updates the reference.
eikke has joined #ocaml
<mildfate> jathd: My list is of type (string * myType). Is there a way to check for existence of a certain string in the list?
<jathd> mildfate: List.mem_assoc
<mildfate> jathd: What's the difference between assoc and find?
<mildfate> Oh wait, nvm
jbrown__ has quit [Read error: Operation timed out]
cdidd has quit [Ping timeout: 264 seconds]
eikke has quit [Read error: Operation timed out]
paolooo has joined #ocaml
jbrown__ has joined #ocaml
paolooo has quit [Client Quit]
destrius has joined #ocaml
ulfdoz_ has joined #ocaml
Yoric has joined #ocaml
ulfdoz has quit [Ping timeout: 255 seconds]
ulfdoz_ is now known as ulfdoz
ikaros has quit [Quit: Ex-Chat]
sepp2k1 has quit [Read error: Connection reset by peer]
walter has quit [Read error: Connection reset by peer]
walter has joined #ocaml
madroach has quit [Ping timeout: 246 seconds]
madroach has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
mildfate has quit [Quit: Leaving.]
mildfate has joined #ocaml
larhat has quit [Quit: Leaving.]
myx has quit [Ping timeout: 264 seconds]
hongboz has joined #ocaml
mildfate has quit [Quit: Leaving.]
larhat has joined #ocaml
mildfate has joined #ocaml
cdidd has joined #ocaml
Snark has joined #ocaml
Cyanure has joined #ocaml
samposm has quit [Read error: Operation timed out]
samposm has joined #ocaml
adrien_ has joined #ocaml
flx_ has joined #ocaml
adrien has quit [Ping timeout: 245 seconds]
flux has quit [Ping timeout: 244 seconds]
flx_ is now known as flux
cdidd has quit [Read error: Connection reset by peer]
mildfate has quit [Quit: Leaving.]
pheredhel has quit [Quit: ZNC by prozac - http://znc.sourceforge.net]
hongboz has quit [Ping timeout: 256 seconds]
pango is now known as pangoafk
ankit9 has joined #ocaml
adrien_ is now known as adrien
Cyanure has quit [Remote host closed the connection]
hto has joined #ocaml
ftrvxmtrx has joined #ocaml
chambart has joined #ocaml
Cyanure has joined #ocaml
groleo has joined #ocaml
hkBst has joined #ocaml
Arsenik has joined #ocaml
Cyanure has quit [Remote host closed the connection]
djcoin has joined #ocaml
ankit9 has quit [Ping timeout: 264 seconds]
noj has joined #ocaml
Yoric has joined #ocaml
hto has quit [Read error: Operation timed out]
hto has joined #ocaml
ankit9 has joined #ocaml
TDJACR has quit [Ping timeout: 260 seconds]
Kakadu has joined #ocaml
cago has joined #ocaml
eni has joined #ocaml
hto has quit [Ping timeout: 255 seconds]
walter has quit [Read error: Connection reset by peer]
walter has joined #ocaml
thomasga has joined #ocaml
ontologiae has joined #ocaml
ikaros has joined #ocaml
eikke has joined #ocaml
lolcathost has joined #ocaml
|jbrown| has joined #ocaml
jbrown__ has quit [Ping timeout: 255 seconds]
ankit9 has quit [Read error: Connection reset by peer]
lolcathost has quit [Quit: lag]
vbmithr has quit [Quit: Lost terminal]
vbmithr has joined #ocaml
ankit9 has joined #ocaml
Yoric has quit [Ping timeout: 265 seconds]
Xizor has joined #ocaml
<destrius> is there any way to concatenate two BatPrint format strings?
mye has quit [Quit: mye]
_andre has joined #ocaml
<orbitz> ^^ ?
<orbitz> ^^ is for regular format strings
ankit9 has quit [Quit: Leaving]
eni has quit [Quit: Leaving]
<destrius> orbitz: yeah it doesn't work on BatPrint ones. anyway i managed to cobble out a solution using kfprintf
Yoric has joined #ocaml
destrius has quit [Quit: Leaving.]
pngl has joined #ocaml
eikke has quit [Read error: Operation timed out]
Qrntz has quit [Remote host closed the connection]
flux has quit [Ping timeout: 245 seconds]
fraggle_laptop has quit [Ping timeout: 246 seconds]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
fraggle_laptop has joined #ocaml
BiDOrD has quit [Quit: No Ping reply in 180 seconds.]
BiDOrD has joined #ocaml
Neros has joined #ocaml
flux has joined #ocaml
Neros has quit [Quit: No Ping reply in 180 seconds.]
Neros has joined #ocaml
eikke has joined #ocaml
weie has joined #ocaml
cdidd has joined #ocaml
eikke has quit [Ping timeout: 246 seconds]
Qrntz has joined #ocaml
Qrntz has quit [Changing host]
Qrntz has joined #ocaml
eikke has joined #ocaml
answer_42 has joined #ocaml
ontologiae has quit [Read error: Operation timed out]
ontologiae has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
|jbrown| has quit [Ping timeout: 246 seconds]
jbrown__ has joined #ocaml
Neros has joined #ocaml
fasta has quit [Remote host closed the connection]
Neros has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
<testcocoon> is there an IRC channel for opam?
Neros has quit [Quit: No Ping reply in 180 seconds.]
<Kakadu> testcocoon: I think it is not needed
<testcocoon> you mean it would be empty?
<Kakadu> I think it become mainstream soon
<cago> No there is not, but you can ask your question here :)
<testcocoon> ok, I want to create apackage for LLVM. I have 3 url to fetch (llvm, clang compiler-rf). But the url file seams only acception one url. Is this tru?
thomasga has quit [Ping timeout: 252 seconds]
<testcocoon> my second question: is there a way to specify generation option (with or without doxygen generated doc, LLVM version,...)?
thomasga has joined #ocaml
<testcocoon> Kakadu: mainsteam -> will it bethen hosted by the inria?
<Kakadu> testcocoon: `It will be used by almost every OCamler`
groleo has left #ocaml []
<mehdid> why not assuming the clang compiler is already installed? (or did I misunderstood what you said?)
<testcocoon> Kakadu: even on Windows?
<Kakadu> testcocoon: Windows? We should postpone this question until opam will be compilable on Windows
<testcocoon> mehdid: this is abad idea: if you want to use LLVM tools you should have all related tools build for this version. In other words if you install LLVM 3.1, you want to have all tols which works with this version
<cago> URL file can contain only one URL
<testcocoon> mehdid: it is the same as: why installing ocamlc? could opem not use the version provided by the OS?
<flux> kakadu, I tried to compile it yesterday: File "parser.mli", line 68, characters 26-68: Error: Unbound module Core.Core_set.Make(MethKey).Elt
<testcocoon> cago: it is then problematic, because the compiler-rt needs to be inpacked into the llvm source tree.
<flux> kakadu, I have core version
<thomasga> what's the question about opam?
<flux> 107.01
<testcocoon> cago: is there an other project which use more than one URL?
<thomasga> (seems that I've been disconnected)
<testcocoon> thomasga: I want to create apackage for LLVM. I have 3 url to fetch (llvm, clang compiler-rf). But the url file seams only acception one url. Is this true?
<thomasga> what's the semantics of the field if you have multiple url ?
<thomasga> the current semantics is: download the file, and unpack it in the ~/.opam/$switch/build/$package directory
<Kakadu> flux: I have 108.00.01 but Martin Demello have recently patched it to be buildable with latest 108.07.*
<thomasga> testcocoon: why don't you create 3 packages ?
<testcocoon> thomasga: because clang and compiler-rt needs to be unpack in the llvm source tree
<thomasga> hum
<testcocoon> thomasga: here my script http://pastebin.com/PrqzbXdA
<thomasga> they don't distribute a global archive ?
<testcocoon> no
<testcocoon> also if you use directly SVN
<flux> kakadu, I guess I need to not use debian core then
<Kakadu> flux: maybe, I have compiled it by hands
<testcocoon> thomasga: BTW, the script works with opam, the problem is to create a pckage from it.
<Kakadu> btw
<Kakadu> flux: what OCaml do you have?
<thomasga> testcocoon: that's quite unusual
<mehdid> flux: new maintainers are (needed) welcome
<thomasga> so the current answer is: opam supports only 1 url
<flux> kakadu, 3.12.1
<testcocoon> thomasga: I guess one solution would be to create an own tar package
<Kakadu> flux: it's OK
<thomasga> testcocoon: yes, that sounds sensible. 1 big archive containing the contents of the 3 others
<Kakadu> So, It seems opam doesn't support user sh-scripts for building?
<thomasga> ?
<thomasga> you can do "sh <your script>"
sepp2k has joined #ocaml
<testcocoon> thomasga: I prefert to avoid this if possible
<Kakadu> It it is true then multiple-url-problem has work-around with creatign user script
<Kakadu> which will do additional checkout from svn while configuring
<Kakadu> s/It/If/
<testcocoon> Kakadu: yes but for downloading an URL I need an installed tool. wget or curl. And as far I know wget is per default not installed on macos. On cygwin? I don't know
<thomasga> Kakadu: it would be better if the user script won't download external dependencies
lusory has joined #ocaml
<Kakadu> thomasga: yeah, that's why I used `work-around` word
<Kakadu> testcocoon: AFAIR `wget or curl` is build dependence for opam
<thomasga> but I still don't get why you can't create 3 packages
bitbckt has quit [Ping timeout: 250 seconds]
<testcocoon> thomasga: line 32-34 of http://pastebin.com/PrqzbXdA -> all mackages to unpack are in fixed subdirectories of the llvm tree.
<thomasga> testcocoon: you can install clang and compiler-rt sources
<thomasga> as separate packages
<thomasga> they will be installed in ~/.opam/$switch/lib/$package
<testcocoon> thomasga: not according the bulding howto of LLVM
<thomasga> and then symlink them when you are building llvm
<testcocoon> thomasga: yes but symlinks are not worlink on windows?
bitbckt has joined #ocaml
<adrien_oww> they do but they're unusable in practice
<adrien_oww> issue 1: they can only be created by admins
<thomasga> opam is not working on windows currently anyway
<adrien_oww> this means at least the "do you want to grant admin rights to this application" popup at startup
<Kakadu> testcocoon: AFAIR symlinks work under cygwin. Without it on NTFS filesystems there are hard links
<adrien_oww> and then they don't behave the same
<testcocoon> copying the directory is also possible instead of creating a link?
<testcocoon> Other question: is it possible to let the user choosing some build options (ex: LLVM version)?
<testcocoon> (I don't want one package per LLVM version)
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 250 seconds]
<thomasga> testcocoon: yes you can copy the directory if you want
<thomasga> and the url will depend on the LLVM version, so I don't see what you want to do there
<thomasga> btw, what's your final goal there?
gnuvince has quit [Ping timeout: 252 seconds]
<testcocoon> thomasga: the final goal if the provide the ocaml LLVM API and clang associated to this version.
<thomasga> but I guess LLVM has already some other means of distribution
<testcocoon> thomasga: LLVM provide some build options: with/without assertions, with/without doxygen outout,...
<testcocoon> thomasga: not with ocaml API. the build of it is deactivated per default.
<thomasga> ha I see, you want to get the OCaml API to LLVM
<testcocoon> thomasga: yes and then the related tools (clang, llvm-dis, ...)
<testcocoon> thomasga: actually I have it with my script, but I want also provide it to other
<thomasga> an other option is to patch the llvm Makefile
<thomasga> to look into ../../lib/clang-src and ../../lib/compiler-rt instead of the other paths
<thomasga> but that's maybe over complicated
myx has joined #ocaml
<testcocoon> thomasga: copying seams to be easier to maintain
<thomasga> yup
<testcocoon> thomasga: but is is possble to define build options that the user can choose before installing a package?
<thomasga> yes it is: %{foo}% means looking at the contents of the environment variable foo
<thomasga> (some of these variables are predefined, see for instance https://github.com/OCamlPro/opam-repository/blob/master/packages/lwt.2.4.2/opam
<thomasga> %{conf-libev:enable}% is "enable" if the package conf-libev is installed
<testcocoon> thomasga: do you have a list somewhere?
<thomasga> opam config -var $variable-name
<thomasga> opam config -list-vars (but that does not display the implicit variables)
<thomasga> cat ~/.opam/system/config/conf-ocaml.config
<testcocoon> I had the suprise that the output was empty ;)
<thomasga> well yes, I need to improve the output of list-vars :-)
<Yoric> Quick spam: next week, in Lille, France, the FOSSa conference will feature some OCaml.
<thomasga> the variables in conf-ocaml.config are the one available by default in %{…}%
<testcocoon> thomasga: ok, how does the user set a variable?
<thomasga> he can overwrites in on the shell
<thomasga> %{…}% will look in the shell environment first
<thomasga> if it is not there, it will look in conf-ocaml.config
<thomasga> (and if it starts by package:, it will look in package.config)
<testcocoon> environment variable = bash environment variable , not only opam internal environment variable
<thomasga> yes, bash environment variable
<testcocoon> now I understand.
<testcocoon> thanks I guess I have now enough info
<thomasga> I need to write these thing somewhere
<thomasga> things
answer_42 has quit [Ping timeout: 255 seconds]
<testcocoon> thomasga: BTW, I guess you will certainly spamm you for some package requests: oqamldebug is near to be releasable, facile needs a pacht for ocaml 4.0.1, otags should receive a fix for oacml 4.0, ....
<thomasga> feel free to add the packages to https://github.com/OCamlPro/opam-repository :-)
smondet has joined #ocaml
UncleVasya has joined #ocaml
<testcocoon> thomasga: I had already tested the procedure with otags ;)
metasyntax|work has joined #ocaml
stj has joined #ocaml
<stj> hi, I tried using Array.create (1 lsl 20) 0L and it is extremelly slow in comparison to basic int array -- is it because Int64 is boxed? Is there a way to get performance similar to "long long" with GCC?
<stj> the difference in speed between int and int64 is just way too big for me
gnuvince has joined #ocaml
<adrien_oww> if you're wondering about that, you can check the GC stats
UncleVasya has quit [Quit: UncleVasya]
fraggle_laptop has quit [Remote host closed the connection]
<stj> adrien_oww: yes, seems so
<stj> is it possible to have Int64 unboxed?
<stj> I see there are libraries like Int63 but I'm astonished that there is nothing in standard library
<adrien_oww> no
<flux> stj, in ocaml, all objects fit into one machine word. an object is either completely inside that word, or the word is a pointer to where the object actually is.
<adrien_oww> bigarray maybe?
* adrien_oww afk
<flux> stj, and one bit is used to indicate which one it is
<flux> so from there it follows unboxed Int64 is impossible in ocaml :)
<flux> hmm, I wonder if GADTs could be used to keep GC informed about such things..
mattrepl has joined #ocaml
travisbrady has joined #ocaml
arsatiki has quit [Ping timeout: 246 seconds]
Kakadu has quit []
chambart has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
Submarine has quit [Client Quit]
gnuvince has quit [Ping timeout: 246 seconds]
gnuvince has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.9.1]
jamii has joined #ocaml
Kakadu has joined #ocaml
cago has left #ocaml []
mye has joined #ocaml
jamii has quit [Quit: Leaving]
jamii has joined #ocaml
fraggle_laptop has joined #ocaml
hto has joined #ocaml
Arsenik has quit [Remote host closed the connection]
stj has quit [Quit: Page closed]
Yoric has quit [Ping timeout: 246 seconds]
mildfate has joined #ocaml
mildfate has left #ocaml []
fraggle_laptop has quit [Remote host closed the connection]
hkBst has quit [Quit: Konversation terminated!]
tac has joined #ocaml
eikke has quit [Ping timeout: 248 seconds]
jbrown__ has quit [*.net *.split]
ontologiae has quit [*.net *.split]
_andre has quit [*.net *.split]
walter has quit [*.net *.split]
larhat has quit [*.net *.split]
caligula has quit [*.net *.split]
gustav__ has quit [*.net *.split]
ben_zen has quit [*.net *.split]
ontologiae has joined #ocaml
_andre has joined #ocaml
caligula has joined #ocaml
ben_zen has joined #ocaml
larhat has joined #ocaml
walter has joined #ocaml
jbrown__ has joined #ocaml
answer_42 has joined #ocaml
beckerb has quit [Quit: Konversation terminated!]
gustav__ has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
pangoafk is now known as pango
eikke has joined #ocaml
answer_42 has quit [Read error: Connection reset by peer]
<thelema> flux: no, GADTs can't change the GC behavior - it'd require major changes to the GC to have unboxed int64
larhat has quit [Quit: Leaving.]
gnuvince has quit [Ping timeout: 264 seconds]
gnuvince has joined #ocaml
answer_42 has joined #ocaml
tane has joined #ocaml
eikke has quit [Ping timeout: 260 seconds]
travisbrady has quit [Quit: travisbrady]
pngl has quit [Ping timeout: 246 seconds]
thomasga has quit [Quit: Leaving.]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<Qrntz> I think I'm not getting something. if there is an OCaml string «value» that is stored on the C side of my program, never mutated and needs to persist through the run time, is caml_register_generational_global_root() enough to stop the GC from messing around with it?
ontologiae has quit [Ping timeout: 265 seconds]
travisbrady has joined #ocaml
<Qrntz> if that helps, I'm storing «value»s as values (excuse the tautology) of a QHash and I get rubbish a few OCaml allocations later
<thelema> Qrntz: no, the gc can move around even roots
<Qrntz> grrh
<Qrntz> any way to work around that?
<thelema> Ancient - move it outside the ocaml heap
<Qrntz> I'll try that, thanks
Neros has joined #ocaml
thomasga has joined #ocaml
_andre has quit [Quit: leaving]
Yoric has joined #ocaml
mattrepl has quit [Quit: mattrepl]
tac has quit [Ping timeout: 245 seconds]
jonafan has quit [Ping timeout: 240 seconds]
mattrepl has joined #ocaml
jonafan has joined #ocaml
Pantoufle has quit [Quit: Lost terminal]
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
larsrh has left #ocaml []
gnuvince has quit [Ping timeout: 256 seconds]
tac has joined #ocaml
Snark has quit [Quit: Quitte]
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 246 seconds]
thomasga has quit [Ping timeout: 252 seconds]
thomasga has joined #ocaml
ImAlsoGreg has quit [Ping timeout: 260 seconds]
gnuvince has joined #ocaml
Kakadu has quit []
Submarine has quit [Remote host closed the connection]
jathd has left #ocaml []
travisbrady has quit [Quit: travisbrady]
answer_42 has quit [Ping timeout: 246 seconds]
milosn has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
metasyntax has joined #ocaml
chambart has joined #ocaml
thomasga has quit [Quit: Leaving.]
travisbrady has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
eikke has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
eikke has quit [Read error: Operation timed out]
mye has quit [Quit: mye]
eikke has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
eikke has quit [Ping timeout: 250 seconds]
ikaros has joined #ocaml
chambart has joined #ocaml
eikke has joined #ocaml
travisbrady has quit [Quit: travisbrady]
gnuvince has quit [Ping timeout: 252 seconds]
myx has quit [Read error: Operation timed out]
myx has joined #ocaml
bobry_ has quit [Remote host closed the connection]
bobry has joined #ocaml
larhat has joined #ocaml
smondet has quit [Ping timeout: 248 seconds]
travisbrady has joined #ocaml
Cyanure has joined #ocaml
bobry has quit [Remote host closed the connection]
bobry has joined #ocaml
jamii has quit [Ping timeout: 246 seconds]
gnuvince has joined #ocaml
Neros has quit [Read error: Connection reset by peer]
tani has joined #ocaml
tane has quit [Ping timeout: 260 seconds]
tac has quit [Ping timeout: 245 seconds]
Cyanure has quit [Remote host closed the connection]
eikke has quit [Ping timeout: 244 seconds]
eikke has joined #ocaml
travisbrady has quit [Quit: travisbrady]
eikke has quit [Ping timeout: 255 seconds]
Yoric has joined #ocaml
eikke has joined #ocaml