#ocaml on 2018-06-30 — irc logs at freenode.irclog.whitequark.org

2017-11-24 19:05 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:28 gtrak has joined #ocaml

00:44 gtrak has quit [Ping timeout: 240 seconds]

00:44 shw has joined #ocaml

01:05 halogenandtoast has joined #ocaml

01:15 Haudegen has quit [Remote host closed the connection]

01:23 pierpal has joined #ocaml

01:32 pierpal has quit [Ping timeout: 240 seconds]

01:37 halogenandtoast has quit [Ping timeout: 248 seconds]

01:53 silver has quit [Read error: Connection reset by peer]

02:03 halogenandtoast has joined #ocaml

02:06 tormen_ has joined #ocaml

02:09 tormen has quit [Ping timeout: 260 seconds]

02:11 ygrek has quit [Ping timeout: 245 seconds]

02:12 mfp has quit [Ping timeout: 265 seconds]

02:15 pierpal has joined #ocaml

02:36 halogenandtoast has quit [Ping timeout: 256 seconds]

02:45 halogenandtoast has joined #ocaml

02:48 hdon has quit [Ping timeout: 240 seconds]

02:50 hdon has joined #ocaml

02:54 hdon has quit [Ping timeout: 245 seconds]

02:56 theglass has quit [Ping timeout: 240 seconds]

02:57 jao has quit [Ping timeout: 256 seconds]

03:00 halogenandtoast has quit [Ping timeout: 264 seconds]

03:05 pierpa has quit [Quit: Page closed]

03:46 pierpal has quit [Quit: Poof]

03:46 pierpal has joined #ocaml

03:59 shinnya has quit [Ping timeout: 256 seconds]

04:00 caltelt_ has joined #ocaml

04:10 jimmyrcom has quit [Ping timeout: 265 seconds]

04:28 jbrown has quit [Ping timeout: 240 seconds]

05:06 mengu_ has quit [Remote host closed the connection]

05:10 hdon has joined #ocaml

05:13 pierpal has quit [Quit: Poof]

05:14 pierpal has joined #ocaml

05:14 hdon has quit [Ping timeout: 256 seconds]

05:28 cbot has quit [Quit: Leaving]

05:45 hdon has joined #ocaml

05:50 hdon has quit [Ping timeout: 264 seconds]

06:03 caltelt_ has quit [Ping timeout: 248 seconds]

06:10 pierpal has quit [Remote host closed the connection]

06:15 shinnya has joined #ocaml

06:22 smondet[m] has quit [Ping timeout: 240 seconds]

06:23 nkhodyunya has quit [Ping timeout: 245 seconds]

06:23 regnat[m] has quit [Ping timeout: 245 seconds]

06:23 rgr[m] has quit [Ping timeout: 245 seconds]

06:23 multiocracy[m] has quit [Ping timeout: 245 seconds]

06:23 peddie[m] has quit [Ping timeout: 245 seconds]

06:23 ansiwen has quit [Ping timeout: 256 seconds]

06:23 drsmkl[m] has quit [Ping timeout: 240 seconds]

06:23 hdurer[m] has quit [Ping timeout: 240 seconds]

06:23 RouvenAssouly[m] has quit [Ping timeout: 240 seconds]

06:23 remix2000[m] has quit [Ping timeout: 260 seconds]

06:23 yetanotherion[m] has quit [Ping timeout: 260 seconds]

06:23 bglm[m] has quit [Ping timeout: 260 seconds]

06:23 srenatus has quit [Ping timeout: 255 seconds]

06:23 h11 has quit [Ping timeout: 245 seconds]

06:23 Walter[m] has quit [Ping timeout: 245 seconds]

06:23 caseypme[m] has quit [Ping timeout: 245 seconds]

06:23 flux[m] has quit [Ping timeout: 256 seconds]

06:23 dlebrecht[m] has quit [Ping timeout: 256 seconds]

06:23 M-martinklepsch has quit [Ping timeout: 256 seconds]

06:23 Haudegen[m] has quit [Ping timeout: 260 seconds]

