#ocaml on 2016-12-09 — irc logs at freenode.irclog.whitequark.org

2016-11-11 21:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:04 orbifx has joined #ocaml

00:07 orbifx1 has quit [Ping timeout: 265 seconds]

00:08 esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

00:08 agarwal1975 has joined #ocaml

00:11 FreeBirdLjj has joined #ocaml

00:21 _whitelogger has joined #ocaml

00:24 Simn has quit [Read error: Connection reset by peer]

00:25 FreeBirdLjj has quit [Ping timeout: 268 seconds]

00:28 troydm has joined #ocaml

00:36 orbifx has quit [Ping timeout: 248 seconds]

00:37 gregoire has joined #ocaml

00:38 jao has joined #ocaml

00:38 RichN has quit [Ping timeout: 250 seconds]

00:42 zirman has quit [Remote host closed the connection]

00:44 al-damiri has quit [Quit: Connection closed for inactivity]

00:44 zirman has joined #ocaml

00:45 smondet has quit [Ping timeout: 265 seconds]

00:50 victoroak has joined #ocaml

00:53 zirman has quit [Remote host closed the connection]

00:53 propane has quit [Read error: Connection reset by peer]

00:53 FreeBirdLjj has joined #ocaml

00:54 zirman has joined #ocaml

00:54 zirman has quit [Changing host]

00:54 zirman has joined #ocaml

00:56 <aantron> copy`: i think i just made markup.ml go like 90% faster :p not sure if this is just due to the input i was optimizing it for. going to investigate more and make a PR with findings, but holy crap it feels good

00:57 <aantron> actually 90% faster is not right, the time taken decreased by 90%

01:00 <aantron> so its more like 28x faster.

01:00 <aantron> (from actual measurements)

01:12 smondet has joined #ocaml

01:13 propane has joined #ocaml

01:16 TarVanimelde has quit [Quit: TarVanimelde]

01:20 fraggle_ has quit [Ping timeout: 260 seconds]

01:30 fraggle_ has joined #ocaml

01:34 cataska has quit [Quit: WeeChat 1.4]

01:38 silver has quit [Quit: rakede]

01:39 gregoire has quit [Ping timeout: 248 seconds]

01:47 gregoire has joined #ocaml

01:48 victoroak has quit [Quit: Page closed]

01:50 FreeBirdLjj has quit [Remote host closed the connection]

01:52 FreeBirdLjj has joined #ocaml

01:53 mfp has quit [Ping timeout: 265 seconds]

01:58 wu_ng has joined #ocaml

02:01 shinnya has joined #ocaml

02:06 vicfred has joined #ocaml

02:11 smondet` has joined #ocaml

02:16 smondet has quit [Ping timeout: 258 seconds]

02:39 Hao has joined #ocaml

02:45 gregoire has quit [Ping timeout: 244 seconds]

02:48 pierpa has quit [Ping timeout: 246 seconds]

02:49 infinity0 has quit [Ping timeout: 260 seconds]

02:52 infinity0 has joined #ocaml

03:05 groovy2shoes has joined #ocaml

03:05 isd has joined #ocaml

03:20 malc_ has joined #ocaml

03:30 malina has quit [Quit: Throwing apples of Montserrat]

03:36 gregoire has joined #ocaml

03:45 Orion3k has quit [Ping timeout: 258 seconds]

03:46 Orion3k has joined #ocaml

03:52 zirman has quit [Remote host closed the connection]

03:58 rgrinberg has quit [Ping timeout: 260 seconds]

04:04 madroach has quit [Ping timeout: 264 seconds]

04:06 madroach has joined #ocaml

04:09 Hao has quit [Quit: Textual IRC Client: www.textualapp.com]

04:10 Hao has joined #ocaml

04:20 rgrinberg has joined #ocaml

04:28 shinnya has quit [Ping timeout: 260 seconds]

04:39 gregoire has quit [Ping timeout: 265 seconds]

04:39 vicfred has quit [Quit: Leaving]

04:46 jao has quit [Ping timeout: 256 seconds]

