#ocaml on 2019-10-21 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:17 toppler has quit [Ping timeout: 240 seconds]

00:28 toppler has joined #ocaml

00:43 nullifidian__ has quit [Read error: Connection reset by peer]

00:44 nullifidian__ has joined #ocaml

00:50 AtumT has quit [Ping timeout: 240 seconds]

00:55 toppler has quit [Ping timeout: 268 seconds]

01:06 toppler has joined #ocaml

01:17 FreeBirdLjj has joined #ocaml

01:28 toppler has quit [Ping timeout: 250 seconds]

01:35 fixme has quit [Quit: WeeChat 2.6]

01:37 rople has joined #ocaml

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

01:39 toppler has joined #ocaml

01:39 FreeBirdLjj has joined #ocaml

01:44 FreeBirdLjj has quit [Ping timeout: 268 seconds]

01:52 jao has quit [Ping timeout: 268 seconds]

02:04 tormen has joined #ocaml

02:05 toppler has quit [Ping timeout: 276 seconds]

02:07 tormen_ has quit [Ping timeout: 268 seconds]

02:13 mfp has quit [Ping timeout: 240 seconds]

02:15 toppler has joined #ocaml

02:17 silver has quit [Quit: rakede]

02:23 iovec has quit [Quit: Connection closed for inactivity]

02:39 toppler has quit [Ping timeout: 250 seconds]

02:48 toppler has joined #ocaml

02:49 traviss has joined #ocaml

03:03 sagax has joined #ocaml

03:04 warriors has quit [Quit: Connection closed for inactivity]

03:09 toppler has quit [Ping timeout: 240 seconds]

03:18 analogue has quit [Quit: Leaving]

03:21 toppler has joined #ocaml

03:24 vicfred has joined #ocaml

03:40 kvda has joined #ocaml

03:43 toppler has quit [Ping timeout: 240 seconds]

03:54 toppler has joined #ocaml

04:16 toppler has quit [Ping timeout: 240 seconds]

04:28 toppler has joined #ocaml

04:52 toppler has quit [Ping timeout: 265 seconds]

04:52 rople has quit [Ping timeout: 250 seconds]

04:55 rople has joined #ocaml

04:59 nullifidian has joined #ocaml

05:02 nullifidian__ has quit [Ping timeout: 265 seconds]

05:02 toppler has joined #ocaml

05:11 gravicappa has joined #ocaml

05:20 mbuf has joined #ocaml

05:24 toppler has quit [Ping timeout: 240 seconds]

05:25 narimiran has joined #ocaml

05:35 toppler has joined #ocaml

06:01 toppler has quit [Ping timeout: 240 seconds]

06:13 toppler has joined #ocaml

06:30 bitwinery has quit [Quit: Leaving]

06:39 toppler has quit [Ping timeout: 250 seconds]

06:49 Serpent7776 has joined #ocaml

06:50 toppler has joined #ocaml

06:54 bartholin has quit [Remote host closed the connection]

06:56 adrianbrink has joined #ocaml

06:58 Haudegen has joined #ocaml

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

07:20 toppler has joined #ocaml

07:22 brillenfux has joined #ocaml

07:39 toppler has quit [Ping timeout: 250 seconds]

07:50 toppler has joined #ocaml

08:14 toppler has quit [Ping timeout: 276 seconds]

08:25 toppler has joined #ocaml

08:33 jaar has joined #ocaml

08:35 gahr has quit [Quit: Reconnecting]

08:35 gahr has joined #ocaml

08:40 vesper has joined #ocaml

08:40 vesper11 has quit [Ping timeout: 265 seconds]

08:47 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:49 toppler has quit [Ping timeout: 240 seconds]

08:58 florest has joined #ocaml

09:01 toppler has joined #ocaml

09:28 toppler has quit [Ping timeout: 240 seconds]

09:39 toppler has joined #ocaml

09:44 mfp has joined #ocaml

