#ocaml on 2018-04-25 — 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:00 zlsyx has joined #ocaml

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

00:11 sh0t has joined #ocaml

00:15 shinnya has joined #ocaml

00:20 infinity0_ has joined #ocaml

00:20 infinity0_ has quit [Changing host]

00:20 infinity0 is now known as Guest1293

00:20 infinity0_ has joined #ocaml

00:20 infinity0_ is now known as infinity0

00:20 Guest1293 has quit [Ping timeout: 264 seconds]

00:25 isd has quit [Quit: Leaving.]

00:27 dtornabene has joined #ocaml

00:39 Gurkenglas has joined #ocaml

00:50 jonh has joined #ocaml

01:12 Gurkenglas has quit [Ping timeout: 256 seconds]

01:16 sh0t has quit [Ping timeout: 256 seconds]

01:18 sh0t has joined #ocaml

01:18 mfp has quit [Ping timeout: 240 seconds]

01:18 sh0t has quit [Remote host closed the connection]

01:19 shinnya has quit [Ping timeout: 255 seconds]

01:19 sh0t has joined #ocaml

01:23 FreeBirdLjj has joined #ocaml

01:24 FreeBirdLjj has quit [Read error: Connection reset by peer]

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

01:30 dedgrant has quit [Ping timeout: 256 seconds]

01:35 sh0t has quit [Remote host closed the connection]

01:38 moei has joined #ocaml

01:46 hdon has quit [Ping timeout: 255 seconds]

01:53 dtornabene has quit [Remote host closed the connection]

01:59 hdon has joined #ocaml

01:59 nicoo has quit [*.net *.split]

02:02 nicoo has joined #ocaml

02:21 tormen has joined #ocaml

02:24 tormen_ has quit [Ping timeout: 248 seconds]

02:28 zlsyx has quit [Quit: Leaving...]

02:53 hdon has quit [Ping timeout: 256 seconds]

02:55 isd has joined #ocaml

03:14 govg has joined #ocaml

03:23 jbrown has quit [Ping timeout: 268 seconds]

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

03:41 isd has quit [Remote host closed the connection]

04:08 isd has joined #ocaml

04:42 mbuf has joined #ocaml

04:42 malina has joined #ocaml

04:49 hdon has joined #ocaml

04:54 hdon has quit [Ping timeout: 248 seconds]

04:56 pierpal has quit [Read error: Connection reset by peer]

05:35 pierpal has joined #ocaml

05:51 isd has quit [Quit: Leaving.]

06:01 pierpal has quit [Read error: Connection reset by peer]

06:17 cbot has quit [Quit: Leaving]

06:40 Haudegen has joined #ocaml

06:57 Soni has quit [Ping timeout: 240 seconds]

07:00 Soni has joined #ocaml

07:19 muelleme has joined #ocaml

07:24 muelleme has quit [Ping timeout: 255 seconds]

07:24 AltGr has joined #ocaml

07:28 bairui has quit [Ping timeout: 248 seconds]

07:30 zolk3ri has joined #ocaml

07:35 bairui has joined #ocaml

07:36 zolk3ri has quit [Quit: Lost terminal]

07:37 malina has quit [Ping timeout: 248 seconds]

07:37 zolk3ri has joined #ocaml

07:38 argent_smith has joined #ocaml

07:50 hdon has joined #ocaml

07:54 hdon has quit [Ping timeout: 256 seconds]

07:55 zolk3ri has quit [Quit: Lost terminal]

07:56 zolk3ri has joined #ocaml

07:57 loxs has joined #ocaml

08:01 argent_smith has quit [Quit: Leaving.]

08:07 dakk has joined #ocaml

08:08 loxs has quit [Quit: Leaving]

08:12 cross has quit [Ping timeout: 256 seconds]

08:21 Gurkenglas has joined #ocaml

08:33 Bronsa has quit [Ping timeout: 264 seconds]

08:46 mbuf has quit [Ping timeout: 268 seconds]

08:49 mbuf has joined #ocaml

09:02 silenc3r has joined #ocaml

09:11 pierpal has joined #ocaml

09:14 mk9 has joined #ocaml

09:31 oh_lawd has quit []

09:31 oh_lawd has joined #ocaml

09:32 mfp has joined #ocaml

09:37 mk9 has quit [Quit: mk9]

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

09:42 argent_smith has joined #ocaml