04:48 zirman has joined #ocaml

04:48 zirman has quit [Changing host]

04:52 zirman has quit [Ping timeout: 244 seconds]

05:02 nomicflux has quit [Quit: nomicflux]

05:03 ygrek has quit [Ping timeout: 260 seconds]

05:04 FreeBirdLjj has quit [Remote host closed the connection]

05:13 g4143 has joined #ocaml

05:13 g4143 has quit [Client Quit]

05:14 MercurialAlchemi has joined #ocaml

05:15 FreeBirdLjj has joined #ocaml

05:32 nicholasf has quit [Remote host closed the connection]

05:33 nicholasf has joined #ocaml

05:39 rgrinberg has quit [Ping timeout: 248 seconds]

05:49 nicholas_ has joined #ocaml

05:49 nicholasf has quit [Ping timeout: 258 seconds]

05:49 zirman has joined #ocaml

05:52 gregoire has joined #ocaml

05:54 zirman has quit [Ping timeout: 250 seconds]

05:54 MercurialAlchemi has quit [Ping timeout: 260 seconds]

05:56 FreeBirdLjj has quit [Remote host closed the connection]

05:57 copy` has quit [Quit: Connection closed for inactivity]

06:34 tmtwd has joined #ocaml

06:34 tmtwd has quit [Client Quit]

06:35 fre has joined #ocaml

06:40 MercurialAlchemi has joined #ocaml

06:50 shinnya has joined #ocaml

06:55 fre has quit [Ping timeout: 265 seconds]

07:01 Hao has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:04 Hao has joined #ocaml

07:19 ewanas has joined #ocaml

07:25 Hao has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:26 Hao has joined #ocaml

07:30 Hao has quit [Read error: Connection reset by peer]

07:35 alfredo has joined #ocaml

07:41 nicholasf has joined #ocaml

07:42 nicholas_ has quit [Ping timeout: 268 seconds]

07:43 jnavila has joined #ocaml

07:45 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:45 AlexDenisov has joined #ocaml

07:49 AlexDenisov has quit [Ping timeout: 250 seconds]

08:08 axiles_ has quit [Ping timeout: 256 seconds]

08:10 Simn has joined #ocaml

08:10 AlexRussia has quit [Ping timeout: 258 seconds]

08:20 argent_smith has joined #ocaml

08:25 AlexDenisov has joined #ocaml

08:25 axiles_ has joined #ocaml

08:29 AlexDenisov has quit [Ping timeout: 268 seconds]

08:34 freusque has joined #ocaml

08:37 nicholasf has quit [Remote host closed the connection]

08:39 <companion_cube> you rewrote some parser with angstrom? :p

08:41 rossberg has quit [Ping timeout: 246 seconds]

08:41 AlexDenisov has joined #ocaml

08:53 rossberg has joined #ocaml

08:57 _whitelogger has joined #ocaml

08:59 TarVanimelde has joined #ocaml

09:00 FreeBirdLjj has joined #ocaml

09:05 FreeBirdLjj has quit [Ping timeout: 268 seconds]

09:07 freusque has quit [Ping timeout: 245 seconds]

09:10 troydm has quit [Ping timeout: 248 seconds]

09:11 AlexRussia_ has joined #ocaml

09:11 ia0 has quit [Quit: reboot]

09:13 ia0 has joined #ocaml

09:13 AlexRussia has quit [Ping timeout: 250 seconds]

09:19 mfp has joined #ocaml

09:21 larhat has joined #ocaml

09:32 maattdd has joined #ocaml

09:36 nicholasf has joined #ocaml

09:43 <Drup> aantron: are you still using char streams ?

09:45 rossberg has quit [Ping timeout: 246 seconds]

09:56 wolfcore has quit [Ping timeout: 260 seconds]

09:57 rossberg has joined #ocaml

09:59 wolfcore has joined #ocaml

10:01 esad has joined #ocaml

10:10 freusque has joined #ocaml

10:20 jao has joined #ocaml

10:23 malc_ has quit [Ping timeout: 244 seconds]

10:36 AlexRussia_ has quit [Ping timeout: 268 seconds]

10:39 troydm has joined #ocaml

10:55 troydm has quit [Ping timeout: 268 seconds]

10:56 esad has quit [Quit: Textual IRC Client: www.textualapp.com]

11:03 FreeBirdLjj has joined #ocaml

11:05 wu_ng has quit [Remote host closed the connection]

11:07 FreeBirdLjj has quit [Ping timeout: 268 seconds]

11:12 jao has quit [Ping timeout: 244 seconds]

11:18 dhil has joined #ocaml

11:23 maattdd has quit [Ping timeout: 256 seconds]

11:24 AltGr has joined #ocaml

11:28 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

11:30 jwatzman|work has quit [Quit: jwatzman|work]

11:30 silver has joined #ocaml

11:33 shinnya has quit [Ping timeout: 260 seconds]

11:43 <aantron> companion_cube:, no got rid of a linear scan

11:43 <aantron> Drup: yeah, will profile.

11:44 <aantron> but its not immediately clear that this is a big problem, i assume for now that the common path is just to call the consumer's continuation immediately for each char. the streams should be pretty unobtrusive then. but will see

11:53 <Drup> aantron: I'm not sure you'll see that really well by profiling

11:54 <Drup> but you should get quite some gain by moving to a Lexer.lexbuf-like structure

11:54 zirman has joined #ocaml

11:54 <Drup> (ie. a buffer with positions and a refill function)

11:59 zirman has quit [Ping timeout: 260 seconds]

12:06 pyon has quit [Ping timeout: 244 seconds]

12:13 zpe has joined #ocaml

12:33 smondet` has quit [Ping timeout: 258 seconds]

