#ocaml on 2020-07-29 — 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:11 p4bl01 has joined #ocaml

00:11 p4bl0 has quit [Ping timeout: 272 seconds]

00:48 tmhoang4 has joined #ocaml

00:49 stux|RC-- has joined #ocaml

00:49 stux|RC has quit [Ping timeout: 256 seconds]

00:49 Ekho has quit [Ping timeout: 256 seconds]

00:53 Amaan has quit [Ping timeout: 256 seconds]

00:54 Amaan has joined #ocaml

00:57 Ekho has joined #ocaml

00:57 swapnilraj[m] has quit [*.net *.split]

00:57 aecepoglu[m] has quit [*.net *.split]

00:57 mgsk has quit [*.net *.split]

00:57 terrorjack has quit [*.net *.split]

00:57 chewbranca has quit [*.net *.split]

00:57 Duns_Scrotus has quit [*.net *.split]

00:57 Boarders has quit [*.net *.split]

00:57 ski has quit [*.net *.split]

00:57 stan[m] has quit [*.net *.split]

00:57 higherorder has quit [*.net *.split]

00:57 smondet[m] has quit [*.net *.split]

00:57 ksft has quit [*.net *.split]

00:57 cross has quit [*.net *.split]

00:57 tmhoang has quit [*.net *.split]

00:57 banjiewen has quit [*.net *.split]

00:57 jimt[m] has quit [*.net *.split]

00:57 tmhoang4 is now known as tmhoang

01:00 jaar has quit [Ping timeout: 272 seconds]

01:01 chewbranca has joined #ocaml

01:01 aecepoglu[m] has joined #ocaml

01:01 jimt[m] has joined #ocaml

01:01 swapnilraj[m] has joined #ocaml

01:01 Duns_Scrotus has joined #ocaml

01:01 mgsk has joined #ocaml

01:01 terrorjack has joined #ocaml

01:01 stan[m] has joined #ocaml

01:01 ksft has joined #ocaml

01:01 higherorder has joined #ocaml

01:01 Boarders has joined #ocaml

01:01 ski has joined #ocaml

01:01 smondet[m] has joined #ocaml

01:01 cross has joined #ocaml

01:01 banjiewen has joined #ocaml

01:02 webshinra has quit [Remote host closed the connection]

01:03 khady[m] has quit [Remote host closed the connection]

01:03 peddie has quit [Write error: Connection reset by peer]

01:03 Manis[m] has quit [Read error: Connection reset by peer]

01:03 defolos has quit [Read error: Connection reset by peer]

01:03 gaussian[m] has quit [Remote host closed the connection]

01:03 camlriot42 has quit [Remote host closed the connection]

01:03 flux1 has quit [Write error: Connection reset by peer]

01:03 aecepoglu[m] has quit [Remote host closed the connection]

01:03 swapnilraj[m] has quit [Remote host closed the connection]

01:03 stan[m] has quit [Read error: Connection reset by peer]

01:03 smondet[m] has quit [Read error: Connection reset by peer]

01:03 jimt[m] has quit [Write error: Connection reset by peer]

01:03 aspiwack[m] has quit [Remote host closed the connection]

01:03 lnxw37d4 has quit [Read error: Connection reset by peer]

01:03 labor[m] has quit [Remote host closed the connection]

01:03 dash has quit [Write error: Connection reset by peer]

01:04 terrorjack has quit [Ping timeout: 244 seconds]

01:06 ksft has quit [Ping timeout: 244 seconds]

01:06 cross has quit [Ping timeout: 244 seconds]

01:07 jimt[m] has joined #ocaml

01:07 cross has joined #ocaml

01:09 ksft has joined #ocaml

01:10 terrorjack has joined #ocaml

01:17 dash has joined #ocaml

01:17 flux1 has joined #ocaml

01:17 gaussian[m] has joined #ocaml

01:17 peddie has joined #ocaml

01:17 camlriot42 has joined #ocaml

01:17 khady[m] has joined #ocaml

01:17 aspiwack[m] has joined #ocaml

01:17 defolos has joined #ocaml

01:17 labor[m] has joined #ocaml

01:17 smondet[m] has joined #ocaml

01:17 lnxw37d4 has joined #ocaml

01:18 aecepoglu[m] has joined #ocaml

01:18 stan[m] has joined #ocaml

01:18 Manis[m] has joined #ocaml

