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
exarkun has quit [Ping timeout: 256 seconds]
spew has quit [Remote host closed the connection]
spew has joined #ocaml
exarkun has joined #ocaml
silver has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
neatonk has joined #ocaml
<_maniac_> yes. everything works as expected. thank you for your help, octachron and ZirconiumX. it would take me much more time without you
_maniac_ has left #ocaml ["WeeChat 2.1"]
mk9 has quit [Quit: mk9]
isd has quit [Ping timeout: 248 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
pierpa has quit [Ping timeout: 260 seconds]
pierpa has joined #ocaml
sh0t has joined #ocaml
shinnya has quit [Ping timeout: 265 seconds]
exarkun has quit [Ping timeout: 240 seconds]
exarkun has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
cbot has joined #ocaml
spew has quit [Read error: Connection reset by peer]
kamog has quit [Remote host closed the connection]
ygrek has joined #ocaml
pierpa has quit [Quit: Page closed]
cobreadmonster has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 265 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has joined #ocaml
hdon has joined #ocaml
sh0t has quit [Remote host closed the connection]
hdon has quit [Ping timeout: 276 seconds]
exarkun has quit [Ping timeout: 240 seconds]
exarkun has joined #ocaml
theglass has quit [Ping timeout: 256 seconds]
theglass has joined #ocaml
theglass has joined #ocaml
theglass has quit [Changing host]
hdon has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 248 seconds]
MercurialAlchemi has joined #ocaml
pzp has quit [Quit: Connection closed for inactivity]
cbot has quit [Quit: Leaving]
exarkun has quit [Ping timeout: 268 seconds]
exarkun has joined #ocaml
mbuf has joined #ocaml
shinnya has joined #ocaml
Haudegen has joined #ocaml
cobreadmonster has quit [Quit: Connection closed for inactivity]
exarkun has quit [Ping timeout: 256 seconds]
exarkun has joined #ocaml
c4rc4s has quit [Ping timeout: 256 seconds]
c4rc4s has joined #ocaml
jaar has joined #ocaml
mfp has joined #ocaml
ipfix has quit [Ping timeout: 255 seconds]
zolk3ri has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
ozzymcduff has joined #ocaml
steenuil has quit [Quit: Leaving]
steenuil has joined #ocaml
exarkun has quit [Ping timeout: 256 seconds]
exarkun has joined #ocaml
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
sagotch has joined #ocaml
theglass has quit [Ping timeout: 256 seconds]
theglass has joined #ocaml
theglass has joined #ocaml
theglass has quit [Changing host]
dhil has joined #ocaml
jao has joined #ocaml
ozzymcduff has joined #ocaml
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
ziyourenxiang has joined #ocaml
sh0t has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
Bronsa has joined #ocaml
exarkun has quit [Ping timeout: 265 seconds]
exarkun has joined #ocaml
Haudegen has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
mk9 has joined #ocaml
TarVanimelde has joined #ocaml
silver has joined #ocaml
mk9 has quit [Ping timeout: 264 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
<Leonidas> is there a way to override the sandbox on a single package?
<Leonidas> (opam 2 sandbox I mean)
_andre has joined #ocaml
lostman has joined #ocaml
sh0t has quit [Remote host closed the connection]
letoh has quit [Ping timeout: 276 seconds]
jaar has quit [Remote host closed the connection]
Haudegen has joined #ocaml
steenuil has quit [Remote host closed the connection]
steenuil has joined #ocaml
mk9 has joined #ocaml
exarkun has quit [Ping timeout: 248 seconds]
exarkun has joined #ocaml
<reynir> opam install rm-rf-root ? :D
<zozozo> Leonidas: why would you want that ?
spew has joined #ocaml
dhil has quit [Ping timeout: 255 seconds]
gtrak has joined #ocaml
sh0t has joined #ocaml
zlsyx has joined #ocaml
neatonk has quit [Ping timeout: 240 seconds]
pierpal has quit [Ping timeout: 260 seconds]
gtrak has quit [Quit: WeeChat 2.1]
Bronsa has quit [Remote host closed the connection]
Bronsa has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
jaar has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
dhil has joined #ocaml
mk9 has quit [Quit: mk9]
Soni has quit [Ping timeout: 276 seconds]
Soni has joined #ocaml
Soni has quit [Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number]
Soni has joined #ocaml
elfring has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
kakadu has joined #ocaml
<elfring> I stumble on the message “gcc: error: unrecognized command line option ‘-fstack-clash-protection’” which is reported for a call of the tool “/usr/bin/ocamlc.opt” from the software “OCaml 4.05.0-5.1” on my openSUSE development system. How should this software situation be fixed?
mk9 has joined #ocaml
<octachron> elfring, potentially by reporting this issue on openSUSE bug tracker
<elfring> octachron: Can I get this OCaml compiler to work again with any other GCC version (which might be configurable here)?
<octachron> No. No one can predict how gcc 256 will behave, and there is little point in supporting gcc 0.9 .
<octachron> This is an integration on the distribution side
<octachron> *integration issue
letoh has joined #ocaml
pierpal has joined #ocaml
<ZirconiumX> gcc 256 will probably target quantum computers, or maybe even the Mill.
<elfring> octachron: I used the tool “/usr/bin/ocamlc.opt” for the compilation of a source file like “commons/proc_pidpath_stubs.c” (from Coccinelle) for a while successfully. Did the support for the GCC command line option “fstack-clash-protection’” change recently?
Haudegen has quit [Remote host closed the connection]
<octachron> elfring, it depends on your gcc version and `-fstack-clash-protection` is not an option added by the vanilla compiler, so everything points to a misconfiguration between your distribution-bundled gcc and ocaml
lostman has quit [Quit: Connection closed for inactivity]
exarkun has quit [Ping timeout: 260 seconds]
neatonk has joined #ocaml
zlsyx_ has joined #ocaml
zlsyx has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
exarkun has joined #ocaml
kamog has joined #ocaml
steenuil has quit [Remote host closed the connection]
mbuf has quit [Quit: Leaving]
<elfring> octachron: I am curious on how the clarification will evolve for the bug report “Checking support for GCC option “fstack-clash-protection” together with “ocamlc.opt””. https://bugzilla.suse.com/show_bug.cgi?id=1096981
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
mk9 has quit [Quit: mk9]
zlsyx_ has quit [Ping timeout: 260 seconds]
<Leonidas> zozozo: because amqp-client fails to build now
webshinra has quit [Quit: Leaving]
webshinra has joined #ocaml
<ZirconiumX> Then the correct solution is to fix amqp-client, no?
silver has quit [Ping timeout: 245 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
sagotch has quit [Quit: Page closed]
FreeBirdLjj has joined #ocaml
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Remote host closed the connection]
ygrek has joined #ocaml
shw has quit [Quit: shw]
FreeBirdLjj has joined #ocaml
<Leonidas> this is fine because the maintainer reacted quickly but still needs a release and I'd like a quick solution
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 255 seconds]
ozzymcduff has joined #ocaml
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<ZirconiumX> Leonidas: I think `opam pin` might help here
<Leonidas> ZirconiumX: yes, but even then, assume the author is on vacation or does not maintain it.
<ZirconiumX> Alternatively, file a PR to update the OPAM central repository
<Leonidas> All very tedious if I need a short term solution
<ZirconiumX> Unfortunately I doubt they'll add a workaround, Leonidas, because it defeats the purpose of sandboxing
<Leonidas> Then I guess we'll have to live with the fact that we'll continue to run into issues where packages on opam-repository aren't installable.
ozzymcduff has joined #ocaml
<Leonidas> amqp-client <= 2.0.1 will stay uninstallable unless someone patches up the previous releases, even if the new one is fixed
argent_smith has joined #ocaml
<ZirconiumX> Leonidas: that was also an issue with 1.2.0 not being able to read 1.2.2 packages
<Leonidas> ZirconiumX: this is solvable by updating opam. The sandboxing thing is solvable by downgrading opam which sort of defeats the purpose
<ZirconiumX> This is why it's being released as an RC
<Leonidas> I know sandboxing is useful but it also puts up quite some maintenance burden on everyone.
<Leonidas> ZirconiumX: That is a big feature I'd prefer to have seen in a beta, not a release candidate
<Leonidas> but no use crying over spilled milk
<ZirconiumX> Truth be told, if you look at the install process for it, it was downloading over plain text http. That's pretty dangerous.
objmagic has joined #ocaml
silver has joined #ocaml
<discord3> <hcarty> Leonidas: If there isn't a way to disable it for single packages, that seems like a good feature request for opam
<Leonidas> yeah, I am not defending the previous implementation. It would also fail if the rabbitmq server went for a smoke break.
<objmagic> hello fellow IRC camel riders
<Leonidas> hcarty: I found a way to disable it, but it involved editing the shell scripts in .opam which is not great since it can create issues with multiple opam processes.
<Leonidas> hello objmagic
<objmagic> ok i have a question I hope people here can provide some suggestion
<ZirconiumX> "Don't ask to ask, just ask" is a motto of mine.
<objmagic> has anyone tried to read `ocamlc -dlambda` output from another language? That is, bytecomp/lambda.mli
Anarchos has joined #ocaml
<objmagic> i am thinking to hack compiler directly. make `-dlambda` outputs in protobuf format
<reynir> hello objmagic!
<ZirconiumX> What are you trying to achieve? This sounds like the XY problem.
<ZirconiumX> But yeah, welcome to #ocaml
<Drup> protobuf ? that seems weird
<Drup> json makes sense
<objmagic> ZirconiumX i was a frequent visitor until two years ago...
<ZirconiumX> s/welcome/welcome back/
<objmagic> :)
<objmagic> Drup i want the ability to deserialize lambda back
<companion_cube> something based on ppx_deriving would be less insane than reading -dlambda ^^'
<objmagic> ok i'll tell you more..
<Drup> objmagic: well, just read .cmo files ? :D
<objmagic> i want read lambda generated by `ocamlc` using Scala
<Drup> Why ?
<ZirconiumX> Is the lambda format even stable?
<Drup> not really
<objmagic> let's just say we'll stay at 4.06...
<ZirconiumX> You still haven't explained why you need to read the lambda format
<objmagic> Drup we have an internal DSL which is quite ML-ish. But the cost of providing good frontend support is pretty high. I am ok with maintaining our own parser and typechecker but i'm open to move the "language" part to ReasonML/OCaml.
<ZirconiumX> So you want to compile your language to OCaml AST?
sh0t has quit [Remote host closed the connection]
<companion_cube> maybe you should write a frontend in OCaml that uses compiler-libs to get down to typedtree
<companion_cube> (or lambda)
<companion_cube> and then print it yourself, in a safe way
<objmagic> we compile typechecked AST further down using library similar to https://github.com/facebook/Haxl
<objmagic> hmmmm
<objmagic> ZirconiumX for parsing/typechecking/any frontend tool, we'd like to just use ReasonML/OCaml part
<objmagic> and we pick up lambda
<objmagic> the whole idea is not very clear. I am just trying to ask around/experiment a bit
<ZirconiumX> So you want the reverse? As in, you want your own backend?
<Leonidas> somehow this reminds me of stedolan's malfunction
<objmagic> !
<objmagic> holy shit
<objmagic> you reminded me!
Haudegen has joined #ocaml
<Drup> well, except malfunction is a backend to target
<objmagic> Drup we'll write a paper for Scala'18 so hopefully you can see what i'm talking about
<Drup> Ok
<companion_cube> isn't lambda untyped already, btw?
<companion_cube> if you're just thinking of using OCaml for the parsing/typing you should use Typedtree
<Drup> yeah, but actually, no
<Drup> use lambda, don't use typedtree
<companion_cube> :D
zlsyx has joined #ocaml
<Drup> typedtree is too volatile and hard to use
<objmagic> lambda should be fine
<objmagic> we don't need much type information
Bronsa has quit [Ping timeout: 264 seconds]
<objmagic> ZirconiumX yes we only work on backend
<objmagic> sorry lots of replies. didn't reply in time :)
<Leonidas> so, you're building something like xleclerks ocamljava?
<objmagic> well, not really...
<objmagic> it's similar, but we don't compile directly to JVM bytecode...
<ZirconiumX> So you convert your code to OCaml, pass it through the OCaml optimisers and then try to use the output of it?
<ZirconiumX> Is that what you're trying to do?
<objmagic> yes, pass through parser -> typechecker/pattern match compiler -> lambda
<objmagic> i pick up at lambda
<objmagic> I pick up at lambda in Scala to finish rest of the job
<ZirconiumX> Right, I think I understand.
<ZirconiumX> So you're trying to use OCaml's optimisers on your code.
<ZirconiumX> Now it makes more sense :)
<objmagic> no, I mostly want to rely on our excellent typechecker
<objmagic> and front end tool, like Meriln
<objmagic> Merlin
zlsyx has quit [Ping timeout: 264 seconds]
sgnb has quit [Remote host closed the connection]
jaar has quit [Ping timeout: 268 seconds]
zlsyx has joined #ocaml
<companion_cube> lambda won't optimize much, will it?
<objmagic> Leonidas sorry I misremembered. i'd like the reverse of malfunction
<companion_cube> intelligently named dysfunction
objmagic has quit [Quit: gone...]
dedgrant has joined #ocaml
hdon has joined #ocaml
objmagic has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
steenuil has joined #ocaml
silver has quit [Ping timeout: 240 seconds]
Jesin has joined #ocaml
ipfix has joined #ocaml
isd has joined #ocaml
jao has joined #ocaml
ipfix has quit [Read error: Connection reset by peer]
objmagic has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
larhat has joined #ocaml
fwx has joined #ocaml
fwx has quit [Max SendQ exceeded]
fwx has joined #ocaml
pierpal has quit [Quit: Poof]
weird_error has joined #ocaml
pierpal has joined #ocaml
maufred has joined #ocaml
VermillionAzure has joined #ocaml
sgnb has joined #ocaml
shw has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
sz0 has joined #ocaml
jack5638 has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
jack5638 has joined #ocaml
objmagic has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
Haudegen has quit [Remote host closed the connection]
Anarchos has joined #ocaml
MasseR has quit [Quit: WeeChat 2.0]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
elfring has quit [Quit: Konversation terminated!]
maufred has quit [Quit: WeeChat 1.9]
maufred has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
<objmagic> Drup not sure if I can just reuse cmo format. seems it does not have lambda structure in it
Jesin has quit [Quit: Leaving]
<Drup> objmagic: look at Cmo_format, cmos are more or less a marshaled list of lambda IR
Guest83303 has joined #ocaml
<objmagic> Drup yeah i just read it. still feel like it's a bit too low-level
<objmagic> maybe there is a way to restore it back to lambda IR
<objmagic> but seems not very straightforward to me
Guest83303 is now known as Haudegen
fwx has quit [Quit: Leaving]
<Drup> but ... it is the lamda IR
<Drup> of a whole module with exposed identifiers
sh0t has joined #ocaml
dhil has joined #ocaml
malina has joined #ocaml
_andre has quit [Quit: leaving]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
dhil has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
hdon has quit [Ping timeout: 256 seconds]
Haudegen has quit [Remote host closed the connection]
sh0t has quit [Remote host closed the connection]
objmagic has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hdon has joined #ocaml
averell has quit [Ping timeout: 245 seconds]
averell has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
exarkun has quit [Ping timeout: 260 seconds]
exarkun has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
spew has quit [Quit: Connection closed for inactivity]
argent_smith has quit [Quit: Leaving.]
weird_error has quit [Quit: weird_error]
weird_error has joined #ocaml
cbot has joined #ocaml
orbifx has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
on_ion has left #ocaml ["WeeChat 1.9.1"]
larhat has quit [Quit: Leaving.]
objmagic has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
ziyourenxiang has joined #ocaml
weird_error has quit [Quit: weird_error]
BitPuffin has quit [Remote host closed the connection]
philt has joined #ocaml
philt has quit [Client Quit]
objmagic has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
philtor has quit [Ping timeout: 268 seconds]
isd has quit [Ping timeout: 265 seconds]
zolk3ri has quit [Quit: leaving]
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
isd has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]