00:05
Nova_ has quit [Quit: Page closed]
00:09
jbrown__ has joined #ocaml
00:10
|jbrown| has quit [Read error: Operation timed out]
00:35
gnuvince has quit [Ping timeout: 252 seconds]
00:49
mnero has quit [Quit: leaving]
01:15
yacks has joined #ocaml
01:19
madroach has quit [Ping timeout: 248 seconds]
01:21
madroach has joined #ocaml
01:24
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
01:27
gnuvince has joined #ocaml
01:47
travisbrady has quit [Quit: travisbrady]
01:48
TaXules has quit [Ping timeout: 252 seconds]
01:49
travisbrady has joined #ocaml
01:49
TaXules has joined #ocaml
01:53
emmanuelux has quit [Read error: Connection reset by peer]
02:01
Yoric has joined #ocaml
02:19
ivan\ has joined #ocaml
02:26
_habnabit has joined #ocaml
02:27
Yoric has quit [Ping timeout: 252 seconds]
02:39
ahokaomaeha has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
02:41
ahokaomaeha has joined #ocaml
02:45
flx_ has joined #ocaml
02:48
maufred_ has joined #ocaml
02:49
emias_ has joined #ocaml
02:49
madroach_ has joined #ocaml
02:50
Qrntz_ has joined #ocaml
02:52
avsm_ has joined #ocaml
02:53
madroach has quit [*.net *.split]
02:53
flux has quit [*.net *.split]
02:53
maufred has quit [*.net *.split]
02:53
Qrntz has quit [*.net *.split]
02:53
avsm has quit [*.net *.split]
02:53
emias has quit [*.net *.split]
02:53
flx_ is now known as flux
02:53
avsm_ is now known as avsm
02:53
ahokaomaeha has quit [Ping timeout: 252 seconds]
02:56
ahokaomaeha has joined #ocaml
02:56
ahokaomaeha has quit [Client Quit]
03:13
travisbrady has quit [Quit: travisbrady]
03:33
slack1256 has joined #ocaml
04:05
ahokaomaeha has joined #ocaml
04:15
karswell` has joined #ocaml
04:15
karswell has quit [Remote host closed the connection]
04:36
rwmjones has quit [Read error: Operation timed out]
04:37
rwmjones has joined #ocaml
04:38
ftrvxmtrx has quit [Ping timeout: 244 seconds]
04:41
ftrvxmtrx has joined #ocaml
04:56
yacks has quit [Read error: Connection reset by peer]
05:01
slack1256 has quit [Quit: Konversation terminated!]
05:04
Cyanure has joined #ocaml
05:07
sgnb has joined #ocaml
05:17
yacks has joined #ocaml
05:35
adotbrown has quit [Ping timeout: 246 seconds]
05:42
weie has joined #ocaml
05:45
yacks has quit [Quit: Leaving]
05:45
Yoric has joined #ocaml
05:48
yacks has joined #ocaml
05:54
ulfdoz has joined #ocaml
06:01
weie has quit [Quit: Leaving...]
06:04
ttamttam has joined #ocaml
06:06
ttamttam has quit [Client Quit]
06:08
hyperboreean has quit [Ping timeout: 264 seconds]
06:17
ulfdoz has quit [Read error: Operation timed out]
06:20
Yoric has quit [Remote host closed the connection]
06:20
ontologiae has joined #ocaml
06:20
Yoric has joined #ocaml
06:20
hkBst has joined #ocaml
06:25
ontologiae has quit [Ping timeout: 255 seconds]
06:27
hkBst_ has joined #ocaml
06:28
hkBst has quit [Read error: Connection reset by peer]
06:39
djcoin has joined #ocaml
06:42
emias_ has quit [Quit: Changing server]
06:42
emias has joined #ocaml
06:45
hkBst_ has quit [Ping timeout: 248 seconds]
06:48
Cyanure has quit [Ping timeout: 245 seconds]
06:56
hkBst_ has joined #ocaml
06:56
hkBst_ has quit [Changing host]
06:56
hkBst_ has joined #ocaml
06:58
anderse has joined #ocaml
07:01
hkBst_ has quit [Ping timeout: 245 seconds]
07:05
hkBst_ has joined #ocaml
07:05
hkBst_ has quit [Changing host]
07:05
hkBst_ has joined #ocaml
07:05
ahokaomaeha has quit [Ping timeout: 246 seconds]
07:07
ftrvxmtrx_ has joined #ocaml
07:15
Kakadu has joined #ocaml
07:19
hkBst_ has quit [Remote host closed the connection]
07:19
AltGr has joined #ocaml
07:19
hkBst_ has joined #ocaml
07:25
hkBst_ has quit [Ping timeout: 276 seconds]
07:37
hkBst__ has joined #ocaml
07:42
hkBst__ has quit [Read error: Connection reset by peer]
07:43
mcclurmc has joined #ocaml
07:44
hkBst__ has joined #ocaml
07:49
andreypopp has joined #ocaml
07:56
yacks has quit [Read error: Operation timed out]
08:04
hkBst__ has quit [Read error: Connection reset by peer]
08:05
hkBst__ has joined #ocaml
08:07
yacks has joined #ocaml
08:14
hyperboreean has joined #ocaml
08:17
Cyanure has joined #ocaml
08:22
hkBst__ has quit [Ping timeout: 248 seconds]
08:28
ontologiae has joined #ocaml
08:32
hkBst__ has joined #ocaml
08:36
yacks has quit [Ping timeout: 240 seconds]
08:47
darkf has quit [Read error: Connection reset by peer]
08:48
darkf has joined #ocaml
08:48
yacks has joined #ocaml
08:52
alxbl has quit [Ping timeout: 276 seconds]
08:52
othiym23 has quit [Read error: Operation timed out]
08:53
othiym23 has joined #ocaml
08:58
srcerer has quit [Ping timeout: 252 seconds]
09:00
srcerer has joined #ocaml
09:01
_andre has joined #ocaml
09:08
Yoric1 has joined #ocaml
09:09
Yoric has quit [Ping timeout: 246 seconds]
09:10
LeNsTR has quit [Ping timeout: 264 seconds]
09:11
LeNsTR has joined #ocaml
09:17
alxbl has joined #ocaml
09:19
mcclurmc has quit [Ping timeout: 248 seconds]
09:20
mye_ has joined #ocaml
09:26
mye_ has quit [Ping timeout: 248 seconds]
09:26
LeNsTR has quit [Changing host]
09:26
LeNsTR has joined #ocaml
09:31
mye has joined #ocaml
09:35
hkBst has joined #ocaml
09:36
hkBst__ has quit [Read error: Connection reset by peer]
09:41
hkBst has quit [Read error: Connection reset by peer]
09:41
hkBst has joined #ocaml
09:49
andreypopp has quit [Quit: sleep]
09:49
sysop_fb has quit [Read error: Operation timed out]
09:50
andreypopp has joined #ocaml
10:03
sysop_fb has joined #ocaml
10:12
mcclurmc has joined #ocaml
10:20
thomasga has joined #ocaml
10:22
leoncamel has joined #ocaml
10:34
q66 has joined #ocaml
10:34
thomasga has quit [Quit: Leaving.]
10:35
Yoric1 has quit [Ping timeout: 252 seconds]
10:59
ontologiae has quit [Ping timeout: 252 seconds]
11:17
yacks has quit [Remote host closed the connection]
11:32
jamii has joined #ocaml
11:34
Yoric has joined #ocaml
11:38
yacks has joined #ocaml
12:07
thomasga has joined #ocaml
12:09
ontologiae has joined #ocaml
12:12
ftrvxmtrx_ has quit [Quit: Leaving]
12:26
dwmw2_gone is now known as dwmw2
13:12
NaCl has quit [Ping timeout: 264 seconds]
13:21
Yoric has joined #ocaml
13:33
hkBst has quit [Read error: Connection reset by peer]
13:34
hkBst has joined #ocaml
13:42
ttamttam has joined #ocaml
13:46
darkf has quit [Quit: Leaving]
13:47
travisbrady has joined #ocaml
13:49
travisbrady has quit [Client Quit]
13:51
travisbrady has joined #ocaml
13:56
leoncamel has quit [Ping timeout: 252 seconds]
14:00
weie has joined #ocaml
14:02
mattrepl has joined #ocaml
14:02
andreypopp has quit [Quit: sleep]
14:05
gour has joined #ocaml
14:07
NaCl has joined #ocaml
14:09
Yoric has joined #ocaml
14:10
ttamttam has quit [Quit: ttamttam]
14:12
andreypopp has joined #ocaml
14:27
hkBst has quit [Ping timeout: 272 seconds]
14:28
hkBst has joined #ocaml
14:30
weie has quit [Quit: Leaving...]
14:30
tane has joined #ocaml
14:42
hkBst has quit [Ping timeout: 272 seconds]
14:51
andreypopp has quit [Quit: sleep]
14:56
hkBst has joined #ocaml
15:02
hkBst has quit [Ping timeout: 252 seconds]
15:10
cago has joined #ocaml
15:28
smondet has joined #ocaml
15:32
hkBst has joined #ocaml
15:35
Cyanure has quit [Remote host closed the connection]
15:36
<
yezariaely >
can I somehow query the batteries version currently installed using ocamlfind ?
15:37
<
yezariaely >
This: ocamlfind query -long-format batteries | grep version seems not to be a good solution ...
15:38
<
yezariaely >
I need it in a makefile, doing different things depening on the version of batteries
15:40
hkBst has quit [Ping timeout: 245 seconds]
15:44
<
thomasga >
yezariaely: ocamlfind query batteries -format "%v"
15:44
myx has joined #ocaml
15:45
<
yezariaely >
thomasga: thanks
15:47
<
thomasga >
(the -format option is quite useful when you write Makefiles)
15:47
<
thomasga >
("-I %d %a" for instance)
15:58
Cyanure has joined #ocaml
16:05
thomasga has quit [Quit: Leaving.]
16:06
Yoric has quit [Ping timeout: 252 seconds]
16:07
ontologiae has quit [Ping timeout: 244 seconds]
16:09
ahokaomaeha has joined #ocaml
16:10
Yoric has joined #ocaml
16:14
tac has joined #ocaml
16:14
Yoric has quit [Ping timeout: 252 seconds]
16:15
ttamttam has joined #ocaml
16:16
yacks has quit [Read error: Connection reset by peer]
16:18
cago has quit [Quit: Leaving.]
16:24
ttamttam has quit [Quit: ttamttam]
16:32
<
travisbrady >
Anyone seen this?
16:32
<
travisbrady >
this is with "opam version 0.8.2"
16:35
<
travisbrady >
and ocaml 3.12.1
16:36
* thelema
tries to find the mailing list thread about this
16:37
cago has joined #ocaml
16:37
<
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.
16:38
<
smondet >
`opam update opam` has been removed in 0.9.x
16:39
<
thelema >
odd, I can't figure out why this thread isn't on the caml list...
16:39
<
smondet >
I mean the opam package itself has been removed from the opam-repo
16:40
<
smondet >
It is in the 2nd reply of the thread " [ANN] beta-release of OPAM"
16:40
<
travisbrady >
So I need to move my opam directory?
16:41
<
thelema >
oh, just me being stupid with the interface; page 8 of 8
16:42
<
thelema >
travisbrady: I think the easiest solution was just to reinstall
16:46
dwmw2 is now known as dwmw2_gone
16:47
<
travisbrady >
thelema: and to do that I need to do a make 'libuninstall' in my original opam download directory?
16:50
ftrvxmtrx has quit [Ping timeout: 260 seconds]
16:54
<
thelema >
travisbrady: don't know about that. I only know about deleting ~/.opam and installing the new one from scratch
16:55
<
thelema >
might be useful to copy down your installed packages so you can easily reinstall them
16:56
Kakadu has joined #ocaml
16:59
travisbrady has quit [Quit: travisbrady]
17:03
ftrvxmtrx has joined #ocaml
17:12
ftrvxmtrx has quit [Ping timeout: 248 seconds]
17:13
osa1 has joined #ocaml
17:18
AltGr has quit [Quit: Konversation terminated!]
17:19
cago has left #ocaml []
17:21
Qrntz_ is now known as Qrntz
17:21
Qrntz has quit [Changing host]
17:21
Qrntz has joined #ocaml
17:21
travisbrady has joined #ocaml
17:23
ftrvxmtrx has joined #ocaml
17:30
ftrvxmtrx has quit [Ping timeout: 248 seconds]
17:32
jamii has quit [Ping timeout: 255 seconds]
17:32
djcoin has quit [Quit: WeeChat 0.3.9.2]
17:39
Reventlov has quit [Ping timeout: 260 seconds]
17:39
Reventlov has joined #ocaml
17:46
Yoric has joined #ocaml
17:51
RagingDave has joined #ocaml
17:57
tac has quit [Ping timeout: 245 seconds]
17:58
mcclurmc has quit [Ping timeout: 264 seconds]
18:00
andreypopp has joined #ocaml
18:00
tane has quit [Read error: Operation timed out]
18:01
Yoric has quit [Ping timeout: 246 seconds]
18:01
tane has joined #ocaml
18:03
tac has joined #ocaml
18:11
_andre has quit [Quit: leaving]
18:13
ahokaomaeha has quit [Ping timeout: 276 seconds]
18:15
ahokaomaeha has joined #ocaml
18:17
ahokaomaeha has quit [Client Quit]
18:20
<
travisbrady >
thelema: are the docs for camlzip available online anywhere?
18:24
<
troydm >
travisbrady: i was in the same spot and ended reading source code
18:24
<
troydm >
couldn't find any docs
18:28
<
travisbrady >
troydm: ahh, thank you for the tip. I'm just trying to decompress gripped strings
18:32
<
troydm >
travisbrady: ur welcome
18:51
<
thelema >
svn browsing of the .mli files is the best I have.
18:52
<
thelema >
better than the svn browser on the forge.
18:55
<
thelema >
just made this for you
18:57
mattrepl has quit [Quit: mattrepl]
18:57
<
flux >
he speaks the truth, http modified 3 minutes ago ;)
18:57
mattrepl has joined #ocaml
18:57
<
flux >
what a great service you provide :)
18:58
<
travisbrady >
thelema: thank you! Very kind
18:58
tac has quit [Ping timeout: 245 seconds]
18:59
ahokaomaeha has joined #ocaml
18:59
<
thelema >
and it's now linked in to the camlzip page on the forge, although it seems as horrible a solution as possible
19:02
mattrepl has quit [Quit: mattrepl]
19:19
mattrepl has joined #ocaml
19:21
gour has quit [Quit: WeeChat 0.4.0]
19:33
travisbrady has quit [Quit: travisbrady]
19:47
travisbrady has joined #ocaml
19:54
<
travisbrady >
After upgrading opam I'm now getting "Error: Reference to undefined global" any time I try to use anything I've #require'd
19:54
<
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?
20:00
<
anderse >
someone mentioned having issues after: opam update opam, did you do that?
20:02
ftrvxmtrx has joined #ocaml
20:05
<
travisbrady >
I didn't no. I rm'd all of ~/.opam and started over
20:08
Yoric has joined #ocaml
20:16
tane has quit [Quit: Verlassend]
20:21
Armael is now known as Armael_
20:22
Armael_ is now known as Armael`
20:22
Armael` is now known as Learma
20:28
anderse has quit [Quit: anderse]
20:29
osa1 has quit [Quit: Konversation terminated!]
20:39
Learma is now known as learmA
20:42
mattrepl has quit [Quit: mattrepl]
20:44
djcoin has joined #ocaml
20:46
anderse has joined #ocaml
20:46
anderse has quit [Client Quit]
20:47
anderse has joined #ocaml
20:47
Anarchos has joined #ocaml
20:47
andreypopp has quit [Quit: sleep]
20:48
learmA is now known as Armael
20:57
<
Leonidas >
travisbrady: heh, that's my repo
20:58
<
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.
21:00
<
Anarchos >
I can't understand why the syntax of ats-lang is so painful !!
21:04
<
ousado >
Anarchos: mostly because it does a billion things
21:08
<
orbitz >
adn the author is insane
21:08
<
ousado >
orbitz: in what way?
21:08
<
Anarchos >
orbitz i vote for this one :)
21:09
tongcx has joined #ocaml
21:09
<
tongcx >
hi, is there any quick way to print a list?
21:09
<
orbitz >
ousado: he's just sort of known in PLT community as being insane, in somewhat of a complimentory way
21:09
<
orbitz >
tongcx: quick as in less typing or quick as in performant?
21:09
<
tongcx >
less typing
21:10
<
thelema >
tongcx: using batteries: List.print Int.print stdout [1;2;3]
21:10
<
Anarchos >
orbitz what is PLT ?
21:10
<
ousado >
orbitz: okay, I think that might be accurate
21:10
<
orbitz >
programming language theory
21:10
<
Anarchos >
thelema List.map (print_element)
21:10
<
Anarchos >
orbitz oh ok
21:11
<
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?
21:11
<
thelema >
Anarchos: List.iter print_int [1;2;3] works too
21:11
<
thelema >
Anarchos: but you don't get any separators
21:11
<
ousado >
but he's quite nice and responsive, judging from the mailing list
21:11
<
Anarchos >
thelema i find List.map smarter than List.print
21:12
<
thelema >
tongcx: correct; the printout at the toplevel cheats by knowing the type of everything (and having printers registered for types)
21:12
<
thelema >
tongcx: in compiled code, the types are erased.
21:12
mattrepl has joined #ocaml
21:14
<
tongcx >
thelema: good to know, thanks a lot
21:15
<
orbitz >
surprised there is no syntax extension for this though
21:16
<
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
21:16
<
thelema >
orbitz: there are; it's just that syntax extensions in ocaml aren't good enough, so most people go without
21:16
<
Anarchos >
orbitz sure
21:16
djcoin has quit [Quit: WeeChat 0.3.9.2]
21:17
milosn has quit [Ping timeout: 248 seconds]
21:18
<
Anarchos >
ousado do you think ats is the ultimate language in functional languages ?
21:19
<
orbitz >
the ultimate language is obviously one people use
21:21
<
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
21:23
<
Anarchos >
ousado this answer satisfies me :)
21:23
<
ousado >
it took me a long time to wrap my head around, but I don't regret one second I spent
21:23
<
Anarchos >
orbitz hmmm C and java and web junk satisfies this definition, so i think it is not enough ;)
21:23
<
orbitz >
Anarchos: none of those are 'functional' though
21:24
<
orbitz >
and i meant that is a necessary attirbute not satisfactory attirbute
21:24
<
ousado >
orbitz: come on, I know of at least 5 :)
21:26
<
orbitz >
at least 5 what?
21:26
<
ousado >
people using it
21:26
<
orbitz >
doublec doesn't count as 5 peopel
21:27
<
ousado >
but HX does, easily :)
21:28
<
orbitz >
whee my cheap redudnant fiel server is woooorkiiiing
21:28
<
pippijn >
throw it away
21:28
<
pippijn >
it's redundant
21:28
<
ousado >
orbitz: what's cheap about it?
21:28
<
Anarchos >
ousado so i will give more than a try to ats, thanks.
21:29
<
ousado >
Anarchos: there's ##ats on freenode, btw
21:30
<
Anarchos >
ousado ok thanks
21:30
<
Anarchos >
ousado i will try to port it to the OS i use (Haiku-OS)
21:31
<
ousado >
Anarchos: check out doublec's blog if you haven't already
21:31
<
Anarchos >
ousado what is it about N?
21:33
<
orbitz >
ousado: it's just a riak cluster with a script to curl a file
21:33
<
ousado >
Anarchos: hm?
21:33
<
orbitz >
Anarchos: it's about ATS
21:33
<
Anarchos >
orbitz ok
21:33
<
Anarchos >
ousado have you a link ?
21:33
<
orbitz >
doublec is the face of ATS on reddit
21:33
<
ousado >
well, he writes about everything under the IT sun, but yes, ats, too
21:34
<
orbitz >
no rss feed??
21:36
<
orbitz >
hrm that's for comments
21:40
emmanuelux has joined #ocaml
21:41
<
travisbrady >
Anyone have pointers on how to decompress a gripped string in OCaml?
21:41
<
pippijn >
what's a gripped string?
21:41
<
pippijn >
oh, gzipped
21:41
<
orbitz >
grip it hard
21:42
<
travisbrady >
oohs, stupid autocorrect. yes gzipped
21:42
<
orbitz >
thelema: can you turn a string into a channel?
21:42
emmanuelux has quit [Read error: Connection reset by peer]
21:42
<
pippijn >
with batteries, you can
21:42
<
orbitz >
err wrong person
21:43
<
pippijn >
pervasives doesn't have a function that can do that
21:45
<
pippijn >
val input_string : string -> input
21:46
<
travisbrady >
pippijn: excellent thank you
21:54
Yoric has quit [Ping timeout: 246 seconds]
22:00
emmanuelux has joined #ocaml
22:01
anderse has quit [Quit: anderse]
22:01
milosn has joined #ocaml
22:02
Yoric has joined #ocaml
22:02
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
22:04
Cyanure has quit [Remote host closed the connection]
22:05
travisbrady has quit [Quit: travisbrady]
22:09
darinmorrison has joined #ocaml
22:22
mcclurmc has joined #ocaml
22:25
smondet has quit [Ping timeout: 244 seconds]
22:30
jamii has joined #ocaml
22:31
Yoric has quit [Ping timeout: 252 seconds]
22:37
RagingDave has quit [Quit: Ex-Chat]
22:41
mye has quit [Quit: mye]
22:44
jamii has quit [Ping timeout: 245 seconds]
22:45
travisbrady has joined #ocaml
22:46
ahokaomaeha has quit [Ping timeout: 246 seconds]
22:56
<
ousado >
avsm (or anyone who knows) is it possible to try out mirage in e.g. virtualbox?
22:59
travisbrady has quit [Quit: travisbrady]
23:02
emmanuelux has quit [Remote host closed the connection]
23:03
mattrepl has quit [Quit: mattrepl]
23:04
q66 has quit [Quit: Quit]
23:06
<
ousado >
looks like Xen needs access to the actual hardware
23:09
adrien_o1w has joined #ocaml
23:10
ahokaomaeha has joined #ocaml
23:12
adrien_oww has quit [Ping timeout: 245 seconds]
23:24
mattrepl has joined #ocaml
23:31
darinmorrison has quit []
23:34
<
ousado >
.. or rather looks like I should read up on XCP
23:36
mattrepl has quit [Quit: mattrepl]
23:37
mattrepl has joined #ocaml
23:46
leoncamel has joined #ocaml
23:51
leoncamel has quit [Ping timeout: 252 seconds]
23:56
ftrvxmtrx has quit [Read error: Operation timed out]