06:23 aspiwack[m] has quit [Ping timeout: 260 seconds]

06:23 copy` has quit [Ping timeout: 260 seconds]

06:23 M-jimt has quit [Ping timeout: 245 seconds]

06:23 Bluddy[m] has quit [Ping timeout: 260 seconds]

06:24 orbifx[m] has quit [Ping timeout: 255 seconds]

06:24 equalunique[m] has quit [Ping timeout: 255 seconds]

06:24 spectrumgomas[m] has quit [Ping timeout: 276 seconds]

06:24 neatonk[m] has quit [Ping timeout: 256 seconds]

06:24 isaachodes[m] has quit [Ping timeout: 260 seconds]

06:54 FreeBirdLjj has joined #ocaml

06:56 halogenandtoast has joined #ocaml

07:00 halogenandtoast has quit [Ping timeout: 255 seconds]

07:12 malina has joined #ocaml

07:32 ansiwen has joined #ocaml

07:34 shw has left #ocaml [#ocaml]

07:38 equalunique[m] has joined #ocaml

07:38 multiocracy[m] has joined #ocaml

07:38 M-martinklepsch has joined #ocaml

07:38 peddie[m] has joined #ocaml

07:38 bglm[m] has joined #ocaml

07:38 RouvenAssouly[m] has joined #ocaml

07:38 spectrumgomas[m] has joined #ocaml

07:38 M-jimt has joined #ocaml

07:38 drsmkl[m] has joined #ocaml

07:38 aspiwack[m] has joined #ocaml

07:38 remix2000[m] has joined #ocaml

07:38 hdurer[m] has joined #ocaml

07:38 caseypme[m] has joined #ocaml

07:38 srenatus has joined #ocaml

07:38 copy` has joined #ocaml

07:38 smondet[m] has joined #ocaml

07:38 h11 has joined #ocaml

07:38 dlebrecht[m] has joined #ocaml

07:38 isaachodes[m] has joined #ocaml

07:38 Bluddy[m] has joined #ocaml

07:38 Haudegen[m] has joined #ocaml

07:38 rgr[m] has joined #ocaml

07:38 Walter[m] has joined #ocaml

07:38 neatonk[m] has joined #ocaml

07:38 yetanotherion[m] has joined #ocaml

07:38 orbifx[m] has joined #ocaml

07:38 regnat[m] has joined #ocaml

07:38 nkhodyunya has joined #ocaml

07:38 flux[m] has joined #ocaml

07:45 hdon has joined #ocaml

07:50 hdon has quit [Ping timeout: 255 seconds]

07:52 madroach has quit [Quit: leaving]

07:58 mk9 has joined #ocaml

08:04 jnavila has joined #ocaml

08:05 ratschance has quit [Remote host closed the connection]

08:05 ratschance has joined #ocaml

08:21 TarVanimelde has joined #ocaml

08:30 cthuluh has joined #ocaml

08:39 gareppa has joined #ocaml

08:43 jnavila has quit [Ping timeout: 240 seconds]

09:03 gareppa has quit [Quit: Leaving]

09:03 pierpal has joined #ocaml

09:10 pyx has joined #ocaml

09:10 pyx has quit [Client Quit]

09:10 TarVanimelde has quit [Quit: TarVanimelde]

09:11 nephanth has joined #ocaml

09:11 dakk has joined #ocaml

09:15 MercurialAlchemi has joined #ocaml

09:18 dakk has quit [Remote host closed the connection]

09:24 tarptaeya has joined #ocaml

09:29 mk9 has quit [Quit: mk9]

09:33 Haudegen has joined #ocaml

09:34 mfp has joined #ocaml

09:46 hdon has joined #ocaml

09:48 zolk3ri has joined #ocaml

09:50 hdon has quit [Ping timeout: 256 seconds]

10:00 FreeBirdLjj has quit [Ping timeout: 256 seconds]

10:02 FreeBirdLjj has joined #ocaml

10:06 FreeBirdLjj has quit [Ping timeout: 240 seconds]