10:06 toppler has quit [Ping timeout: 268 seconds]

10:17 toppler has joined #ocaml

10:30 <Nikkel> What's the best linter for Ocaml at the moment?

10:30 <Nikkel> with ppx support

10:40 toppler has quit [Ping timeout: 240 seconds]

10:43 Haudegen has quit [Quit: Bin weg.]

10:51 toppler has joined #ocaml

11:00 rople has quit [Ping timeout: 265 seconds]

11:09 <xvilka> ocamlformat?

11:10 <xvilka> there is also rotor

11:10 <xvilka> but both are not so well-polished yet

11:14 kakadu has joined #ocaml

11:17 toppler has quit [Ping timeout: 268 seconds]

11:19 <Nikkel> Alright. I think it's really difficult to get such things to work with eliom projects, but thanks for your help :)

11:23 jaar has quit [Ping timeout: 276 seconds]

11:29 toppler has joined #ocaml

11:30 <Leonidas> xvilka: ocamlformat is pretty alright I think

11:30 <Leonidas> wouldn't really call it a linter

11:31 <Leonidas> ocamlopt is what I use as linter :D

11:34 <Leonidas> can I somehow get a `module type` out of a module?

11:37 <narimiran> `fish: “opam install ocamlformat” terminated by signal SIGSEGV (Address boundary error)`

11:38 Haudegen has joined #ocaml

11:40 nullifidian_ has joined #ocaml

11:42 nullifidian has quit [Ping timeout: 240 seconds]

11:45 jnavila has joined #ocaml

11:47 jaar has joined #ocaml

11:57 toppler has quit [Ping timeout: 265 seconds]

12:04 ggole has joined #ocaml

12:10 toppler has joined #ocaml

12:22 <octachron> Leonidas, only with "module type of"

12:26 kakadu has quit [Ping timeout: 250 seconds]

12:28 kakadu_ has joined #ocaml

12:28 <Leonidas> octachron: ah, thanks, that was exactly what I was looking for :)

12:30 kakadu_ has quit [Client Quit]

12:31 kakadu has joined #ocaml

12:38 toppler has quit [Ping timeout: 268 seconds]

12:39 kakadu_ has joined #ocaml

12:41 kakadu has quit [Ping timeout: 268 seconds]

12:49 toppler has joined #ocaml

13:13 spew has joined #ocaml

13:16 toppler has quit [Ping timeout: 240 seconds]

13:26 toppler has joined #ocaml

13:35 kakadu_ has quit [Quit: Konversation terminated!]

13:39 kakadu has joined #ocaml

13:55 FreeBirdLjj has joined #ocaml

14:12 FreeBirdLjj has quit [Remote host closed the connection]

14:12 FreeBirdLjj has joined #ocaml

14:14 toppler has quit [Ping timeout: 240 seconds]

14:18 FreeBirdLjj has quit [Ping timeout: 276 seconds]

14:21 FreeBirdLjj has joined #ocaml

14:27 toppler has joined #ocaml

14:28 FreeBirdLjj has quit [Remote host closed the connection]

14:28 warriors has joined #ocaml

14:40 jbrown has quit [Quit: Leaving]

14:45 jbrown has joined #ocaml

14:48 Serpent7776 has quit [Quit: Leaving]

14:48 smazga has joined #ocaml

14:54 toppler has quit [Ping timeout: 250 seconds]

14:55 zgasma has joined #ocaml

14:58 smazga has quit [Quit: leaving]

14:59 zgasma has quit [Client Quit]

14:59 smazga has joined #ocaml

15:06 toppler has joined #ocaml

15:07 FreeBirdLjj has joined #ocaml

15:14 FreeBirdLjj has quit [Ping timeout: 250 seconds]

15:20 <narimiran> is there a better, idiomatic way than `let i = if my_bool then 1 else 0`?

15:21 <companion_cube> alas, no

15:30 <ggole> int_of_bool is one of those little utilities you get to write for yourself

