companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
borne has quit [Ping timeout: 240 seconds]
dckc has quit [Ping timeout: 260 seconds]
dckc has joined #ocaml
borne has joined #ocaml
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.
Haudegen has quit [Quit: Bin weg.]
dan64- has quit [Quit: ZNC - http://znc.in]
dan64 has joined #ocaml
olle has quit [Ping timeout: 260 seconds]
a-kiwi has joined #ocaml
* cemerick facepalms
<cemerick> thanks
hlisp has joined #ocaml
bartholin has quit [Quit: Leaving]
hlisp has quit [Ping timeout: 240 seconds]
<def> but if you have a safe subset, private rows can solve some of the cases
mg_ has quit [Quit: ny kjerne]
hlisp has joined #ocaml
nullcone has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
<cemerick> I don't control the definitions of the modules in question, so I think that's off the table
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Haudegen has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
Tuplanolla has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 265 seconds]
webshinra_ is now known as webshinra
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 264 seconds]
berberman_ has joined #ocaml
berberman has quit [Ping timeout: 260 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
amiloradovsky has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 246 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
hlisp has joined #ocaml
aaaaaa has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 265 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
ggole has quit [Quit: Leaving]
hlisp has joined #ocaml
mxns has quit [Ping timeout: 246 seconds]
hlisp has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
hlisp has joined #ocaml
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
vicfred has joined #ocaml
hlisp has joined #ocaml
seastack has quit [Remote host closed the connection]
mxns has joined #ocaml
hlisp has quit [Ping timeout: 272 seconds]
mxns has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
tane has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
borne has quit [Ping timeout: 264 seconds]
xandkar has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
hlisp has joined #ocaml
a-kiwi has quit [Quit: Connection closed]
hlisp has quit [Ping timeout: 260 seconds]
osa1 has quit [Remote host closed the connection]
osa1 has joined #ocaml
borne has joined #ocaml
hlisp has joined #ocaml
xenu has quit [Ping timeout: 256 seconds]
hlisp has quit [Ping timeout: 260 seconds]
xenu has joined #ocaml
FreeBirdLjj has joined #ocaml
mal`` has quit [Quit: Leaving]
mal`` has joined #ocaml
xenu has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
narimiran has quit [Ping timeout: 240 seconds]
xenu has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
amiloradovsky has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Ping timeout: 265 seconds]
FreeBirdLjj has joined #ocaml
sspi__ has quit [Ping timeout: 260 seconds]
sspi__ has joined #ocaml
smazga has joined #ocaml
caasih has quit [Ping timeout: 260 seconds]
cemerick has quit [Ping timeout: 260 seconds]
caasih has joined #ocaml
adi_________ has quit [Ping timeout: 260 seconds]
metadave has quit [Ping timeout: 260 seconds]
metadave has joined #ocaml
cemerick has joined #ocaml
adi_________ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
mxns has joined #ocaml
FreeBirdLjj has joined #ocaml
mxns has quit [Client Quit]
mxns has joined #ocaml
hlisp has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
oni-on-ion has joined #ocaml
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
hlisp has quit [Ping timeout: 265 seconds]
mxns has joined #ocaml
hlisp has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
aaaaaa has quit [Quit: leaving]
neiluj has quit [Ping timeout: 265 seconds]
hlisp has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
hlisp has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
olle has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 272 seconds]