03:05 <discocaml> <akhilindurti> ```

03:05 <discocaml> <akhilindurti> let m1 = Hash_set.create (module String) in

03:05 <discocaml> <akhilindurti> let m2 = Hash_set.create (module String) in

03:05 <discocaml> <akhilindurti> Hash_set.union m1 m2

03:05 <discocaml> <akhilindurti> ```

03:05 <discocaml> <akhilindurti> throws `Exception: Invalid_argument "Hashtbl.merge: different 'hashable' values".`

16:13 <neiluj> hi! is there a pipe keyword that acts as a private constructor for a type?

16:13 <neiluj> sorry that's vague

16:14 <neiluj> like instead of having `private type t = T of int`

16:25 <discocaml> <Kali> no, and that's not how you write private types anyway

16:25 <discocaml> <Kali> `type t = private T of int`

16:26 <discocaml> <Kali> if you want a `int -> t` function, you must write one yourself

16:26 <discocaml> <Kali> unless i misunderstood your question

19:39 <discocaml> <akhilindurti> is there an equivalent of `if let PATTERN = expr`?

20:00 <src> I'm trying to figure out this bit https://paste.sr.ht/~sintheta/9be6104bb549fb473c206e81eb4a2754f6483338 from https://cs3110.github.io/textbook/chapters/data/exceptions.html#exception-semantics ;;; "that packet propagates until it reaches a try expression" I don't get it... wouldn't the exception be thrown in the very try block, what does "propagate" mean in this context? Can maybe someone come up with a short

20:00 <src> illustration in code of what is meant here?

20:03 <discocaml> <Kali> well, in this case, yes

20:03 <discocaml> <Kali> it would just be immediately caught

20:04 <discocaml> <Kali> but you could have a try-catch around several layers of function calls, and it would travel up the callstack till it reached the try-catch

20:07 <octachron_> It depends on the perspective, in "let send () = raise E", the exception will propagate until it reaches an exception handler.

20:09 <octachron_> Conversely , within "try f () with ..." when the handler receive an exception, it only know that the exception was raised somewhere in the callgraph of `f` (leaving asynchronous exceptions aside).

20:25 <src> is this illustrating the point?

20:25 <src> https://paste.sr.ht/~sintheta/08fe5dc46d54e156815873aad16e64e0821c10a6

20:26 <src> this is basically what is meant?

20:33 <discocaml> <.tibo.> yes

20:59 <src> alright, thanks

20:59 <src> it's no different from C++ in that respect which I've dabbled w/

21:00 <src> still the exact phrasing threw me off

21:00 <src> (thanks to all who chipped in)