flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
travisbrady has joined #ocaml
travisbrady has quit [Client Quit]
travisbrady has joined #ocaml
manizzle is now known as WeLoveCP
nikki93 has joined #ocaml
WeLoveCP is now known as manizzle
steshaw has joined #ocaml
chrisdotcode_ has quit [Ping timeout: 246 seconds]
travisbrady has quit [Quit: travisbrady]
Simn has quit [Read error: Connection reset by peer]
chrisdotcode has joined #ocaml
Fusebox has joined #ocaml
arquebus has joined #ocaml
csakatoku has joined #ocaml
shinnya has quit [Ping timeout: 248 seconds]
talzeus has quit [Read error: Connection reset by peer]
nikki93 has quit [Remote host closed the connection]
f[x] has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest93132
Guest93132 has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
pango has quit [Read error: Operation timed out]
f[x] has quit [Ping timeout: 264 seconds]
arquebus has quit [Quit: Konversation terminated!]
tristero has joined #ocaml
q66 has quit [Quit: Leaving]
pango has joined #ocaml
manizzle has quit [Ping timeout: 248 seconds]
cesar_ has joined #ocaml
f[x] has joined #ocaml
cesar_ is now known as Guest2018
kizzx2 has joined #ocaml
nisstyre has joined #ocaml
Fusebox has quit [Ping timeout: 264 seconds]
skchrko has quit [Quit: Leaving]
nikki93 has joined #ocaml
derek_c has joined #ocaml
manizzle has joined #ocaml
chrisdotcode_ has joined #ocaml
chrisdotcode has quit [Ping timeout: 256 seconds]
Yoric has quit [Ping timeout: 240 seconds]
chrisdotcode_ has quit [Remote host closed the connection]
chrisdotcode has joined #ocaml
zRecursive has joined #ocaml
nikki93 has quit [Remote host closed the connection]
kizzx2 has quit [Quit: Leaving.]
ocp has joined #ocaml
mcclurmc has quit [Quit: Leaving.]
kizzx2 has joined #ocaml
ocp has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
yacks has quit [Quit: Leaving]
nikki93 has quit [Ping timeout: 248 seconds]
gour has joined #ocaml
boogie has joined #ocaml
Guest2018 has quit [Remote host closed the connection]
Fusebox has joined #ocaml
f[x] has quit [Ping timeout: 264 seconds]
zRecursive has left #ocaml []
<manizzle> can someone help me out with this paste? not sure what syntax i have wrong http://ideone.com/utwWSf
f[x] has joined #ocaml
csakatok_ has joined #ocaml
ggole has joined #ocaml
csakatoku has quit [Ping timeout: 264 seconds]
kizzx2 has quit [Read error: Connection reset by peer]
kizzx2 has joined #ocaml
kizzx2 has quit [Max SendQ exceeded]
kizzx2 has joined #ocaml
Yoric has joined #ocaml
zpe has joined #ocaml
Neros has quit [Ping timeout: 240 seconds]
Neros has joined #ocaml
steshaw has quit [Ping timeout: 264 seconds]
zpe has quit [Remote host closed the connection]
ttamttam has joined #ocaml
thomasga has joined #ocaml
nikki93 has joined #ocaml
Simn has joined #ocaml
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
AltGr has joined #ocaml
nikki93 has quit [Remote host closed the connection]
djcoin has joined #ocaml
ttamttam has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
ttamttam has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
troydm has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
serge has quit [Remote host closed the connection]
troydm has quit [Client Quit]
troydm has joined #ocaml
serge has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 240 seconds]
<ggole> It seems that including functions in a let rec can make them less polymorphic than if they are written standalone. Why?
Yoric has joined #ocaml
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
Kakadu has joined #ocaml
chrisdotcode has quit [Ping timeout: 264 seconds]
boogie has quit [Ping timeout: 246 seconds]
Yoric has quit [Ping timeout: 240 seconds]
derek_c has quit [Quit: leaving]
UncleVasya has joined #ocaml
Neros has quit [Read error: Operation timed out]
ggole_ has joined #ocaml
chrisdotcode has joined #ocaml
<kerneis> ggole: value restriction? http://mlton.org/ValueRestriction
ggole has quit [Ping timeout: 240 seconds]
<companion_cube> \o
ocp has joined #ocaml
Neros has joined #ocaml
ulfdoz has joined #ocaml
yacks has joined #ocaml
nikki93 has joined #ocaml
darkf has quit [Quit: Leaving]
nikki93 has quit [Ping timeout: 240 seconds]
<pippijn> has anybody used jenga before?
<adrien_oww> def-lkb and rks`!
<adrien_oww> (you can ask them any question you want)
<pippijn> my main question is: where can I find more examples?
<pippijn> there are only 2 in the jenga repo
<pippijn> and one of them says "this is not how you use jenga"
<pippijn> and the other one is not how I imagine build system files should be written
<ggole_> kerneis: functions are values, so that shouldn't apply
ggole_ is now known as ggole
steshaw has joined #ocaml
mfp has joined #ocaml
demonimin has quit [Ping timeout: 245 seconds]
demonimin has joined #ocaml
<pippijn> jenga fails to install :\
Kakadu_ has joined #ocaml
Kakadu has quit []
ollehar has joined #ocaml
kizzx2 has quit [Read error: Connection reset by peer]
kizzx2 has joined #ocaml
kizzx2 has quit [Max SendQ exceeded]
kizzx2 has joined #ocaml
kizzx2 has quit [Max SendQ exceeded]
kizzx2 has joined #ocaml
kizzx2 has quit [Max SendQ exceeded]
kizzx2 has joined #ocaml
kizzx2 has quit [Max SendQ exceeded]
kizzx2 has joined #ocaml
kizzx2 has quit [Max SendQ exceeded]
kizzx2 has joined #ocaml
kizzx2 has quit [Client Quit]
UncleVasya has quit [Ping timeout: 245 seconds]
Neros has quit [Ping timeout: 245 seconds]
malo has joined #ocaml
chrisdotcode has quit [Ping timeout: 246 seconds]
demonimin has quit [Remote host closed the connection]
<kerneis> pippijn: you should probably switch to glycojenga, much more powerful http://gabriel.kerneis.info/glycojenga.html
<def-lkb> :D
<pippijn> haha
Nahra_ has quit [Quit: Lost terminal]
ollehar has quit [Ping timeout: 240 seconds]
demonimin has joined #ocaml
q66 has joined #ocaml
tianon has quit [Ping timeout: 264 seconds]
<ggole> That picture gave me diabetes, thanks!
demonimin has quit [Remote host closed the connection]
demonimin has joined #ocaml
Neros has joined #ocaml
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 240 seconds]
csakatoku has quit [Ping timeout: 248 seconds]
rwmjones has quit [Ping timeout: 248 seconds]
rwmjones has joined #ocaml
Fusebox has quit [Ping timeout: 240 seconds]
zpe has quit [Remote host closed the connection]
quelu has quit [Ping timeout: 256 seconds]
f[x] has quit [Ping timeout: 256 seconds]
olibjerd has joined #ocaml
demonimin has quit [Remote host closed the connection]
Simn is now known as Simn|gone
serge has quit [Remote host closed the connection]
demonimin has joined #ocaml
<pippijn> def-lkb: do you have any public project that uses jenga?
<pippijn> rks`: or you?
mch has joined #ocaml
* mrvn pulls a block out of the jenga tower. The tower sways precariously.
talzeus has quit [Remote host closed the connection]
Drup has joined #ocaml
_andre has joined #ocaml
<rks`> pippijn: no
<rks`> pippijn: but you can always contact jst directly I guess
<rks`> (to have examples of how to use it, if they didn't release any yet)
serge has joined #ocaml
Kakadu_ has quit [Ping timeout: 245 seconds]
<avsm> Hrm. I'm a total vim newbie and can't seem to get Merlin working. Do I need some plugin manager like Vundle or something?
* avsm finally switches from nvi
<avsm> set rtp+=/Users/avsm/.opam/system/share/ocamlmerlin/vim
<avsm> set rtp+=/Users/avsm/.opam/system/share/ocamlmerlin/vimbufsync
<avsm> in .vimrc doesn't seem to make :BuildPath or those other new commands available
<asmanur> avsm: you might want to ping def-lkb or rks`
fantasticsid has joined #ocaml
<rks`> hi!
<rks`> I hope that will be enough
<rks`> but if you have any question or remark I'd love to hear them
<rks`> (I'll be leaving soon however, coming back in a few hours)
fantasticsid has quit [Read error: Connection reset by peer]
<rks`> oh also avsm, the command provided by merlin are only available when the filetype of your buffer is ocaml
<rks`> that could explain why you don't have access to « :BuildPath » or anything else (i.e. either you're not editing an ml file, or your vim doesn't recognize it as ocaml)
<companion_cube> yolo btw
<adrien_oww> ...
skchrko has joined #ocaml
zpe has joined #ocaml
<companion_cube> adrien_oww: take a breath "D
<adrien_oww> /kick companion_cube NO!
<adrien_oww> damn, I'm not +o
<adrien_oww> :)
ollehar has joined #ocaml
mcclurmc has joined #ocaml
talzeus has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 248 seconds]
Simn|gone has quit [Ping timeout: 248 seconds]
f[x] has joined #ocaml
<avsm> lovely, i just discovered from the scratch instructions; very useful rks`! I put my notes up at http://anil.recoil.org/2013/10/03/merlin-and-vim.html
amirmc has joined #ocaml
mchqwerty has joined #ocaml
steshaw has quit [Ping timeout: 240 seconds]
mch has quit [Ping timeout: 246 seconds]
amirmc has quit [Ping timeout: 248 seconds]
ollehar has quit [Ping timeout: 264 seconds]
<jpdeplaix> kerneis: oh, you are working on diy :) Great !
ollehar has joined #ocaml
Simn|gone has joined #ocaml
Simn|gone is now known as Simn
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
mch has joined #ocaml
mchqwerty has quit [Ping timeout: 260 seconds]
Yoric has quit [Ping timeout: 252 seconds]
nisstyre has quit [Quit: Leaving]
<kerneis> jpdeplaix: not exactly working on it
<kerneis> but I have commit rights and I don't like broken build systems
<kerneis> as a matter of principle more than anything else
amirmc has joined #ocaml
<jpdeplaix> kerneis: what do you mean by that ? :/
<kerneis> I work more on litmus (a bit), and related stuff, not on diy itself
<kerneis> but I like to have an easy way to check that my commits did not break anything
<kerneis> if make is broken, it's not so easy
<jpdeplaix> I don't follow you :/ Why make would be broken ?
Yoric has joined #ocaml
<adrien_oww> I think he meant the build sytem that is based on make
<kerneis> s/make/Makefile/ sorry
<kerneis> well, if "make" does not even work *before* my commit, how can I check that my commit doesn't break anything
<kerneis> that's what I meant
<ollehar> whenever I get a stacktrace, it sais "Raised at file hashtbl.ml". Any one recognize that error?
cesar_ has joined #ocaml
cesar_ is now known as Guest99452
<kerneis> ollehar: do you use Printexn?
<kerneis> I got something similar with non-sensical messages because I called Printexc.to_string before Printexc.print_backtrace (or something like that), overwriting the captured backtrace
<kerneis> if I remember correctly
<kerneis> so 1* compile with -d 2* if you're using Printexc, order might matter
shinnya has joined #ocaml
<ollehar> kerneis: yes, I do. I'll check order, thx!
UncleVasya has joined #ocaml
ttamttam has quit [Quit: ttamttam]
Guest99452 has quit [Remote host closed the connection]
<ollehar> kerneis: yep, you were right. silly.
<ollehar> should perhaps share on SO...
<manizzle> can someone help me out with this paste? not sure what syntax i have wrong http://ideone.com/utwWSf
<bernardofpc> you're missing an "in" between lines 10 and 11
<manizzle> hm, i guess i dont understand why i need the in there, i thought it was only for let statements?
<bernardofpc> you have a let for your function definition
nikki93 has joined #ocaml
<bernardofpc> (remember, functions are "variables" just like let x = 2)
<manizzle> oh yeah i guess. then what about the toplevel hex_to_raw? that doesnt need an in?
<bernardofpc> depends how you use it
<manizzle> oh cause the toplevel function is a global and global lets dont need ins
ulfdoz has quit [Remote host closed the connection]
<manizzle> ?
<bernardofpc> right
ulfdoz has joined #ocaml
<bernardofpc> if it were a toplevel value like let x = 2 ;; it also works
<bernardofpc> (out of curiosity, whatr's your programming background ?)
olibjerd has quit [Ping timeout: 245 seconds]
Yoric has quit [Ping timeout: 240 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest9342
tianon has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
olibjerd has joined #ocaml
nikki93 has joined #ocaml
paddymahoney has quit [Ping timeout: 248 seconds]
Guest9342 has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
paddymahoney has joined #ocaml
manizzle has quit [Ping timeout: 248 seconds]
yroeht has quit [Ping timeout: 264 seconds]
skchrko has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
boogie has joined #ocaml
skchrko has joined #ocaml
boogie has quit [Remote host closed the connection]
yroeht has joined #ocaml
olibjerd has left #ocaml []
trystero has joined #ocaml
yroeht has quit [Ping timeout: 252 seconds]
tristero has quit [Ping timeout: 252 seconds]
mcclurmc has quit [Quit: Leaving.]
Drup has quit [Ping timeout: 245 seconds]
<rks`> avsm: nice :)
shinnya has quit [Ping timeout: 240 seconds]
yroeht has joined #ocaml
boogie has joined #ocaml
f[x] has quit [Remote host closed the connection]
f[x] has joined #ocaml
mcclurmc has joined #ocaml
Drup has joined #ocaml
amirmc has quit [Quit: Leaving.]
malo has quit [Quit: Leaving]
chrisdotcode has joined #ocaml
zpe has quit [Remote host closed the connection]
travisbrady has joined #ocaml
zpe has joined #ocaml
pango has quit [Remote host closed the connection]
<kerneis> ollehar: yes, SO would be helpful, I was very confused when it happened to me
pango has joined #ocaml
f[x] has quit [Ping timeout: 252 seconds]
manizzle has joined #ocaml
Kakadu has joined #ocaml
serge has quit [Remote host closed the connection]
travisbrady has quit [Read error: Connection reset by peer]
travisbrady has joined #ocaml
manizzle has quit [Quit: Leaving]
manizzle has joined #ocaml
octet8 has joined #ocaml
pango has quit [Remote host closed the connection]
mch has quit [Ping timeout: 246 seconds]
Neros has quit [Ping timeout: 240 seconds]
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
pango has joined #ocaml
tobiasBora has joined #ocaml
nikki93 has joined #ocaml
Neros has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
nikki93 has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
Anarchos has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.1]
steshaw has joined #ocaml
Anarchos has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
darkf has joined #ocaml
zpe has joined #ocaml
ocp has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
mcclurmc has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 240 seconds]
ggole has quit []
travisbrady has quit [Quit: travisbrady]
Yoric has joined #ocaml
willy_ has joined #ocaml
travisbrady has joined #ocaml
trystero has quit [Read error: Operation timed out]
trystero has joined #ocaml
kay_ has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 248 seconds]
travisbrady has quit [Read error: Connection reset by peer]
travisbrady has joined #ocaml
trystero has quit [Read error: Connection reset by peer]
trystero has joined #ocaml
trystero has quit [Ping timeout: 248 seconds]
mcclurmc has joined #ocaml
thomasga has quit [Ping timeout: 240 seconds]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
Anarchos has quit [Quit: reboot...]
trystero has joined #ocaml
Anarchos has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
nikki93 has joined #ocaml
<nikki93> Hey guys!
<nikki93> How do you 'name' the cons (::) operator?
<nikki93> To pass it to, for example, foldr or such
<companion_cube> I'm not sure it's named
<companion_cube> you may need to write a (fun x y -> x ::y) :/
octet8 has quit []
<Anarchos> nikki93 let operator = (::)
<Anarchos> as you wrote it :)
<companion_cube> Anarchos: did you test?
<nikki93> hmm I dunno it seems to be not working for me, will try
<Anarchos> companion_cube i just test
<Anarchos> and failed
<nikki93> list concat is just foldr (::) so I thought it would be cool to write it that way
<companion_cube> so I think you need to write an explicit function
<companion_cube> or let cons x y = x :: y so that you can reuse it
<Anarchos> it seems real weird that :: can not be used as a first class value ?
<def-lkb> constructors are not values in ocaml
<nikki93> alright, thanks all!
<def-lkb> so you always have to manually wrap them in a function, as in `cons'
steshaw has quit [Ping timeout: 260 seconds]
<companion_cube> oh, right, (::) is a constructor
<companion_cube> not an operator like (+)
<nikki93> I didn't realise (::) was a constructor as opposed to just an operator.
<technomancy> what's the rationale behind the weirdness of constructors?
<technomancy> implementation detail?
zpe has quit [Remote host closed the connection]
Yoric has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
_andre has quit [Quit: leaving]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
Kakadu has quit []
AltGr has quit [Quit: Konversation terminated!]
willy_ has quit [Ping timeout: 248 seconds]
steshaw has joined #ocaml
gour has quit [Quit: WeeChat 0.4.1]
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
ollehar has joined #ocaml
steshaw has quit [Ping timeout: 260 seconds]
ollehar has quit [Quit: ollehar]
ollehar has joined #ocaml
ng_ has joined #ocaml
<ng_> how i increment values in a matrix recursively??
tobiasBora has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
<GlenK> haha. J? A = A + 1
<GlenK> I still need to learn ocaml...
zpe has quit [Ping timeout: 248 seconds]
tobiasBora has joined #ocaml
nikki93 has quit [Remote host closed the connection]
ollehar has quit [Quit: ollehar]
UncleVasya has quit [Read error: Connection reset by peer]
UncleVasya has joined #ocaml
kay has joined #ocaml
kay is now known as Guest27353
thorsten` has joined #ocaml
<thorsten`> i never wrote ocaml before and noticed some notation "! ... <- ...; ! ... <- ...;". Where can i read what it means?
<Drup> I hope you never actually read an expression "! x <- y", because it's terrible code
smondet has quit [Ping timeout: 256 seconds]
<Drup> thorsten`: anyway ! is the operator to access the content of a reference and <- is the operator to modify the element of an array
<Drup> urk, this piece of code is ugly
<def-lkb> <- can also be used to modify a field in a record or a character in a string.
Drup has quit [Quit: Leaving.]
<thorsten`> thanks. maybe i have a bit of an idea what's happening in this code..
<technomancy> have there been any efforts to provide immutable strings?
pango has quit [Remote host closed the connection]
ng_ has quit [Ping timeout: 240 seconds]
tobiasBora has quit [Quit: Konversation terminated!]
emmanuelux has joined #ocaml
pango has joined #ocaml
nikki93 has joined #ocaml
<mfp> technomancy: http://paste.debian.net/49809/ ;)
steshaw has joined #ocaml
<technomancy> mfp: wow, that's remarkably lightweight. I'm assuming it's also Fraught With Peril?
<mfp> it just works(TM) (not that it does much, though)
<technomancy> does it prevent string mutation just for the given module?
<mfp> it just causes .[n] <- c after the definition of the String module not to type
<technomancy> sure, but what's the scope of the change?
<technomancy> everything compiled after this module?
<mfp> but doesn't affect external code which can use the original String
<mfp> just the current module
<technomancy> gotcha
<technomancy> but if a string from that module is passed as an arg to another module, it'll stay immutable?
<mfp> if you actually want (globally) immutable strings, you'll need a new type
<mfp> nope
<technomancy> ah, too bad
<mfp> for actually immutable strings, you have BatText (ropes) and others
<technomancy> can you get ropes from the "" syntax with a preprocessor?
<mfp> with estring, you get a syntax like u"xxxxx" IIRC
<technomancy> that's not so bad
<technomancy> I must admit I felt somewhat betrayed when I read about mutable strings =(
shinnya has joined #ocaml
* technomancy wanders off to dust his shrine to Henry Baker's Egal paper
nikki93 has quit [Remote host closed the connection]
<manizzle> can someone help me out? http://ideone.com/f7D13l not sure what mistake im making
<pango> your example string has an odd number of hex "digits"
mcclurmc has quit [Quit: Leaving.]
Guest27353 has quit [Remote host closed the connection]
UncleVasya has quit [Read error: Operation timed out]
mfp has quit [Ping timeout: 240 seconds]
srcerer has joined #ocaml