09:50 hdon has joined #ocaml

09:51 mk9 has joined #ocaml

09:54 hdon has quit [Ping timeout: 264 seconds]

09:56 mk9 has quit [Ping timeout: 255 seconds]

09:57 ELLIOTTCABLE has quit []

09:58 ELLIOTTCABLE has joined #ocaml

09:58 vinoski has quit []

09:59 vinoski has joined #ocaml

09:59 l1x has quit []

10:00 l1x has joined #ocaml

10:00 strmpnk has quit []

10:01 strmpnk has joined #ocaml

10:05 ilovezfs_ has quit []

10:06 ilovezfs_ has joined #ocaml

10:27 Gurkenglas has quit [Ping timeout: 256 seconds]

10:33 ziyourenxiang has joined #ocaml

10:35 banjiewen has quit []

10:35 banjiewen has joined #ocaml

11:03 Haudegen has quit [Read error: Connection reset by peer]

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

11:17 bairui has quit [Ping timeout: 260 seconds]

11:18 bairui has joined #ocaml

11:50 hdon has joined #ocaml

11:51 dakk has quit [Read error: Connection reset by peer]

11:54 hdon has quit [Ping timeout: 263 seconds]

11:59 malina has joined #ocaml

12:06 Soni has quit [Read error: Connection reset by peer]

12:07 Haudegen has joined #ocaml

12:09 sh0t has joined #ocaml

12:12 tarptaeya has joined #ocaml

12:18 _andre has joined #ocaml

12:23 malina has quit [*.net *.split]

12:23 infinity0 has quit [*.net *.split]

12:23 letoh has quit [*.net *.split]

12:23 markhkim has quit [*.net *.split]

12:23 demonimin has quit [*.net *.split]

12:23 Fardale has quit [*.net *.split]

12:23 noplamodo has quit [*.net *.split]

12:23 Asmadeus has quit [*.net *.split]

12:23 shakalaka has quit [*.net *.split]

12:23 kandu has quit [*.net *.split]

12:23 tokenrove has quit [*.net *.split]

12:23 Cypi has quit [*.net *.split]

12:23 vodkaInferno has quit [*.net *.split]

12:23 salc has quit [*.net *.split]

12:23 rpcope has quit [*.net *.split]

12:23 seliopou has quit [*.net *.split]

12:25 tsani has quit [Ping timeout: 240 seconds]

12:26 malina has joined #ocaml

12:26 kandu has joined #ocaml

12:26 tokenrove has joined #ocaml

12:26 shakalaka has joined #ocaml

12:26 Asmadeus has joined #ocaml

12:26 noplamodo has joined #ocaml

12:26 Fardale has joined #ocaml

12:26 Cypi has joined #ocaml

12:26 rpcope has joined #ocaml

12:26 demonimin has joined #ocaml

12:26 salc has joined #ocaml

12:26 vodkaInferno has joined #ocaml

12:26 letoh has joined #ocaml

12:26 markhkim has joined #ocaml

12:26 infinity0 has joined #ocaml

12:26 seliopou has joined #ocaml

12:27 Exagone313 has quit [Ping timeout: 260 seconds]

12:27 bbc_ has quit [Ping timeout: 240 seconds]

12:28 bbc has joined #ocaml

12:29 Exagone313 has joined #ocaml

12:35 lostman has quit [Quit: Connection closed for inactivity]

12:35 jbrown has joined #ocaml

12:39 webshinra has quit [Ping timeout: 246 seconds]

12:40 steenuil has quit [Remote host closed the connection]

12:48 sh0t has quit [Remote host closed the connection]

12:52 letoh_ has joined #ocaml

12:56 letoh has quit [Ping timeout: 264 seconds]

12:56 letoh_ is now known as letoh

13:09 tarptaeya has quit [Quit: Konversation terminated!]

13:10 tarptaeya has joined #ocaml

13:19 shinnya has joined #ocaml

13:20 webshinra has joined #ocaml

13:24 aciniglio has joined #ocaml

13:25 silenc3r has quit [Quit: Leaving]

13:26 gtrak has joined #ocaml

13:31 pmetzger has joined #ocaml

13:32 kakadu has joined #ocaml

13:32 Bronsa has joined #ocaml

13:38 spew has joined #ocaml

13:47 mk9 has joined #ocaml

13:50 hdon has joined #ocaml