12:38 maattdd has joined #ocaml

12:40 zirman has joined #ocaml

12:40 lopex has quit []

12:40 lopex has joined #ocaml

12:41 zirman has quit [Remote host closed the connection]

12:41 zirman has joined #ocaml

12:41 zirman has quit [Changing host]

12:41 JSharp has quit []

12:41 zirman has quit [Remote host closed the connection]

12:41 JSharp has joined #ocaml

12:41 zirman has joined #ocaml

12:45 AlexDenisov has joined #ocaml

12:45 zirman has quit [Client Quit]

12:45 grandy has quit []

12:45 grandy____ has quit []

12:46 grandy____ has joined #ocaml

12:46 grandy has joined #ocaml

12:47 zirman has joined #ocaml

12:47 zirman has quit [Remote host closed the connection]

12:48 zirman has joined #ocaml

12:54 haesbaert has joined #ocaml

12:58 fraggle-boate_ has quit [Ping timeout: 245 seconds]

13:01 freusque has quit [Ping timeout: 245 seconds]

13:03 stephe has quit []

13:03 stephe has joined #ocaml

13:05 FreeBirdLjj has joined #ocaml

13:05 jwatzman|work has joined #ocaml

13:07 <aantron> i'll be trying that eventually, i suppose

13:08 zirman has quit [Remote host closed the connection]

13:10 FreeBirdLjj has quit [Ping timeout: 264 seconds]

13:17 dhil has quit [Quit: Quit]

13:18 vramana has quit [Quit: vramana]

13:22 emmanueloga has quit []

13:22 emmanueloga has joined #ocaml

13:27 malc_ has joined #ocaml

13:32 maattdd has quit [Ping timeout: 246 seconds]

13:34 yomimono has joined #ocaml

13:42 agarwal1975 has quit [Quit: agarwal1975]

13:42 dhil has joined #ocaml

13:47 Averell- has joined #ocaml

13:47 Averell- is now known as averell

13:50 nomicflux has joined #ocaml

13:51 zpe has quit [Remote host closed the connection]

13:51 zpe has joined #ocaml

13:55 jimt has quit [Ping timeout: 258 seconds]

13:56 zpe has quit [Ping timeout: 268 seconds]

13:59 jimt has joined #ocaml