10:07 MercurialAlchemi has quit [Ping timeout: 260 seconds]

10:09 inr__ is now known as inr

10:12 FreeBirdLjj has joined #ocaml

10:16 jnavila has joined #ocaml

10:22 argent_smith has joined #ocaml

10:25 malina has quit [Ping timeout: 256 seconds]

10:29 pierpal has quit [Quit: Poof]

10:29 pierpal has joined #ocaml

10:40 jnavila has quit [Ping timeout: 256 seconds]

11:07 mengu has joined #ocaml

11:33 tarptaeya has quit [Ping timeout: 256 seconds]

11:34 tarptaeya has joined #ocaml

11:35 jnavila has joined #ocaml

11:42 tarptaeya_ has joined #ocaml

11:46 hdon has joined #ocaml

11:46 tarptaeya has quit [Ping timeout: 256 seconds]

11:49 mnemem has joined #ocaml

11:50 hdon has quit [Ping timeout: 248 seconds]

12:05 silver has joined #ocaml

12:22 nephanth has quit [Ping timeout: 260 seconds]

12:33 jao has joined #ocaml

12:36 malina has joined #ocaml

12:56 halogenandtoast has joined #ocaml

12:57 kalio has quit [Quit: WeeChat 2.1]

12:59 kalio has joined #ocaml

13:01 halogenandtoast has quit [Ping timeout: 265 seconds]

13:02 dhil has joined #ocaml

13:08 jnavila has quit [Ping timeout: 240 seconds]

13:38 jnavila has joined #ocaml

13:46 hdon has joined #ocaml

13:51 hdon has quit [Ping timeout: 245 seconds]

14:30 malina has quit [Ping timeout: 240 seconds]

14:45 shinnya has quit [Ping timeout: 256 seconds]

14:46 hdon has joined #ocaml

14:51 hdon has quit [Ping timeout: 268 seconds]

14:53 jnavila has quit [Ping timeout: 256 seconds]

14:56 tane has joined #ocaml

14:58 argent_smith has quit [Ping timeout: 240 seconds]

14:59 argent_smith has joined #ocaml

15:01 argent_smith1 has joined #ocaml

15:04 spew has joined #ocaml

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

15:10 jack5638 has quit [Ping timeout: 276 seconds]

15:11 jbrown has joined #ocaml

15:16 jack5638 has joined #ocaml

15:18 mnemem has quit [Ping timeout: 256 seconds]

15:22 halogenandtoast has joined #ocaml

15:24 jnavila has joined #ocaml

15:28 shw has joined #ocaml

15:33 jnavila has quit [Ping timeout: 240 seconds]

15:35 btbytes has joined #ocaml

15:39 btbytes has quit [Client Quit]

15:42 halogenandtoast has quit [Ping timeout: 240 seconds]

16:00 argent_smith1 has quit [Quit: Leaving.]

16:11 spew has quit [Quit: Leaving...]

16:15 mnemem has joined #ocaml

16:19 mnemem has quit [Ping timeout: 248 seconds]

16:20 psnively has joined #ocaml

16:20 psnively has quit [Client Quit]

16:22 psnively has joined #ocaml

16:33 FreeBirdLjj has quit [Remote host closed the connection]

16:44 _y has joined #ocaml

16:47 <_y> hey! reading the manual and experimenting with Scanf, i found this hackish format to match either \n or <EOF>: "%_1[\r]@\n"

16:48 FreeBirdLjj has joined #ocaml

16:48 <_y> (in fact this also matches \r\n and \r<EOF> but it’s a feature i don’t care about)

16:49 <_y> this is somewhat painful, does someone knows of a better way (still using Scanf)?

16:49 <_y> *know

17:01 <octachron> _y, you could use a %r reader, something like "let end_or_newline ib = if Scanf.Scanning.end_of_input ib then true else Scanf.bscanf ib "\n" false"

17:06 mengu has quit [Remote host closed the connection]

17:07 mengu has joined #ocaml

17:10 jack5638 has quit [Ping timeout: 268 seconds]

