#ocaml on 2022-08-25 — 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:02 raskol has quit [Ping timeout: 260 seconds]

00:20 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:25 jpds has joined #ocaml

00:26 rgrinberg has joined #ocaml

00:35 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:38 rgrinberg has joined #ocaml

00:40 zebrag has quit [Quit: Konversation terminated!]

00:56 Haudegen has quit [Ping timeout: 260 seconds]

00:59 azimut has quit [Remote host closed the connection]

00:59 azimut has joined #ocaml

01:04 mima has quit [Ping timeout: 260 seconds]

01:06 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:09 rgrinberg has joined #ocaml

01:20 waleee has quit [Ping timeout: 268 seconds]

01:22 raskol has joined #ocaml

01:28 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:43 williewillus has joined #ocaml

01:48 rgrinberg has joined #ocaml

01:55 raskol has quit [Ping timeout: 252 seconds]

02:23 chrisz has quit [Ping timeout: 268 seconds]

02:24 chrisz has joined #ocaml

02:28 azimut has quit [Remote host closed the connection]

02:30 azimut has joined #ocaml

02:42 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

02:43 terrorjack has joined #ocaml

03:33 John_Ivan has quit [Ping timeout: 268 seconds]

03:40 gopiandc1 has quit [Read error: Connection reset by peer]

03:46 gopiandc1 has joined #ocaml

03:54 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:15 trev_ has joined #ocaml

04:15 trev_ has quit [Remote host closed the connection]

04:16 trev has joined #ocaml

04:35 motherfsck has quit [Ping timeout: 252 seconds]

04:44 ansiwen has quit [Quit: ZNC 1.7.1 - https://znc.in]

04:46 ansiwen has joined #ocaml

04:49 mbuf has joined #ocaml

04:52 bartholin has joined #ocaml

04:55 motherfsck has joined #ocaml

05:00 bartholin has quit [Quit: Leaving]

05:26 motherfs1 has joined #ocaml

05:26 motherfsck has quit [Read error: Connection reset by peer]

05:38 gopiandc1 has quit [Read error: Connection reset by peer]

05:43 gopiandc1 has joined #ocaml

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

05:43 azimut has joined #ocaml

05:44 williewillus has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)]

06:21 mima has joined #ocaml

06:40 <ns12> Hello, in "let f (x : 'a) : int = x + 1", what is the terminology to describe the "'a" and "int" parts?

06:40 <ns12> Is it "type annotations" or "type constraints" or "type signature"?

06:40 <ns12> I don't think it is "type signature" because the real signature of the function is int -> int, not 'a -> int.

06:58 Serpent7776 has joined #ocaml

07:02 <sim642> The manual calls them type constraints

07:06 <ns12> sim642: Thank you. Where is it explicitly mentioned? I didn't see any explicit definition when I searched for ""type constraints" site:ocaml.org" in a search engine.

07:26 <sim642> You can grep this page: https://v2.ocaml.org/manual/expr.html

07:27 <sim642> Although it also calls them type annotations in two places

07:30 <ns12> sim642: Thank you for the information.

07:30 <ns12> What about "type signatures"? Are they the things printed when you evaluate something in the toplevel? Are they the things that you put into "mli" files?

07:31 <ns12> For example, when I enter "let f (x : 'a) : int = x + 1;;" into the OCaml toplevel, it prints "val f : int -> int = <fun>".

07:36 xgqt has quit [Quit: WeeChat 3.4.1]

07:38 xgqt has joined #ocaml

07:38 olle has joined #ocaml

07:55 gopiandc1 has quit [Read error: Connection reset by peer]

07:56 gopiandc1 has joined #ocaml

08:07 wonko has joined #ocaml

08:32 gopiandc1 has quit [Ping timeout: 252 seconds]

08:33 gopiandc1 has joined #ocaml

08:37 Haudegen has joined #ocaml

08:44 <sim642> I'd say that's just a type because it also applies to non-functions

08:46 <sim642> "Signature" would most likely be used for module types in OCaml

08:47 gopiandc1 has quit [Ping timeout: 252 seconds]

08:48 <sim642> Unless you talk about "function signatures", which could be understood to mean function types

08:48 gopiandc1 has joined #ocaml

09:05 adanwan has quit [Ping timeout: 268 seconds]

