#ocaml on 2021-05-30 — irc logs at libera.irclog.whitequark.org

2021-05-26 13:52 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.12 released: https://ocaml.org/releases/4.12.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:03 Tuplanolla has quit [Quit: Leaving.]

00:19 favonia has quit [Ping timeout: 245 seconds]

00:19 radiopotin[m] has quit [Ping timeout: 245 seconds]

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

00:26 radiopotin[m] has joined #ocaml

00:26 dhil has quit [Ping timeout: 252 seconds]

00:29 drakonis has quit [*.net *.split]

00:38 drakonis has joined #ocaml

01:01 drakonis has quit [*.net *.split]

01:06 Haudegen has quit [Ping timeout: 268 seconds]

01:08 drakonis has joined #ocaml

02:37 zebrag has quit [Quit: Konversation terminated!]

03:04 berberman_ has joined #ocaml

03:05 berberman has quit [Ping timeout: 264 seconds]

03:19 favonia has joined #ocaml

03:48 mbuf has joined #ocaml

03:55 unyu has joined #ocaml

05:08 favonia has quit [Quit: Leaving]

05:11 eight has joined #ocaml

05:15 joniibou has quit [Quit: joniibou]

05:30 mbuf has quit [Quit: Leaving]

05:30 eight has quit [Quit: leaving]

05:31 eight has joined #ocaml

05:38 favonia has joined #ocaml

06:10 theglass has joined #ocaml

06:11 favonia has quit [Ping timeout: 268 seconds]

06:16 favonia has joined #ocaml

07:16 favonia has quit [Ping timeout: 268 seconds]

07:18 favonia has joined #ocaml

07:34 hex0punk has joined #ocaml

07:42 favonia has quit [Ping timeout: 268 seconds]

07:42 hex0punk has quit [Ping timeout: 268 seconds]

07:42 favonia has joined #ocaml

07:49 <d_bot> <Cyclomatic Complexity> Would it be possible to get, in some way, where an equality constraint from the typer comes from? Very often, when type debugging, I get `x had type woo, but I expected wee`. And I very very often want to ask "But why did you expect wee???" or "What could possibly make you think it has type woo???"

07:52 favonia has quit [Ping timeout: 268 seconds]

07:53 favonia has joined #ocaml

08:03 Tuplanolla has joined #ocaml

08:04 wonko has joined #ocaml

08:05 favonia has quit [Ping timeout: 268 seconds]

08:10 wonko has quit [Ping timeout: 268 seconds]

08:11 favonia has joined #ocaml

08:13 <d_bot> <ggole> Not really, the usual way to approach that kind of problem is to add some annotations

08:22 <d_bot> <Cyclomatic Complexity> sad

08:23 Serpent7776 has joined #ocaml

08:29 gzj has joined #ocaml

08:31 waleee has joined #ocaml

08:35 TheLemonMan has joined #ocaml

08:54 gzj has quit [Read error: Connection reset by peer]

08:54 gzj has joined #ocaml

08:54 waleee has quit [Ping timeout: 268 seconds]

09:06 mbuf has joined #ocaml

09:25 gzj has quit [Remote host closed the connection]

09:25 gzj has joined #ocaml

09:28 krnkktz has joined #ocaml

09:30 gzj has quit [Remote host closed the connection]

09:30 gzj has joined #ocaml

09:37 Chouhartem has joined #ocaml

09:41 dy is now known as lol

09:42 lol is now known as dy

09:47 gzj has quit [Ping timeout: 264 seconds]

10:00 Haudegen has joined #ocaml

10:14 favonia has quit [Ping timeout: 268 seconds]

10:14 favonia has joined #ocaml

10:23 favonia has quit [Ping timeout: 268 seconds]

10:23 favonia has joined #ocaml

10:41 toppler has joined #ocaml

10:41 favonia has quit [Ping timeout: 268 seconds]

10:46 serpent has joined #ocaml

10:47 Serpent7776 has quit [Ping timeout: 268 seconds]

11:16 dhil has joined #ocaml

11:21 zebrag has joined #ocaml

11:32 TheRuralJuror has joined #ocaml

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

11:35 Haudegen has quit [Ping timeout: 268 seconds]

11:35 dhil has joined #ocaml

11:35 dhil has quit [Ping timeout: 268 seconds]

11:50 farn has joined #ocaml

11:53 farn has quit [Client Quit]

11:54 farn has joined #ocaml

11:56 farn has quit [Client Quit]

11:57 farn has joined #ocaml

12:01 serpent is now known as Serpent7776

12:11 farn has quit [Remote host closed the connection]

12:11 farn has joined #ocaml

12:13 farn has quit [Remote host closed the connection]

12:13 farn has joined #ocaml

12:52 dhil has quit [Ping timeout: 268 seconds]

13:03 oriba has joined #ocaml

13:20 farn has quit [Remote host closed the connection]

13:20 farn has joined #ocaml

13:26 TheLemonMan has joined #ocaml

14:02 berberman has joined #ocaml

14:02 berberman_ has quit [Ping timeout: 268 seconds]

14:58 mariari has quit [Quit: WeeChat 3.1]

15:03 mariari has joined #ocaml

15:05 TheRuralJuror has quit [Quit: No Ping reply in 180 seconds.]

15:07 Haudegen has joined #ocaml

16:33 gareppa has joined #ocaml

16:35 gareppa has quit [Remote host closed the connection]

16:54 dwt_ has joined #ocaml

17:02 mbuf has quit [Quit: Leaving]

17:06 drakonis1 has joined #ocaml

17:17 drakonis1 has quit [Quit: WeeChat 3.1]