17:10 jack5638 has joined #ocaml

17:12 mengu has quit [Ping timeout: 256 seconds]

17:18 <_y> octachron, true

17:22 AustrianBavarian has joined #ocaml

17:25 <AustrianBavarian> hI :) noobie here. Does anybody know what I can do if ocamlfind can not find package but it is clearly installed?

17:26 malina has joined #ocaml

17:30 psnively has quit [Quit: Textual IRC Client: www.textualapp.com]

17:31 tane has quit [Quit: Leaving]

17:31 <ZirconiumX> AustrianBavarian: installed according to opam?

17:35 <AustrianBavarian> Yeah! So i want to try async_graphics but it says ocamlfind: Package `graphics' not found

17:36 <AustrianBavarian> but when i type opam install graphics it says Package graphics is already installed (current version is 1.0).

17:36 <ZirconiumX> AustrianBavarian: `which ocamlfind`

17:37 <AustrianBavarian> it says /Users/username/.opam/system/bin/ocamlfind

17:38 <AustrianBavarian> Here ist the complete error message: https://pastebin.com/UCQTXkuZ

17:38 <AustrianBavarian> i am utterly confused

17:39 <ZirconiumX> And then `opam switch show`, AustrianBavarian?

17:39 <AustrianBavarian> it says system

17:40 <ZirconiumX> Opam doesn't work well with system installations

17:40 <ZirconiumX> But I think octachron might know more

17:40 <AustrianBavarian> ah ok. So ehm what should i do now :?

17:41 <AustrianBavarian> Should i reinstall ocaml using opam?

17:41 <ZirconiumX> Yeah

17:41 <lyxia> What about "ocamlfind query graphics"

17:41 <ZirconiumX> But wait for everybody else to investigate first

17:41 FreeBirdLjj has quit [Remote host closed the connection]

17:41 <ZirconiumX> AustrianBavarian: ^

17:42 shinnya has joined #ocaml

17:45 AustrianBavarian has quit [Ping timeout: 260 seconds]

17:47 <ZirconiumX> Well then

17:48 ziyourenxiang has quit [Ping timeout: 260 seconds]

17:52 SomeDamnBody has joined #ocaml

17:57 malina has quit [Ping timeout: 256 seconds]

18:35 argent_smith has joined #ocaml

18:41 mnemem has joined #ocaml

18:43 tarptaeya_ has quit [Quit: Konversation terminated!]

18:45 mnemem has quit [Ping timeout: 248 seconds]

18:51 Haudegen has quit [Read error: Connection reset by peer]

18:57 wilfredh has joined #ocaml

18:58 <wilfredh> my apologies if this is opening a can of worms, but:

18:58 <wilfredh> can anyone recommend an ocaml build tool for a beginner?

18:58 <wilfredh> I have a small project, but I want to start using dependencies, a test framework, etc

18:59 <octachron> jbuilder(aka dune)

18:59 <thizanne> jbuilder

19:00 malina has joined #ocaml

19:00 <wilfredh> aha, a unanimous result! Thanks, I'll give that a go

19:00 mk9 has joined #ocaml

19:08 malina has quit [Ping timeout: 240 seconds]

19:15 larhat has joined #ocaml

19:22 Haudegen has joined #ocaml

19:23 jao has quit [Ping timeout: 264 seconds]

19:32 shinnya has quit [Ping timeout: 260 seconds]

19:33 Haudegen has quit [Ping timeout: 256 seconds]

19:33 TheRuralJuror has joined #ocaml

19:35 <discord> <Christophe> It's so wonderful that dune is great for industrial builds and yet starts simple enough to be great for a beginner :)

19:35 <discord> <mseri> Indeed!

19:36 <discord> <Christophe> wilfredh you might want to read this : https://medium.com/@bobbypriambodo/starting-an-ocaml-app-project-using-dune-d4f74e291de8

19:39 mk9 has quit [Quit: mk9]

19:39 halogenandtoast has joined #ocaml

19:41 <discord> <Christophe> AustrianBavarian what if you opam pin async_graphics from there? The opam file is more up to date https://github.com/drewsdunne/async_graphics

19:41 <lyxia> he gone

19:43 halogenandtoast has quit [Ping timeout: 245 seconds]

19:47 pierpal has quit [Quit: Poof]

19:47 pierpal has joined #ocaml

19:48 <discord> <Christophe> Dammit, hate not seeing that from Discord

19:50 _y has quit [Quit: q]

19:53 wilfredh has quit [Ping timeout: 240 seconds]

19:54 jnavila has joined #ocaml

20:01 pierpal has quit [Quit: Poof]

20:02 pierpal has joined #ocaml

20:11 groovy2shoes has joined #ocaml

20:32 tane has joined #ocaml

20:35 wilfredh has joined #ocaml

20:39 jnavila has quit [Ping timeout: 256 seconds]

20:41 <wilfredh> Chrisophe: thanks :)

20:41 <wilfredh> *Christophe

20:44 <wilfredh> I'm trying to use alcotest, but I'm mystified about the types

20:44 mnemem has joined #ocaml

20:45 <wilfredh> [1;1;2;3] has type 'int list', but https://github.com/mirage/alcotest/blob/master/examples/bad.ml#L42 uses 'list int'

20:45 <wilfredh> I think this is some module voodoo parameterised over a type somehow?

20:45 <wilfredh> I'm trying to work out what the correct incantation is for values of type 'int list option'

20:46 clog has quit [Ping timeout: 245 seconds]

20:47 pierpal has quit [Quit: Poof]

20:48 pierpal has joined #ocaml

20:48 <thizanne> int list is a type

20:48 <thizanne> list int is a value

20:48 <thizanne> alcotest provides you some value combinators that describe types

20:49 <thizanne> it's like if you wrote:

20:49 <thizanne> let int = 42

20:49 <wilfredh> oh, they're values that happen to have the same name as types?

20:49 <thizanne> let list x = [x]

20:49 <thizanne> let foo = list int

20:49 mnemem has quit [Ping timeout: 256 seconds]

20:49 <thizanne> yes

20:50 <thizanne> which is totally ok because there is no place in the language where you can use either a value or a type

20:50 <wilfredh> thanks, that makes sense

20:51 <wilfredh> so I'll have to look more closely at the docs, as my intuitions of what a list (the type) is, don't necessarily apply to the list function defined in alcotest

20:52 jnavila has joined #ocaml

20:52 <wilfredh> perfect, Alcotest.(check (option (list int))) is what I needed :)

20:54 tane has quit [Quit: Leaving]

21:13 dhil has quit [Ping timeout: 265 seconds]

21:15 pierp has joined #ocaml

21:19 jnavila has quit [Remote host closed the connection]

21:23 mnemem has joined #ocaml

21:27 mnemem has quit [Ping timeout: 265 seconds]

21:38 jao has joined #ocaml

21:40 mengu has joined #ocaml

21:43 FreeBirdLjj has joined #ocaml

21:45 mengu has quit [Ping timeout: 256 seconds]

21:47 FreeBirdLjj has quit [Ping timeout: 256 seconds]

22:07 Aequus has joined #ocaml

22:07 discord has quit [Remote host closed the connection]

22:14 argent_smith has quit [Quit: Leaving.]

22:43 clog has joined #ocaml

22:45 mengu has joined #ocaml

22:46 mengu has quit [Client Quit]

22:47 wilfredh has quit [Ping timeout: 240 seconds]

23:18 pierpal has quit [Ping timeout: 256 seconds]

23:28 gtrak has joined #ocaml

23:40 halogenandtoast has joined #ocaml

23:40 larhat has quit [Quit: Leaving.]

23:40 mnemem has joined #ocaml

23:44 halogenandtoast has quit [Ping timeout: 264 seconds]

23:48 ziyourenxiang has joined #ocaml

23:50 Guest11839 is now known as tsani

23:55 cbot has joined #ocaml

23:59 TheRuralJuror has quit [Remote host closed the connection]