troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
samrat has joined #ocaml
Soni has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
nicoo has quit [Read error: Connection reset by peer]
nicoo has joined #ocaml
eh_eff has joined #ocaml
govg has quit [Quit: leaving]
ski has joined #ocaml
troydm has joined #ocaml
andreas__ has joined #ocaml
eh_eff has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
wklm has joined #ocaml
ShalokShalom_ has joined #ocaml
ShalokShalom has quit [Ping timeout: 240 seconds]
AlexRussia has joined #ocaml
copy_ has joined #ocaml
<rgrinberg>
Yes that's the mechanism, but it's immutable. You return a modified request/response rather than updating
<rgrinberg>
you need mutation?
eh_eff has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
nullifidian has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
nullifidian_ has joined #ocaml
eh_eff has quit [Ping timeout: 240 seconds]
Denommus has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
Denommus` has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
Denommus has quit [Ping timeout: 252 seconds]
jnavila has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
Soni has quit [Ping timeout: 260 seconds]
Soni has joined #ocaml
Denommus` has quit [Ping timeout: 252 seconds]
jao has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
Denommus has joined #ocaml
Accidus has joined #ocaml
<Accidus>
Valid error or not? "Modules do not match: sig type t end is not included in sig type t val unit : t val ( <*> ) : t -> t -> t end"
sh0t has joined #ocaml
<companion_cube>
valid error, you must implement the missing functions
eh_eff has joined #ocaml
<Accidus>
But the first signature is included in the latter signature
<Accidus>
@companion_cube , maybe the error is valid, but the error message isn't :P
<companion_cube>
ah, I see
<companion_cube>
yeah, that's unfortunate indeed
<Accidus>
It's caused by having module type FOO = sig module type BAR = sig type t end end and then having a concrete module Foo : FOO = struct module type BAR = sig type t ... end end
<Accidus>
What would break if this were to module-check?
<companion_cube>
sub modules types? no idea
<Accidus>
I mean, we have sub module types of sort anyway
mnemem_ has quit [Read error: Connection reset by peer]
mnemem_ has joined #ocaml
eh_eff has quit [Ping timeout: 255 seconds]
sh0t has quit [Ping timeout: 246 seconds]
sh0t has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
samrat has quit [Ping timeout: 240 seconds]
Accidus has quit [Ping timeout: 264 seconds]
Denommus has quit [Read error: Connection reset by peer]
Denommus has joined #ocaml
dakk_ has quit [Ping timeout: 252 seconds]
dakk has quit [Ping timeout: 248 seconds]
tautologico has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Accidus has joined #ocaml
eh_eff has joined #ocaml
jnavila has quit [Remote host closed the connection]