Frostillicus has quit [Read error: Connection reset by peer]
humasect has quit [Remote host closed the connection]
<discocaml>
<sim642> Is there a way to specialize `Hashtbl.S` with a specific key and value type, such that the resulting signature is like `sig type t val find: t -> Key.t -> Value.t (* ... *) end`?
<discocaml>
<sim642> `sig type t include BatHashtbl.S with type 'a t := t end` only goes half-way and gives `val find: t -> Key.t -> 'a` where the result is still polymorphic, which is nonsense
<discocaml>
<octachron> The signature of `Hashtbl.S` is not general enough for that. You will need a signature with a `'a elt` element and function types looking like `val find: 'a t -> Key.t -> 'a elt`.
Frostillicus has joined #ocaml
euphores has joined #ocaml
inline_ has joined #ocaml
inline has quit [Ping timeout: 248 seconds]
LainIwakura has joined #ocaml
euphores has quit [Quit: Leaving.]
euphores has joined #ocaml
Anarchos has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
LainIwakura has quit [Quit: Client closed]
LainIwakura has joined #ocaml
humasect has joined #ocaml
LainIwakura has quit [Quit: Client closed]
LainIwakura has joined #ocaml
Serpent7776 has joined #ocaml
sailorTheCat has quit [Quit: ZNC 1.8.2 - https://znc.in]
sailorTheCat has joined #ocaml
sailorTheCat has quit [Quit: ZNC 1.8.2 - https://znc.in]
sailorTheCat has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
sailorTheCat has quit [Quit: ZNC 1.8.2 - https://znc.in]
Frostillicus has joined #ocaml
sailorTheCat has joined #ocaml
sailorTheCat has quit [Client Quit]
euphores has quit [Ping timeout: 245 seconds]
Frostillicus has quit [Read error: Connection reset by peer]
Haudegen has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
sailorCa- has joined #ocaml
Serpent7776 has quit [Ping timeout: 252 seconds]
johnridesabike has quit [Quit: johnridesabike]
<discocaml>
<shalokshalom> It helps when you have this extension installed, maybe
<discocaml>
<shalokshalom> I set it to cursor, so once my cursor is over a ligature, it "disassembles", so you can see the real characters
<discocaml>
<shalokshalom> Ideal to check, if you are not sure about some composition.
LainIwakura has quit [Quit: Client closed]
humasect has quit [Ping timeout: 276 seconds]
<discocaml>
<shadowkestrel> i use foot nowadays, which doesnt support ligatures anyway
<discocaml>
<shadowkestrel> but back when i did use them i didn't have any way to disable them per-context and i found them more hassle than it was worth