13:54 hdon has quit [Ping timeout: 240 seconds]

13:56 pierpal has quit [Ping timeout: 248 seconds]

13:56 sh0t has joined #ocaml

13:57 pierpal has joined #ocaml

13:59 mk9 has quit [Ping timeout: 260 seconds]

14:05 Aequus has quit [Quit: Lost terminal]

14:27 steenuil has joined #ocaml

14:37 hdon has joined #ocaml

14:48 mbuf has quit [Quit: Leaving]

14:49 <kakadu> Folks, do you know any incremental _and_ persistent SMT solvers? More precisely I'm iunterested only in Presburger arithmetic

14:52 <companion_cube> persistent would imply incremental, right?

14:52 <companion_cube> but I don't know, it's hard to make SMT solvers efficient when written in funtional style

14:53 <pmetzger> If you're interested only in presburger arithmetic, you don't want an smt solver. There's a solver for presburger arithmetic that works pretty well.

14:53 <pmetzger> The algorithm is what is used for the "omega" tactic in Coq.

14:54 <kakadu> Relying on SMT solver will be better for future enhancement but for the current case calling Omega or Cooper's algorithm should be fine

14:54 <companion_cube> well good luck with that…

14:55 <companion_cube> it'll be faster to just store a set of statements, and call Z3 from scratch every time :D

14:55 <kakadu> pmetzger: I was looking for it and only found a Haskell implementation and also someting in Alt-Ergo which was look like a decision procedure for Presburger but I'm not sure

14:56 <pmetzger> The decision procedure for Presburger is well known. You can probably find it with some google searching but if needed bother me. That said, it has terrible run time. _That_ said, it turns out the real world run time for any normal problem is fine.

14:57 <pmetzger> BTW, if you look at Coq's "omega" tactic (which is written in OCaml) it might point at the papers in comments. I bet it doesn't but it's worth a try.

14:57 <companion_cube> Cooper is just better

14:57 <Armael> Coq's omega does not handle quantifiers tho :|

14:59 jeroud has quit []

15:00 jeroud has joined #ocaml

15:01 letoh has quit [*.net *.split]

15:01 malina has quit [*.net *.split]

15:01 infinity0 has quit [*.net *.split]

15:01 demonimin has quit [*.net *.split]

15:01 markhkim has quit [*.net *.split]

15:01 Fardale has quit [*.net *.split]

15:01 Asmadeus has quit [*.net *.split]

15:01 noplamodo has quit [*.net *.split]

15:01 shakalaka has quit [*.net *.split]

15:01 kandu has quit [*.net *.split]

15:01 tokenrove has quit [*.net *.split]

15:01 Cypi has quit [*.net *.split]

15:01 vodkaInferno has quit [*.net *.split]

15:01 salc has quit [*.net *.split]

15:01 rpcope has quit [*.net *.split]

15:01 seliopou has quit [*.net *.split]

15:01 nicoo has quit [*.net *.split]

15:01 talyian[m] has quit [*.net *.split]

15:01 aantron has quit [*.net *.split]

15:01 hdurer[m] has quit [*.net *.split]

15:01 peddie[m] has quit [*.net *.split]

15:01 ansiwen has quit [*.net *.split]

15:01 pierpal has quit [*.net *.split]

15:01 gtrak has quit [*.net *.split]

15:01 mfp has quit [*.net *.split]

15:01 zolk3ri has quit [*.net *.split]

15:01 mrvn has quit [*.net *.split]

15:01 Drup has quit [*.net *.split]

15:01 dogui has quit [*.net *.split]

15:01 keep_learning has quit [*.net *.split]

15:01 andrewalker has quit [*.net *.split]

15:01 iZsh has quit [*.net *.split]

15:01 bartholin has quit [*.net *.split]

15:01 sveit has quit [*.net *.split]

15:01 stux|RC has quit [*.net *.split]

15:01 rwmjones has quit [*.net *.split]

15:01 inr has quit [*.net *.split]

15:01 tormen has quit [*.net *.split]

15:01 wagle has quit [*.net *.split]

15:01 artart78 has quit [*.net *.split]

15:01 richi235 has quit [*.net *.split]

15:01 dmbaturin has quit [*.net *.split]

15:01 darktena1bre has joined #ocaml

15:01 wagle has joined #ocaml

15:01 artart78 has joined #ocaml

