Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
amiloradovsky has quit [Ping timeout: 240 seconds]
a-kiwi has joined #ocaml
hnOsmium0001 has quit [Ping timeout: 240 seconds]
Tuplanolla has quit [Ping timeout: 264 seconds]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
hnOsmium0001 has joined #ocaml
Haudegen has joined #ocaml
sm2n has quit [Remote host closed the connection]
sm2n has joined #ocaml
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
shawnw has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
mxns has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
f[x] has joined #ocaml
nullcone has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
osa1_ is now known as osa1
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
borne has quit [Ping timeout: 260 seconds]
borne has joined #ocaml
ggole has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
f[x] has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
a-kiwi has quit [Quit: Connection closed]
narimiran has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
vicfred_ has joined #ocaml
vicfred has quit [Ping timeout: 265 seconds]
<reynir>
Hm, I saw an opam file with {os-distribution = "ol"} and now I'm wondering what distro 'ol' is
borne has quit [Ping timeout: 264 seconds]
Serpent7776 has joined #ocaml
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
<d_bot>
<undu> The good ol distro
<reynir>
:D
<reynir>
(I think it's Oracle Linux fwiw)
mbuf has joined #ocaml
borne has joined #ocaml
osa1_ has quit [Quit: osa1_]
TheLemonMan has joined #ocaml
mbuf has quit [Ping timeout: 240 seconds]
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
Haudegen has joined #ocaml
osa1 has joined #ocaml
steenuil has joined #ocaml
olle has joined #ocaml
TheLemonMan has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
hannes__ is now known as hannes
TheLemonMan has joined #ocaml
<d_bot>
<Kate> yes it is
bartholin has joined #ocaml
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 260 seconds]
TheLemonMan has quit [Ping timeout: 256 seconds]
TheLemonMan has joined #ocaml
TheLemonMan has quit [Client Quit]
mfp has joined #ocaml
FreeBirdLjj has joined #ocaml
osa1_ has quit [Quit: osa1_]
osa1 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
TC01 has quit [Ping timeout: 260 seconds]
hlisp has joined #ocaml
hlisp has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
MohammadMohammad has joined #ocaml
MohammadMohammad is now known as mmohammadi9812
mbuf has quit [Ping timeout: 240 seconds]
waleee-cl has joined #ocaml
zebrag has joined #ocaml
vicfred_ has quit [Quit: Leaving]
vicfred has joined #ocaml
TheLemonMan has joined #ocaml
vicfred has quit [Quit: Leaving]
Haudegen has joined #ocaml
neiluj has joined #ocaml
neiluj has joined #ocaml
infinity0 has joined #ocaml
TC01 has joined #ocaml
TC01 has quit [Client Quit]
FreeBirdLjj has joined #ocaml
TC01 has joined #ocaml
gareppa has joined #ocaml
raver has quit [Read error: Connection reset by peer]
borne has quit [Ping timeout: 240 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
borne has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
gareppa has quit [Quit: Leaving]
<cemerick>
I have a module that operates over a polymorphic type. Is there a way to coerce that that module so I have a another that operates over a subset of the original's domain?
<cemerick>
e.g. if you have a `Set.S with type elt = [ \`Int of int | \`String of string ]`, can you easily get a `Set.S with type elt = [ \`Int of int ]`
<cemerick>
I thought of various ways, including coercing the original module as a value, but to no avail
<cemerick>
gah, backticks :-(
hnOsmium0001 has joined #ocaml
<Drup>
No, because it's not sound
<Drup>
Consider `sig type t = [ `Foo | `Bar ] val x : t end`, imagine what happens if you reduce the range of the type `t` and try to pattern match x.
<octachron>
or for set the implementation of add in the first module could always add `` `B `` to the set for any input.