#ocaml on 2020-04-02 — 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:02 vicfred has quit [Quit: Leaving]

00:10 kleisli has quit [Remote host closed the connection]

00:11 vicfred has joined #ocaml

00:19 muskan has joined #ocaml

00:19 muskan has left #ocaml [#ocaml]

00:29 kleisli has joined #ocaml

00:36 wingsorc has quit [Quit: Leaving]

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

01:16 kleisli has joined #ocaml

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

02:00 mbuf has joined #ocaml

02:03 kleisli has quit [Quit: Leaving]

02:45 ygrek has quit [Ping timeout: 265 seconds]

03:05 srax has quit [Ping timeout: 240 seconds]

03:06 srax has joined #ocaml

03:07 andreas303 has quit [Ping timeout: 240 seconds]

03:11 andreas303 has joined #ocaml

03:34 dborisog has joined #ocaml

04:45 narimiran has joined #ocaml

04:46 sz0 has quit [Quit: Connection closed for inactivity]

05:19 kleisli has joined #ocaml

06:01 dump has joined #ocaml

06:31 nullcone has quit [Quit: Connection closed for inactivity]

07:08 sz0 has joined #ocaml

07:11 sonologico__ has quit [Quit: Leaving]

07:16 Haudegen has joined #ocaml

07:24 ggole has joined #ocaml

07:29 labor[m] has quit [Quit: killed]

07:29 aspiwack[m] has quit [Quit: killed]

07:29 lnxw37d4 has quit [Quit: killed]

07:29 dash has quit [Quit: killed]

07:29 zwindl[m] has quit [Quit: killed]

07:29 keep-learning[m] has quit [Quit: killed]

07:29 Manis[m] has quit [Quit: killed]

07:29 cgenie[m] has quit [Quit: killed]

07:29 peddie has quit [Quit: killed]

07:29 copy` has quit [Quit: killed]

07:29 aecepoglu[m] has quit [Quit: killed]

07:29 jimt[m] has quit [Quit: killed]

07:29 prsafont[m] has quit [Quit: killed]

07:29 flux1 has quit [Quit: killed]

07:44 chripell__ has joined #ocaml

07:56 prsafont[m] has joined #ocaml

08:04 amiloradovsky has joined #ocaml

08:08 flux1 has joined #ocaml

08:08 lnxw37d4 has joined #ocaml

08:08 copy` has joined #ocaml

08:08 aecepoglu[m] has joined #ocaml

08:08 Manis[m] has joined #ocaml

08:08 peddie has joined #ocaml

08:08 dash has joined #ocaml

08:08 jimt[m] has joined #ocaml

08:08 labor[m] has joined #ocaml

08:08 keep-learning[m] has joined #ocaml

08:08 zwindl[m] has joined #ocaml

08:08 aspiwack[m] has joined #ocaml

08:08 cgenie[m] has joined #ocaml

08:20 tane_ has joined #ocaml

08:22 White_Flame has joined #ocaml

08:23 <White_Flame> so, I'm new to ocaml and am trying to set up a build environment for haxe. I have my network proxied through a ssh tunnel. opam init is giving me this, when trying to curl from opam.ocaml.org:

08:24 <White_Flame> curl: (6) SOCKS4 connection to 2001:4801:7823:76:bb74:1f8e:ff10:627 not supported

08:24 <White_Flame> is this a limitation of curl, or of socks, and do I need a better proxy than ssh's built-in one?

08:25 <White_Flame> or is this a known installation issue?

08:26 <octachron> It rather looks like an Ipv6 connectivity issue.

08:29 <White_Flame> any way to force it to try ipv4?

08:32 <Leonidas> White_Flame: https://gist.github.com/ianhomer/b50bd81316f1e008608b maybe?

08:34 <White_Flame> I connected my computer to a different upstream, and it worked

08:35 <White_Flame> a different network connection

08:35 * White_Flame isn't too up on ipv6, but hey if this works it works. just slower

08:36 <White_Flame> I'll get the .curlrc just in case

08:38 <White_Flame> yep, going back to verizon with the .curlrc init did fix it there as well, thanks (and I guess fairly offtopic)

08:59 sz0 has quit []

09:00 sz0 has joined #ocaml

09:08 mpu has joined #ocaml

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

10:00 mfp has joined #ocaml

10:00 dhil has joined #ocaml

10:11 jbrown has joined #ocaml

10:22 jbrown has quit [Quit: Leaving]

10:26 jbrown has joined #ocaml

10:42 sagax has joined #ocaml

10:44 <mbuf> Why do I get this type mismatch error? https://pastebin.com/fuyFBPFr

11:03 <octachron> Because stack has a fold method, and thus the type declarations are mismatched.

11:09 <octachron> Typically "let f: 'a stack -> unit = fun x -> ignore (f#fold)" cannot be typed as "val f: 'a t -> unit".

11:17 <mbuf> I tried removing the fold now, https://pastebin.com/vkHKR1L6

11:17 <mbuf> Type signature mismatch for make

11:19 <octachron> Well, unit is not a list.

11:25 kleisli has quit [Remote host closed the connection]

11:26 kleisli has joined #ocaml

12:11 ygrek has joined #ocaml

12:15 spew has joined #ocaml

12:24 kleisli has quit [Remote host closed the connection]

12:25 kleisli has joined #ocaml