15:01 emias has joined #ocaml

15:01 dmbaturin has joined #ocaml

15:01 tormen has joined #ocaml

15:01 Sargun has joined #ocaml

15:01 butterthebuddha has joined #ocaml

15:01 kini has joined #ocaml

15:01 richi235 has joined #ocaml

15:01 rixed_ has joined #ocaml

15:03 ansiwen has joined #ocaml

15:03 aantron has joined #ocaml

15:03 peddie[m] has joined #ocaml

15:03 hdurer[m] has joined #ocaml

15:03 talyian[m] has joined #ocaml

15:03 letoh has joined #ocaml

15:03 shakalaka has joined #ocaml

15:03 kandu has joined #ocaml

15:03 Asmadeus has joined #ocaml

15:03 noplamodo has joined #ocaml

15:03 Fardale has joined #ocaml

15:03 tokenrove has joined #ocaml

15:03 vodkaInferno has joined #ocaml

15:03 demonimin has joined #ocaml

15:03 Cypi has joined #ocaml

15:03 salc has joined #ocaml

15:03 markhkim has joined #ocaml

15:03 seliopou has joined #ocaml

15:03 malina has joined #ocaml

15:03 rpcope has joined #ocaml

15:03 infinity0 has joined #ocaml

15:03 hdon has quit [Ping timeout: 260 seconds]

15:04 aciniglio has quit [Ping timeout: 260 seconds]

15:04 picolino has quit [Ping timeout: 260 seconds]

15:04 pierpal has joined #ocaml

15:04 keep_learning has joined #ocaml

15:04 andrewalker has joined #ocaml

15:04 iZsh has joined #ocaml

15:04 bartholin has joined #ocaml

15:04 sveit has joined #ocaml

15:04 Drup has joined #ocaml

15:04 rwmjones has joined #ocaml

15:04 inr has joined #ocaml

15:04 dogui has joined #ocaml

15:04 mrvn has joined #ocaml

15:04 stux|RC has joined #ocaml

15:04 zolk3ri has joined #ocaml

15:04 mfp has joined #ocaml

15:04 gtrak has joined #ocaml

15:04 stux|RC has quit [Max SendQ exceeded]

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

15:04 stux|RC-- has joined #ocaml

15:04 Bluddy[m] has quit [Ping timeout: 256 seconds]

15:04 M-ErkkiSeppl has quit [Ping timeout: 256 seconds]

15:04 yetanotherion[m] has quit [Ping timeout: 256 seconds]

15:04 tiksin[m] has quit [Ping timeout: 245 seconds]

15:04 mmmmmmmmmmmm[m] has quit [Ping timeout: 246 seconds]

15:04 regnat[m] has quit [Ping timeout: 246 seconds]

15:04 bli[m] has quit [Ping timeout: 240 seconds]

15:04 remix2000[m] has quit [Ping timeout: 240 seconds]

15:04 multiocracy[m] has quit [Ping timeout: 240 seconds]

15:04 spectrumgomas[m] has quit [Ping timeout: 240 seconds]

15:04 aspiwack[m] has quit [Ping timeout: 240 seconds]