14:02 zpe has joined #ocaml

14:03 yomimono has quit [Ping timeout: 258 seconds]

14:03 caw has quit []

14:04 caw has joined #ocaml

14:04 yomimono has joined #ocaml

14:04 freusque has joined #ocaml

14:05 dave_tucker has quit []

14:05 dave_tucker has joined #ocaml

14:06 FreeBirdLjj has joined #ocaml

14:07 yminsky has quit []

14:07 zpe has quit [Remote host closed the connection]

14:07 yminsky has joined #ocaml

14:08 zpe has joined #ocaml

14:11 FreeBirdLjj has quit [Ping timeout: 252 seconds]

14:12 agarwal1975 has joined #ocaml

14:15 zpe has quit [Remote host closed the connection]

14:18 rgrinberg has joined #ocaml

14:25 zirman has joined #ocaml

14:25 zirman has quit [Changing host]

14:25 al-damiri has joined #ocaml

14:29 zirman has quit [Ping timeout: 244 seconds]

14:31 AlexRussia_ has joined #ocaml

14:37 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:38 sh0t has joined #ocaml

14:39 zirman has joined #ocaml

14:39 zirman has quit [Changing host]

14:40 copy` has joined #ocaml

14:42 MorTal1ty has quit []

14:43 MorTal1ty has joined #ocaml

14:43 AlexDenisov has joined #ocaml

14:47 jwatzman|work has quit [Quit: jwatzman|work]

14:51 smondet has joined #ocaml

14:55 nicoo has quit [Remote host closed the connection]

14:57 nicoo has joined #ocaml

15:05 MercurialAlchemi has quit [Ping timeout: 260 seconds]

15:07 FreeBirdLjj has joined #ocaml

15:07 SpiceGuid has joined #ocaml

15:08 SpiceGuid has quit [Client Quit]

15:08 shinnya has joined #ocaml

15:13 FreeBirdLjj has quit [Ping timeout: 258 seconds]

15:24 wolfcore has quit [Ping timeout: 256 seconds]

15:25 rb___3 has quit [Ping timeout: 244 seconds]

15:27 wolfcore has joined #ocaml

15:29 freusque has quit [Ping timeout: 258 seconds]

15:31 zirman has quit [Remote host closed the connection]

15:32 zirman has joined #ocaml

15:32 zirman has quit [Changing host]

15:38 larhat has quit [Quit: Leaving.]

15:51 unbalanced has joined #ocaml

15:51 unbalanced has quit [Client Quit]

15:51 unbalanced has joined #ocaml

15:53 zirman has quit [Remote host closed the connection]

15:55 unbalanced has quit [Client Quit]

15:56 sepp2k has joined #ocaml

15:56 TarVanimelde has quit [Quit: TarVanimelde]

15:57 dhil has quit [Ping timeout: 245 seconds]

15:58 unbalanced has joined #ocaml

16:03 TarVanimelde has joined #ocaml

16:05 zirman has joined #ocaml

16:05 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:07 MercurialAlchemi has joined #ocaml

16:08 shinnya has quit [Ping timeout: 258 seconds]

16:10 FreeBirdLjj has joined #ocaml

16:11 AlexDenisov has joined #ocaml

16:14 FreeBirdLjj has quit [Ping timeout: 240 seconds]

16:18 alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]

16:19 jbrown has quit [Quit: Leaving]

16:23 johnf_ has quit [Read error: Connection reset by peer]

16:35 unbalanced has quit [Quit: WeeChat 1.6]

16:37 silver has quit [Quit: rakede]

16:38 TarVanimelde has quit [Quit: TarVanimelde]

16:40 _whitelogger has joined #ocaml

16:50 maattdd has joined #ocaml

16:54 zirman has quit [Remote host closed the connection]

16:54 jnavila has quit [Quit: It was time]

16:57 slash^ has joined #ocaml

16:59 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:05 fre has joined #ocaml

17:14 maattdd has quit [Ping timeout: 246 seconds]

17:16 two_wheels has joined #ocaml

17:16 smondet has quit [Ping timeout: 258 seconds]

17:17 FreeBirdLjj has joined #ocaml

17:18 marsam has joined #ocaml

17:22 pierpa has joined #ocaml

17:22 <copy`> ocp-browser[13936]: segfault at 7ffcf320eff8 ip 0000000000700951 sp 00007ffcf320f000 error 6