15:31 <companion_cube> also, bool_of_int :/

15:31 toppler has quit [Ping timeout: 240 seconds]

15:31 <companion_cube> it's clearly the kind of things the compiler shoudl provide, as it can do it faster than you, but well

15:34 <ggole> You can cheat with %identity, but yeah

15:34 <ggole> Although maybe it would be nicer to have that pattern recognised, since that would also apply for some non-bool datatypes

15:35 <companion_cube> meh

15:35 <companion_cube> I mean, bool is very special anyway

15:35 nullifidian_ is now known as nullifidian

15:35 <zozozo> flambda2 should be able to optimize away int_of_bool into the identity hopefully

15:36 <companion_cube> wooo

15:42 toppler has joined #ocaml

15:42 <Armael> can't wait for 2025

15:43 <companion_cube> ah yes, when we'll have the first alpha of multicore ? :p

15:44 <Armael> and flambda2

15:44 <Armael> :)

15:44 <companion_cube> and safe-syntax 🤔

15:44 <companion_cube> sounds like it means the apocalypse will be in 2024 and we'll be using heaven-ocaml

15:45 FreeBirdLjj has joined #ocaml

15:48 FreeBirdLjj has quit [Remote host closed the connection]

15:50 Haudegen has quit [Quit: Bin weg.]

15:52 <ggole> Is there much written about flambda2?

15:56 <Leonidas> what is safe-syntax?

15:56 <companion_cube> an issue that will lead to nowhere, that I wrote in anger

15:56 <Leonidas> (i feel like I've just set up myself for an 'what's updog' joke)

15:56 <companion_cube> https://github.com/ocaml/ocaml/issues/9034

15:56 <companion_cube> please like and subscribe

16:03 ziyourenxiang_ has quit [Ping timeout: 250 seconds]

16:05 toppler has quit [Ping timeout: 265 seconds]

16:11 jao has joined #ocaml

16:16 toppler has joined #ocaml

16:29 jao has quit [Remote host closed the connection]

16:37 AtumT has joined #ocaml

16:43 toppler has quit [Ping timeout: 268 seconds]

16:44 kalio has quit [Ping timeout: 268 seconds]

16:47 Haudegen has joined #ocaml

16:53 toppler has joined #ocaml

16:57 sagax has quit [Ping timeout: 268 seconds]

16:58 kalio has joined #ocaml

17:09 jao has joined #ocaml

17:13 klntsky has quit [Remote host closed the connection]

17:14 klntsky has joined #ocaml

17:15 toppler has quit [Ping timeout: 245 seconds]

17:15 gareppa has joined #ocaml

17:20 mbuf has quit [Quit: Leaving]

17:26 toppler has joined #ocaml

17:37 jaar has quit [Ping timeout: 240 seconds]

17:46 toppler has quit [Ping timeout: 240 seconds]

17:47 neiluj has joined #ocaml

17:47 gareppa has quit [Quit: Leaving]

17:58 toppler has joined #ocaml

17:59 rosterok has joined #ocaml

17:59 neiluj has quit [Quit: neiluj]

18:00 bitwinery has joined #ocaml

18:12 neiluj has joined #ocaml

18:14 <neiluj> hello !

18:17 <neiluj> I'm playing with the graphics library in ocaml and got this error :

18:17 <neiluj> Fatal error: exception Graphics.Graphic_failure("cannot find font -*-fixed-medium-r-semicondensed--50-*-*-*-*-*-iso8859-1")

18:17 <neiluj> looks like I've got some packages missing?

18:18 toppler has quit [Ping timeout: 276 seconds]

18:21 florest has quit [Remote host closed the connection]

18:25 tane has joined #ocaml

18:29 toppler has joined #ocaml

18:36 DanC has joined #ocaml

18:36 vicfred has quit [Quit: Leaving]

18:39 kakadu_ has joined #ocaml

18:48 dhil has joined #ocaml

