<octachron>
kakadu, which kind of granularity do you need?
ryyppy has quit [Ping timeout: 244 seconds]
<kakadu>
I think that symbolic execution of bytecode will be not enough. All typed source with linking information should be enough but I don't know how to get it. Maybe I will be happy with something in the middle but I can't imagine how it would look like
<kakadu>
My freind is doing something like this for .NET and there they have easy access to sources
<companion_cube>
symbolic execution of bytecode… scary
<kakadu>
The problem with symbolic execution of byte code is that even we will find a bug it is possible that it is not a bug because of types
nullifidian__ has quit [Read error: Connection reset by peer]
nullifidian__ has joined #ocaml
ryyppy has joined #ocaml
nullifidian_ has joined #ocaml
ryyppy has quit [Ping timeout: 268 seconds]
nullifidian__ has quit [Ping timeout: 256 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
ben__ has joined #ocaml
ben__ has quit [Remote host closed the connection]
ben__ has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
ryyppy has joined #ocaml
ryyppy has quit [Ping timeout: 256 seconds]
BitPuffin has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
shinnya has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
sagotch has quit [Read error: Connection reset by peer]
Haudegen has quit [Remote host closed the connection]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
mengu has joined #ocaml
nicoo has quit [Remote host closed the connection]
mengu has quit [Client Quit]
nicoo has joined #ocaml
silver has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
kvda has quit [Ping timeout: 264 seconds]
pierpal has joined #ocaml
sagotch has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
dakk_ has joined #ocaml
dakk_ has quit [Client Quit]
srax has quit [Ping timeout: 240 seconds]
dinosaure has quit [Ping timeout: 240 seconds]
silver_ has joined #ocaml
dinosaure[s] is now known as dinosaure
jbrown has joined #ocaml
silver has quit [Ping timeout: 256 seconds]
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
<xvilka>
hi
pierpal has quit [Quit: Poof]
<xvilka>
if I use Bigarray.map_file - can I create empty file, map bigarray (it will create bigarray of zero size), can I write into this bigarray somehow?
pierpal has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
_andre has joined #ocaml
aciniglio has joined #ocaml
mk9 has joined #ocaml
spew has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
<reynir>
xvilka: maybe call ftruncate before mapping the file? I don't know
<leah2>
anyone know what's up with camlcity.org?
mk9 has quit [Quit: mk9]
ryyppy has joined #ocaml
sagotch has quit [Ping timeout: 264 seconds]
sagotch has joined #ocaml
ryyppy has quit [Ping timeout: 240 seconds]
ryyppy has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
dhil has quit [Ping timeout: 265 seconds]
ryyppy has quit [Ping timeout: 240 seconds]
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
ryyppy has joined #ocaml
gtrak has joined #ocaml
freyr69 has joined #ocaml
ryyppy has quit [Read error: Connection reset by peer]
moei has joined #ocaml
ryyppy has joined #ocaml
ryyppy has quit [Read error: Connection reset by peer]
ryyppy has joined #ocaml
Haudegen has joined #ocaml
yomimono has joined #ocaml
TheLemonMan has joined #ocaml
TheLemonMan has quit [Client Quit]
dhil has joined #ocaml
ryyppy has quit [Ping timeout: 244 seconds]
malina has joined #ocaml
mbuf has joined #ocaml
FreeBirdLjj has joined #ocaml
dhil has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 240 seconds]
kvda has joined #ocaml
kvda has quit [Client Quit]
freyr69 has quit [Remote host closed the connection]
malina has quit [Ping timeout: 248 seconds]
sagotch has quit [Read error: Connection reset by peer]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
dhil has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ryyppy has joined #ocaml
ryyppy has quit [Read error: Connection reset by peer]
Haudegen has quit [Remote host closed the connection]
ryyppy has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
ryyppy has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
tokomak has joined #ocaml
mbuf has quit [Quit: Leaving]
malina has joined #ocaml
<kakadu>
OKay, another dune question
<kakadu>
I have dune_test/controller_c.h file and I want to generate from it .cpp file. But dune doesn't know a rule how to get this .h file and fails with message `No rule found for dune_test/controller_c.h`
<kakadu>
I need somehow to copy dune_test/controller_c.h to build dir but when I write (copy_files controller.h) in `dune_test/dune` I get an error about `Recursive dependency in directory dune_test`
malina has quit [Read error: Connection reset by peer]
malina has joined #ocaml
reynir has quit [Quit: Cooling off]
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
ziyourenxiang has quit [Ping timeout: 248 seconds]
<kakadu>
It seems that it was just a spelling mistake
zolk3ri has quit [Quit: leaving]
zolk3ri has joined #ocaml
jaar has quit [Quit: Leaving]
ygrek has joined #ocaml
Haudegen has joined #ocaml
zolk3ri has quit [Quit: leaving]
zolk3ri has joined #ocaml
dedgrant has joined #ocaml
argent_smith has quit [Quit: Leaving.]
argent_smith has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
reynir has joined #ocaml
shinnya has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
jnavila has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
dhil has quit [Ping timeout: 264 seconds]
dakk has quit [Read error: Connection reset by peer]
dakk has joined #ocaml
FreeBirdLjj has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
dakk has quit [Read error: Connection reset by peer]
dakk has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
ygrek has quit [Quit: ygrek]
ygrek has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
Haudegen has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
zolk3ri has quit [Ping timeout: 240 seconds]
zolk3ri has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
<Leonidas>
leah2: it is down. not a rare occurence, really.
<Leonidas>
even when googling two mentions on the first search result pages are about downtimes
<ELLIOTTCABLE>
does Core, or anything else, have a Date / DateTime type I could snag?
yomimono has joined #ocaml
<ELLIOTTCABLE>
I reallllllly don't want to roll a g/d thing from scratch lmao
<Leonidas>
ELLIOTTCABLE: Core_kernel certainly has both a Date and a DateTime module
<ELLIOTTCABLE>
kkkk thanks
<companion_cube>
there's calendar, too
<ELLIOTTCABLE>
google was failing me for some reason.
<companion_cube>
if you don't want to lock yourself in JST ecosystem
<Leonidas>
with calendar you have to be sure to use calendarlib.precise unless you want your time to drift somewhere random
<Leonidas>
I don't particularly like it, we have used it in old projects before using JST stuff
ryyppy has joined #ocaml
kakadu has joined #ocaml
<companion_cube>
it's a pity if we don't have a clean standalone library for that
<discord>
<copy> I have the same experience as Leonidas, but sometimes ptime/mtime do the job
<companion_cube>
I with Bunzli would do a nice datetime lib…
<Leonidas>
ah, yeah, dbunzli probably has some library for that, these also tend to be good :-)
yomimono has quit [Ping timeout: 260 seconds]
<Leonidas>
calandarlib maintenance level: I had to do a PR to include the latest calendarlib release (which is 4 years old) in OPAM ;-)
<companion_cube>
maybe it needs to be revived -_-
<Leonidas>
I think the API is so bad, might as well start from scratch
<companion_cube>
I have no use for datetime, which is why I don't even try, sorry
<Leonidas>
or wait for (randomleter)datetime from dbunzli :D
<companion_cube>
iso8601 is as far as I go
<companion_cube>
the real trick is to somehow maneuver Bunzli into needing datetime
<Leonidas>
yes, that's probably the best tactic
reynir has quit [Quit: stupid fans...]
<ELLIOTTCABLE>
lmfao
<Leonidas>
hmm, the current situation when looking for a library to get fs events: It's inotify support on linux, FSevent support on mac os, Lwt support. Chose two.
<Leonidas>
both inotify and fsevents have lwt support, irmin-watch supports both, but does not expose lwt. *sigh*
<Leonidas>
effects can't land soon enough.
<companion_cube>
sounds fun
<Leonidas>
yeah, last time I use macos for work
<companion_cube>
:DD
<companion_cube>
can't wait for effects, multicore, and webasm backend
<companion_cube>
oh wait.
<Leonidas>
webasm is coming?
reynir has joined #ocaml
<Leonidas>
leah2: download2.camlcity.org seems to work, though
<companion_cube>
nah, I have no idea
<companion_cube>
I need holidays, I think :p
<ELLIOTTCABLE>
y webasm
<ELLIOTTCABLE>
it's absurdly limited
<companion_cube>
looks like a fast, portable bytecode that enough people might agree upon
<discord>
<copy> ELLIOTTCABLE: I would call it nicely sandboxed
<ELLIOTTCABLE>
haha
<companion_cube>
if it gets major browsers' support it'll be a good thing
<companion_cube>
much better than JS anyway
<ELLIOTTCABLE>
well, I can't say I'm too interested in anything for the frontend that doesn't have access to the DOM, web APIs, yadda yadda
<companion_cube>
I think it'll get access
<ELLIOTTCABLE>
that's the thing if it can't at least *mostly* replace JS, what's the point? hot-loop code in a few esoteric projects?
<Drup>
companion_cube: "will" is the important keyword
<companion_cube>
I don't think they plan to stop at the current state of webasm
<ELLIOTTCABLE>
lemme find link, but I read there's pretty consistent “no dom.” from all the major stakeholders
<Drup>
juts like ocaml "will" have multicore, effects and modular implicits
<companion_cube>
:D
<ELLIOTTCABLE>
it's supposedly supposed to end up just as a faster web worker, all the same limitations, at least in the medium term
<companion_cube>
m'kay, I thought they were going to add it at some point
<companion_cube>
and that they had just released the famous MVP
<ELLIOTTCABLE>
well, I can find a lot of third-hand claims to the effect, but I can't find my own original source, which was secondary. maybe just ignore me. 😐
<companion_cube>
maybe I'm too optimistic on that one ^^'
FreeBirdLjj has joined #ocaml
<leah2>
Leonidas: thx, will try
jack5638 has quit [Ping timeout: 244 seconds]
FreeBirdLjj has quit [Ping timeout: 244 seconds]
jack5638 has joined #ocaml
Haudegen has quit [Remote host closed the connection]
dxtr has joined #ocaml
<ELLIOTTCABLE>
in a Menhir parser, with a bunch of similar productions being OR'd,
<ELLIOTTCABLE>
how do I share one semantic action?
<ELLIOTTCABLE>
I tried `parent: it = (a | b | c) { it }`
<ELLIOTTCABLE>
but Menhir didn't like that v.v
_andre has quit [Quit: leaving]
Haudegen has joined #ocaml
pierpa has joined #ocaml
spew has quit [Quit: going home]
aciniglio has quit [Ping timeout: 268 seconds]
jnavila has joined #ocaml
ryyppy has quit [Ping timeout: 264 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
steenuil has joined #ocaml
dakk has quit [Read error: Connection reset by peer]
steenuil has quit [Remote host closed the connection]
steenuil has joined #ocaml
steenuil has quit [Remote host closed the connection]
steenuil has joined #ocaml
<discord>
<Perry> Get rid of the parens.
<discord>
<Perry> Then it will work. Though François Pottier is considering getting rid of that style of production. (See the recent Menhir list thread.)
<discord>
<Perry> I'm not sure why you put those parens in btw, the manual doesn't specify any such syntax...
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
FreeBirdLjj has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
gtrak has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
<ELLIOTTCABLE>
ah, I assumed the assignment would only apply to the (a), otherwise. thanks!
cbot has joined #ocaml
FreeBirdLjj has joined #ocaml
pioneer42 has joined #ocaml
steenuil_ has joined #ocaml
steenuil has quit [Read error: Connection reset by peer]