17:22 <copy`> ouch

17:22 <flux> probably broken ram ;-)

17:23 ryanartecona has joined #ocaml

17:26 two_wheels has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:27 jwatzman|work has joined #ocaml

17:27 <copy`> Luckily you can see a lot in gdb these days, should help the folks

17:27 two_wheels has joined #ocaml

17:29 nicholasf has quit [Remote host closed the connection]

17:29 <copy`> Stack overflow should never cause a segmentation fault, or can it?

17:31 zaquest has quit [Ping timeout: 250 seconds]

17:32 zaquest has joined #ocaml

17:34 unbalanced has joined #ocaml

17:41 dhil has joined #ocaml

17:42 yomimono has quit [Quit: Leaving]

17:44 orbifx1 has joined #ocaml

17:48 jwatzman|work has quit [Quit: jwatzman|work]

17:49 orbifx has joined #ocaml

17:54 <flux> what else would it cause?

17:54 <flux> or you mean in ocaml?

17:54 <flux> right, if you're in ocaml code, you should never get segmentation fault

17:55 zirman has joined #ocaml

17:55 zirman has quit [Changing host]

17:55 <flux> however, if you're right at the edge and go to C code that stack overflows, then you're out of luck

17:55 orbifx has quit [Ping timeout: 260 seconds]

17:57 zirman has quit [Remote host closed the connection]

17:58 <Drup> copy`: huuh, that's a weird stack trace ... are you sure you don't have a version mismatch ?

17:58 zirman has joined #ocaml

17:58 zirman has quit [Changing host]

18:00 <copy`> I don't think so, but I'll try a clean switch

18:02 smondet has joined #ocaml

18:11 jnavila has joined #ocaml

18:12 d0nn1e has quit [Ping timeout: 260 seconds]

18:13 d0nn1e has joined #ocaml

18:21 <copy`> flux: Unchecked array accesses and Obj.magic can cause segmentation faults

18:21 <copy`> Drup: I added some more infos

18:26 <Drup> copy`: while you are at it, and with 4.04 no flambda ?

18:27 marsam has quit [Remote host closed the connection]

