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

2024-05-29 14:49 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

01:01 Tuplanolla has quit [Quit: Leaving.]

01:09 nvaxplus has joined #ocaml

01:10 nvaxplus has quit [Client Quit]

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

02:51 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

03:01 hsw has joined #ocaml

03:34 szkl has joined #ocaml

07:30 emp has quit [Quit: ZNC 1.8.2 - https://znc.in]

08:25 germ- has quit [Ping timeout: 244 seconds]

08:27 germ has joined #ocaml

08:28 bartholin has joined #ocaml

08:40 germ has quit [Read error: Connection reset by peer]

08:41 germ- has joined #ocaml

10:04 octachron has quit [Quit: ZNC 1.8.2 - https://znc.in]

10:07 octachron has joined #ocaml

10:08 Tuplanolla has joined #ocaml

10:17 YuGiOhJCJ has joined #ocaml

10:36 accordvenom has quit [Ping timeout: 265 seconds]

10:38 accordvenom has joined #ocaml

10:47 patrick_ is now known as patrick

10:57 patrick has quit [Changing host]

10:57 patrick_ has joined #ocaml

11:13 <discocaml_> <wiss94> Hello, I have a module graph with a node that is a abstract type but I want it to be a real type : float * float * bool but I don't how to make it.

11:13 <discocaml_> <wiss94>

11:13 <discocaml_> <wiss94> Thanks for help

11:13 <discocaml_> <wiss94> ```

11:13 <discocaml_> <wiss94> module type Graph =

11:13 <discocaml_> <wiss94> sig

11:13 <discocaml_> <wiss94> type node

11:13 <discocaml_> <wiss94> module NodeSet : Set.S with type elt = node

11:13 <discocaml_> <wiss94> type graph

11:13 <discocaml_> <wiss94> val empty : graph

11:13 <discocaml_> <wiss94> val is_empty : graph -> bool

11:13 <discocaml_> <wiss94> val add_node : node -> graph -> graph

11:13 <discocaml_> <wiss94> val add_edge : node -> node -> graph -> graph

11:13 <discocaml_> <wiss94> val succs : node -> graph -> NodeSet.t

11:13 <discocaml_> <wiss94> val mem_node : node -> graph -> bool

11:13 <discocaml_> <wiss94> val mem_edge : node -> node -> graph -> bool

11:13 <discocaml_> <wiss94> val remove_node : node -> graph -> graph

11:13 <discocaml_> <wiss94> val remove_edge : node -> node -> graph -> graph

11:13 <discocaml_> <wiss94> val fold_node : (node -> 'a -> 'a) -> graph -> 'a -> 'a

11:13 <discocaml_> <wiss94> val fold_edge : (node -> node -> 'a -> 'a) -> graph -> 'a -> 'a

11:13 <discocaml_> <wiss94> end

11:13 <discocaml_> <wiss94>

11:13 <discocaml_> <wiss94> module MakeGraph(N:Set.OrderedType) : Graph with type node = N.t

11:13 <discocaml_> <wiss94> ```

11:13 <discocaml_> <wiss94> module type Graph =

11:14 <discocaml_> <wiss94> sig

11:14 <discocaml_> <wiss94> type node

11:14 <discocaml_> <wiss94> module NodeSet : Set.S with type elt = node

11:14 <discocaml_> <wiss94> type graph

11:14 <discocaml_> <wiss94> val empty : graph

11:14 <discocaml_> <wiss94> val is_empty : graph -> bool

11:14 <discocaml_> <wiss94> val add_node : node -> graph -> graph

11:14 <discocaml_> <wiss94> val add_edge : node -> node -> graph -> graph

11:14 <discocaml_> <wiss94> val succs : node -> graph -> NodeSet.t

11:14 <discocaml_> <wiss94> val mem_node : node -> graph -> bool

11:14 <discocaml_> <wiss94> val mem_edge : node -> node -> graph -> bool

11:14 <discocaml_> <wiss94> val remove_node : node -> graph -> graph

11:14 <discocaml_> <wiss94> val remove_edge : node -> node -> graph -> graph

11:14 <discocaml_> <wiss94> val fold_node : (node -> 'a -> 'a) -> graph -> 'a -> 'a

11:14 <discocaml_> <wiss94> val fold_edge : (node -> node -> 'a -> 'a) -> graph -> 'a -> 'a

11:14 <discocaml_> <wiss94> end

11:14 <discocaml_> <wiss94>

11:14 <discocaml_> <wiss94> module MakeGraph(N:Set.OrderedType) =

11:14 <discocaml_> <wiss94> struct

11:14 <discocaml_> <wiss94> type node = N.t

11:14 <discocaml_> <wiss94> module NodeSet = Set.Make(N)

11:14 <discocaml_> <wiss94> module NodeMap = Map.Make(N)

11:14 <discocaml_> <wiss94> type graph = NodeSet.t NodeMap.t

11:14 <discocaml_> <wiss94>

11:14 <discocaml_> <wiss94> let empty = NodeMap.empty;;

11:55 adrien has quit [Ping timeout: 265 seconds]

11:55 adrien has joined #ocaml

12:04 reynir has quit [Quit: WeeChat 3.0]

12:07 adrien has quit [Ping timeout: 260 seconds]

12:07 adrien has joined #ocaml

12:19 semarie has quit [Quit: quit]

12:23 semarie has joined #ocaml

12:44 Haudegen has joined #ocaml

13:27 emp has joined #ocaml

14:03 rgrinberg has joined #ocaml

14:05 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

14:16 Mister_Magister has quit [Ping timeout: 244 seconds]

14:17 Mister_Magister has joined #ocaml

14:41 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

14:42 rgrinberg has joined #ocaml

14:45 <discocaml_> <yawaramin> answered in #beginners

14:50 masterbuilder has quit [Remote host closed the connection]

14:52 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

15:00 rgrinberg has joined #ocaml

15:00 mbuf has joined #ocaml

15:04 tomku has quit [Ping timeout: 252 seconds]

15:05 Mister_Magister_ has joined #ocaml

15:06 Mister_Magister has quit [Ping timeout: 244 seconds]

15:08 Mister_Magister_ is now known as Mister_Magister

15:21 <discocaml_> <marisakirisame> I want to steal a bit off ocaml's int63 for my tagging purpose. should i steal the leftmost or the rightmost bit (to minimize conversion between the two int, and getting the tag)?

15:41 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

16:13 <discocaml_> <Kali> please don't paste code blocks in this channel, because it is bridged to IRC which must send each newline as an individual message

16:17 rgrinberg has joined #ocaml

16:23 ygrek has joined #ocaml

17:43 euphores has quit [Quit: Leaving.]

18:16 euphores has joined #ocaml

18:24 alfiee has quit [Ping timeout: 252 seconds]

18:26 alfiee has joined #ocaml

18:31 mbuf has quit [Quit: Leaving]

18:32 ionut_f has joined #ocaml

19:00 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

19:27 mro has joined #ocaml

19:36 ygrek has quit [Remote host closed the connection]

19:50 rgrinberg has joined #ocaml

20:02 mro has quit [Ping timeout: 252 seconds]

20:23 ionut_f has quit [Remote host closed the connection]

20:42 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

21:04 rgrinberg has joined #ocaml

22:12 bartholin has quit [Quit: Leaving]

22:40 dh` has joined #ocaml

22:45 accordvenom has quit [Quit: leaving]

22:46 Everything has joined #ocaml

23:28 Haudegen has quit [Quit: Bin weg.]

23:44 <discocaml_> <poselsky> Is it possible to run `dune utop` with native code instead of bytecode? I'm having some issues with bytecode and dynlinked libs on windows.

23:45 Everything has quit [Quit: leaving]

23:57 <discocaml_> <poselsky> Oh no. I found this. https://dune.readthedocs.io/en/latest/quick-start.html#building-a-custom-toplevel `Moreover, currently toplevels can only be built in bytecode.`