gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
joewilliams is now known as joewilliams_away
rks has quit [Quit: dodo]
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
elehack is now known as elehack|afk
ftrvxmtrx has joined #ocaml
joewilliams is now known as joewilliams_away
Edward__ has quit []
joewilliams_away is now known as joewilliams
drunK has quit [Remote host closed the connection]
Amorphous has quit [Ping timeout: 276 seconds]
Amorphous has joined #ocaml
joewilliams is now known as joewilliams_away
RyanRN has joined #ocaml
elehack|afk is now known as elehack
deech has joined #ocaml
elehack has quit [Ping timeout: 260 seconds]
elehack has joined #ocaml
joewilliams_away is now known as joewilliams
deech has quit [Ping timeout: 264 seconds]
Tianon has quit [Quit: brb]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
RyanRN has quit [Quit: Leaving.]
ulfdoz has joined #ocaml
elehack has quit [Quit: not a typewriter]
ygrek_ has joined #ocaml
ygrek_ has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
ygrek_ has quit [Ping timeout: 245 seconds]
ygrek_ has joined #ocaml
valross has quit [Ping timeout: 252 seconds]
eelte has quit [Read error: Connection reset by peer]
coucou747 has joined #ocaml
Yoric has joined #ocaml
ViciousPlant has joined #ocaml
Modius has quit [Quit: I'm big in Japan]
ulfdoz has quit [Read error: Operation timed out]
ski has quit [Quit: Sierpinski]
ftrvxmtrx has quit [Quit: Leaving]
joewilliams is now known as joewilliams_away
ygrek_ has quit [Ping timeout: 245 seconds]
diml has quit [Ping timeout: 252 seconds]
patronus has quit [Ping timeout: 265 seconds]
patronus has joined #ocaml
diml has joined #ocaml
ttamttam has joined #ocaml
ViciousPlant has quit [Remote host closed the connection]
Yoric has quit [Quit: Yoric]
palomer has joined #ocaml
<palomer> anyone tried the new gadt branch?
<gildor> palomer: not me
<gildor> palomer: but would like to hear about it
<palomer> I need people to test it!
<flux> is there any hope for contributions such as this (once found stabile etc) to end up in HEAD?
<palomer> there is hope!
<palomer> but I need more people to test it
<palomer> I think it's pretty stable
sohum has quit [Ping timeout: 276 seconds]
<palomer> in fact, if people test it and start asking questions on the mailing list, it could help things along
<f[x]> any tutorial on gadts for noobs?
<flux> doubly-cool would be if coq extraction could make use of those
jsk has joined #ocaml
sohum has joined #ocaml
sohum has quit [Changing host]
sohum has joined #ocaml
<palomer> there are some restrictions which may not be present in coq...
<flux> yeah, I doubt it would be easy.
<flux> and one would need to prove the mapping correct 8-)
<palomer> using coq!
<palomer> flux: can you try to write one of my examples in coq?
ski has joined #ocaml
<flux> I'm afraid my coq studies are very close to the beginning, been there for some time ;)
th5 has joined #ocaml
ftrvxmtrx has joined #ocaml
Yoric has joined #ocaml
stdDoubt has quit [Quit: Leaving]
seafood has joined #ocaml
jonafan_ has joined #ocaml
joewilliz has joined #ocaml
mehdid_ has joined #ocaml
rixed___ has joined #ocaml
LionMade0fLions has quit [*.net *.split]
joewilliams_away has quit [*.net *.split]
mal`` has quit [*.net *.split]
rixed_ has quit [*.net *.split]
jonafan has quit [*.net *.split]
mehdid has quit [*.net *.split]
LionMade0fLions has joined #ocaml
mal`` has joined #ocaml
palomer has quit [Quit: palomer]
<jsk> Hi all, does anyone know if there's a trivial way to remove all comments from an ml file? (If using camlp4, then ideally only with the built-in printers and filters.)
<jsk> thanks, in advance :)
<gildor> camlp4o -printer o test.ml ?
<flux> sadly, it doesn't strip comments?
<gildor> camlp4o -printer o -no_comments test.ml
<gildor> in fact
<gildor> no_comments is an option added by the printer i think
<jsk> gildor: yes, the second works beautifully
<flux> hmm.. I wonder if that could be used for some "real change" detection in makefiles etc..
<flux> | md5sum etc
<flux> I guess there are better tools :)
<jsk> flux: yes, actually that's what I'm trying to use it for
<gildor> flux: ocamlbuild already deal with this kind of "real change" detection
<gildor> AFAIK
<jsk> flux: oops, misunderstood. I'm using camlp4 to detect non-whitespace changes to files.
<flux> jsk, builds take too long?
<jsk> flux: I was using camlp4 as a simple check that a given patch causes no semantic changes to a file.
<gildor> coccinelle ?
<jsk> flux: by running the command over the unpatched file, then the patched file, and then diffing the result.
<jsk> but hopefully ignoring changes to comments :)
<jsk> gildor: interesting link, thanks for posting
<jsk> I wonder if one could build a refactoring-aware version control system from this.
<jsk> is that the idea/
<jsk> It would be nice if version control systems could have knowledge of high-level refactorings (like "rename identifier", or "move module"), and then arrange that orthogonal refactorings do not cause merge conflicts.
<jsk> gildor: thanks for your help
RyanRN has joined #ocaml
Tobu has joined #ocaml
mehdid_ is now known as mehdid
avsm has joined #ocaml
ovk has joined #ocaml
fraggle_ has joined #ocaml
seafood has quit [Quit: seafood]
yezariaely has joined #ocaml
seafood has joined #ocaml
fraggle_ has quit [Read error: Connection reset by peer]
yezariaely has quit [Quit: Leaving.]
avsm has quit [Ping timeout: 265 seconds]
avsm has joined #ocaml
fraggle_ has joined #ocaml
<iris1> Dear experts, I ran into a puzzling problem. I am probably doing something wrong. The following definition of argmax fails with "Error: unbound value i". It is meant to return the index of a maximal element in the argument.
<iris1> let argmax arr =
<iris1> let i = ref 0
<iris1> and m = ref arr.(0) in
<iris1> Array.mapi (fun j x -> if (x > !m) then begin i := j; m := x end) arr
<iris1> in
<iris1> !i;;
<iris1> What should I do differently? Thank you!
<mfp> iris1: you're doing let ... in ... in !i ... there's one too many in ...
<thomasga> Array.iteri .... ; !i
<iris1> Ah yes! Thank you very much!
seafood has quit [Quit: seafood]
seafood has joined #ocaml
jonafan__ has joined #ocaml
jonafan_ has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
seafood has quit [Quit: seafood]
lamawithonel_ has quit [Ping timeout: 264 seconds]
rixed___ is now known as rixed
lamawithonel has joined #ocaml
RyanRN has quit [Read error: No route to host]
RyanRN has joined #ocaml
ccasin has joined #ocaml
ttamttam has left #ocaml []
rossberg has quit [Quit: Leaving]
Modius has joined #ocaml
hto has quit [Read error: Connection reset by peer]
hto has joined #ocaml
ikaros has joined #ocaml
jsk is now known as jsk-away
drunK has joined #ocaml
fraggle_laptop has joined #ocaml
init1 has joined #ocaml
joewilliz has quit [Quit: ZNC - http://znc.sourceforge.net]
joewilliams_away has joined #ocaml
init1 has quit [Read error: Connection reset by peer]
init1 has joined #ocaml
joewilliams_away has quit [Excess Flood]
joewilliams has joined #ocaml
joewilliams is now known as joewilliams_away
rossberg has joined #ocaml
rudi_s has quit [Ping timeout: 240 seconds]
rudi_s has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 252 seconds]
ftrvxmtrx has quit [Quit: Leaving]
joewilliams_away is now known as joewilliams
kerneis has quit [Ping timeout: 255 seconds]
jonafan__ is now known as jonafan
th5 has quit [Quit: th5]
avsm has joined #ocaml
boscop_ is now known as boscop
ztfw has joined #ocaml
Yoric has quit [Quit: Yoric]
yezariaely has joined #ocaml
yezariaely has left #ocaml []
fraggle_laptop has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
Yoric has joined #ocaml
avsm has quit [Quit: Leaving.]
ulfdoz has joined #ocaml
Smerdyakov has joined #ocaml
ygrek_ has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
ulfdoz_ is now known as ulfdoz
Snark has joined #ocaml
mjuad is now known as gnewman
Edward__ has joined #ocaml
init1 has quit [Quit: Quitte]
hto has quit [Quit: Lost terminal]
Smerdyakov has quit [Quit: Leaving]
Edward__ has quit [Ping timeout: 276 seconds]
gnewman has left #ocaml []
ovk has quit [Read error: Operation timed out]
lpereira has joined #ocaml
Snark has quit [Quit: Ex-Chat]
ovk has joined #ocaml
ovk has quit [Client Quit]
bacam has quit [Read error: Operation timed out]
bacam has joined #ocaml
ygrek_ has quit [Ping timeout: 245 seconds]
Edward__ has joined #ocaml
RyanRN has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
<adrien> oh, the toplevel is now making a difference between "versions" of a same type :-) (had read it but had forgotten about it :-) )
<julm> nice
<adrien> the type error is most probably almost as cryptic for new users however :P
<julm> as usual
ygrek_ has quit [Ping timeout: 245 seconds]
lpereira has quit [Quit: Leaving.]
ztfw has quit [Remote host closed the connection]
ccasin has quit [Quit: Leaving]
ulfdoz has quit [Ping timeout: 245 seconds]
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
avsm has joined #ocaml
Yoric has quit [Quit: Yoric]
ikaros has quit [Quit: Leave the magic to Houdini]
rks has joined #ocaml
Edward__ has quit []
valross has joined #ocaml