00:01
talzeus has quit [Ping timeout: 241 seconds]
00:02
emmanuelux has quit [Remote host closed the connection]
00:15
manud has joined #ocaml
00:17
ollehar has quit [Ping timeout: 240 seconds]
00:22
mfp has quit [Ping timeout: 264 seconds]
00:29
pkrnj has joined #ocaml
00:34
steshaw has joined #ocaml
00:35
derek_c has joined #ocaml
00:37
GlenK has quit [Quit: ]
00:37
GlenK has joined #ocaml
00:40
shinnya has quit [Ping timeout: 245 seconds]
00:43
nikki93 has joined #ocaml
00:48
GlenK has quit [Quit: ]
00:58
w0rm_x has joined #ocaml
00:58
w0rm_x has left #ocaml []
01:08
derek_c has quit [Ping timeout: 268 seconds]
01:08
csakatoku has joined #ocaml
01:09
derek_c has joined #ocaml
01:11
manizzle has quit [Ping timeout: 245 seconds]
01:12
talzeus_ has quit [Read error: Connection reset by peer]
01:14
mcclurmc has joined #ocaml
01:16
manizzle has joined #ocaml
01:23
madroach has quit [Ping timeout: 264 seconds]
01:24
madroach has joined #ocaml
01:29
talzeus has joined #ocaml
01:37
nikki93 has quit [Remote host closed the connection]
01:40
SpindleApparatus has quit [Ping timeout: 240 seconds]
01:41
olibjerd has joined #ocaml
02:01
manizzle has quit [Ping timeout: 248 seconds]
02:02
derek_c has quit [Ping timeout: 245 seconds]
02:14
nikki93 has joined #ocaml
02:20
ygrek has joined #ocaml
02:24
lusory has quit [Ping timeout: 252 seconds]
02:46
derek_c has joined #ocaml
02:58
pkrnj has quit [Quit: Computer has gone to sleep.]
03:01
serge has joined #ocaml
03:08
cesar_ has joined #ocaml
03:08
cesar_ is now known as Guest91029
03:20
manizzle has joined #ocaml
03:20
pkrnj has joined #ocaml
03:37
arquebus has joined #ocaml
03:45
manizzle has quit [Remote host closed the connection]
03:46
manizzle has joined #ocaml
03:48
brainacid has joined #ocaml
03:48
<
brainacid >
Hello room
03:54
hcarty has quit [Remote host closed the connection]
03:55
brainacid has quit [Quit: Leaving]
03:56
hcarty has joined #ocaml
03:57
SpindleApparatus has joined #ocaml
03:58
pkrnj has quit [Ping timeout: 268 seconds]
04:01
pkrnj has joined #ocaml
04:17
arquebus has quit [Quit: Konversation terminated!]
04:18
sgnb has quit [Ping timeout: 245 seconds]
04:55
serge has quit [Remote host closed the connection]
05:05
csakatok_ has joined #ocaml
05:08
csakatoku has quit [Ping timeout: 245 seconds]
05:08
UncleVasya has joined #ocaml
05:13
gour has joined #ocaml
05:14
mcclurmc has quit [Quit: Leaving.]
05:35
Guest91029 has quit [Remote host closed the connection]
05:37
ulfdoz has joined #ocaml
05:39
derek_c has quit [Ping timeout: 248 seconds]
05:39
zpe has joined #ocaml
05:41
derek_c has joined #ocaml
05:52
zpe has quit [Ping timeout: 248 seconds]
06:05
ttamttam has joined #ocaml
06:09
UncleVasya has quit [Remote host closed the connection]
06:18
ulfdoz has quit [Ping timeout: 245 seconds]
06:19
zpe has joined #ocaml
06:19
Neros has quit [Read error: Operation timed out]
06:23
ggole has joined #ocaml
06:30
zpe has quit [Ping timeout: 240 seconds]
06:39
ontologiae has joined #ocaml
06:47
nisstyre has quit [Read error: Connection timed out]
06:49
nisstyre has joined #ocaml
06:55
ygrek has quit [Ping timeout: 264 seconds]
06:57
zpe has joined #ocaml
06:57
nikki93 has quit [Remote host closed the connection]
06:57
Yoric has joined #ocaml
07:07
zpe has quit [Ping timeout: 248 seconds]
07:10
serge has joined #ocaml
07:14
Xuerian_ has joined #ocaml
07:15
ontologiae has quit [Ping timeout: 241 seconds]
07:16
pr_ has joined #ocaml
07:16
smondet_ has joined #ocaml
07:16
djcoin has joined #ocaml
07:16
dkg_ has joined #ocaml
07:17
contempt has quit [Disconnected by services]
07:17
contempt has joined #ocaml
07:20
ivan\_ has joined #ocaml
07:21
bobry has quit [*.net *.split]
07:21
smondet has quit [*.net *.split]
07:21
ivan\ has quit [*.net *.split]
07:21
Xuerian has quit [*.net *.split]
07:21
pr has quit [*.net *.split]
07:21
dkg has quit [*.net *.split]
07:22
ivan\_ is now known as ivan\
07:34
zpe has joined #ocaml
07:37
thomasga has joined #ocaml
07:42
emias has quit [Remote host closed the connection]
07:43
ontologiae has joined #ocaml
07:45
cesar_ has joined #ocaml
07:45
cesar_ is now known as Guest39506
07:51
ygrek has joined #ocaml
07:51
bobry has joined #ocaml
07:57
sgnb has joined #ocaml
07:57
q66 has joined #ocaml
07:57
nikki93 has joined #ocaml
08:01
ttamttam1 has joined #ocaml
08:02
nikki93 has quit [Ping timeout: 240 seconds]
08:04
ttamttam has quit [Ping timeout: 245 seconds]
08:08
ttamttam has joined #ocaml
08:09
ttamttam1 has quit [Ping timeout: 245 seconds]
08:10
cdidd has quit [Remote host closed the connection]
08:12
cdidd has joined #ocaml
08:13
Guest39506 has quit [Remote host closed the connection]
08:23
steshaw has quit [Ping timeout: 240 seconds]
08:30
ggole has quit [Ping timeout: 246 seconds]
08:37
ttamttam has quit [Ping timeout: 264 seconds]
08:41
Simn has joined #ocaml
08:43
ggole has joined #ocaml
08:44
Kakadu has joined #ocaml
08:50
mfp has joined #ocaml
08:50
<
Kakadu >
Guys, do you if obuild already supports compiling camlp4 syntax extensions. If not, any thought is difficult to implement this?
09:09
derek_c has quit [Quit: Lost terminal]
09:14
<
companion_cube >
no idea
09:14
<
ggole >
obuild? If you mean ocamlbuild, it has built in tags for camlp4 iirc
09:14
serge has quit [Ping timeout: 248 seconds]
09:14
<
ggole >
I think if you are compiling somebody else's code you have to do a bit of cut and paste though
09:15
ttamttam has joined #ocaml
09:15
ocp has joined #ocaml
09:22
zpe has quit [Ping timeout: 245 seconds]
09:30
<
ggole >
Oh, never mind then
09:30
<
ggole >
(Another build system? O_o)
09:31
<
adrien_oww >
(of course!)
09:32
chrisdotcode has quit [Ping timeout: 268 seconds]
09:34
Yoric has quit [Ping timeout: 264 seconds]
09:45
zpe has joined #ocaml
09:59
steshaw has joined #ocaml
10:06
wolfnn has joined #ocaml
10:20
djcoin has quit [Quit: WeeChat 0.4.1]
10:30
Yoric has joined #ocaml
10:33
Neros has joined #ocaml
10:38
Neros has quit [Ping timeout: 245 seconds]
10:46
adrien_o1w has joined #ocaml
10:49
adrien_oww has quit [Ping timeout: 245 seconds]
10:50
darkf has quit [Quit: Leaving]
10:52
ontologiae has quit [Ping timeout: 245 seconds]
11:02
ollehar has joined #ocaml
11:06
csakatoku has joined #ocaml
11:08
csakatok_ has quit [Ping timeout: 240 seconds]
11:13
SpindleApparatus has quit [Ping timeout: 245 seconds]
11:15
SpindleApparatus has joined #ocaml
11:16
ygrek has quit [Ping timeout: 240 seconds]
11:18
Drup has joined #ocaml
11:18
talzeus has quit [Remote host closed the connection]
11:19
talzeus has joined #ocaml
11:21
yezariaely has joined #ocaml
11:23
talzeus has quit [Ping timeout: 248 seconds]
11:28
csakatoku has quit [Remote host closed the connection]
11:28
Neros has joined #ocaml
11:29
toolslive has joined #ocaml
11:30
ocp has quit [Ping timeout: 245 seconds]
11:38
Zerker has joined #ocaml
11:44
SpindleApparatus has quit [Ping timeout: 245 seconds]
11:52
Zerker has quit [Ping timeout: 260 seconds]
11:52
Zerker_ has joined #ocaml
11:53
_andre has joined #ocaml
11:53
ollehar has quit [Ping timeout: 264 seconds]
12:07
ollehar has joined #ocaml
12:12
Zerker_ has quit [Remote host closed the connection]
12:14
ttamttam has quit [Ping timeout: 240 seconds]
12:14
ttamttam has joined #ocaml
12:19
Zerker has joined #ocaml
12:22
Zerker has quit [Remote host closed the connection]
12:22
Zerker has joined #ocaml
12:26
gyutyuglf has joined #ocaml
12:27
adrien_o1w is now known as adrien_oww
12:39
csakatoku has joined #ocaml
12:40
gyutyuglf has left #ocaml []
12:43
csakatoku has quit [Ping timeout: 265 seconds]
12:46
djcoin has joined #ocaml
12:57
talzeus has joined #ocaml
12:58
talzeus__ has joined #ocaml
13:02
talzeus has quit [Ping timeout: 265 seconds]
13:03
Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
13:06
UncleVasya has joined #ocaml
13:08
Kakadu has quit [Ping timeout: 250 seconds]
13:13
kay has joined #ocaml
13:13
kay is now known as Guest65723
13:21
s4muel has quit [Ping timeout: 248 seconds]
13:22
mcclurmc has joined #ocaml
13:23
s4muel has joined #ocaml
13:26
olibjerd has quit [Remote host closed the connection]
13:31
emias has joined #ocaml
13:35
lamawithonel_ has joined #ocaml
13:35
skchrko has joined #ocaml
13:40
ygrek has joined #ocaml
13:49
ttamttam has quit [Ping timeout: 240 seconds]
13:50
Zerker has joined #ocaml
13:57
Neros has quit [Ping timeout: 245 seconds]
14:09
ttamttam has joined #ocaml
14:11
yacks has joined #ocaml
14:13
Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
14:15
ontologiae has joined #ocaml
14:23
weie has quit [Ping timeout: 240 seconds]
14:32
weie has joined #ocaml
14:40
yacks has quit [Read error: Operation timed out]
14:49
<
kerneis >
when I try "opam install merlin", the installation fails on the first dependency; but repeating the command seems to install the dependencies one by one, until merlin installs sucessfully
14:49
<
kerneis >
the error is "make:
*** No targets specified and no makefile found. Stop.
14:50
brainacid has joined #ocaml
14:50
<
kerneis >
I think I've seen this bug with some other package as well in the past, I don't think it's merlin specific
14:50
<
kerneis >
more likely a bug in opam
14:50
<
kerneis >
has anybody seen this before?
14:51
<
def-lkb >
kerneis: not really; version of opam and merlin (1.4.x I guess)?
14:51
<
rks` >
(yes, I'd guess that's an opam problem)
14:52
<
thomasga >
(what's the failure ?)
14:53
<
brainacid >
I wish the learning curve wasnt so steep. Im in desperate need to know complex languages...lol...I have issues
14:57
<
kerneis >
then, I have
*another* bug which is that ocp-build.1.99.6-beta requires typerex.1.99.6-beta, but typerex tries to call ocp-build during the make process, hence a bootstrapping issue
14:57
<
kerneis >
today is opam's bugs day
14:58
brainacid has quit [Quit: Leaving]
14:59
<
thomasga >
kerneis: you should upgrade to the latest version
15:00
<
thomasga >
if you see the same problems again, feel free to report an issue (but the first one has been fixed recently I think)
15:01
<
kerneis >
latest from git or latest release?
15:01
<
thomasga >
for ocp-build / typerex: in version 1.99.6-beta, ocp-build is just a virtual package
15:01
<
thomasga >
latest git release is almost the final 1.1
15:01
<
thomasga >
latest is beta
15:01
<
thomasga >
both are fine
15:02
<
mehdid >
kerneis: 1.1.0 will land in debian/sid "soon"
15:02
<
mehdid >
(unless you beat me to it)
15:02
<
thomasga >
(the ocp-build binary is built/installed during the installation of typerex, for version 1.99.6-beta)
15:03
<
thomasga >
(not anymore in the Git versions)
15:03
<
mehdid >
is it still needed?
15:03
<
mehdid >
or is it now just a build-dep?
15:03
<
kerneis >
thomasga: hu?
15:03
<
kerneis >
==== ERROR [while installing typerex.1.99.6-beta] ====
15:03
<
kerneis >
Internal error: "ocp-build": command not found.
15:04
<
kerneis >
(but maybe upgrading opam will solve the issue?)
15:04
<
kerneis >
and btw, $ opam --version gives me 1.1.0
15:05
<
kerneis >
which is weird, I installed it a while ago
15:10
<
kerneis >
didn't `opam upgrade` used to ask for a confirmation before proceeding?
15:10
<
kerneis >
anyway, using opam from git solved my issues indeed
15:11
talzeus__ has quit [Remote host closed the connection]
15:11
talzeus has joined #ocaml
15:20
talzeus has quit [Remote host closed the connection]
15:28
yezariaely has quit [Quit: Leaving.]
15:31
shinnya has joined #ocaml
15:37
nikki93 has joined #ocaml
15:38
chrisdotcode has joined #ocaml
15:40
ontologiae has quit [Ping timeout: 252 seconds]
15:40
zarul has quit [Ping timeout: 264 seconds]
15:41
Yoric has quit [Ping timeout: 240 seconds]
15:41
zarul has joined #ocaml
15:45
serge has joined #ocaml
15:49
serge has quit [Ping timeout: 240 seconds]
15:54
cesar_ has joined #ocaml
15:54
cesar_ is now known as Guest93923
15:56
adr has joined #ocaml
15:59
Simn has quit [Ping timeout: 264 seconds]
16:04
Simn has joined #ocaml
16:16
Guest93923 has quit [Remote host closed the connection]
16:20
ttamttam has quit [Quit: ttamttam]
16:28
arquebus has joined #ocaml
16:30
Kakadu has joined #ocaml
16:30
<
Kakadu >
gasche: hi. Can u point me again to your ocamlbuild github wiki? (I write again because previous message have not appeared in my window)
16:45
nikki93 has quit [Remote host closed the connection]
16:59
Drup has quit [Ping timeout: 240 seconds]
17:02
olibjerd has joined #ocaml
17:06
tane has joined #ocaml
17:12
arquebus has quit [Quit: Konversation terminated!]
17:16
Drup has joined #ocaml
17:19
Kakadu has quit [Quit: Page closed]
17:19
dkg_ is now known as dkg
17:23
Neros has joined #ocaml
17:27
djcoin has quit [Quit: WeeChat 0.4.1]
17:31
maurer has joined #ocaml
17:32
<
maurer >
Hey, I'm trying to get a function from a module that is parameterized on a value I want to compute at runtime
17:32
<
maurer >
I currently have
17:32
<
maurer >
let f' x = M(struct let c = x end).f
17:32
nikki93 has joined #ocaml
17:32
<
maurer >
but this gives an odd syntax error (operator expected)
17:32
<
maurer >
what am I doing wrong here?
17:33
<
mrvn >
you need to pack/unpack the module
17:33
<
mrvn >
first class module syntax is hairy.
17:33
<
asmanur >
you have to bind explictly the M(...)
17:33
<
asmanur >
(let module M_x = M (struct let c = x end) in M_x.f)
17:34
<
maurer >
This works, why does the other thing not?
17:34
<
maurer >
does ocaml just not like having unbound modules lying about?
17:34
<
asmanur >
maurer: because that's not syntaxical correct
17:34
<
Drup >
it does, but with a special syntax
17:34
<
mrvn >
the other would be a one time module.
17:34
<
asmanur >
the grammar is <module identifier>.<ident>
17:35
<
asmanur >
not <module expression>.<ident> as it might be ambiguous
17:35
<
maurer >
asmanur: when is that ambiguous?
17:35
<
asmanur >
maurer: if you have M(X).t
17:36
<
mrvn >
what's ambigious about that?
17:36
<
asmanur >
well it's not cause of the .t
17:37
yezariaely has joined #ocaml
17:38
srcerer has quit [Quit: ChatZilla 0.9.90.1 [Firefox 23.0.1/20130814063812]]
17:40
srcerer has joined #ocaml
17:42
<
Drup >
the type errors message with an unamed module would be interesting, but not much than with existentials
17:44
<
nicoo >
Drup: Wouldn't call it “interesting”
17:44
mrvn has quit [Read error: Connection reset by peer]
17:44
mrvn has joined #ocaml
17:47
pr_ is now known as pr
17:47
pr has quit [Changing host]
17:47
pr has joined #ocaml
17:47
mcclurmc has quit [Quit: Leaving.]
17:48
<
yezariaely >
gasche: thx for the pointer about the equivalence checking paper on the mailinglist (I am Robert)
17:49
<
yezariaely >
I totally missed that paper :)
17:53
zpe has quit [Remote host closed the connection]
17:56
manizzle has quit [Ping timeout: 245 seconds]
17:58
ygrek has quit [Ping timeout: 256 seconds]
18:05
shinnya has quit [Ping timeout: 240 seconds]
18:08
bernardofpc has quit [Read error: Operation timed out]
18:08
bernardofpc has joined #ocaml
18:12
yacks has joined #ocaml
18:20
ontologiae has joined #ocaml
18:22
Kakadu has joined #ocaml
18:23
zpe has joined #ocaml
18:31
zpe has quit [Ping timeout: 248 seconds]
18:33
manizzle has joined #ocaml
18:33
mcclurmc has joined #ocaml
18:36
manizzle has quit [Client Quit]
18:37
manizzle has joined #ocaml
18:39
fryguybob has quit [Ping timeout: 256 seconds]
18:56
olibjerd has quit [Quit: Ухожу я от вас (xchat 2.4.5 или старше)]
18:58
zpe has joined #ocaml
18:59
ocp has joined #ocaml
19:00
Yoric has joined #ocaml
19:00
nikki93 has quit [Remote host closed the connection]
19:03
adr has quit [Quit: Quitte]
19:06
zpe has quit [Ping timeout: 248 seconds]
19:07
yezariaely has quit [Quit: Leaving.]
19:11
Drup has quit [Quit: Leaving.]
19:13
ccasin has quit [Ping timeout: 245 seconds]
19:14
ccasin has joined #ocaml
19:15
Drup has joined #ocaml
19:27
mcclurmc has quit [Quit: Leaving.]
19:29
MoHaX has joined #ocaml
19:32
fryguybob has joined #ocaml
19:33
zpe has joined #ocaml
19:34
_andre has quit [Quit: leaving]
19:36
nisstyre has quit [Quit: Leaving]
19:42
zpe has quit [Ping timeout: 248 seconds]
19:49
MoHaX has quit [Ping timeout: 268 seconds]
19:50
zpe has joined #ocaml
19:53
darkf has joined #ocaml
19:55
zpe has quit [Ping timeout: 268 seconds]
19:57
Kakadu has quit [Ping timeout: 252 seconds]
19:57
MoHaX has joined #ocaml
20:05
gereedy has quit [Ping timeout: 260 seconds]
20:06
gereedy has joined #ocaml
20:09
transendens has joined #ocaml
20:11
mcclurmc has joined #ocaml
20:12
<
transendens >
anyone in 3110?
20:13
<
Drup >
only 2013 here. Do you finally have flying car in 3110 ?
20:15
<
transendens >
No need for cars when you live in the google matrix. All hail Larry Page.
20:17
<
Drup >
you have timetravel over IRC, so I suppose you can do without flying cars.
20:18
<
nicoo >
Drup: The sad part is that they
*still* haven't switched to Jabber :(
20:21
transendens has quit [Quit: transendens]
20:24
Kakadu has joined #ocaml
20:39
tane has quit [Quit: Verlassend]
20:46
yacks has quit [Ping timeout: 246 seconds]
20:48
nikki93 has joined #ocaml
21:07
steshaw has quit [Ping timeout: 268 seconds]
21:08
ivan\ has quit [Ping timeout: 264 seconds]
21:09
yacks has joined #ocaml
21:10
bacam has quit [Ping timeout: 264 seconds]
21:10
ivan\ has joined #ocaml
21:10
bacam has joined #ocaml
21:16
thomasga has quit [Quit: Leaving.]
21:30
UncleVasya has quit [Quit: UncleVasya]
21:33
gour has quit [Quit: WeeChat 0.4.1]
21:48
nikki93 has quit [Remote host closed the connection]
21:50
nikki93 has joined #ocaml
21:52
nikki93 has quit [Remote host closed the connection]
21:52
ocp has quit [Ping timeout: 248 seconds]
22:10
lamawithonel_ has quit [Read error: Connection reset by peer]
22:14
Yoric has quit [Ping timeout: 252 seconds]
22:18
lamawithonel_ has joined #ocaml
22:20
SpindleApparatus has joined #ocaml
22:28
nikki93 has joined #ocaml
22:30
nikki93 has quit [Remote host closed the connection]
22:39
manizzle has quit [Ping timeout: 240 seconds]
22:40
MoHaX has quit [Ping timeout: 240 seconds]
22:52
ontologiae has quit [Ping timeout: 248 seconds]
22:55
manizzle has joined #ocaml
22:56
tobiasBora has joined #ocaml
22:58
shinnya has joined #ocaml
23:05
steshaw has joined #ocaml
23:09
mcclurmc has quit [Quit: Leaving.]
23:27
q66 has quit [Quit: Leaving]
23:28
ollehar has quit [Ping timeout: 265 seconds]
23:35
tobiasBora has quit [Quit: Konversation terminated!]
23:36
wolfnn has quit [Ping timeout: 268 seconds]
23:55
pango_ has joined #ocaml
23:59
pango has quit [Ping timeout: 260 seconds]