15:04 copy` has quit [Ping timeout: 240 seconds]

15:05 loxs[m] has quit [Ping timeout: 255 seconds]

15:05 smondet[m] has quit [Ping timeout: 255 seconds]

15:05 isaachodes[m] has quit [Ping timeout: 268 seconds]

15:05 Haudegen[m] has quit [Ping timeout: 260 seconds]

15:05 caseypme[m] has quit [Ping timeout: 260 seconds]

15:05 hcarty[m] has quit [Ping timeout: 260 seconds]

15:05 orbifx[m] has quit [Ping timeout: 268 seconds]

15:05 M-jimt has quit [Ping timeout: 268 seconds]

15:05 equalunique[m] has quit [Ping timeout: 268 seconds]

15:05 M-martinklepsch has quit [Ping timeout: 268 seconds]

15:05 Bozghurt[m] has quit [Ping timeout: 268 seconds]

15:05 talyian[m] has quit [Ping timeout: 256 seconds]

15:05 aantron has quit [Ping timeout: 256 seconds]

15:05 hdurer[m] has quit [Ping timeout: 256 seconds]

15:05 peddie[m] has quit [Ping timeout: 256 seconds]

15:05 ansiwen has quit [Ping timeout: 256 seconds]

15:05 dlebrecht[m] has quit [Ping timeout: 256 seconds]

15:05 olopierpa[m] has quit [Ping timeout: 276 seconds]

15:05 drsmkl[m] has quit [Ping timeout: 276 seconds]

15:05 rgr[m] has quit [Ping timeout: 276 seconds]

15:05 srenatus has quit [Ping timeout: 276 seconds]

15:06 picolino has joined #ocaml

15:06 shinnya has joined #ocaml

15:06 moei has quit [Ping timeout: 240 seconds]

15:07 moei has joined #ocaml

15:15 sgnb has quit [Remote host closed the connection]

15:19 barcabuona has quit [Quit: WeeChat 2.1]

15:21 nicoo has joined #ocaml

15:22 chenglou has quit []

15:22 chenglou has joined #ocaml

15:28 Guest32984 has quit []

15:29 Guest32984 has joined #ocaml

15:37 Gurkenglas has joined #ocaml

15:39 mattg has quit []

15:39 mattg has joined #ocaml

15:45 jyc has quit []

15:45 jyc has joined #ocaml

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

15:51 al-damiri has joined #ocaml

15:55 FreeBirdLjj has joined #ocaml

16:06 DanielRichman has joined #ocaml

16:09 bjs_ has joined #ocaml

16:09 bigs has quit []

16:10 bigs has joined #ocaml

16:10 samposm has quit [*.net *.split]

16:10 bjs has quit [*.net *.split]

16:10 Muzer has quit [*.net *.split]

16:10 Guest90180 has quit [*.net *.split]

16:10 bjs_ is now known as bjs

16:14 ansiwen has joined #ocaml

16:14 ansiwen has quit [Changing host]

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

16:16 neatonk[m] has joined #ocaml

16:18 ipfix has quit [Ping timeout: 256 seconds]

16:21 Muzer has joined #ocaml

16:21 spectrumgomas[m] has joined #ocaml

16:21 rgr[m] has joined #ocaml

16:21 drsmkl[m] has joined #ocaml

16:21 aspiwack[m] has joined #ocaml

16:21 srenatus has joined #ocaml

16:21 M-jimt has joined #ocaml

16:21 copy` has joined #ocaml

16:21 M-martinklepsch has joined #ocaml

16:21 aantron has joined #ocaml

16:21 hdurer[m] has joined #ocaml

16:21 smondet[m] has joined #ocaml

16:21 equalunique[m] has joined #ocaml

16:21 peddie[m] has joined #ocaml

16:21 regnat[m] has joined #ocaml

16:21 remix2000[m] has joined #ocaml

16:21 multiocracy[m] has joined #ocaml

16:21 caseypme[m] has joined #ocaml

16:21 loxs[m] has joined #ocaml

16:21 yetanotherion[m] has joined #ocaml

16:21 isaachodes[m] has joined #ocaml

16:21 tiksin[m] has joined #ocaml

16:21 mmmmmmmmmmmm[m] has joined #ocaml

16:21 hcarty[m] has joined #ocaml

16:21 talyian[m] has joined #ocaml

16:21 olopierpa[m] has joined #ocaml

16:21 dlebrecht[m] has joined #ocaml

16:21 bli[m] has joined #ocaml

16:21 Bozghurt[m] has joined #ocaml

16:21 M-ErkkiSeppl has joined #ocaml

16:21 orbifx[m] has joined #ocaml

16:21 Haudegen[m] has joined #ocaml

16:21 Bluddy[m] has joined #ocaml

16:24 dakk has joined #ocaml

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

16:36 lynn has quit []

16:37 lynn has joined #ocaml

16:40 samposm has joined #ocaml

16:41 bairui has quit [Ping timeout: 260 seconds]

16:44 ipfix has joined #ocaml

16:45 spew has quit []

16:45 spew has joined #ocaml

16:45 jnavila has joined #ocaml

16:47 dakk has quit [Remote host closed the connection]

16:50 shinnya has joined #ocaml

16:53 FreeBirdLjj has joined #ocaml

16:59 tsani has joined #ocaml

16:59 hdon has joined #ocaml

16:59 jnavila has quit [Remote host closed the connection]

17:00 jnavila has joined #ocaml

17:00 dedgrant has joined #ocaml

17:01 Haudegen has joined #ocaml

17:03 hdon has quit [Ping timeout: 248 seconds]

