mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
pimmhogeling has joined #ocaml
marteo has quit [Remote host closed the connection]
yziquel has joined #ocaml
<yziquel> is it possible to do something like "type q = private 'a w and 'a w = private q"
Mr_Awesome has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
yakischloba has quit [Quit: Leaving.]
csmrfx has left #ocaml []
enthymene has joined #ocaml
Drk-Sd is now known as drk-sd
avsm has quit [Quit: Leaving.]
joewilliams is now known as joewilliams_away
mutew has quit [Ping timeout: 240 seconds]
bzzbzz has quit [Quit: Lost terminal]
pimmhogeling has quit [Ping timeout: 265 seconds]
demitar has quit [Ping timeout: 276 seconds]
demitar has joined #ocaml
jeddhaberstro has joined #ocaml
mjonsson has quit [Read error: Operation timed out]
yakischloba has joined #ocaml
pad has quit [Remote host closed the connection]
seafood has joined #ocaml
Modius has joined #ocaml
_unK has quit [Remote host closed the connection]
maskd has quit [Quit: leaving]
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
mutew has joined #ocaml
tmaedaZ is now known as tmaeda
tmaeda is now known as tmaedaZ
tmaedaZ is now known as tmaeda
Gooffy has joined #ocaml
enthymene has joined #ocaml
tmaeda is now known as tmaedaZ
tmaedaZ is now known as tmaeda
mehdid has quit [Ping timeout: 246 seconds]
seafood has quit [Quit: seafood]
joewilliams_away is now known as joewilliams
mehdid has joined #ocaml
Submarine has joined #ocaml
joewilliams has quit [Ping timeout: 245 seconds]
joewilliams_away has joined #ocaml
yziquel has quit [Ping timeout: 252 seconds]
Submarine has quit [Quit: Leaving]
joewilliams_away has quit [Ping timeout: 245 seconds]
joewilliams_away has joined #ocaml
Submarine has joined #ocaml
somnium has left #ocaml []
jeddhaberstro has quit [Quit: jeddhaberstro]
mehdid has quit [Ping timeout: 240 seconds]
mehdid has joined #ocaml
mutew has quit [Ping timeout: 245 seconds]
jcaose has joined #ocaml
ulfdoz has joined #ocaml
Associat0r has quit [Quit: Associat0r]
Associat0r has joined #ocaml
Associat0r has quit [Ping timeout: 245 seconds]
ttamttam has joined #ocaml
avsm has joined #ocaml
ttamttam has quit [Quit: Leaving.]
enthymene has quit [Quit: *CRASH thud CLANG* ZZZzzzzZZzZzz....]
<flux> hmm.. I think I've made my first TCO-related bug: I added debug messages, which greatly modified the memory consumption behavior of a program
<flux> well, not first but first 'significant'
seafood has joined #ocaml
seafood has quit [Client Quit]
pimmhogeling has joined #ocaml
Narrenschiff has joined #ocaml
avsm has quit [Quit: Leaving.]
yziquel has joined #ocaml
yziquel has quit [Client Quit]
yziquel has joined #ocaml
brendan has quit [Ping timeout: 258 seconds]
ikaros has joined #ocaml
jcaose has quit [Ping timeout: 240 seconds]
Narrenschiff has quit [Quit: Narrenschiff]
maattd has joined #ocaml
maskd has joined #ocaml
avsm has joined #ocaml
_unK has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
seafood has joined #ocaml
boscop has joined #ocaml
maattd has quit [Quit: maattd]
ikaros has quit [Quit: Leave the magic to Houdini]
seafood has quit [Quit: seafood]
Yoric has joined #ocaml
Modius has quit [Ping timeout: 276 seconds]
_unK has quit [Remote host closed the connection]
_unK has joined #ocaml
ttamttam has joined #ocaml
maskd has quit [Quit: Reconnecting]
maskd has joined #ocaml
Pepe_ has quit [Ping timeout: 252 seconds]
iratsu has quit [Ping timeout: 260 seconds]
Pepe_ has joined #ocaml
maskd has quit [Quit: Reconnecting]
ttamttam has quit [Quit: Leaving.]
maskd has joined #ocaml
maskd has quit [Remote host closed the connection]
iratsu has joined #ocaml
maskd has joined #ocaml
_unK has quit [Remote host closed the connection]
Gooffy has quit [Quit: Leaving.]
brendan has joined #ocaml
Yoric has quit [Quit: Yoric]
ttamttam has joined #ocaml
ttamttam has quit [Quit: Leaving.]
maattd has joined #ocaml
mehdid has quit [Ping timeout: 256 seconds]
jeddhaberstro has joined #ocaml
ulfdoz_ has joined #ocaml
mehdid has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
avsm has quit [Quit: Leaving.]
slash_ has joined #ocaml
mutew has joined #ocaml
Alpounet has joined #ocaml
yziquel has quit [Ping timeout: 252 seconds]
elehack has joined #ocaml
jcaose has joined #ocaml
ygrek has joined #ocaml
_unK has joined #ocaml
Associat0r has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
avsm has joined #ocaml
avsm has quit [Quit: Leaving.]
maattd has quit [Quit: maattd]
maattd has joined #ocaml
mutew has quit [Ping timeout: 276 seconds]
mjonsson has joined #ocaml
mjonsson has quit [Ping timeout: 276 seconds]
mjonsson has joined #ocaml
Yoric has joined #ocaml
<flux> thelema, umm, module M = Genlex with batteries produce some very surprising results..
<flux> infact, the very same results as module M = Gc
<flux> is there a way to work around it?
<Alpounet> what do you mean by surprising results ?
<flux> it produces the contents of the Gc module
<flux> not the Genlex module
ttamttam has joined #ocaml
<flux> that is. some module assignment is wrong
<Alpounet> huh
<Alpounet> weird
Alpounet has quit [Quit: ``Do what you think you can't do.'']
joewilliams_away has left #ocaml []
Alpounet has joined #ocaml
<flux> same thing with the most recent version
<Alpounet> flux, is thelema aware of that issue ?
<flux> I don't think so, I just discovered it at 19:10..
<flux> copy-paste error it apperas
<flux> module Genlex = struct include Gc include BatGc end
<Alpounet> oh
<flux> thelema, a fix available at http://www.modeemi.fi/~flux/software/batteries-included.git/ db8584d5bf6f2b5851e0bae49158f346540f1908
Modius has joined #ocaml
Modius has quit [Max SendQ exceeded]
Modius has joined #ocaml
julm has quit [Quit: Changing server]
maattd is now known as maattd|away
maattd has joined #ocaml
maattd|away has quit [Ping timeout: 265 seconds]
<Camarade_Tux> I'm compiling something with ocamlbuild and WITHOUT ocamlbuild, it doesn't find sexplib or fileutils which are NOT in subdirectories
<Camarade_Tux> they are next to other gallium libraries that are found
<Camarade_Tux> if I call ocamlbuild with -lib, it's working as expected but I'd like to use the _tags file
ttamttam has quit [Quit: Leaving.]
enthymene has joined #ocaml
ccasin has joined #ocaml
<Camarade_Tux> a bit more than two hours to install mingw, msys, ocaml, reinstall ocaml, try to install findlib, get cygwin's cygpath, try to install findlb, try to recompile ocaml, install typeconv, install sexplib, try to install mikmatch, remove the mikmatch bits of my code, change my ocamlbuild config files not to rely on ocamlfind, get my native executables, sounds almost ok =)
pimmhogeling has quit [Ping timeout: 245 seconds]
jao has quit [Ping timeout: 258 seconds]
<flux> writing stream parsers is boring..
<Camarade_Tux> for what?
<flux> I'm parsing graphviz dot files
<orbitz> the Stream API seems a bit weird to me
<flux> I'm using the syntax extensions
tmaeda is now known as tmaedaZ
<flux> I think their documentation has actually decreased over time..
<flux> maybe I'm looking at the wrong place :)
<thelema> flux: ty for bug fix. I can't get it at that url.
<thelema> I'd love to credit you with the fix.
ygrek has quit [Quit: Leaving]
<flux> jaa, niin itseasiassa sehän on vain alias modeemi.modeemiin
<flux> kuten on www.modeemi.cs.tut.fikin, eli tavallaan ihan oikein
<flux> jännästi git tuntuisi suhtautuvan noihin eri tavalla
<mfp> flux: ocaml.fi?
<flux> argh, wrong channel :-)
<flux> no, I was actually trying to talk to the modeemi (unix club at the uni) channel..
<thelema> flux: yes, better
drk-sd has quit [Ping timeout: 252 seconds]
<thelema> flux: how do you install/use the man pages?
<flux> thelema, I installed them manually to /usr/local/share/man/man3/, I don't yet have a rule to do that
<flux> and I just do man BatGenlex and it gives me the page
<elehack> thelema, what would you think of making the v2 branch use Batteries_mt/Batteries vs. Batteries/Batteries_uni and closing issue 34 (the -thread compile issue)?
<orbitz> Any played with clojure? I like it's (lazy)lists
<orbitz> its*
<thelema> flux: ok. I wonder what the right place is, and how to find it automatically
<flux> thelema, $(PREFIX)/man/man3/ perhaps?
<flux> actually, my example doesn't match that ;-)
<flux> soo, $(PREFIX)/share/man/man3/ perhaps
thrasibule has joined #ocaml
<thelema> elehack: yes, that's exactly what should be done, and if you get to that before me, it'll help me out.
<elehack> OK, I'll try to do that today.
<elehack> any reason not to update the v2 branch against master while I'm at it?
<thelema> none I can think of.
<elehack> ok.
<thelema> I don't want to sync v2 every commit, but every week or two is fine.
maattd is now known as maattd|away
avsm has joined #ocaml
Yoric has quit [Ping timeout: 256 seconds]
drunK has joined #ocaml
_unK has quit [Ping timeout: 260 seconds]
julm has joined #ocaml
drunK is now known as _unK
pimmhogeling has joined #ocaml
Submarine_ has joined #ocaml
Submarine has quit [Ping timeout: 258 seconds]
psnively has joined #ocaml
<flux> meh, BatSet doesn't have of_list, to_list, etc?
Submarine_ is now known as submarine
<flux> ah, never mind, it has enum-versions :)
avsm has quit [Quit: Leaving.]
pimmhogeling has quit [Ping timeout: 265 seconds]
<thelema> flux: Enum handles conversion between just about every container format
BigJ has quit [Quit: Leaving]
BigJ has joined #ocaml
psnively has left #ocaml []
derdon has joined #ocaml
slash__ has joined #ocaml
slash_ has quit [Ping timeout: 265 seconds]
Yoric has joined #ocaml
slash__ has quit [Quit: leaving]
slash_ has joined #ocaml
avsm has joined #ocaml
seafood has joined #ocaml
mutew has joined #ocaml
jcaose has quit [Ping timeout: 256 seconds]
seafood has quit [Read error: Connection reset by peer]
seafood has joined #ocaml
threeve has joined #ocaml
mutew has quit [Quit: leaving]
seafood has quit [Quit: seafood]
pimmhogeling has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Client Quit]
ygrek has joined #ocaml
ygrek has quit [Quit: Leaving]
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
submarine has quit [Ping timeout: 265 seconds]
<sfuentes> I was hoping someone could take a look at this small snippet:
<sfuentes> my problem is with line 10
<thelema> ok, what's the problem?
<Camarade_Tux> if (m3 = 0) || (m5 = 0)
<Camarade_Tux> I guess you want !m3 = 0 and !m5 = 0
<sfuentes> i get this error: Error: This expression has type int but is here used with type int ref
<thelema> Camarade_Tux: you ruin the entre game of playing teacher if you just give the answer... :)
<Camarade_Tux> thelema: yeah, definitely :P
<sfuentes> Camarade_Tux: aren't they equivalent?
<thelema> sfuentes: yes, it's telling you that [m3] is an int ref, not an int.
<Camarade_Tux> I hadn't realized, I'm far too tired :P
<thelema> they are not equivalent.
<thelema> Camarade_Tux: don't mind me. Maybe sfuentes just wanted a quick answer.
<thelema> just like you did [!accum] to get the value of [accum], you have to do [!m3]
<sfuentes> i can appreciate a good teacher
<Camarade_Tux> but quick answer are rarely the ones you should give ;-)
<sfuentes> thelema: agghh .... embarassing
<Camarade_Tux> sfuentes: a 'ref' is actually like a record: # let a = ref 0;;
<Camarade_Tux> val a : int ref = {contents = 0}
<Camarade_Tux> so not like an int :-)
<sfuentes> you guys are absolutely right
<sfuentes> i had recently swapper types and i totally forgot
<sfuentes> i originally had let m3 = i mod 3 in
<thelema> sfuentes: yup, this would let you use m3 without the !
<Camarade_Tux> ah nice, the ocaml part of my program is good now (thanks to a fix between fileutils 0.3.0 and 0.4.0), now I need a more recent version of tar on windows
<derdon> Camarade_Tux: are you working on a big project in OCaml?
<Camarade_Tux> derdon: this one is meant to be short and I'm quite happy it is : 400 to 500 lines of ocaml
<derdon> oh, really short
<Camarade_Tux> on the other hand, a proficient C hacker is doing something similar but he already has more than 5k lines and his program does less than mine =)
<derdon> and what does it do?
<derdon> haha
<sfuentes> i was using these ref types just to see how they work, but i'm not clear when i should be using refs vs simple let definitions
<Camarade_Tux> package manager, mostly meant for windows and mingw
<Camarade_Tux> installing libraries in mingw is a pita
ygrek has joined #ocaml
<derdon> sfuentes: references are mutable. these are real variables
<derdon> Camarade_Tux: package manager for windows? I always thaught that's a contradict
ygrek has quit [Client Quit]
<thelema> sfuentes: if you can use a let binding that keeps its value, do so. If you really need to change the value of an identifier after it's defined, use a reference
<Camarade_Tux> derdon: I have a /bin, a /usr/lib*, /usr/include...
ygrek has joined #ocaml
<Camarade_Tux> and for the record, I think ocamlbuild doesn't remakes as much as it should on windows
<derdon> sfuentes: here are three ways of finding out the digit sum of a given number: http://paste.pocoo.org/show/183694/
<derdon> sfuentes: the first function uses references
<derdon> Camarade_Tux: didn't learn yet how ocaml is used for building packages, maintaining projects, solving dependencies, etc.
<thelema> derdon: you didn't include the "sum" function
<derdon> thelema: oh, sorry.
<derdon> thelema: it is simply defined as ``let sum = List.fold_left (+) 0``
<Camarade_Tux> I've been using ocamlbuild + ocamlfind + rudimentary makefile
<Camarade_Tux> ocamlbuild builds, ocamlfind will find libs and solve deps
<derdon> Camarade_Tux: what does ocamlfind do?
<Camarade_Tux> as for maintaining, I've been using git
ygrek has quit [Ping timeout: 245 seconds]
<Camarade_Tux> btw, I've been coding and compiling on linux and once it's working, I've been commiting and then switching to a windows virtual machine where I get a tarball from git, it's been working pretty well, switching between both has been pretty nice
<derdon> yeah, virtual machines are very cool
<derdon> I am using vmware fusion on an iMac
ygrek has joined #ocaml
Yoric has quit [Quit: Yoric]
avsm has quit [Quit: Leaving.]
Amorphous has quit [Ping timeout: 265 seconds]
ygrek has quit [Ping timeout: 245 seconds]
Amorphous has joined #ocaml
pimmhogeling has quit [Ping timeout: 265 seconds]
slash_ has quit [Quit: leaving]