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.org | Public logs at http://tunes.org/~nef/logs/ocaml/
Nova_ has quit [Quit: Page closed]
jbrown__ has joined #ocaml
|jbrown| has quit [Read error: Operation timed out]
gnuvince has quit [Ping timeout: 252 seconds]
mnero has quit [Quit: leaving]
yacks has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
gnuvince has joined #ocaml
travisbrady has quit [Quit: travisbrady]
TaXules has quit [Ping timeout: 252 seconds]
travisbrady has joined #ocaml
TaXules has joined #ocaml
emmanuelux has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
ivan\ has joined #ocaml
_habnabit has quit [Quit: ZNC - http://znc.sourceforge.net]
_habnabit has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
ahokaomaeha has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
ahokaomaeha has joined #ocaml
flx_ has joined #ocaml
maufred_ has joined #ocaml
emias_ has joined #ocaml
madroach_ has joined #ocaml
Qrntz_ has joined #ocaml
avsm_ has joined #ocaml
madroach has quit [*.net *.split]
flux has quit [*.net *.split]
maufred has quit [*.net *.split]
Qrntz has quit [*.net *.split]
avsm has quit [*.net *.split]
emias has quit [*.net *.split]
flx_ is now known as flux
avsm_ is now known as avsm
ahokaomaeha has quit [Ping timeout: 252 seconds]
ahokaomaeha has joined #ocaml
ahokaomaeha has quit [Client Quit]
travisbrady has quit [Quit: travisbrady]
slack1256 has joined #ocaml
ahokaomaeha has joined #ocaml
karswell` has joined #ocaml
karswell has quit [Remote host closed the connection]
rwmjones has quit [Read error: Operation timed out]
rwmjones has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 244 seconds]
ftrvxmtrx has joined #ocaml
yacks has quit [Read error: Connection reset by peer]
slack1256 has quit [Quit: Konversation terminated!]
Cyanure has joined #ocaml
sgnb has joined #ocaml
yacks has joined #ocaml
adotbrown has quit [Ping timeout: 246 seconds]
weie has joined #ocaml
yacks has quit [Quit: Leaving]
Yoric has joined #ocaml
yacks has joined #ocaml
ulfdoz has joined #ocaml
weie has quit [Quit: Leaving...]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
hyperboreean has quit [Ping timeout: 264 seconds]
ulfdoz has quit [Read error: Operation timed out]
Yoric has quit [Remote host closed the connection]
ontologiae has joined #ocaml
Yoric has joined #ocaml
hkBst has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
hkBst_ has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
djcoin has joined #ocaml
emias_ has quit [Quit: Changing server]
emias has joined #ocaml
hkBst_ has quit [Ping timeout: 248 seconds]
Cyanure has quit [Ping timeout: 245 seconds]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
anderse has joined #ocaml
hkBst_ has quit [Ping timeout: 245 seconds]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
ahokaomaeha has quit [Ping timeout: 246 seconds]
ftrvxmtrx_ has joined #ocaml
Kakadu has joined #ocaml
hkBst_ has quit [Remote host closed the connection]
AltGr has joined #ocaml
hkBst_ has joined #ocaml
hkBst_ has quit [Ping timeout: 276 seconds]
hkBst__ has joined #ocaml
hkBst__ has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
hkBst__ has joined #ocaml
andreypopp has joined #ocaml
yacks has quit [Read error: Operation timed out]
hkBst__ has quit [Read error: Connection reset by peer]
hkBst__ has joined #ocaml
yacks has joined #ocaml
hyperboreean has joined #ocaml
Cyanure has joined #ocaml
hkBst__ has quit [Ping timeout: 248 seconds]
ontologiae has joined #ocaml
hkBst__ has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
yacks has joined #ocaml
alxbl has quit [Ping timeout: 276 seconds]
othiym23 has quit [Read error: Operation timed out]
othiym23 has joined #ocaml
srcerer has quit [Ping timeout: 252 seconds]
srcerer has joined #ocaml
_andre has joined #ocaml
Yoric1 has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
LeNsTR has quit [Ping timeout: 264 seconds]
LeNsTR has joined #ocaml
alxbl has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
mye_ has joined #ocaml
mye_ has quit [Ping timeout: 248 seconds]
LeNsTR has quit [Changing host]
LeNsTR has joined #ocaml
mye has joined #ocaml
hkBst has joined #ocaml
hkBst__ has quit [Read error: Connection reset by peer]
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
andreypopp has quit [Quit: sleep]
sysop_fb has quit [Read error: Operation timed out]
andreypopp has joined #ocaml
sysop_fb has joined #ocaml
mcclurmc has joined #ocaml
thomasga has joined #ocaml
leoncamel has joined #ocaml
q66 has joined #ocaml
thomasga has quit [Quit: Leaving.]
Yoric1 has quit [Ping timeout: 252 seconds]
ontologiae has quit [Ping timeout: 252 seconds]
yacks has quit [Remote host closed the connection]
jamii has joined #ocaml
Yoric has joined #ocaml
yacks has joined #ocaml
thomasga has joined #ocaml
ontologiae has joined #ocaml
ftrvxmtrx_ has quit [Quit: Leaving]
dwmw2_gone is now known as dwmw2
Yoric has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
NaCl has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
ttamttam has joined #ocaml
darkf has quit [Quit: Leaving]
travisbrady has joined #ocaml
travisbrady has quit [Client Quit]
travisbrady has joined #ocaml
leoncamel has quit [Ping timeout: 252 seconds]
Yoric has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
weie has joined #ocaml
mattrepl has joined #ocaml
andreypopp has quit [Quit: sleep]
gour has joined #ocaml
NaCl has joined #ocaml
Yoric has joined #ocaml
ttamttam has quit [Quit: ttamttam]
andreypopp has joined #ocaml
hkBst has quit [Ping timeout: 272 seconds]
hkBst has joined #ocaml
weie has quit [Quit: Leaving...]
tane has joined #ocaml
hkBst has quit [Ping timeout: 272 seconds]
andreypopp has quit [Quit: sleep]
hkBst has joined #ocaml
hkBst has quit [Ping timeout: 252 seconds]
cago has joined #ocaml
smondet has joined #ocaml
hkBst has joined #ocaml
Cyanure has quit [Remote host closed the connection]
<yezariaely> can I somehow query the batteries version currently installed using ocamlfind ?
<yezariaely> This: ocamlfind query -long-format batteries | grep version seems not to be a good solution ...
<yezariaely> I need it in a makefile, doing different things depening on the version of batteries
hkBst has quit [Ping timeout: 245 seconds]
<thomasga> yezariaely: ocamlfind query batteries -format "%v"
myx has joined #ocaml
<yezariaely> thomasga: thanks
<thomasga> (the -format option is quite useful when you write Makefiles)
<thomasga> ("-I %d %a" for instance)
Kakadu has quit []
Cyanure has joined #ocaml
thomasga has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 252 seconds]
ontologiae has quit [Ping timeout: 244 seconds]
ahokaomaeha has joined #ocaml
Yoric has joined #ocaml
tac has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
ttamttam has joined #ocaml
yacks has quit [Read error: Connection reset by peer]
cago has quit [Quit: Leaving.]
ttamttam has quit [Quit: ttamttam]
<travisbrady> I Just ran "opam update" and now opam no longer works. Fails with: http://pastebin.com/6g9GZqXC
<travisbrady> Anyone seen this?
<travisbrady> this is with "opam version 0.8.2"
<travisbrady> and ocaml 3.12.1
* thelema tries to find the mailing list thread about this
cago has joined #ocaml
<thelema> The issue with 'opam update opam' is that this installs the opam binary in ~/.opam/<switch>/bin. If you manually move the new opam to a safe place (say in /usr/local/bin) before removing ~/.opam, yes that should be fine.
<smondet> `opam update opam` has been removed in 0.9.x
<thelema> odd, I can't figure out why this thread isn't on the caml list...
<smondet> I mean the opam package itself has been removed from the opam-repo
<smondet> It is in the 2nd reply of the thread " [ANN] beta-release of OPAM"
<travisbrady> So I need to move my opam directory?
<thelema> yes, I see it in my email, but I can't find it here: https://sympa.inria.fr/sympa/arc/caml-list/2013-02/
<thelema> oh, just me being stupid with the interface; page 8 of 8
<thelema> travisbrady: I think the easiest solution was just to reinstall
dwmw2 is now known as dwmw2_gone
<travisbrady> thelema: and to do that I need to do a make 'libuninstall' in my original opam download directory?
ftrvxmtrx has quit [Ping timeout: 260 seconds]
<thelema> travisbrady: don't know about that. I only know about deleting ~/.opam and installing the new one from scratch
<thelema> might be useful to copy down your installed packages so you can easily reinstall them
Kakadu has joined #ocaml
travisbrady has quit [Quit: travisbrady]
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 248 seconds]
osa1 has joined #ocaml
AltGr has quit [Quit: Konversation terminated!]
cago has left #ocaml []
Qrntz_ is now known as Qrntz
Qrntz has quit [Changing host]
Qrntz has joined #ocaml
travisbrady has joined #ocaml
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 248 seconds]
jamii has quit [Ping timeout: 255 seconds]
djcoin has quit [Quit: WeeChat 0.3.9.2]
Reventlov has quit [Ping timeout: 260 seconds]
Reventlov has joined #ocaml
Yoric has joined #ocaml
RagingDave has joined #ocaml
tac has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 264 seconds]
andreypopp has joined #ocaml
tane has quit [Read error: Operation timed out]
Yoric has quit [Ping timeout: 246 seconds]
tane has joined #ocaml
tac has joined #ocaml
_andre has quit [Quit: leaving]
ahokaomaeha has quit [Ping timeout: 276 seconds]
ahokaomaeha has joined #ocaml
ahokaomaeha has quit [Client Quit]
<travisbrady> thelema: are the docs for camlzip available online anywhere?
<troydm> travisbrady: i was in the same spot and ended reading source code
<troydm> couldn't find any docs
<travisbrady> troydm: ahh, thank you for the tip. I'm just trying to decompress gripped strings
<troydm> travisbrady: ur welcome
<thelema> svn browsing of the .mli files is the best I have.
<travisbrady> thank you. I found this github mirror and have been browsing there. https://github.com/Leonidas-from-XIV/camlzip/tree/master/src
<thelema> better than the svn browser on the forge.
<thelema> just made this for you
mattrepl has quit [Quit: mattrepl]
<flux> he speaks the truth, http modified 3 minutes ago ;)
mattrepl has joined #ocaml
<flux> what a great service you provide :)
<travisbrady> thelema: thank you! Very kind
tac has quit [Ping timeout: 245 seconds]
ahokaomaeha has joined #ocaml
<thelema> and it's now linked in to the camlzip page on the forge, although it seems as horrible a solution as possible
mattrepl has quit [Quit: mattrepl]
mattrepl has joined #ocaml
gour has quit [Quit: WeeChat 0.4.0]
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
Kakadu has quit []
<travisbrady> After upgrading opam I'm now getting "Error: Reference to undefined global" any time I try to use anything I've #require'd
<travisbrady> The require works fine and I can 'see' the module in utop, but when I try to use anything I get the error. Has anyone seen this?
<anderse> someone mentioned having issues after: opam update opam, did you do that?
ftrvxmtrx has joined #ocaml
<travisbrady> I didn't no. I rm'd all of ~/.opam and started over
Yoric has joined #ocaml
tane has quit [Quit: Verlassend]
Armael is now known as Armael_
Armael_ is now known as Armael`
Armael` is now known as Learma
anderse has quit [Quit: anderse]
osa1 has quit [Quit: Konversation terminated!]
Learma is now known as learmA
mattrepl has quit [Quit: mattrepl]
djcoin has joined #ocaml
anderse has joined #ocaml
anderse has quit [Client Quit]
anderse has joined #ocaml
Anarchos has joined #ocaml
andreypopp has quit [Quit: sleep]
invariant has quit [Quit: ZNC - http://znc.in]
learmA is now known as Armael
<Leonidas> travisbrady: heh, that's my repo
<Leonidas> I was kinda annoyed by the idea of typing svn commands, so I just mirrored as good as possible and retaining the user names and stuff.
<Anarchos> I can't understand why the syntax of ats-lang is so painful !!
<ousado> Anarchos: mostly because it does a billion things
<orbitz> adn the author is insane
<ousado> orbitz: in what way?
<Anarchos> orbitz i vote for this one :)
tongcx has joined #ocaml
<tongcx> hi, is there any quick way to print a list?
<orbitz> ousado: he's just sort of known in PLT community as being insane, in somewhat of a complimentory way
<orbitz> tongcx: quick as in less typing or quick as in performant?
<tongcx> less typing
<thelema> tongcx: using batteries: List.print Int.print stdout [1;2;3]
<Anarchos> orbitz what is PLT ?
<ousado> orbitz: okay, I think that might be accurate
<orbitz> programming language theory
<Anarchos> thelema List.map (print_element)
<Anarchos> orbitz oh ok
<tongcx> nice, in toplevel, if you type the name of a var, you get a nice print out, there is no corresponding feature in actual script, right?
<thelema> Anarchos: List.iter print_int [1;2;3] works too
<thelema> Anarchos: but you don't get any separators
<ousado> but he's quite nice and responsive, judging from the mailing list
<Anarchos> thelema i find List.map smarter than List.print
<thelema> tongcx: correct; the printout at the toplevel cheats by knowing the type of everything (and having printers registered for types)
<thelema> tongcx: in compiled code, the types are erased.
mattrepl has joined #ocaml
<tongcx> thelema: good to know, thanks a lot
<orbitz> surprised there is no syntax extension for this though
<ousado> Anarchos: but really, when anyone else had to come up with syntax for the plethora of features and flavors of everything that ATS supports, I doubt it would look much different, especially when the same person is also designing and implementing the language at the same time
<thelema> orbitz: there are; it's just that syntax extensions in ocaml aren't good enough, so most people go without
<orbitz> ah
<Anarchos> orbitz sure
djcoin has quit [Quit: WeeChat 0.3.9.2]
milosn has quit [Ping timeout: 248 seconds]
<Anarchos> ousado do you think ats is the ultimate language in functional languages ?
<orbitz> the ultimate language is obviously one people use
<ousado> Anarchos: I think it's currently the ultimate as close-to-the-metal as it gets without sacrificing correctness and performace functional (and otherwise) language
<Anarchos> ousado this answer satisfies me :)
<ousado> it took me a long time to wrap my head around, but I don't regret one second I spent
<Anarchos> orbitz hmmm C and java and web junk satisfies this definition, so i think it is not enough ;)
<orbitz> Anarchos: none of those are 'functional' though
<orbitz> and i meant that is a necessary attirbute not satisfactory attirbute
<ousado> orbitz: come on, I know of at least 5 :)
<orbitz> at least 5 what?
<ousado> people using it
<orbitz> :)
<orbitz> doublec doesn't count as 5 peopel
<ousado> but HX does, easily :)
<orbitz> :)
<orbitz> whee my cheap redudnant fiel server is woooorkiiiing
<pippijn> throw it away
<pippijn> it's redundant
<ousado> orbitz: what's cheap about it?
<Anarchos> ousado so i will give more than a try to ats, thanks.
<ousado> Anarchos: there's ##ats on freenode, btw
<Anarchos> ousado ok thanks
<Anarchos> ousado i will try to port it to the OS i use (Haiku-OS)
<ousado> Anarchos: check out doublec's blog if you haven't already
<Anarchos> ousado what is it about N?
<orbitz> ousado: it's just a riak cluster with a script to curl a file
<ousado> Anarchos: hm?
<orbitz> Anarchos: it's about ATS
<Anarchos> orbitz ok
<Anarchos> ousado have you a link ?
<orbitz> doublec is the face of ATS on reddit
<ousado> well, he writes about everything under the IT sun, but yes, ats, too
<ousado> yep
<orbitz> no rss feed??
<orbitz> ah hidden
<orbitz> hrm that's for comments
emmanuelux has joined #ocaml
<travisbrady> Anyone have pointers on how to decompress a gripped string in OCaml?
<pippijn> what's a gripped string?
<pippijn> oh, gzipped
<travisbrady> Using http://camlzip.forge.ocamlcore.org/doc/Gzip.html I can decompress channels, but I need to handle a string
<orbitz> grip it hard
<travisbrady> oohs, stupid autocorrect. yes gzipped
<orbitz> thelema: can you turn a string into a channel?
emmanuelux has quit [Read error: Connection reset by peer]
<pippijn> hmm
<pippijn> with batteries, you can
<orbitz> err wrong person
<pippijn> pervasives doesn't have a function that can do that
<travisbrady> I don't see anything that can operate on a string here: http://batteries.forge.ocamlcore.org/doc.preview:batteries-beta1/html/api/GZip.html
<travisbrady> agh "let in_channel_of_string s = BatIO.in_channel (BatIO.input_string s)" from https://github.com/zli/buzzlogs-ocaml/blob/master/2011-07-13-irc.log
<pippijn> val input_string : string -> input
<travisbrady> pippijn: excellent thank you
Yoric has quit [Ping timeout: 246 seconds]
emmanuelux has joined #ocaml
anderse has quit [Quit: anderse]
milosn has joined #ocaml
Yoric has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
Cyanure has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
darinmorrison has joined #ocaml
mcclurmc has joined #ocaml
smondet has quit [Ping timeout: 244 seconds]
jamii has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
RagingDave has quit [Quit: Ex-Chat]
mye has quit [Quit: mye]
jamii has quit [Ping timeout: 245 seconds]
travisbrady has joined #ocaml
ahokaomaeha has quit [Ping timeout: 246 seconds]
<ousado> avsm (or anyone who knows) is it possible to try out mirage in e.g. virtualbox?
travisbrady has quit [Quit: travisbrady]
emmanuelux has quit [Remote host closed the connection]
mattrepl has quit [Quit: mattrepl]
q66 has quit [Quit: Quit]
<ousado> looks like Xen needs access to the actual hardware
adrien_o1w has joined #ocaml
ahokaomaeha has joined #ocaml
adrien_oww has quit [Ping timeout: 245 seconds]
mattrepl has joined #ocaml
darinmorrison has quit []
<ousado> .. or rather looks like I should read up on XCP
mattrepl has quit [Quit: mattrepl]
mattrepl has joined #ocaml
leoncamel has joined #ocaml
leoncamel has quit [Ping timeout: 252 seconds]
ftrvxmtrx has quit [Read error: Operation timed out]