09:05 adanwan has joined #ocaml

09:06 azimut has quit [Ping timeout: 268 seconds]

09:08 jpds has quit [Ping timeout: 268 seconds]

09:08 jpds has joined #ocaml

09:15 azimut has joined #ocaml

09:23 wonko has quit [Ping timeout: 255 seconds]

09:47 azimut has quit [Remote host closed the connection]

09:48 azimut has joined #ocaml

09:51 adanwan has quit [Ping timeout: 268 seconds]

09:51 adanwan has joined #ocaml

09:52 jpds1 has joined #ocaml

09:53 jpds has quit [Ping timeout: 268 seconds]

09:54 jpds1 has quit [Remote host closed the connection]

09:55 jpds1 has joined #ocaml

09:57 jpds1 has quit [Remote host closed the connection]

09:57 jpds1 has joined #ocaml

10:01 adanwan has quit [Remote host closed the connection]

10:02 adanwan has joined #ocaml

10:06 azimut has quit [Ping timeout: 268 seconds]

10:12 gopiandc1 has quit [Ping timeout: 260 seconds]

10:13 gopiandc1 has joined #ocaml

10:20 spip has joined #ocaml

10:20 bobo_ has quit [Ping timeout: 268 seconds]

10:52 wonko has joined #ocaml

11:03 xgqt has quit [Quit: WeeChat 3.5]

11:30 wonko has quit [Ping timeout: 260 seconds]

11:43 adanwan has quit [Remote host closed the connection]

11:44 adanwan has joined #ocaml

13:12 xgqt has joined #ocaml

13:35 trev has quit [Quit: trev]

13:35 nd__ has joined #ocaml

13:54 gopiandc1 has quit [Ping timeout: 268 seconds]

13:55 gopiandc1 has joined #ocaml

14:22 John_Ivan has joined #ocaml

14:30 gopiandc1 has quit [Ping timeout: 268 seconds]

14:31 gopiandc1 has joined #ocaml

14:35 waleee has joined #ocaml

14:55 zebrag has joined #ocaml

14:57 gopiandc1 has quit [Ping timeout: 268 seconds]

14:57 gopiandc1 has joined #ocaml

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

15:02 amk has joined #ocaml

15:07 adanwan has quit [Remote host closed the connection]

15:07 adanwan has joined #ocaml

15:34 gentauro has quit [Read error: Connection reset by peer]

15:38 Serpent7776 has quit [Quit: WeeChat 1.9.1]

15:40 gentauro has joined #ocaml

15:58 gopiandc1 has quit [Ping timeout: 252 seconds]

15:59 gopiandc1 has joined #ocaml

16:19 gopiandc1 has quit [Ping timeout: 252 seconds]

16:20 gopiandc1 has joined #ocaml

16:27 rgrinberg has joined #ocaml

16:36 mbuf has quit [Quit: Leaving]

16:36 zebrag has quit [Quit: Konversation terminated!]

16:36 zebrag has joined #ocaml

16:37 klu has quit [Read error: Connection reset by peer]

16:40 klu has joined #ocaml

16:40 klu has quit [Changing host]

16:40 klu has joined #ocaml

16:48 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:52 klu has quit [Read error: Connection reset by peer]

16:55 klu has joined #ocaml

16:55 klu has quit [Changing host]

17:00 waleee has quit [Ping timeout: 248 seconds]

17:17 noonien has quit [Quit: The Lounge - https://thelounge.chat]

17:20 noonien has joined #ocaml

17:24 rgrinberg has joined #ocaml

17:51 Tuplanolla has joined #ocaml

17:54 Serpent7776 has joined #ocaml

18:42 azimut has joined #ocaml

18:44 emad has joined #ocaml

18:44 emad has quit [Remote host closed the connection]

18:48 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:06 dstein64 has quit [Read error: Connection reset by peer]

19:08 dstein64 has joined #ocaml

19:08 <olle> Can I improve the stack trace from failwith?

19:08 <olle> Using dune etc

19:09 <olle> Or from raise

19:13 omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]

19:15 waleee has joined #ocaml

20:05 <sim642> Improve in what sense?

20:06 <olle> sim642: I'm not really getting the exact location when the call is inside List.map or similar

20:10 <olle> Other question: Can I pass on a namespace variable here? `List.map infer_stmt stmts,`