01:18 swapnilraj[m] has joined #ocaml

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

01:35 stux|RC-- has quit [Quit: Aloha!]

01:36 stux|RC has joined #ocaml

03:43 tizoc has quit [Quit: Coyote finally caught me]

03:43 mbuf has joined #ocaml

03:43 tizoc has joined #ocaml

03:56 spew has quit [Quit: Connection closed for inactivity]

04:39 malc_ has quit [Ping timeout: 244 seconds]

04:48 malc_ has joined #ocaml

04:55 narimiran has joined #ocaml

05:09 safinaskar has joined #ocaml

05:10 <safinaskar> hi. i use linux. i want to install package "boomerang" from opam. it seems this package depends on old versions of ocaml, opam and jbuilder. so, how to do this?

05:10 FreeBirdLjj has joined #ocaml

05:11 <safinaskar> i created chroot environment with old debian distro "jessie". then installed old opam version to it (1.2). then typed "opam init". and i see: "File /root/.opam/repo/default/repo is written for OPAM 2.0, and this is 1.2"

05:11 <safinaskar> why "opam init" writes /root/.opam/repo/default/repo for opam 2.0? how to make it write it for opam 1.2?

05:32 NSA_Spy has quit [Ping timeout: 260 seconds]

05:46 Guest86335 has quit [Ping timeout: 240 seconds]

06:05 Guest86335 has joined #ocaml

06:12 Serpent7776 has joined #ocaml

06:32 osa1 has joined #ocaml

06:50 madroach_ has joined #ocaml

06:50 malc_ has quit [Ping timeout: 240 seconds]

06:51 madroach has quit [Ping timeout: 256 seconds]

07:13 safinaskar has left #ocaml [#ocaml]

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

07:16 osa1 has joined #ocaml

08:16 <vsiles> what does opam --version says ?

08:16 <vsiles> (in your chroot)

08:17 vicfred has quit [Remote host closed the connection]

08:18 vicfred has joined #ocaml

08:37 malc_ has joined #ocaml

08:45 dckc has quit [Ping timeout: 264 seconds]

08:49 dckc has joined #ocaml

08:54 dborisog has joined #ocaml

09:02 jaar has joined #ocaml

09:29 madroach_ has quit [Ping timeout: 256 seconds]

09:30 madroach has joined #ocaml

09:39 mfp has joined #ocaml

09:59 dborisog has quit [Ping timeout: 240 seconds]

10:11 nullcone has quit [Quit: Connection closed for inactivity]

10:22 waleee-cl has joined #ocaml

11:16 vicfred has quit [Quit: Leaving]

11:29 drdee has joined #ocaml

11:34 malc_ has quit [Remote host closed the connection]

11:42 dborisog has joined #ocaml

11:44 drdee has quit [Quit: Leaving]

11:51 vicfred has joined #ocaml

11:53 narimiran has quit [Ping timeout: 264 seconds]

11:55 tane has joined #ocaml

12:20 webshinra has joined #ocaml

12:52 spew has joined #ocaml

13:14 malc_ has joined #ocaml

13:19 dborisog has quit [Ping timeout: 240 seconds]

13:40 dckc has quit [Ping timeout: 240 seconds]

13:50 dckc has joined #ocaml

14:10 dhil has joined #ocaml

14:18 mbuf has quit [Quit: Leaving]

14:23 osa1 has quit [Ping timeout: 265 seconds]

14:46 dhil has quit [Ping timeout: 240 seconds]

14:52 malc_ has quit [Remote host closed the connection]

14:52 octachron has joined #ocaml