18:48 toppler has quit [Ping timeout: 240 seconds]

18:48 brillenfux has quit [Ping timeout: 250 seconds]

18:57 bartholin has joined #ocaml

19:01 toppler has joined #ocaml

19:12 <flux> neiluj: maybe your system doesn't have some font it assumes it to have

19:13 <flux> neiluj: try to use Graphics.set_font to set one that you do have

19:14 <flux> Like "-adobe-courier-*-*-*-*-*-*-*-*-*-*-*-*" might work

19:14 <flux> that being said, Graphics isn't a terrific graphics library

19:14 <flux> xfontsel can be used to find fonts in that archaic syntax :)

19:20 dhil has quit [Ping timeout: 268 seconds]

19:20 toppler has quit [Ping timeout: 240 seconds]

19:22 neiluj has quit [Quit: neiluj]

19:30 andreas31 has quit [Ping timeout: 260 seconds]

19:30 neiluj has joined #ocaml

19:30 neiluj has quit [Changing host]

19:32 toppler has joined #ocaml

19:37 <neiluj> thanks flux ! I'm trying that

19:38 neiluj has quit [Quit: neiluj]

19:43 sarahzrf has left #ocaml ["WeeChat 2.6"]

19:46 neiluj has joined #ocaml

19:48 <neiluj> it doesn't work :'(

19:49 <neiluj> I tried with the terminus font installed on my system : "-xos4-terminus-medium-r-*-*-14-*"

19:54 toppler has quit [Ping timeout: 268 seconds]

19:57 infinity0_ has quit [Ping timeout: 265 seconds]

19:57 infinity0 has joined #ocaml

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

20:00 infinity0 has joined #ocaml

20:04 infinity0 has quit [Remote host closed the connection]

20:04 infinity0 has joined #ocaml

20:06 toppler has joined #ocaml

20:10 <neiluj> bye

20:10 neiluj has quit [Quit: neiluj]

20:14 tane has quit [Quit: Leaving]

20:16 bitwinery has quit [Quit: Leaving]

20:17 andreas303 has joined #ocaml

20:17 AtumT_ has joined #ocaml

20:18 AtumT has quit [Ping timeout: 265 seconds]

20:31 toppler has quit [Ping timeout: 240 seconds]

20:34 gravicappa has quit [Ping timeout: 240 seconds]

20:35 sagax has joined #ocaml

20:42 narimiran has quit [Ping timeout: 268 seconds]

20:43 toppler has joined #ocaml

20:44 jnavila has quit [Remote host closed the connection]

20:44 ggole has quit [Quit: Leaving]

20:44 jbrown has quit [Ping timeout: 276 seconds]

20:56 jbrown has joined #ocaml

21:02 infinity0 has quit [Read error: Connection reset by peer]

21:03 infinity0 has joined #ocaml

21:05 toppler has quit [Ping timeout: 240 seconds]

21:07 infinity0 has quit [Remote host closed the connection]

21:18 rosterok has quit [Quit: Connection closed for inactivity]

21:18 toppler has joined #ocaml

21:45 toppler has quit [Ping timeout: 265 seconds]

21:53 nullifidian_ has joined #ocaml

21:55 toppler has joined #ocaml

21:56 nullifidian has quit [Ping timeout: 276 seconds]

22:06 kakadu_ has quit [Remote host closed the connection]

22:20 toppler has quit [Ping timeout: 240 seconds]

22:32 toppler has joined #ocaml

22:33 Jesin has joined #ocaml

23:00 toppler has quit [Ping timeout: 265 seconds]

23:07 smazga has quit [Quit: leaving]

23:10 spew has quit [Quit: Connection closed for inactivity]

23:14 toppler has joined #ocaml

23:44 toppler has quit [Ping timeout: 265 seconds]

23:49 Haudegen has quit [Ping timeout: 265 seconds]

23:49 hop3 has joined #ocaml

23:56 toppler has joined #ocaml