20:10 <olle> infer_stmt needs to take two args: the statement to infer type of, and a namespace value :d

20:11 <olle> Oh, maybe just a new fun x -> infer_stmt x namespace :)

20:11 azimut has quit [Remote host closed the connection]

20:11 <sim642> or if you swap the arguments of infer_stmt, then you could just have: List.map (infer_stmt namespace) stmts

20:12 azimut has joined #ocaml

20:14 <olle> sim642: Yeah, but I was using `function` key word

20:14 <olle> Removed it now anyway, was weird

20:29 sagax has joined #ocaml

20:30 noonien has quit [Quit: The Lounge - https://thelounge.chat]

20:30 noonien has joined #ocaml

21:06 azimut has quit [Remote host closed the connection]

21:06 azimut has joined #ocaml

21:12 <olle> Gah

21:12 <olle> I need to coerce a GString type from glib to "string" literal type, but only when a function type expects the literal type

21:13 <olle> Can't fit it in my compiler pipeline :d

21:15 jpds1 is now known as jpds

21:15 <olle> Basically have to loop all expressions in a function call, and add a coerce operation when function type contains String_literal

21:16 <olle> Weird

21:17 <olle> Wait, this is printf...

21:17 <olle> :(

21:17 <olle> One of those moments when you have to parse a string literal inside the compiler code...?

21:22 <olle> Didn't OCaml do this hard-coded in earlier version?

21:23 <olle> https://stackoverflow.com/questions/2388959/why-doesnt-this-short-ocaml-snippet-with-printf-printf-work

21:24 Serpent7776 has quit [Quit: leaving]

21:26 <olle> There is no constructor :: within type Ast.typ

21:26 <olle> Bit cryptic, no? :)

21:45 waleee has quit [Quit: WeeChat 3.6]

21:59 azimut has quit [Remote host closed the connection]

21:59 azimut has joined #ocaml

22:03 omegatron has joined #ocaml

22:10 waleee has joined #ocaml

22:11 adanwan_ has joined #ocaml

22:11 adanwan has quit [Quit: _]

22:19 bobo_ has joined #ocaml

22:20 spip has quit [Ping timeout: 260 seconds]

22:24 gahr_ has joined #ocaml

22:25 megeve_ has joined #ocaml

22:25 andreypopp_ has joined #ocaml

22:25 micro_ has quit [Ping timeout: 240 seconds]

22:26 afrosenpai has quit [Ping timeout: 252 seconds]

22:27 John_Ivan has quit [Read error: Connection reset by peer]

22:27 John_Ivan_ has joined #ocaml

22:28 lisq has joined #ocaml

22:28 octachron_ has joined #ocaml

22:28 xgqtd has joined #ocaml

22:28 tristanC_ has joined #ocaml

22:28 thizanne` has joined #ocaml

22:31 x88x88x has joined #ocaml

22:31 olle has quit [Ping timeout: 244 seconds]

22:33 sagax has quit [*.net *.split]

22:33 xgqt has quit [*.net *.split]

22:33 octachron has quit [*.net *.split]

22:33 thizanne has quit [*.net *.split]

22:33 troydm has quit [*.net *.split]

22:33 gahr has quit [*.net *.split]

22:33 tristanC has quit [*.net *.split]

22:33 andreypopp has quit [*.net *.split]

22:33 megeve has quit [*.net *.split]

22:33 bronsen has quit [*.net *.split]

22:33 rom1504 has quit [*.net *.split]

22:33 x22x22x has quit [*.net *.split]

22:33 lisq_ has quit [*.net *.split]

22:33 megeve_ is now known as megeve

22:39 rom1504 has joined #ocaml

22:39 troydm has joined #ocaml

23:06 azimut has quit [Ping timeout: 268 seconds]

23:06 azimut has joined #ocaml

23:10 azimut has quit [Remote host closed the connection]

23:10 azimut has joined #ocaml

23:13 afrosenpai has joined #ocaml

23:18 micro has joined #ocaml

23:23 xgqtd has quit [Quit: WeeChat 3.5]

23:23 xgqt has joined #ocaml

23:28 rgrinberg has joined #ocaml

23:30 Tuplanolla has quit [Quit: Leaving.]

23:57 adanwan_ has quit [Quit: _]

23:58 adanwan has joined #ocaml