adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
mfp has quit [Ping timeout: 258 seconds]
Jeanne-Kamikaze has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 245 seconds]
n0v4 has joined #ocaml
malina has quit [Remote host closed the connection]
rwmjones has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rwmjones has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
gravicappa has joined #ocaml
lalitmee has joined #ocaml
_13h has joined #ocaml
sagax has quit [Ping timeout: 245 seconds]
Jeanne-Kamikaze has quit [Ping timeout: 246 seconds]
sagax has joined #ocaml
Vikfret_ has joined #ocaml
Vikfret has quit [Ping timeout: 245 seconds]
Vikfret has joined #ocaml
Vikfret has quit [Client Quit]
Vikfret_ has quit [Ping timeout: 245 seconds]
narimiran has joined #ocaml
Vikfret has joined #ocaml
Serpent7776 has joined #ocaml
Haudegen has joined #ocaml
ggole has joined #ocaml
vicfred has joined #ocaml
lalitmee has quit [Ping timeout: 258 seconds]
gravicappa has quit [Ping timeout: 268 seconds]
gravicappa has joined #ocaml
clog has quit [Ping timeout: 244 seconds]
lalitmee has joined #ocaml
zolk3ri has joined #ocaml
mfp has joined #ocaml
bartholin has quit [Remote host closed the connection]
vicfred has quit [Quit: Leaving]
Vikfret has quit [Quit: Leaving]
clog has joined #ocaml
sagax has quit [Remote host closed the connection]
lalitmee has quit [Remote host closed the connection]
lalitmee has joined #ocaml
lalitmee has quit [Remote host closed the connection]
_13h has left #ocaml [#ocaml]
lalitmee has joined #ocaml
lalitmee has quit [Max SendQ exceeded]
lalitmee has joined #ocaml
Nikkel has quit [Ping timeout: 250 seconds]
al-damiri has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
vyorkin has joined #ocaml
Nikkel has joined #ocaml
laudecay has joined #ocaml
laudecay is now known as Guest69107
Haudegen has joined #ocaml
wilfredh has joined #ocaml
lalitmee has quit [Read error: Connection reset by peer]
Guest69107 has quit [Changing host]
Guest69107 has joined #ocaml
Guest69107 is now known as laudecay
letoh has joined #ocaml
liberiga has joined #ocaml
spew has joined #ocaml
nahra has quit [Quit: ERC (IRC client for Emacs 25.1.1)]
pino|work has quit [Quit: brb]
pino|work has joined #ocaml
n0v4 has quit [Quit: Leaving]
ziyourenxiang_ has joined #ocaml
ziyourenxiang has quit [Read error: Connection reset by peer]
malina has joined #ocaml
Guest77422 has joined #ocaml
Guest77422 has quit [Remote host closed the connection]
jao- has joined #ocaml
<laudecay> hey has anyone ever seen File: _none_ errors coming from ocaml-cstruct ppx? it's just the Stdlib.Pervasives deprecated error but i cannot figure out where it is coming from
<laudecay> literally zero other info besides that :/
<laudecay> like this is the errors https://hastebin.com/upigekudof.sql- the type t is defined as a cstruct right above it
<Armael> it's probably because the ppx is emitting code with crap locations
<Armael> (eg Location.none)
<Armael> and the code that it emits triggers the deprecation warning
<laudecay> interesting
<laudecay> it goes away when i take out my cenum declarations, btw
<laudecay> like this is my declaration https://hastebin.com/akumimejun.json
<laudecay> er, one of them
<Armael> the ppx is probably emitting code containing "Pervasives.something" and this is getting deprecated in 4.08
<laudecay> is there anything visibly wrong w this? like i feel like i'm missing something?
<laudecay> but it's ppx_cstruct, that's pretty well-maintained right?
<Armael> so in the short term you can silence the warning, and submit an issue to the ppx
<Armael> idk
<laudecay> tru ok
<laudecay> thanks
<Armael> I'm just speculating
<laudecay> fair you know better than me lol
<laudecay> i've been doing this for like 2 months so idk what's going on @ all
<laudecay> mm i'm upgrading thru opam and getting a new version of cstruct- fingers crossed
Serpent7776 has quit [Quit: leaving]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
ravenous_ has quit [Read error: Connection reset by peer]
stux|RC-- has quit [Quit: Aloha!]
ravenous_ has joined #ocaml
stux|RC-only has joined #ocaml
sagax has joined #ocaml
mk__ has joined #ocaml
<mk__> there are multiple modules in /lib directory including utils.ml, and they all use some functions in utils.ml. Building with dune, it complaints Unbound Module Utils. How can I let them know where the Utils module is?
SrPx_ has quit []
SrPx_ has joined #ocaml
SrPx_ is now known as SrPx
<laudecay> is cstruct memory-safe?
<laudecay> like are there checks to make sure i'm not walking off the end of a bigarray?
<octachron> mk__, you need to add (the name of) lib as a dependency
<Armael> laudecay: I would expect so yes (unless you are using a function with "unsafe" in its name)
<laudecay> cool
<mk__> octachron: in the dune in lib/ ?
<octachron> mk__, in the lib directory, dune should have picked the utils file automatically, except if you have written an explicit list of modules (that doesn't mention Utils)
<mk__> I don't have explicit list of modules inside lib/ (I have lib/ added as library in toplevel dune). Looks like dune hasn't picked it up
tristero has left #ocaml ["WeeChat 2.3"]
octachron has quit [Quit: ZNC 1.7.3 - https://znc.in]
ollehar has joined #ocaml
octachron has joined #ocaml
ollehar has quit [Ping timeout: 248 seconds]
niceplace_ has joined #ocaml
vyorkin has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
ggole has quit [Quit: Leaving]
mk__ has quit [Ping timeout: 260 seconds]
pino|work has quit [Quit: brb]
pino|work has joined #ocaml
mk__ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<mk__> Not successful, should all the modules in the same directory see each other? I want some .ml modules in /lib to call functions in another .lib (utils.lib), but they can't see them
Anarchos has joined #ocaml
q9929t has joined #ocaml
ziyourenxiang_ has quit [Ping timeout: 244 seconds]
vicfred has joined #ocaml
liberiga has quit [Ping timeout: 260 seconds]
<Leonidas> mk__: depends how you build.
<Leonidas> mk__: uhh, so yeah, modules in the same directory can "see" each other, but if you want to use them somewhere else you need to make a library and depend on them.
<Anarchos> when i use #require in .ocamlinit and run ocaml, i get an error message : unknown directive 'require'. What is missing ?
<companion_cube> #use "topfind";;
<Leonidas> Armael: topfind most likely
<Armael> yo.
<Anarchos> companion_cube in the .ocamlinit ?
<Kitambi> you don't need it with utop
<Anarchos> Kitambi i can't use utop
<Kitambi> yes, it goes in .ocamlinit :)
vicfred has quit [Quit: Leaving]
bartholin has joined #ocaml
vicfred has joined #ocaml
AtumT has joined #ocaml
<Anarchos> Kitambi it worked, thanks
Haudegen has joined #ocaml
<mk__> Leonidas: but looks like they can't see each other. I get 'Unbound Value'.
<mk__> I have x.ml, and y.ml in lib/ (using dune for build)
<mk__> and in x.ml, I call func1 in y.ml (Y.func1 doesn't work too)
<mk__> I have dune file in lib/ which has (library (name lib) ...) inside. Not sure if that makes difference in behaviour
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Serpent7776 has joined #ocaml
<mk__> What are the yield points in lwt threads? Assume that 2 lwt threads are joined, and each have several binds inside. I'm wondering if binds in joined threads can interleave
<haesbaert> mk__: it's mostly just when the thread really blocks, I remember there were plans to change it.
<Armael> joined threads can interleave yes
<Armael> yield points are on bind I think
<mk__> How does the scheduler work? Is it like round-robin on threads, with yielding on binds?
<haesbaert> well it doesn't need to be round-robin since nothing yields without blocking
<haesbaert> whoever gets resolved first runs, you never have "two things that can run"
al-damiri has quit [Quit: Connection closed for inactivity]
imane has joined #ocaml
imane has quit [Remote host closed the connection]
<mk__> haesbaert it depends on yield points. If as you said, threads yield only if they block, then you are right. If as Armael said, they yeild on binds, then we may need to traverse over the threads
<Armael> yielding on every bind might be an overapproximation, I'm not exactly sure what happens in practice
<Armael> but that's my mental model
<dinosaure> same as Armael
q9929t has quit [Quit: q9929t]
<haesbaert> mk__: I remember a post where they clarified that yielding was only on block but they had plans to change it
<haesbaert> you can easily test though, just create two threads where one busy loops and the other sleeps -> prints.
<mk__> Good idea, will test it soon
<haesbaert> busy loop with at least one bind though.
<haesbaert> you can mail anton and ask.
tane has joined #ocaml
gravicappa has quit [Ping timeout: 272 seconds]
jnavila has joined #ocaml
TC01 has quit [Ping timeout: 248 seconds]
TC01 has joined #ocaml
kakadu has joined #ocaml
sagax has quit [Quit: Konversation terminated!]
sagax has joined #ocaml
ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zolk3ri has quit [Remote host closed the connection]
jnavila has quit [Remote host closed the connection]
Anarchos has joined #ocaml
<Anarchos> If i unpack a first-class module with «let module M = (val x :…)» , will each modification made into M be made in x too ?
tane has quit [Quit: Leaving]
Serpent7776 has quit [Quit: leaving]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
narimiran has quit [Ping timeout: 268 seconds]
sagax has quit [Remote host closed the connection]
al-damiri has joined #ocaml
laudecay has quit [Ping timeout: 272 seconds]
sonologico has joined #ocaml
kakadu has quit [Remote host closed the connection]
mk__ has quit [Ping timeout: 260 seconds]
Haudegen has quit [Ping timeout: 244 seconds]
liberiga has joined #ocaml