#ocaml on 2022-12-12 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:04 SoniEx2 has quit [Ping timeout: 252 seconds]

00:12 chrisz has quit [Ping timeout: 260 seconds]

00:13 chrisz has joined #ocaml

00:42 waleee has quit [Ping timeout: 246 seconds]

00:46 waleee has joined #ocaml

01:15 troydm has quit [Ping timeout: 260 seconds]

01:37 waleee has quit [Ping timeout: 246 seconds]

01:38 waleee has joined #ocaml

01:38 inkbottle[m] is now known as zebrag[m]

02:06 jao has quit [Ping timeout: 260 seconds]

02:37 waleee has quit [Ping timeout: 256 seconds]

02:39 waleee has joined #ocaml

03:16 chrisz has quit [Ping timeout: 260 seconds]

03:18 waleee has quit [Ping timeout: 264 seconds]

03:18 chrisz has joined #ocaml

03:20 waleee has joined #ocaml

03:25 Soni has joined #ocaml

04:05 sagax has joined #ocaml

04:12 xd1le has joined #ocaml

05:01 troydm has joined #ocaml

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

05:08 azimut has joined #ocaml

05:10 wingsorc has quit [Quit: Leaving]

05:13 wingsorc has joined #ocaml

05:27 waleee has quit [Ping timeout: 256 seconds]

05:37 azimut has quit [Ping timeout: 255 seconds]

05:39 waleee has joined #ocaml

05:40 azimut has joined #ocaml

05:54 waleee has quit [Ping timeout: 252 seconds]

06:18 wingsorc has quit [Ping timeout: 260 seconds]

06:30 Haudegen has joined #ocaml

06:31 bgs has joined #ocaml

06:37 waleee has joined #ocaml

07:13 nd__ has quit [Ping timeout: 256 seconds]

07:26 waleee has quit [Ping timeout: 256 seconds]

07:28 waleee has joined #ocaml

07:37 bgs has quit [Remote host closed the connection]

07:41 mro has joined #ocaml

07:44 Serpent7776 has joined #ocaml

07:52 nd__ has joined #ocaml

07:56 olle has joined #ocaml

08:05 azimut has quit [Ping timeout: 255 seconds]

08:08 waleee has quit [Ping timeout: 265 seconds]

08:09 waleee has joined #ocaml

08:14 olle has quit [Ping timeout: 260 seconds]

08:14 trev has joined #ocaml

08:26 waleee has quit [Ping timeout: 255 seconds]

08:38 bartholin has joined #ocaml

09:11 mro has quit [Remote host closed the connection]

09:12 mro has joined #ocaml

09:21 bartholin has quit [Quit: Leaving]

09:34 mro has quit [Remote host closed the connection]

09:36 mro has joined #ocaml

09:38 mro has quit [Remote host closed the connection]

09:39 mro has joined #ocaml

09:56 mro has quit [Quit: Leaving...]

09:58 olle has joined #ocaml

10:20 alexherbo2 has joined #ocaml

10:49 spip has joined #ocaml

11:00 jao has joined #ocaml

11:11 azimut has joined #ocaml

11:16 alexherbo2 has quit [Remote host closed the connection]

11:16 alexherbo2 has joined #ocaml

11:30 alexherbo2 has quit [Remote host closed the connection]

11:30 alexherbo2 has joined #ocaml

11:31 Haudegen has quit [Quit: Bin weg.]

11:51 troydm has quit [Ping timeout: 260 seconds]

12:41 Haudegen has joined #ocaml

12:44 jlrnick has joined #ocaml

13:06 azimut has quit [Ping timeout: 255 seconds]

13:48 xd1le has quit [Quit: xd1le]

14:29 nd__ has quit [Ping timeout: 260 seconds]

14:42 motherfsck has joined #ocaml

14:43 motherfsck has quit [Client Quit]

14:43 motherfsck has joined #ocaml

14:43 noonien has quit [Quit: Ping timeout (120 seconds)]

14:44 noonien has joined #ocaml

14:51 nd__ has joined #ocaml

14:56 nd__ has quit [Ping timeout: 256 seconds]

15:27 bgs has joined #ocaml

15:45 nd__ has joined #ocaml

15:47 mro has joined #ocaml

15:50 nd__ has quit [Ping timeout: 256 seconds]

15:54 mro has quit [Remote host closed the connection]

16:03 keyboard has joined #ocaml

16:10 mro has joined #ocaml

16:10 nd__ has joined #ocaml

16:15 nd__ has quit [Ping timeout: 248 seconds]

16:16 mro has quit [Remote host closed the connection]