12:36 orbifx has joined #ocaml

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

12:41 jbrown has quit [Ping timeout: 272 seconds]

12:41 kleisli has joined #ocaml

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

12:47 kleisli has joined #ocaml

12:51 kleisli has quit [Remote host closed the connection]

12:51 kleisli has joined #ocaml

12:53 jbrown has joined #ocaml

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

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

13:19 Haudegen has quit [Quit: Bin weg.]

13:19 orbifx has quit [Remote host closed the connection]

13:20 cartwright has joined #ocaml

13:22 andreas303 has joined #ocaml

13:30 Serpent7776 has quit [Read error: Connection reset by peer]

13:30 orbifx has joined #ocaml

13:32 orbifx has quit [Client Quit]

13:36 Serpent7776 has joined #ocaml

13:43 kleisli has quit [Remote host closed the connection]

13:44 kleisli has joined #ocaml

13:47 kleisli has quit [Remote host closed the connection]

13:48 orbifx has joined #ocaml

13:50 orbifx has quit [Remote host closed the connection]

13:52 kleisli has joined #ocaml

13:55 kleisli has quit [Remote host closed the connection]

14:01 Haudegen has joined #ocaml

14:42 unnames has joined #ocaml

14:43 muskan has joined #ocaml

14:43 TheLemonMan has joined #ocaml

15:27 dump has quit [Quit: Leaving]

15:50 muskan has quit [Ping timeout: 240 seconds]

15:55 muskan has joined #ocaml

15:56 kleisli has joined #ocaml

16:01 mbuf has quit [Quit: Leaving]

16:06 muskan36 has joined #ocaml

16:07 muskan has quit [Ping timeout: 240 seconds]

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

16:14 Haudegen has quit [Quit: Bin weg.]

16:15 FreeBirdLjj has joined #ocaml

16:18 muskan has joined #ocaml

16:20 FreeBirdLjj has quit [Ping timeout: 272 seconds]

16:23 muskan has quit [Ping timeout: 240 seconds]

16:24 muskan has joined #ocaml

16:25 orbifx has joined #ocaml

16:26 orbifx has quit [Remote host closed the connection]

16:30 amiloradovsky has quit [Ping timeout: 240 seconds]

16:38 orbifx has joined #ocaml

16:45 muskan17 has joined #ocaml

16:58 dabeanie[m] has joined #ocaml

17:24 Haudegen has joined #ocaml

17:27 unnames has quit [Remote host closed the connection]

17:41 amiloradovsky has joined #ocaml

17:57 <Serpent7776> was checking out ppx_inline_test, but seems more complicated than what I need. At least I learned a bit about ppx

18:00 <companion_cube> take a look at qtest if you don't mind putting tests in comments :p

18:01 orbifx has quit [Quit: orbifx]

18:02 <Serpent7776> that's the exact thing I don't like about qtest companion_cube :)

18:02 <companion_cube> 🤷

18:03 Serpent7776 has quit [Quit: Lost terminal]

18:04 Serpent7776 has joined #ocaml

18:06 <Serpent7776> got disconnected, did I miss any message?

18:06 <companion_cube> nah

18:07 <Serpent7776> ah, cool

18:14 <Serpent7776> actually, I might not need full blown unit testing framework, something like assertions package looks more like what I want

18:17 sonologico has joined #ocaml

18:27 <companion_cube> well `assert` is builtin :)

18:32 <Serpent7776> the point is assert does not tell me what's wrong, I'd like to see both values at error

18:34 muskan17 has quit [Remote host closed the connection]

18:46 dborisog has quit [Ping timeout: 256 seconds]

19:01 ggole has quit [Quit: Leaving]

19:16 vicfred has quit [Quit: Leaving]

19:23 ocabot has quit [Ping timeout: 256 seconds]

19:25 companion_cube has quit [Ping timeout: 250 seconds]

19:25 chripell__ has quit [Ping timeout: 265 seconds]

19:36 vicfred has joined #ocaml

19:37 sagax has quit [Read error: Connection reset by peer]

19:37 orbifx has joined #ocaml

19:40 orbifx has quit [Client Quit]

19:44 sagax has joined #ocaml

19:45 wingsorc has joined #ocaml

19:58 ocabot has joined #ocaml

20:04 bartholin has quit [Ping timeout: 240 seconds]

20:15 companion_cube has joined #ocaml

20:17 narimiran has quit [Ping timeout: 256 seconds]

20:18 bartholin has joined #ocaml

20:27 muskan has quit [Ping timeout: 240 seconds]

20:38 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

20:43 dhil has quit [Quit: Leaving]

20:43 nullcone has joined #ocaml

21:20 johnel has quit [Ping timeout: 268 seconds]

21:25 kleisli has quit [Ping timeout: 256 seconds]

21:25 johnel has joined #ocaml

22:09 kleisli has joined #ocaml

22:17 orbifx has joined #ocaml

22:30 amiloradovsky has quit [Remote host closed the connection]

22:30 amiloradovsky has joined #ocaml

22:34 wingsorc has quit [Quit: Leaving]

22:38 jaar has quit [Ping timeout: 272 seconds]

23:12 tane_ has quit [Remote host closed the connection]

23:40 orbifx has quit [Ping timeout: 240 seconds]

23:44 themsay has joined #ocaml