adanwan_ has quit [Remote host closed the connection]
adanwan has joined #ocaml
Haudegen has joined #ocaml
Sankalp has quit [Ping timeout: 276 seconds]
trev has joined #ocaml
Sankalp has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
spip has joined #ocaml
Sankalp has quit [Ping timeout: 246 seconds]
Sankalp has joined #ocaml
gahr has quit [Remote host closed the connection]
gahr has joined #ocaml
gopiandcode has quit [Ping timeout: 276 seconds]
gopiandcode has joined #ocaml
mro has joined #ocaml
gravicappa has joined #ocaml
azimut has quit [Ping timeout: 240 seconds]
mro has quit [Remote host closed the connection]
<d_bot>
<Bluddy> I'm trying to use `Hashtbl.find` on a `Hashtbl.t` that maps polymorphic variants `['A| 'B| 'C| 'D]` to other things. When I call `find`, I do so with values of type `['A | 'B]` and the compiler complains. What's missing to make it work?
<d_bot>
<NULL> ``f (a :> [`A | `B | `C | `D])`` works but I don't know why it's not done implicitly
<d_bot>
<Bluddy> thanks! I wonder if there's some variance annotation missing.
<d_bot>
<geoff> > The > and < inside the variant types show that they may still be refined, either by defining more tags or by allowing less.
<d_bot>
<geoff> I'd think a `<` in the type of the hashtbl would do it wouldn't it?
<d_bot>
<Bluddy> the Hashtbl.t doesn't seem to accept subtyping
mro has joined #ocaml
<d_bot>
<octachron> @NULL : decidable and principal subtyping inference is far from trivial.
olle has joined #ocaml
DNH has joined #ocaml
mro has quit [Ping timeout: 244 seconds]
<d_bot>
<NULL> Is there a reason why `[ .. ]` is not immediately replaced with `[< ..]` on the left of an arrow ?
<d_bot>
<dinosaure> because for `'a -> 'b`, '`a` is contravariant
<d_bot>
<dinosaure> I will let @octachron to respond, he is better than me 🙂
<d_bot>
<octachron> Because the types are different and there are contexts where a `[< ...] -> ...` type is not a valid whereas `[ ... ] -> ...` is.
<d_bot>
<NULL> What kinds of things may cause this ?
<d_bot>
<octachron> `let r = ref f` ?
<d_bot>
<octachron> Or any context where you cannot have a free type variable.
<d_bot>
<NULL> So that won't work. Why does `(f : a -> b) (e : t)` require `t : a` instead of the more relaxed `t :> a` ? That would do here. I imagine the answer comes back to the decidability of typing with this rule, but I don't see immediately where the problem would arise
mro has joined #ocaml
bartholin has joined #ocaml
wingsorc__ has quit [Quit: Leaving]
mro has quit [Remote host closed the connection]
Sankalp has quit [Ping timeout: 255 seconds]
gravicappa has quit [Ping timeout: 272 seconds]
Haudegen has quit [Quit: Bin weg.]
omegatron has joined #ocaml
gravicappa has joined #ocaml
rgrinberg has joined #ocaml
Haudegen has joined #ocaml
Sankalp has joined #ocaml
mro has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
olle has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
xgqt has quit [Ping timeout: 256 seconds]
xgqt has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 246 seconds]
waleee has joined #ocaml
mro has quit [Remote host closed the connection]
cdman has joined #ocaml
vicfred has joined #ocaml
mro has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
cdman has left #ocaml [Leaving]
mro has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
mro has joined #ocaml
DNH has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 248 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Tuplanolla has joined #ocaml
chrisz has quit [Ping timeout: 248 seconds]
chrisz has joined #ocaml
DNH has joined #ocaml
mro has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
azimut has joined #ocaml
recherche has joined #ocaml
daimrod2 has quit [Quit: WeeChat 2.9]
recherche has quit [Quit: Client closed]
bartholin has quit [Quit: Leaving]
mro has joined #ocaml
daimrod has joined #ocaml
chrisz has quit [Ping timeout: 240 seconds]
chrisz has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
mro has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
mro has joined #ocaml
Anarchos has joined #ocaml
raskol has joined #ocaml
olle has joined #ocaml
mro has quit [Remote host closed the connection]
trev has quit [Quit: trev]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
raskol has quit [Ping timeout: 248 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
waleee has quit [Ping timeout: 248 seconds]
vicfred has quit [Ping timeout: 256 seconds]
waleee has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
gravicappa has quit [Ping timeout: 276 seconds]
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
raskol has joined #ocaml
waleee has quit [Ping timeout: 258 seconds]
waleee has joined #ocaml
waleee has quit [Ping timeout: 255 seconds]
olle has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
DNH has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]