16:21 mro has joined #ocaml

16:23 olle has quit [Remote host closed the connection]

16:27 nd__ has joined #ocaml

16:32 nd__ has quit [Ping timeout: 248 seconds]

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

16:45 jlrnick has quit [Ping timeout: 260 seconds]

16:49 nd__ has joined #ocaml

16:53 nd__ has quit [Ping timeout: 256 seconds]

17:00 mro has quit [Remote host closed the connection]

17:22 troydm has joined #ocaml

17:23 mro has joined #ocaml

17:30 mro has quit [Remote host closed the connection]

17:38 trev has quit [Remote host closed the connection]

17:57 Haudegen has joined #ocaml

18:04 nd__ has joined #ocaml

18:05 Tuplanolla has joined #ocaml

18:06 olle has joined #ocaml

18:09 nd__ has quit [Ping timeout: 255 seconds]

18:18 nd__ has joined #ocaml

18:23 nd__ has quit [Ping timeout: 268 seconds]

18:25 azimut has joined #ocaml

18:31 bartholin has joined #ocaml

18:37 mro has joined #ocaml

18:42 nd__ has joined #ocaml

18:42 podge has joined #ocaml

18:46 mro has quit [Remote host closed the connection]

18:47 nd__ has quit [Ping timeout: 256 seconds]

19:01 azimut has quit [Remote host closed the connection]

19:08 nd__ has joined #ocaml

19:11 azimut has joined #ocaml

19:17 mro has joined #ocaml

19:20 alexherbo2 has quit [Remote host closed the connection]

19:20 nd__ has quit [Ping timeout: 260 seconds]

19:20 alexherbo2 has joined #ocaml

19:23 nd__ has joined #ocaml

19:32 nd__ has quit [Ping timeout: 268 seconds]

19:43 nd__ has joined #ocaml

19:50 nd__ has quit [Ping timeout: 248 seconds]

19:59 keyboard has quit [Remote host closed the connection]

20:06 bgs has quit [Remote host closed the connection]

20:13 nd__ has joined #ocaml

20:14 waleee has joined #ocaml

20:19 nd__ has quit [Ping timeout: 248 seconds]

20:34 mro has quit [Quit: Leaving...]

20:54 alexherbo2 has quit [Remote host closed the connection]

20:54 alexherbo2 has joined #ocaml

20:55 nd__ has joined #ocaml

21:01 keyboard has joined #ocaml

21:02 nd__ has quit [Ping timeout: 260 seconds]

21:03 nd__ has joined #ocaml

21:08 nd__ has quit [Ping timeout: 260 seconds]

21:16 nd__ has joined #ocaml

21:22 nd__ has quit [Ping timeout: 256 seconds]

21:24 terrorjack has quit [Ping timeout: 265 seconds]

21:26 terrorjack has joined #ocaml

21:28 nd__ has joined #ocaml

21:34 nd__ has quit [Ping timeout: 256 seconds]

21:43 wingsorc has joined #ocaml

21:46 podge has quit [Ping timeout: 256 seconds]

21:48 keyboard has quit [Ping timeout: 260 seconds]

21:52 nd__ has joined #ocaml

22:00 keyboard has joined #ocaml

22:03 bartholin has quit [Quit: Leaving]

22:06 alexherbo2 has quit [Ping timeout: 260 seconds]

22:06 nd__ has quit [Ping timeout: 260 seconds]

22:08 <olle> 262 | List.length refparams > 0

22:08 <olle> Error: This expression has type int but an expression was expected of type

22:08 <olle> string

22:09 <olle> Why would ">" expect a string? o0

22:09 <olle> https://paste.centos.org/view/726d747a

22:15 <olle> Base.List.length doesn't exist?

22:16 <olle> the fuck

22:19 <olle> And I don't have access to non-base List module if I do open base at top of file?

22:33 troydm has quit [Ping timeout: 268 seconds]

22:35 <olle> I did match l with [] -> false instead, but weird

22:52 azimut_ has joined #ocaml

22:53 azimut has quit [Ping timeout: 255 seconds]

22:56 Serpent7776 has quit [Ping timeout: 248 seconds]

23:20 nd__ has joined #ocaml

23:24 olle has quit [Ping timeout: 268 seconds]

23:25 nd__ has quit [Ping timeout: 265 seconds]

23:28 CalimeroTeknik has quit [Ping timeout: 260 seconds]

23:34 CalimeroTeknik has joined #ocaml

23:35 motherfsck has quit [Ping timeout: 268 seconds]

23:57 motherfsck has joined #ocaml