00:07
avsm has quit [Quit: Leaving.]
00:07
avsm has joined #ocaml
00:10
sillyotter has joined #ocaml
00:12
avsm has quit [Ping timeout: 272 seconds]
00:13
csakatoku has joined #ocaml
00:14
sillyotter has quit [Client Quit]
00:14
arjunguha has joined #ocaml
00:16
oriba has quit [Quit: oriba]
00:24
qingant has joined #ocaml
00:24
qingant has quit [Client Quit]
00:34
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
00:38
boogie has quit [Remote host closed the connection]
00:38
avsm has joined #ocaml
00:40
sheijk has joined #ocaml
00:43
ygrek has joined #ocaml
00:44
sheijk has quit [Ping timeout: 246 seconds]
00:47
avsm has quit [Ping timeout: 260 seconds]
00:53
nikki93 has quit [Ping timeout: 245 seconds]
00:54
ygrek has quit [Ping timeout: 272 seconds]
01:02
introom has quit [Ping timeout: 245 seconds]
01:07
cesar_ has joined #ocaml
01:07
cesar_ is now known as Guest20213
01:07
introom has joined #ocaml
01:15
arjunguha has joined #ocaml
01:16
Guest20213 has quit [Remote host closed the connection]
01:18
Eyyub has joined #ocaml
01:18
ygrek has joined #ocaml
01:24
csakatoku has quit [Remote host closed the connection]
01:25
csakatoku has joined #ocaml
01:26
csakatoku has quit [Read error: No route to host]
01:27
csakatoku has joined #ocaml
01:27
Nahra has quit [Quit: leaving]
01:27
Nahra has joined #ocaml
01:28
csakatoku has quit [Remote host closed the connection]
01:39
csakatoku has joined #ocaml
01:45
michael_lee has joined #ocaml
01:59
robink has joined #ocaml
02:13
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
02:16
ygrek has quit [Ping timeout: 272 seconds]
02:25
csakatoku has quit [Ping timeout: 245 seconds]
02:28
csakatoku has joined #ocaml
02:30
csakatoku has quit [Remote host closed the connection]
02:31
csakatoku has joined #ocaml
02:39
avsm has joined #ocaml
02:41
sheijk has joined #ocaml
02:45
avsm has quit [Ping timeout: 272 seconds]
02:45
sheijk has quit [Ping timeout: 246 seconds]
02:46
csakatoku has quit [Remote host closed the connection]
02:47
csakatoku has joined #ocaml
02:50
wolfnn has quit [Ping timeout: 240 seconds]
02:50
yacks has joined #ocaml
03:04
nikki93 has joined #ocaml
03:08
thomasga has joined #ocaml
03:11
nikki93 has quit [Ping timeout: 240 seconds]
03:13
thomasga has quit [Client Quit]
03:14
cesar_ has joined #ocaml
03:14
cesar_ is now known as Guest37189
03:17
Guest37189 has quit [Remote host closed the connection]
03:17
nikki93 has joined #ocaml
03:21
n0v has joined #ocaml
03:26
nikki93 has quit [Remote host closed the connection]
03:27
nikki93 has joined #ocaml
03:33
n0v has joined #ocaml
03:36
nikki93 has quit [Remote host closed the connection]
03:36
nikki93 has joined #ocaml
03:40
avsm has joined #ocaml
03:41
nikki93 has quit [Ping timeout: 240 seconds]
03:44
nikki93 has joined #ocaml
03:44
avsm has quit [Ping timeout: 240 seconds]
03:47
csakatoku has quit [Remote host closed the connection]
03:49
nikki93 has quit [Ping timeout: 245 seconds]
03:56
nikki93 has joined #ocaml
04:01
nikki93 has quit [Remote host closed the connection]
04:02
nikki93 has joined #ocaml
04:02
n0v has quit [Ping timeout: 272 seconds]
04:06
csakatoku has joined #ocaml
04:07
nikki93 has quit [Ping timeout: 272 seconds]
04:08
n0v has joined #ocaml
04:12
sheijk has joined #ocaml
04:14
nikki93 has joined #ocaml
04:17
sheijk has quit [Ping timeout: 272 seconds]
04:17
crox has joined #ocaml
04:18
cesar_ has joined #ocaml
04:18
cesar_ is now known as Guest31620
04:21
Eyyub has quit [Ping timeout: 252 seconds]
04:25
sheijk has joined #ocaml
04:27
nikki93 has quit [Remote host closed the connection]
04:28
nikki93 has joined #ocaml
04:32
nikki93 has quit [Ping timeout: 272 seconds]
04:35
Eyyub has joined #ocaml
04:35
nikki93 has joined #ocaml
04:41
avsm has joined #ocaml
04:42
talzeus_ has quit [Remote host closed the connection]
04:43
talzeus_ has joined #ocaml
04:45
avsm has quit [Ping timeout: 245 seconds]
04:57
Guest31620 has quit [Remote host closed the connection]
04:57
Xenasis has quit [Remote host closed the connection]
04:59
crox has quit [Ping timeout: 245 seconds]
05:04
nisstyre has quit [Quit: Leaving]
05:08
rkallos has joined #ocaml
05:10
Kakadu has joined #ocaml
05:23
groovy2shoes has quit [Quit: groovy2shoes]
05:27
sheijk has quit [Quit: .]
05:27
cesar_ has joined #ocaml
05:28
cesar_ is now known as Guest71999
05:34
groovy2shoes has joined #ocaml
05:40
avsm has joined #ocaml
05:40
groovy2shoes has quit [Quit: groovy2shoes]
05:42
Guest71999 has quit [Remote host closed the connection]
05:42
rkallos has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
05:45
avsm has quit [Ping timeout: 272 seconds]
05:47
WraithM_ is now known as WraithM
06:02
csakatoku has quit [Ping timeout: 252 seconds]
06:16
csakatoku has joined #ocaml
06:40
avsm has joined #ocaml
06:44
nikki93 has quit [Remote host closed the connection]
06:44
avsm has quit [Ping timeout: 252 seconds]
06:53
nikki93 has joined #ocaml
07:04
groovy2shoes has joined #ocaml
07:05
ollehar has joined #ocaml
07:12
nikki93 has quit [Remote host closed the connection]
07:20
nikki93 has joined #ocaml
07:33
mort___ has joined #ocaml
07:40
avsm has joined #ocaml
07:44
Leonidas has quit [Ping timeout: 246 seconds]
07:44
nikki93 has quit [Remote host closed the connection]
07:44
avsm has quit [Ping timeout: 252 seconds]
07:45
nikki93 has joined #ocaml
07:46
Simn has joined #ocaml
07:49
nikki93_ has joined #ocaml
07:49
nikki93 has quit [Ping timeout: 252 seconds]
07:50
milosn has quit [Ping timeout: 245 seconds]
07:51
Leonidas has joined #ocaml
07:54
ygrek has joined #ocaml
07:56
nikki93_ has quit [Remote host closed the connection]
08:02
groovy2shoes has quit [Ping timeout: 240 seconds]
08:15
avsm has joined #ocaml
08:15
Eyyub has quit [Quit: Lost terminal]
08:31
csakatoku has quit [Remote host closed the connection]
08:31
csakatoku has joined #ocaml
08:34
avsm has quit [Quit: Leaving.]
08:36
csakatoku has quit [Ping timeout: 245 seconds]
08:37
avsm has joined #ocaml
08:41
avsm has quit [Ping timeout: 246 seconds]
09:06
avsm has joined #ocaml
09:10
avsm has quit [Ping timeout: 272 seconds]
09:17
Eyyub has joined #ocaml
09:20
rwmjones has quit [Ping timeout: 272 seconds]
09:20
rwmjones has joined #ocaml
09:23
dant3 has joined #ocaml
09:30
ulfdoz has joined #ocaml
09:31
dant3 has quit [Remote host closed the connection]
09:32
dant3 has joined #ocaml
09:40
avsm has joined #ocaml
09:43
pminten has joined #ocaml
09:46
avsm has quit [Ping timeout: 245 seconds]
09:55
ollehar has quit [Ping timeout: 245 seconds]
09:58
Eyyub has quit [Ping timeout: 246 seconds]
09:59
mort___ has quit [Quit: Leaving.]
10:03
thomasga has joined #ocaml
10:03
thomasga has quit [Client Quit]
10:08
dant3 has quit [Remote host closed the connection]
10:11
thomasga has joined #ocaml
10:20
dant3 has joined #ocaml
10:25
Eyyub has joined #ocaml
10:31
nikki93 has joined #ocaml
10:39
avsm has joined #ocaml
10:45
avsm has quit [Ping timeout: 252 seconds]
11:05
nikki93 has quit [Remote host closed the connection]
11:07
thomasga has quit [Quit: Leaving.]
11:11
introom has quit [Quit: WeeChat 0.4.2]
11:11
introom has joined #ocaml
11:13
ygrek has quit [Ping timeout: 245 seconds]
11:26
pminten has quit [Remote host closed the connection]
11:33
thomasga has joined #ocaml
11:33
nikki93 has joined #ocaml
11:39
avsm has joined #ocaml
11:41
ittel has joined #ocaml
11:44
avsm has quit [Ping timeout: 246 seconds]
11:46
thomasga has quit [Quit: Leaving.]
11:55
thomasga has joined #ocaml
11:55
nikki93_ has joined #ocaml
11:58
dant3 has quit [Remote host closed the connection]
11:59
nikki93 has quit [Ping timeout: 240 seconds]
12:00
NoNNaN has quit [Remote host closed the connection]
12:00
nikki93_ has quit [Ping timeout: 252 seconds]
12:01
NoNNaN has joined #ocaml
12:14
Thooms has joined #ocaml
12:15
ggole has joined #ocaml
12:15
nikki93 has joined #ocaml
12:16
nikki93 has quit [Remote host closed the connection]
12:16
nikki93 has joined #ocaml
12:19
ittel has quit [Ping timeout: 246 seconds]
12:20
darkf has quit [Quit: Leaving]
12:23
axiles has joined #ocaml
12:23
ittel has joined #ocaml
12:37
thomasga has quit [Quit: Leaving.]
12:38
wolfnn has joined #ocaml
12:45
ygrek has joined #ocaml
12:47
ittel has left #ocaml []
13:09
dant3 has joined #ocaml
13:13
dant3 has quit [Ping timeout: 252 seconds]
13:14
tovarish has quit [Quit: Leaving]
13:21
thomasga has joined #ocaml
13:22
michael_lee has quit [Quit: Ex-Chat]
13:23
michael_lee has joined #ocaml
13:36
nikki93 has quit [Remote host closed the connection]
13:37
nikki93 has joined #ocaml
13:37
rand000 has joined #ocaml
13:38
nikki93 has quit [Remote host closed the connection]
13:39
nikki93 has joined #ocaml
14:02
kyrylo has quit [Ping timeout: 252 seconds]
14:08
NoNNaN has quit [Remote host closed the connection]
14:09
NoNNaN has joined #ocaml
14:19
talzeus_ has quit [Read error: Connection reset by peer]
14:20
ulfdoz has quit [Ping timeout: 252 seconds]
14:34
tane has joined #ocaml
14:39
<
rks` >
does someone know why?
14:39
<
rks` >
( gasche_ ? )
14:41
<
ggole >
Makes it harder to build a recent ocaml, given an existing ocaml
14:43
rand000 has quit [Quit: leaving]
14:49
rand000 has joined #ocaml
14:50
nikki93 has quit [Remote host closed the connection]
14:51
nikki93 has joined #ocaml
14:51
cesar_ has joined #ocaml
14:52
cesar_ is now known as Guest64942
14:53
thomasga has quit [Quit: Leaving.]
14:53
avsm has joined #ocaml
14:55
thomasga has joined #ocaml
15:00
introom has quit [Ping timeout: 272 seconds]
15:06
ulfdoz has joined #ocaml
15:07
thomasga has quit [Quit: Leaving.]
15:33
speckle has quit [Read error: Connection reset by peer]
15:42
pminten has joined #ocaml
15:52
pminten has quit [Remote host closed the connection]
16:03
Eyyub has quit [Ping timeout: 245 seconds]
16:06
nikki93 has quit [Remote host closed the connection]
16:11
<
cynddl >
whitequark: def-lkb: github.com/Cynddl/sublime-text-merlin
16:13
thomasga has joined #ocaml
16:14
Xenasis has joined #ocaml
16:19
<
def-lkb >
cynddl: nice
16:20
smerz has joined #ocaml
16:26
Guest64942 has quit [Remote host closed the connection]
16:41
michael_lee has quit [Quit: Ex-Chat]
16:42
thomasga has quit [Quit: Leaving.]
16:43
nikki93 has joined #ocaml
16:50
Thooms has quit [Quit: WeeChat 0.3.8]
16:55
avsm has quit [Quit: Leaving.]
16:56
avsm has joined #ocaml
16:56
cesar_ has joined #ocaml
16:56
cesar_ is now known as Guest51928
16:56
Guest51928 has quit [Remote host closed the connection]
17:00
avsm has quit [Ping timeout: 245 seconds]
17:06
thomasga has joined #ocaml
17:09
shinnya has quit [Ping timeout: 252 seconds]
17:13
ygrek has quit [Ping timeout: 240 seconds]
17:15
nikki93 has quit [Ping timeout: 272 seconds]
17:20
groovy2shoes has joined #ocaml
17:23
tovarish has joined #ocaml
17:30
Kakadu has quit [Remote host closed the connection]
17:31
Kakadu has joined #ocaml
17:55
cesar_ has joined #ocaml
17:55
cesar_ is now known as Guest92187
17:57
avsm has joined #ocaml
18:00
tov has joined #ocaml
18:04
avsm has quit [Ping timeout: 252 seconds]
18:06
thomasga has quit [Quit: Leaving.]
18:15
nikki93 has joined #ocaml
18:23
Guest92187 has quit [Remote host closed the connection]
18:24
sillyotter has joined #ocaml
18:29
zpe has joined #ocaml
18:32
ollehar has joined #ocaml
18:38
thomasga has joined #ocaml
18:40
sillyotter has quit [Quit: Leaving]
18:45
nikki93 has quit [Ping timeout: 272 seconds]
18:46
mcclurmc has joined #ocaml
18:48
ollehar has quit [Quit: ollehar]
18:48
ollehar has joined #ocaml
18:48
dant3 has joined #ocaml
19:20
mcclurmc has quit [Remote host closed the connection]
19:21
avsm has joined #ocaml
19:41
nikki93 has joined #ocaml
19:52
mcclurmc has joined #ocaml
20:00
<
bernardofpc >
I was profiling some code with gprof and found that 42% is spent on the function "etext"
20:01
<
gasche_ >
rks`: what I heard is that sometimes you have to do subtle hack to get the bootstrap to work
20:01
<
gasche_ >
and that the more features of the compiler you use, the more screwed you can be if the bootstrap doesn't work well
20:01
<
bernardofpc >
But "etext" is not some function I wrote, so I'm confused...
20:02
<
gasche_ >
that's the reason why OCaml are frowned upon in the compiler proper
20:02
<
rks` >
adrien ( adrien_oww ) might have more to say then?
20:02
<
rks` >
s/OCaml/GADTs/ maybe?
20:02
<
rks` >
(I don't remember the exact initial subject)
20:02
<
gasche_ >
you don't want to handle what happens if you change the runtime for OO
20:02
<
gasche_ >
s/OCaml/objects/
20:03
<
gasche_ >
GADTs are fine because they're trivially from a dynamic point of view
20:03
<
gasche_ >
s/trivially/trivial/
20:03
<
gasche_ >
they will be added in the libraries soon, btw.
20:04
<
def-lkb >
gasche_: added in the libraries? GADTs ?
20:04
<
gasche_ >
I mean in libraries included in the OCaml distribution
20:04
<
rks` >
for format/printf/scanf for examples def-lkb
20:04
<
gasche_ >
and Bigarray
20:04
<
def-lkb >
Ah yes… I remember the thread.
20:05
<
orbitz >
if i have teh same condition in several 'when's in a pattern match is it likely to get moved to a saner location by the compiler?
20:06
<
gasche_ >
probably not
20:06
<
gasche_ >
'when' rather tends to degrade pattern-matching optimizations
20:07
<
gasche_ >
could you paste your code somewhere? I'm curious about the existence of good code using 'when'
20:08
<
orbitz >
basically i'm doing function | n when n < str_len && str.[n] <> blah -> ... | n -> do stuff with whole string
20:08
<
orbitz >
I can probably refactor it
20:10
<
gasche_ >
looks like parsing, hand-optimized
20:10
<
def-lkb >
gasche_: sometimes I use "match () with () when … ->" to encode the cond form from lisp
20:11
<
gasche_ >
yeah, this one is ok
20:11
<
gasche_ >
I wrote a camlp4 extension for that back in the days, to please rz0
20:11
<
orbitz >
gasche_: it's a cheap file format
20:12
<
gasche_ >
orbitz: you could use a lexer
20:12
<
def-lkb >
or bitstring
20:12
<
orbitz >
gasche_: in this case taht would be a poor choice I beleive
20:14
jao has joined #ocaml
20:14
jao has quit [Changing host]
20:14
jao has joined #ocaml
20:15
nikki93 has quit [Ping timeout: 245 seconds]
20:25
mcclurmc has quit [Remote host closed the connection]
20:25
<
rks` >
1/ in what way do you find that hackish?
20:25
mcclurmc has joined #ocaml
20:26
<
rks` >
( 2/ I find that speaking of "hackish" when you could consider the rest of ocamldoc really funny)
20:28
<
gasche_ >
if I understand correctly what you do
20:29
<
gasche_ >
I'm not sure how to explain myself except "this is horribly ugly" :-'
20:29
<
rks` >
I can only agree.
20:29
<
gasche_ >
for one thing, you're rendering the thing twice (in fact a third time to build the replace pattern); it's not a performance, but a design issue: why didn't you get it right in the first time?
20:30
<
gasche_ >
it's also rather fragile as you assume you know exactly how the stuff will look like in the rendered output
20:30
<
rks` >
gasche_: the code is not mine
20:31
<
gasche_ >
the replace stuff, it's done somewhere else already?
20:31
<
gasche_ >
I just read the diff
20:31
<
rks` >
yes, I just added the "object case" which is basicaly a copy/paste of the record case.
20:32
<
rks` >
if you look at the whole function, it's all horribly "hackish"
20:33
<
rks` >
once again: I tried to make my changes as less invasive as I could, there is nearly no "logic" into my code.
20:34
<
gasche_ >
I hadn't noticed the rest of the code did that as well
20:34
<
gasche_ >
I'll amend my comment
20:38
groovy2shoes has quit [Quit: groovy2shoes]
20:49
TDJACR has quit [Ping timeout: 246 seconds]
20:50
TDJACR has joined #ocaml
20:53
mcclurmc has quit [Remote host closed the connection]
20:54
shinnya has joined #ocaml
20:56
mcclurmc has joined #ocaml
20:58
tant2n has joined #ocaml
20:59
BiDOrD has quit [Quit: No Ping reply in 180 seconds.]
21:00
BiDOrD has joined #ocaml
21:01
tant2n has quit [Client Quit]
21:02
tant2n has joined #ocaml
21:10
tant2n has quit [Quit: Leaving]
21:10
dant3 has quit [Remote host closed the connection]
21:12
nikki93 has joined #ocaml
21:21
BiDOrD has quit [Quit: No Ping reply in 180 seconds.]
21:22
inr has joined #ocaml
21:22
BiDOrD has joined #ocaml
21:25
dant3 has joined #ocaml
21:25
tovarish has quit [Quit: Leaving]
21:28
Xenasis has quit [Ping timeout: 240 seconds]
21:29
dant3 has quit [Ping timeout: 245 seconds]
21:29
Xenasis has joined #ocaml
21:31
cesar has joined #ocaml
21:32
cesar is now known as Guest453
21:34
Guest453 has quit [Remote host closed the connection]
21:36
BiDOrD has quit [Quit: No Ping reply in 180 seconds.]
21:37
BiDOrD has joined #ocaml
21:41
zpe has quit [Remote host closed the connection]
21:41
zpe has joined #ocaml
21:42
mcclurmc has quit [Remote host closed the connection]
21:45
nikki93 has quit [Ping timeout: 252 seconds]
21:46
zpe has quit [Ping timeout: 245 seconds]
21:46
smerz_ has joined #ocaml
21:51
nisstyre has joined #ocaml
21:55
ollehar has quit [Ping timeout: 252 seconds]
22:06
axiles has quit [Remote host closed the connection]
22:07
csakatoku has joined #ocaml
22:16
darkf has joined #ocaml
22:27
thomasga has quit [Quit: Leaving.]
22:29
tane has quit [Quit: Verlassend]
22:35
zpe has joined #ocaml
22:36
csakatoku has quit [Remote host closed the connection]
22:37
Xenasis has quit [Remote host closed the connection]
22:37
csakatoku has joined #ocaml
22:39
zpe has quit [Ping timeout: 245 seconds]
22:42
nikki93 has joined #ocaml
22:43
mcclurmc has joined #ocaml
22:49
csakatoku has quit [Remote host closed the connection]
22:50
mcclurmc has quit [Ping timeout: 245 seconds]
22:50
smerz has quit [Ping timeout: 245 seconds]
22:50
smerz_ has quit [Ping timeout: 272 seconds]
22:53
swistak35 has joined #ocaml
23:01
sheijk has joined #ocaml
23:16
nikki93 has quit [Ping timeout: 272 seconds]
23:16
cesar has joined #ocaml
23:17
cesar is now known as Guest67908
23:20
Guest67908 has quit [Remote host closed the connection]
23:20
groovy2shoes has joined #ocaml
23:24
nikki93 has joined #ocaml
23:26
nikki93 has quit [Remote host closed the connection]
23:33
ulfdoz has quit [Ping timeout: 246 seconds]
23:36
zpe has joined #ocaml
23:40
zpe has quit [Ping timeout: 246 seconds]
23:43
NoNNaN has quit [Remote host closed the connection]
23:47
nisstyre has quit [Quit: Leaving]
23:47
mcclurmc has joined #ocaml
23:48
nisstyre has joined #ocaml
23:52
mcclurmc has quit [Ping timeout: 252 seconds]
23:57
mcclurmc has joined #ocaml
23:57
boogie has joined #ocaml