adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
mal`` has quit [Quit: Leaving]
mal`` has joined #ocaml
kvda has joined #ocaml
<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?
Vikfret has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
dhil has joined #ocaml
smazga has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
<cemerick> any idea about why the compiler is demanding that I parameterize `k` here? https://gist.github.com/cemerick/963cd25e3a4d339a4fd4989385ee0639
gareppa has quit [Quit: Leaving]
<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 .
<cemerick> filed here, for those following along https://github.com/ocaml/ocaml/issues/9069
jaar_ has quit [Ping timeout: 240 seconds]
<cemerick> thizanne: switching away from poly variants there did indeed work just fine in my case, thanks very much
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
jbrown has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
narimiran has joined #ocaml
bitwinery has joined #ocaml
jbrown has joined #ocaml
kleisli has quit [Ping timeout: 268 seconds]
toppler has quit [Ping timeout: 268 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
kleisli has joined #ocaml
Serpent7776 has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
mfp has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
toppler has joined #ocaml
ggole has quit [Quit: Leaving]
dhil has quit [Ping timeout: 264 seconds]
toppler has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
toppler has joined #ocaml
Jesin has quit [Quit: Leaving]
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 265 seconds]
kleisli has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
dhil has quit [Ping timeout: 252 seconds]
toppler has joined #ocaml
Jesin has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
kleisli has joined #ocaml
jbrown has joined #ocaml
bartholin has joined #ocaml
toppler has quit [Ping timeout: 264 seconds]
toppler has joined #ocaml
gravicappa has quit [Ping timeout: 246 seconds]
narimiran has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 264 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
Serpent7776 has quit [Quit: leaving]
kleisli has quit [Ping timeout: 246 seconds]
traviss has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
kleisli has joined #ocaml
jao has joined #ocaml
haskell_enthusia has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 265 seconds]
Skaterhaym has joined #ocaml
bitwinery has quit [Remote host closed the connection]
toppler has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 240 seconds]
Skaterhaym has quit [Quit: Leaving]
smazga has quit [Quit: leaving]
tane has quit [Quit: Leaving]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
Vikfret has quit [Quit: Leaving]
kakadu has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
zmt01 has quit [Read error: Connection reset by peer]
zmt01 has joined #ocaml
kvda has joined #ocaml
warriors has quit [Quit: Connection closed for inactivity]
kleisli has quit [Ping timeout: 265 seconds]
toppler has quit [Ping timeout: 268 seconds]
spew has quit [Quit: Connection closed for inactivity]
toppler has joined #ocaml
kleisli has joined #ocaml