18:27 <Drup> (anyway, it's definitely a problem with the index part, so AltGr need to look at it :p)

18:28 <copy`> Related: https://github.com/mirleft/ocaml-tls/issues/346

18:39 zirman has quit [Remote host closed the connection]

18:39 two_wheels has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:48 zirman has joined #ocaml

18:48 zirman has quit [Changing host]

18:49 zirman has quit [Remote host closed the connection]

18:50 malc_ has quit [Remote host closed the connection]

18:54 agarwal1975 has quit [Quit: agarwal1975]

18:54 agarwal1975 has joined #ocaml

18:57 kakadu has joined #ocaml

19:00 ygrek has joined #ocaml

19:02 zirman has joined #ocaml

19:09 ryanartecona has quit [Quit: ryanartecona]

19:22 djellemah_ has joined #ocaml

19:24 ryanartecona has joined #ocaml

19:26 dhil has quit [Ping timeout: 260 seconds]

19:37 silver has joined #ocaml

19:43 djellemah_ has quit [Ping timeout: 264 seconds]

19:51 rgrinberg has quit [Ping timeout: 260 seconds]

20:11 dhil has joined #ocaml

20:16 octachron has joined #ocaml

20:21 two_wheels has joined #ocaml

20:21 zpe has joined #ocaml

20:24 sillyotter has joined #ocaml

20:26 sillyotter has quit [Client Quit]

20:31 tormen_ has quit [Ping timeout: 250 seconds]

20:35 AltGr has left #ocaml [#ocaml]

20:35 slash^ has quit [Read error: Connection reset by peer]

20:52 djellemah_ has joined #ocaml

20:57 rgrinberg has joined #ocaml

20:57 ryanartecona has quit [Quit: ryanartecona]

20:58 two_wheels has quit [Read error: Connection reset by peer]

20:58 djellemah_ has quit [Ping timeout: 250 seconds]

20:59 isd has quit [Ping timeout: 256 seconds]

21:09 dhil has quit [Ping timeout: 248 seconds]

21:16 jnavila has quit [Ping timeout: 256 seconds]

21:27 FreeBirdLjj has quit [Remote host closed the connection]

21:31 kakadu has quit [Remote host closed the connection]

21:40 ryanartecona has joined #ocaml

21:45 orbifx1 has quit [Ping timeout: 244 seconds]

21:48 unbalanced has quit [Ping timeout: 256 seconds]

21:59 argent_smith has quit [Quit: Leaving.]

22:01 argent_smith has joined #ocaml

22:05 zirmann has joined #ocaml

22:08 zirman has quit [Ping timeout: 250 seconds]

22:10 zirmann has quit [Ping timeout: 250 seconds]

22:15 unbalanced has joined #ocaml

22:20 rgrinberg has quit [Read error: Connection reset by peer]

22:26 struk|work has quit [Quit: Page closed]

22:31 nicholasf has joined #ocaml

22:38 johnf_ has joined #ocaml

22:40 ollehar has joined #ocaml

22:41 RomanZ5 has quit [Changing host]

22:41 RomanZ5 has joined #ocaml

22:41 RomanZ5 is now known as Rome

22:43 zpe has quit [Remote host closed the connection]

22:43 zv has quit [Ping timeout: 244 seconds]

22:43 andyc has quit [Ping timeout: 245 seconds]

22:44 silver_ has joined #ocaml

22:47 silver has quit [Ping timeout: 265 seconds]

22:47 AlexDenisov has joined #ocaml

22:47 FreeBirdLjj has joined #ocaml

22:47 zv has joined #ocaml

22:47 pyon has joined #ocaml

22:48 andyc has joined #ocaml

22:49 zv has quit [Client Quit]

22:50 zv has joined #ocaml

22:51 zv has quit [Client Quit]

22:51 zv has joined #ocaml

22:57 unbalanced has quit [Ping timeout: 252 seconds]

23:03 tristero has quit [Quit: WeeChat 1.6]

23:04 ryanartecona has quit [Quit: ryanartecona]

23:05 TarVanimelde has joined #ocaml

23:08 AlexRussia_ has quit [Ping timeout: 260 seconds]

23:18 FreeBirdLjj has quit [Remote host closed the connection]

23:19 FreeBirdLjj has joined #ocaml

23:19 agarwal1975 has quit [Quit: agarwal1975]

23:19 johnf_ has quit [Read error: Connection reset by peer]

23:19 infinity0 has quit [Remote host closed the connection]

23:20 johnf_ has joined #ocaml

23:20 vicfred has joined #ocaml

23:21 infinity0 has joined #ocaml

23:22 AlexRussia_ has joined #ocaml

23:23 infinity0 has quit [Remote host closed the connection]

23:27 infinity0 has joined #ocaml

23:27 argent_smith has quit [Quit: Leaving.]

23:29 zirman has joined #ocaml

23:29 zirman has quit [Changing host]

23:34 johnf_ has quit [Read error: Connection reset by peer]

23:36 johnf_ has joined #ocaml

23:38 octachron has quit [Quit: Leaving]

23:40 jbrown has joined #ocaml

23:42 ollehar has quit [Quit: ollehar]

23:45 smondet has quit [Ping timeout: 240 seconds]

23:47 michbad has joined #ocaml

23:50 pitastrudl has quit [Quit: Cya]

23:51 johnf_ has quit [Read error: Connection reset by peer]

23:52 troydm has joined #ocaml

23:52 pitastrudl has joined #ocaml

23:55 johnf_ has joined #ocaml