17:04 pierpal has quit [Ping timeout: 248 seconds]

17:05 pierpal has joined #ocaml

17:07 bairui has joined #ocaml

17:12 hdon has joined #ocaml

17:12 pierpal has quit [Ping timeout: 268 seconds]

17:21 pierpal has joined #ocaml

17:25 pierpal has quit [Read error: Connection reset by peer]

17:26 pierpal has joined #ocaml

17:28 Anarchos has joined #ocaml

17:31 pierpal has quit [Read error: Connection reset by peer]

17:32 pierpal has joined #ocaml

17:37 pierpal has quit [Read error: Connection reset by peer]

17:37 pierpal has joined #ocaml

17:38 exarkun has quit [Read error: Connection reset by peer]

17:41 Bronsa` has joined #ocaml

17:42 pierpal has quit [Ping timeout: 260 seconds]

17:43 sagax has joined #ocaml

17:46 troydm has joined #ocaml

17:47 exarkun has joined #ocaml

17:49 pierpal has joined #ocaml

17:56 pierpal has quit [Ping timeout: 248 seconds]

18:00 pierpal has joined #ocaml

18:02 kakadu has quit [Quit: Konversation terminated!]

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

18:12 FreeBirdLjj has joined #ocaml

18:16 FreeBirdLjj has quit [Ping timeout: 248 seconds]

18:18 pierpal has quit [Ping timeout: 248 seconds]

18:28 tilpner has quit [Remote host closed the connection]

18:29 jnavila_ has joined #ocaml

18:29 jnavila has quit [Ping timeout: 240 seconds]

18:31 tilpner has joined #ocaml

18:41 rostero has joined #ocaml

18:42 Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]

18:52 <exarkun> is there a reasonable way to get non-trivial code loaded into utop? It seems like I have to first manually unravel all dependencies and #use or #load them which is pretty unwieldy for a big, multi-module codebase.

19:02 silenc3r has joined #ocaml

19:07 <companion_cube> #require "somelib"

19:07 <companion_cube> or `jbuilder utop some/directory` if you use jbuilder

19:14 <exarkun> What kind of thing is "somelib" in that #require command?

19:15 <companion_cube> an opam lib, typically

19:16 <companion_cube> (technically, an ocamlfind library, but these are normally installed via opam)

19:17 pierpa has joined #ocaml

19:23 <exarkun> Hm. fun `caml_...` link errors from `jbuilder utop some/directory`

19:25 pierpal has joined #ocaml

19:27 <silenc3r> I'm using ocaml-sqlite and I want to get output from sql query. Is my only option to define ref and then update that ref contents in callback function provided to Sqlite3.exec? That kinda sucks. I wish Sqlite3.exec just give me the result.

19:27 <companion_cube> exarkun: weird

19:28 <companion_cube> maybe if you're using C bindings…

19:28 <companion_cube> silenc3r: Sqlite3 is the low level binding

19:28 <exarkun> I think maybe they come from "nocrypto". I'm not sure. This is someone else's codebase, I'm trying to learn my way around it.

19:28 <companion_cube> there's sqlexpr, which is higher level, afair

19:28 <companion_cube> ah well, nocrypto, yeah, there's C there

19:29 <Armael> yea I would recommend using sqlexpr over using ocaml-sqlite directly

19:36 <silenc3r> I'll try sqlexpr then.

19:40 kakadu has joined #ocaml

19:41 <silenc3r> estring compilation failed when building sqlexpr, but I see this package is optional dependency. How can I skip it?

19:42 <Armael> you should be able to install sqlexpr without having estring installed

19:42 Gurkenglas has quit [Ping timeout: 256 seconds]

19:43 baroud has joined #ocaml

19:45 <companion_cube> oh dang, sqlexpr should also migrate to having -ppx and -camlp4 sublibs I guess

19:45 <silenc3r> oh, sqlexpr requires OCaml <= 4.05.0, and I'm using 4.06.1. Why did opam even try to install it?

19:48 gareppa has joined #ocaml

19:49 gareppa has quit [Client Quit]

19:51 <silenc3r> creating new switches and reinstalling packages isn't fun...

19:54 baroud has quit [Remote host closed the connection]

19:55 baroud has joined #ocaml

19:56 Haudegen has quit [Remote host closed the connection]

20:09 baroud has quit [Ping timeout: 264 seconds]

20:14 <silenc3r> companion_cube: what are these and how can I use them in utop? I'm getting Error: Unbound value sql when trying to create SQL expressions in form sql"SELECT ..."

20:16 <companion_cube> that's camlp4

20:16 Haudegen has joined #ocaml

20:17 <companion_cube> seems like the ppx part is not polished at all… :/

20:42 zolk3ri has quit [Quit: leaving]

20:42 zolk3ri has joined #ocaml

20:43 wagle has quit [Remote host closed the connection]

20:43 wagle has joined #ocaml

20:50 silenc3r has quit [Read error: Connection reset by peer]

20:50 silenc3r has joined #ocaml

20:54 <silenc3r> OK, it seems to be working now (not in utop though), but I'm building it with ocamlfind following example from sqlexpr github page.

20:55 <silenc3r> how can I translate this to jbuild? ocamlfind ocamlc -package sqlexpr.ppx -package containers -linkpkg -thread -o db.exe ./db.ml

20:56 <companion_cube> well you definitely need to write a jbuild file

20:57 <companion_cube> (executable ((name db) (libraries (containers sqlexpr.ppx))))

20:57 <silenc3r> I already got one but something's wrong with it

20:57 <companion_cube> and something about preprocess, but I don't know exactly

20:58 <silenc3r> that's exactly what jbuild is complaining about

21:00 <companion_cube> erf, can't help you, sorry

21:01 kakadu has quit [Ping timeout: 240 seconds]

21:01 kakadu has joined #ocaml

21:03 hdon has quit [Ping timeout: 256 seconds]

21:10 muelleme has joined #ocaml

21:12 kakadu has quit [Read error: Connection reset by peer]

21:13 jnavila_ has quit [Remote host closed the connection]

21:15 kakadu has joined #ocaml

21:15 muelleme has quit [Ping timeout: 248 seconds]

21:15 AltGr has left #ocaml [#ocaml]

21:17 _andre has quit [Quit: leaving]

21:21 hdon has joined #ocaml

21:25 hdon has quit [Ping timeout: 268 seconds]

21:30 <silenc3r> I guess sqlite3 isn't that bad after all... I hope new sqlexpr version with support for jbuilder gets released soon.

21:33 silenc3r has quit [Quit: Leaving]

21:36 spew has quit []

21:36 Gurkenglas has joined #ocaml

21:37 pmetzger has quit []

21:40 <def`> secondwtq: sqlite3 is not bad, in my experience you can get around the low-level annoyances with a few well chose functions

