adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
ryyppy has quit [Ping timeout: 260 seconds]
ryyppy has joined #ocaml
mk9 has quit [Quit: mk9]
ryyppy has quit [Ping timeout: 240 seconds]
hdon has quit [Changing host]
hdon has joined #ocaml
mfp has quit [Ping timeout: 256 seconds]
kvda has joined #ocaml
kvda has quit [Client Quit]
ryyppy has joined #ocaml
kvda has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Remote host closed the connection]
tokomak has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ryyppy has quit [Ping timeout: 264 seconds]
ryyppy has joined #ocaml
kvda has joined #ocaml
kvda has quit [Client Quit]
ben__ has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
phvse has joined #ocaml
pierpal has joined #ocaml
pierpa has quit [Quit: Page closed]
zolk3ri has quit [Quit: Lost terminal]
yomimono has quit [Ping timeout: 256 seconds]
silver has quit [Read error: Connection reset by peer]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
ryyppy has quit [Ping timeout: 244 seconds]
ryyppy has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
hdon has joined #ocaml
spew has joined #ocaml
ryyppy has quit [Ping timeout: 240 seconds]
cbot has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
ryyppy has joined #ocaml
phvse has quit [Ping timeout: 240 seconds]
hdon has quit [Changing host]
hdon has joined #ocaml
lostman has quit [Quit: Connection closed for inactivity]
xa0 has quit [Ping timeout: 265 seconds]
xa0 has joined #ocaml
ryyppy has quit [Ping timeout: 240 seconds]
ryyppy has joined #ocaml
ryyppy has quit [Ping timeout: 244 seconds]
hdon has quit [Ping timeout: 268 seconds]
spew has quit [Ping timeout: 248 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
loli has quit [Quit: WeeChat 2.1]
spew has joined #ocaml
loli has joined #ocaml
spew has quit [Read error: Connection reset by peer]
hdon has joined #ocaml
moei has quit [Quit: Leaving...]
tarptaeya has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
kvda has joined #ocaml
hdon has quit [Ping timeout: 244 seconds]
cbot has quit [Quit: Leaving]
hdon has joined #ocaml
muratiku has joined #ocaml
malina has quit [Ping timeout: 244 seconds]
moei has joined #ocaml
mikeyhc has joined #ocaml
sagotch has joined #ocaml
muratiku has quit [Remote host closed the connection]
freyr69 has joined #ocaml
mcspud has quit [Ping timeout: 260 seconds]
moei has quit [Quit: Leaving...]
ryyppy has joined #ocaml
mcspud has joined #ocaml
Haudegen has joined #ocaml
mikeyhc has quit [Ping timeout: 260 seconds]
ryyppy has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
mengu has joined #ocaml
ziyourenxiang has joined #ocaml
TarVanimelde has joined #ocaml
freyr69 has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 244 seconds]
<ZirconiumX> Well this is annoying.
<ZirconiumX> So, I'm going to try to write a PPX assembler, or something of the kind, to help with the JIT
<ZirconiumX> I was planning to use {| |}, but it seems to be fairly limited
<ZirconiumX> For example {foo| needs an exact |foo}, which is going to get tiring after the 19th time you type it
kakadu has joined #ocaml
<ZirconiumX> And you can't seem to have dots or numbers in the tag
<ZirconiumX> Which raises the interesting question of what I'm going to call x86
jaar has joined #ocaml
<octachron> ZirconiumX, there is an explicit warning in the manual about *not* using the tag of quoted string for this purpose
<companion_cube> what's the reason for that?
pierpal has quit [Ping timeout: 240 seconds]
mikeyhc has joined #ocaml
mikeyhc has quit [Quit: Changing server]
<octachron> mostly because it limits the use of the delimitation tag and it makes it unclear that it is in fact an extension node
<ZirconiumX> Then what should I use instead?
<octachron> and the difference between [%x86 {|...|}] vs {x_eighty_six|...|x_eighty_six|}] is often not in favor of naked quoted string
dakk has joined #ocaml
<companion_cube> hmmm
<ZirconiumX> At that point is it worth just using [%x86 "foo"] instead?
<octachron> ZirconiumX, if you don't have problem with escaping characters, "" works too
<ZirconiumX> Thanks, octachron
<ZirconiumX> Now to sketch out a syntax that looks okay
<companion_cube> [%x86 "use risc-v instead"]
<ZirconiumX> Ironically if you convert that to hex and disassemble as x86 you get valid x86 assembly, if nonsensical
TarVanimelde has quit [Quit: TarVanimelde]
muratiku has joined #ocaml
mikey_ has joined #ocaml
mfp has joined #ocaml
ryyppy has joined #ocaml
<companion_cube> no idea
muratiku has quit []
<ZirconiumX> Me neither
<kakadu> TT
<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
<kakadu> another offtop question is should I even spend time looking at https://github.com/GaloisInc/crucible ?...
<kakadu> Maybe dune can help me with its ability to compile all dependecies from the current source tree
<octachron> I don't think there is an out-of-the-box solution, for gathering the source "codept -ancestors-of" might help
<Fardale> opam.ocaml.org: The certificate expired on 16 July 2018, 10:28:01 GMT+2. The current time is 16 July 2018, 11:13.
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
argent_smith has joined #ocaml
<adrien> ='(
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian__ has joined #ocaml
<argent_smith> hippl. looks like opam https cert got outdated
<reynir> Yes, someone else mentioned this about 20 minutes ago :)
<argent_smith> :D
mengu has quit [Remote host closed the connection]
tarptaeya has quit [Remote host closed the connection]
ryyppy has joined #ocaml
tarptaeya has joined #ocaml
dkrm has quit [Quit: WeeChat 2.1]
ryyppy has quit [Ping timeout: 244 seconds]
zolk3ri has joined #ocaml
r3s1stanc3_ has quit [Quit: ZNC 1.7.0 - https://znc.in]
r3s1stanc3 has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
r3s1stanc3 has quit [Client Quit]
r3s1stanc3 has joined #ocaml
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> `dune rules -m -r` looks like this https://paste.in.ua/3466/raw/
<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]
tokomak has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
FreeBirdLjj has quit [Ping timeout: 264 seconds]
GreyFaceNoSpace has quit [Remote host closed the connection]
lostman has joined #ocaml
kakadu has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
malina has joined #ocaml
argent_smith has quit [Quit: Leaving.]
ziyourenxiang has joined #ocaml
webshinra has quit [Ping timeout: 256 seconds]
webshinra has joined #ocaml