14:58 octachron_ has quit [Quit: ZNC 1.7.5 - https://znc.in]

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

14:58 Amaan_ has joined #ocaml

15:26 madroach_ has joined #ocaml

15:27 madroach has quit [Ping timeout: 256 seconds]

15:53 sagax has quit [Read error: Connection reset by peer]

15:53 dhil has joined #ocaml

15:57 sm2n has joined #ocaml

15:58 osa1 has joined #ocaml

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

16:06 dhil has quit [Ping timeout: 256 seconds]

16:11 delysin_ has quit [Read error: Connection reset by peer]

16:12 waleee-cl has quit [Quit: Connection closed for inactivity]

16:13 delysin has joined #ocaml

16:27 slash has quit [Quit: Konversation terminated!]

16:47 dckc has quit [Ping timeout: 264 seconds]

16:48 oriba has joined #ocaml

16:51 dckc has joined #ocaml

16:58 vicfred has quit [Quit: Leaving]

17:04 remexre has joined #ocaml

17:13 nullcone has joined #ocaml

17:14 Yagotzirck has joined #ocaml

17:19 dckc has quit [Ping timeout: 244 seconds]

17:20 dckc has joined #ocaml

17:24 <Yagotzirck> https://pastebin.com/50BzkdV7

17:24 <Yagotzirck> at line 6, this gives me:

17:25 <Yagotzirck> "Syntax error: operator expected"

17:25 <Yagotzirck> aside from the code itself being quite awful, what should I do in order to make it run/fix the issue?

17:30 <octachron> Yagotzirck, the error is due to the lack of body after the in the let ... = ... In at line 5

17:33 <octachron> But this is only the symptom: there is no condition, nor change variables in scope in the while loop.

17:33 <octachron> Similarly, `change` is only computed at its definition, not at line 10.

17:34 <octachron> You should probably read an OCaml tutorial

17:34 <Yagotzirck> hm, well replacing the in's with semicolons still yields the exact same error

17:35 <Yagotzirck> I'm following "ocaml from the very beginning" but it comes up short on syntax rules

17:35 muskan has joined #ocaml

17:36 <Yagotzirck> so it pretty much turns into a trial-and-error session

17:37 <Yagotzirck> what would you recommend as a tutorial for beginners?

17:47 narimiran has joined #ocaml

17:48 osa1 has quit [Remote host closed the connection]

17:55 madroach_ has quit [Ping timeout: 256 seconds]

17:56 madroach has joined #ocaml

17:57 vicfred has joined #ocaml

18:17 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

18:33 muskan has quit [Remote host closed the connection]

18:36 Yagotzirck has quit [Read error: Connection reset by peer]

18:36 Yagotzirck has joined #ocaml

18:44 <cranix> hello

18:45 <cranix> i'm looking for examples of Z3 ocaml API

18:45 <cranix> i know python api but i would like to try ocaml here

18:45 <cranix> i have found only source code of ocaml bindings on github...

18:55 <d_bot> <mnxn> there are ocaml examples here: https://github.com/Z3Prover/z3/tree/master/examples/ml

18:57 <cranix> this is what i'm reading right now

18:58 <cranix> i woul like something minimal

18:58 <cranix> like two bitvectors

18:58 <cranix> and assertion that one is bigger than another

18:58 <cranix> also i failed to find documentation for api

18:58 <cranix> ocaml api python api is well documented

19:01 <cranix> say what is ocaml equivalent to

19:01 <cranix> solver.add(x > y)

19:01 <cranix> where x and y are bitvectors

19:07 <d_bot> <mnxn> I have no idea how z3 works, but this is what I pieced together from the docs at https://github.com/Z3Prover/z3/blob/master/src/api/ml/z3.mli

19:07 <d_bot> <mnxn>

19:07 <d_bot> <mnxn> Solver.add solver [ Arithmetic.mk_sgt context x y ]

19:34 <cranix> thanks

19:35 dhil has joined #ocaml

19:36 <cranix> but then how to get expression from BitVector?

19:47 waleee-cl has joined #ocaml

19:47 vicfred has quit [Quit: Leaving]

19:49 <sim642> Use Expr.mk_const or Expr.mk_numeral_int with a sort from BitVector.mk_sort

19:58 <cranix> thanks

20:02 vicfred has joined #ocaml

20:06 <cranix> how i can compare bitvector to constan number(say 7)?

20:39 narimiran has quit [Ping timeout: 265 seconds]

21:09 Serpent7776 has quit [Quit: leaving]

21:17 mengu has joined #ocaml

21:18 Haudegen has joined #ocaml

21:42 NSA_Spy has joined #ocaml

21:52 mengu_ has joined #ocaml

21:53 mengu has quit [Remote host closed the connection]

21:58 tane has quit [Quit: Leaving]

22:03 Yagotzirck has quit [Quit: Leaving]

22:28 Undercover_Russi has joined #ocaml

22:31 NSA_Spy has quit [Ping timeout: 256 seconds]

22:39 _whitelogger has joined #ocaml

22:46 Haudegen has quit [Ping timeout: 240 seconds]

22:46 mengu_ has quit []

22:53 nullcone has quit [Quit: Connection closed for inactivity]

23:54 nullcone has joined #ocaml