17:17 drakonis1 has joined #ocaml

17:17 drakonis1 has quit [Client Quit]

17:40 unyu is now known as lolcathost

17:51 lolcathost has quit [Quit: WeeChat 3.1]

17:52 paolo has joined #ocaml

17:53 paolo has quit [Client Quit]

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

18:21 unyu has joined #ocaml

18:36 dhil has joined #ocaml

18:37 ewanas has joined #ocaml

18:40 ewanas is now known as foocraft

18:40 foocraft is now known as ewanas

18:41 ewanas is now known as foocraft

18:41 foocraft is now known as foo303

18:41 foo303 is now known as ewanas

18:41 ewanas has quit [Client Quit]

18:42 ewanas has joined #ocaml

19:08 hex0punk has joined #ocaml

19:52 <d_bot> <stab> yeah annotations are really the only way... the only thing a type checker can guarantee is predictable error messages. It's very hard to get guaranteed good error messages for humans with unification

19:53 <d_bot> <stab> adding annotations always solves it for me tho

20:12 <d_bot> <soilih> hello guys

20:13 <d_bot> <soilih> Hope you are doing well !!

20:14 <d_bot> <soilih> I have a problem with ocaml, basically, i'm doing a server, and i want to show logs in the client

20:15 <d_bot> <soilih> then, I want to use the module Logs which i can find here : https://erratique.ch/software/logs/doc/Logs/index.html

20:18 <d_bot> <soilih> it said that I should setup a reporter here : https://erratique.ch/software/logs/doc/Logs/index.html#setupreporter

20:18 <d_bot> <soilih> so my main function was :

20:18 <d_bot> <soilih> `let run () =

20:18 <d_bot> <soilih> ignore (Arg.Set Log.lsp_enabled);

20:18 <d_bot> <soilih> let s = new lsp_server in

20:18 <d_bot> <soilih> let server = Linol_lwt.Jsonrpc2.create_stdio s in

20:18 <d_bot> <soilih> let task = Linol_lwt.Jsonrpc2.run server in

20:18 <d_bot> <soilih> match Linol_lwt.run task with

20:18 <d_bot> <soilih> | () -> ()

20:18 <d_bot> <soilih> | exception e ->

20:18 <d_bot> <soilih> let e = Printexc.to_string e in

20:18 <d_bot> <soilih> Printf.eprintf "error: %s\n%!" e;

20:18 <d_bot> <soilih> exit 1`

20:19 <d_bot> <soilih> then, i change it to :

20:19 <d_bot> <soilih> `let run () =

20:19 <d_bot> <soilih> ignore (Arg.Set Log.lsp_enabled);

20:19 <d_bot> <soilih> Logs.set_reporter (Logs_fmt.reporter ());

20:19 <d_bot> <soilih> let s = new lsp_server in

20:19 <d_bot> <soilih> let server = Linol_lwt.Jsonrpc2.create_stdio s in

20:19 <d_bot> <soilih> let task = Linol_lwt.Jsonrpc2.run server in

20:19 <d_bot> <soilih> match Linol_lwt.run task with

20:19 <d_bot> <soilih> | () -> ()

20:19 <d_bot> <soilih> | exception e ->

20:19 <d_bot> <soilih> let e = Printexc.to_string e in

20:19 <d_bot> <soilih> Printf.eprintf "error: %s\n%!" e;

20:19 <d_bot> <soilih> exit (if Logs.err_count () > 0 then 1 else 0)`

20:20 <d_bot> <soilih> And tried to print a log in this way : `Logs.err (fun k->k " %s" @@ "TEST TEST TEST")`

20:21 <d_bot> <soilih> But, it's not working...

20:22 <d_bot> <soilih> Anyone to help me how to show logs with the MODULE Logs please?

20:22 <d_bot> <soilih> Thank you !!!

20:35 <d_bot> <Et7f3> > Bridged to IRC: please don't paste code.

20:36 <d_bot> <Et7f3> next time post in #beginners

20:37 <d_bot> <Et7f3> and you can use 3 backtick for high light all block at once

20:38 waleee has joined #ocaml

20:40 <d_bot> <soilih> Sorry, most of the time, i post in beginner because i'm actually a beginner, but this one, i didn't know where it fits

20:42 <d_bot> <soilih> I'm moving it

20:49 mro has joined #ocaml

20:53 hex0punk has quit [Ping timeout: 272 seconds]

21:01 <oriba> https://ideone.com/

21:07 hex0punk has joined #ocaml

21:08 ruffy_ has joined #ocaml

21:09 waleee has quit [Ping timeout: 268 seconds]

21:10 waleee has joined #ocaml

21:17 hex0punk has quit [Ping timeout: 268 seconds]

21:31 hex0punk has joined #ocaml

21:45 Tuplanolla has quit [Quit: Leaving.]

22:06 Anarchos has joined #ocaml

22:12 cedric has joined #ocaml

22:18 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

22:20 hex0punk has quit [Ping timeout: 268 seconds]

22:24 cedric has quit [Quit: Konversation terminated!]

22:30 mro has quit [Quit: Leaving...]

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

22:36 hex0punk has joined #ocaml

22:39 manicennui has quit [Quit: Connection closed for inactivity]

22:41 hex0punk has quit [Ping timeout: 252 seconds]

22:48 Haudegen has quit [Quit: Bin weg.]

22:51 jbrown has quit [Ping timeout: 264 seconds]

22:53 vicfred has joined #ocaml

23:06 hex0punk has joined #ocaml

23:40 waleee has quit [Ping timeout: 268 seconds]

23:59 ewanas has quit [Quit: Leaving]