<kleisli_>
is there a way to open specific values from a module?
<kleisli_>
like `import Mod (x, y)` in haskell
toppler has quit [Ping timeout: 265 seconds]
warriors has quit [Quit: Connection closed for inactivity]
toppler has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
dogui has quit [Ping timeout: 264 seconds]
dogui has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian has joined #ocaml
smazga has joined #ocaml
warriors has joined #ocaml
smazga has quit [Ping timeout: 252 seconds]
toppler has quit [Ping timeout: 252 seconds]
mfp has quit [Ping timeout: 276 seconds]
toppler has joined #ocaml
dmbaturin has quit [Ping timeout: 245 seconds]
dmbaturin has joined #ocaml
Guest67671 has left #ocaml [#ocaml]
kandu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 268 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
KeyJoo has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 268 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
vicfred has joined #ocaml
smazga has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
smazga has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
smazga has joined #ocaml
smazga has quit [Ping timeout: 276 seconds]
toppler has quit [Ping timeout: 246 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
gravicappa has joined #ocaml
bitwinery has quit [Quit: Leaving]
narimiran has joined #ocaml
cgenie[m] has joined #ocaml
toppler has quit [Ping timeout: 246 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 264 seconds]
toppler has joined #ocaml
smazga has joined #ocaml
mbuf has joined #ocaml
smazga has quit [Ping timeout: 268 seconds]
warriors has quit [Quit: Connection closed for inactivity]
bartholin has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
<Leonidas>
no
ggole has joined #ocaml
smazga has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
smazga has quit [Ping timeout: 264 seconds]
toppler has joined #ocaml
Haudegen has joined #ocaml
malina has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jaar_ has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
<def`>
an alternative: let (x, y) = Mod.(x, y) (* it reexports the value so this is not strictly equivalent *)
brillenfux has joined #ocaml
jao has joined #ocaml
toppler has quit [Ping timeout: 246 seconds]
toppler has joined #ocaml
jao has quit [Ping timeout: 265 seconds]
dhil has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
brillenfux has quit [Remote host closed the connection]
traviss has quit [Quit: Leaving]
toppler has joined #ocaml
smazga has joined #ocaml
smazga has quit [Ping timeout: 268 seconds]
gareppa has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
mfp has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 246 seconds]
h116 has joined #ocaml
h11 has quit [Ping timeout: 265 seconds]
toppler has quit [Ping timeout: 264 seconds]
toppler has joined #ocaml
nullifidian_ is now known as nullifidian
neiluj has joined #ocaml
neiluj has quit [Quit: neiluj]
Serpent7776 has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 265 seconds]
Serpent7776 has joined #ocaml
kleisli_ has quit [Ping timeout: 245 seconds]
kleisli_ has joined #ocaml
toppler has joined #ocaml
gareppa has quit [Quit: Leaving]
jaar_ has quit [Ping timeout: 276 seconds]
toppler has quit [Ping timeout: 245 seconds]
smazga has joined #ocaml
toppler has joined #ocaml
smazga has quit [Ping timeout: 240 seconds]
vicfred has quit [Quit: Leaving]
kleisli_ has quit [Ping timeout: 268 seconds]
neiluj has joined #ocaml
mbuf has quit [Quit: Leaving]
jaar_ has joined #ocaml
neiluj has quit [Remote host closed the connection]
neiluj has joined #ocaml
toppler has quit [Ping timeout: 264 seconds]
toppler has joined #ocaml
neiluj has quit [Remote host closed the connection]
neiluj has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
Haudegen has quit [Quit: Bin weg.]
neiluj has quit [Remote host closed the connection]
neiluj has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
<hannes>
for a given OCaml branch / release, should a "make test" on any platform lead to no failures? (I guess skipped tests are ok, but for 4.10 there's a failure with output-complete-object and FreeBSD-12 (using clang 8.0.1)) -- is that worth to report?
neiluj has quit [Ping timeout: 246 seconds]
neiluj has joined #ocaml
<octachron>
hannes, tests should not yield any failures on Tier 1 platforms (which includes FreeBSD). It is thus worth reporting
neiluj has quit [Remote host closed the connection]
neiluj has joined #ocaml
spew has joined #ocaml
<hannes>
octachron: thanks. I am not sure whether it is an issue with FreeBSD-12.0-RELEASE, but it is with FreeBSD-12.1-RC1 (that updated clang from 8.0.0 to 8.0.1). I'll find the output again and open an issue.
neiluj has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
jbrown has joined #ocaml
Haudegen has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
prsafont[m] has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
smazga has joined #ocaml
keep_learning has joined #ocaml
smazga has quit [Ping timeout: 268 seconds]
narimiran has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
dhil has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
kleisli has joined #ocaml
gareppa has joined #ocaml
mfp has quit [Ping timeout: 264 seconds]
warriors has joined #ocaml
<Nikkel>
I'm using atd and atdgen to pass some json back and forth between and ocsigen app and a server. I'm sending a foo list, so naturally I'm using an atd generated function to deserialize the foo list
<Nikkel>
some of the foos might be malformed, but I'm not sure how I can get a meaningful exception from atd in this case.
<Nikkel>
Is it possible to fold over the foo list instead of trying to make atd do it all at once?
<companion_cube>
it's a weird definition, I must say
<thizanne>
cemerick: note that is works without polymorphic variants, if that's an option for you
<ggole>
That is one unhelpful error message, even by OCaml standards
<companion_cube>
that's also one weird type, even by OCaml standards :D
<octachron>
it is a regularity test getting awry.
<cemerick>
companion_cube: just a minimal example, detatched from reality / use case
<octachron>
It is a trying to prevent: type 'a k = [ `Tuple of ('a * 'a) k | `Nil]
<companion_cube>
cemerick: even then :/
<octachron>
and it doesn't see that inlining fn would avoid the whole issue.
<companion_cube>
you can have `('a, k') fn` first
<companion_cube>
and then recurse through `(string, k) fn`
<companion_cube>
`('a, 'k) fn`
<cemerick>
basically, I have a set of incremental computations that could be modeled as yielding continuations, but I want to be able to easily inspect the intermediate states, thus `k`
<cemerick>
the `bool` return is actually `k Signal.t`, where signal indicates success, failure, or a still-indeterminate result
<cemerick>
thizanne: not sure, but I will see if that's possible
<ggole>
type k = [ `A of int | `B of string | `Ks of workaround ] and 'a fn = 'a -> k -> bool and workaround = W of (string fn * k) list [@@unboxed]
<ggole>
Or something like that, maybe
<companion_cube>
I stand by my polymorphism trick, sorry :p
toppler has quit [Ping timeout: 265 seconds]
<cemerick>
ggole: ok, so guarding that kind of type with any regular variant will short-circuit the problem
<cemerick>
companion_cube: I couldn't actually parse your suggestion above, sorry?
<companion_cube>
type ('a, 'k) fn = 'a -> 'k -> bool
<companion_cube>
then you can use `(string, k) fn` in your variant
<cemerick>
oh, I see
<cemerick>
eh, I really don't want fn that open, the set described by k is actually closed in principal, so just making it a regular variant should be the straightforward fix
<cemerick>
octachron: is this worth filing as a "bug"?
toppler has joined #ocaml
<octachron>
It seems like a good idea. At the very least, I will improve the error message for 4.11 .