21:40 <def`> oups, wrong hl sorry :P

21:43 tarptaeya has quit [Quit: Konversation terminated!]

21:48 iitalics has joined #ocaml

21:50 gtrak has quit [Ping timeout: 248 seconds]

22:03 pierpal has quit [Ping timeout: 256 seconds]

22:21 rostero has quit [Quit: Connection closed for inactivity]

22:34 shinnya has quit [Ping timeout: 248 seconds]

22:38 dedgrant_ has joined #ocaml

22:39 dedgrant has quit [Ping timeout: 260 seconds]

22:39 malina has quit [Remote host closed the connection]

22:48 malina has joined #ocaml

23:02 Haudegen has quit [Remote host closed the connection]

23:04 Soni has joined #ocaml

23:06 Soni has quit [Client Quit]

23:13 Soni has joined #ocaml

23:19 Exagone313 has quit [Quit: see ya!]

23:20 cbot has joined #ocaml

23:20 Exagone313 has joined #ocaml

23:20 kakadu has quit [Remote host closed the connection]

23:21 hdon has joined #ocaml

23:25 hdon has quit [Ping timeout: 240 seconds]

23:26 hdon has joined #ocaml

23:27 demonimin has quit [Ping timeout: 264 seconds]

23:28 demonimin has joined #ocaml

23:28 demonimin has quit [Changing host]

23:28 demonimin has joined #ocaml

23:28 zolk3ri has quit [Remote host closed the connection]

23:38 Soni has quit [Ping timeout: 248 seconds]

23:39 Soni has joined #ocaml

23:47 hdon has quit [Ping timeout: 240 seconds]

23:48 hdon has joined #ocaml

23:52 al-damiri has quit [Quit: Connection closed for inactivity]

23:53 hdon has quit [Ping timeout: 240 seconds]

23:57 atheris has joined #ocaml