pzp has quit [Quit: Connection closed for inactivity]
hdon has joined #ocaml
hdon has quit [Ping timeout: 268 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
JimmyRcom_ has joined #ocaml
emias has quit [Ping timeout: 268 seconds]
hdon has joined #ocaml
JimmyRcom_ has quit [Ping timeout: 240 seconds]
emias has joined #ocaml
unyu has quit [Quit: Reboot.]
mbuf has joined #ocaml
unyu has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
tarptaeya has joined #ocaml
ygrek has joined #ocaml
gtrak has quit [Ping timeout: 260 seconds]
gtrak has joined #ocaml
hdon has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
sgnb has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 265 seconds]
hdon has joined #ocaml
noitakomentaja has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
cbot has quit [Quit: Leaving]
dhil_ has joined #ocaml
jaar_ has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
bartholin has quit [Quit: Leaving]
mk9 has joined #ocaml
Bronsa has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
malina has joined #ocaml
jaar_ has quit [Remote host closed the connection]
jaar_ has joined #ocaml
noitakomentaja has quit [Ping timeout: 250 seconds]
zolk3ri has joined #ocaml
dhil_ has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
shinnya has quit [Ping timeout: 256 seconds]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
malina has quit [Ping timeout: 260 seconds]
mfp has joined #ocaml
mk9 has joined #ocaml
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 240 seconds]
mk9_ is now known as mk9
ziyourenxiang has joined #ocaml
jao has joined #ocaml
dhil_ has joined #ocaml
Haudegen has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
mk9 has quit [Quit: mk9]
argent_smith has joined #ocaml
malina has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
pmetzger[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]
sz0 has joined #ocaml
dakk has joined #ocaml
tiksin[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]
jao has joined #ocaml
olopierpa[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]
loxs[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]
Haudegen has joined #ocaml
neiluj has left #ocaml ["Kicked by @appservice-irc:matrix.org : removing from IRC because user idle on matrix for 30+ days"]
dhil_ has quit [Ping timeout: 264 seconds]
mmmmmmmmmmmm[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]
silver has joined #ocaml
dhil_ has joined #ocaml
shinnya has joined #ocaml
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
Bronsa has quit [Ping timeout: 240 seconds]
jao has quit [Read error: Connection reset by peer]
hcarty[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]
Bronsa has joined #ocaml
talyian[m] has left #ocaml ["Kicked by @appservice-irc:matrix.org : removing from IRC because user idle on matrix for 30+ days"]
spew has joined #ocaml
bli[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]
FreeBirdLjj has joined #ocaml
barcabuona has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
wklm has joined #ocaml
dhil_ has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
barcabuona has joined #ocaml
jaar_ has quit [Remote host closed the connection]
mk9 has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
jaar_ has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
sh0t has quit [Remote host closed the connection]
mbuf has quit [Remote host closed the connection]
mk9 has quit [Quit: mk9]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
<theblatte>
how do I tell jbuilder to use my own index.mld file when building the documentation? Everything I've tried either ignores it or errors with "Multiple rules generated for _build/default/_doc/_odoc/pkg/InferBase/page-index.odoc:
<theblatte>
that error is with base/jbuild containing "(documentation ((package InferBase) (mld_files (index))))
<theblatte>
"
<theblatte>
I've looked at how JaneStreet's Base does it, but building the docs there (jbuilder build @doc) puts the default generated index instead of using base.mld and generating the same page as https://ocaml.janestreet.com/ocaml-core/latest/doc/base/
zolk3ri has joined #ocaml
jao has joined #ocaml
jaar_ has quit [Remote host closed the connection]
<discord1>
<bobby> theblatte, have you tried using just (documentation ()) in jbuild file?
<rgr[m]>
theblatte: you might also need jbuilder#master
<rgr[m]>
I recall fixing a bug related to this
<theblatte>
yes, that generates the default index.html (I have to specify the (package InferBase) too in that stanza for it to work, so (documentation ((package InferBase))))
<rgr[m]>
Yes. The dune pacakge supports both binaries
<rgr[m]>
That is also fixed in master
<rgr[m]>
$ jbuilder build @doc-private will work as expected
<theblatte>
rgr[m]: woot! that worked
<theblatte>
thanks :)
mk9 has quit [Client Quit]
nahra has joined #ocaml
neatonk has joined #ocaml
nahra` has joined #ocaml
nahra` has quit [Remote host closed the connection]
<theblatte>
@doc-private also works, but doesn't generate index.html files for my libraries
<theblatte>
(if I turn them all private again)
nahra has quit [Ping timeout: 264 seconds]
nahra has joined #ocaml
hdon has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
hdon has quit [Ping timeout: 264 seconds]
dhil_ has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
<rgr[m]>
Hmm, it should generate index.html for every individual library. But it will not create an index file to list all your private libs
wklm has quit [Ping timeout: 260 seconds]
dhil_ has quit [Ping timeout: 240 seconds]
gpietro has joined #ocaml
gpietro has quit [Remote host closed the connection]
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
dhil_ has joined #ocaml
bartholin has joined #ocaml
maarhart has joined #ocaml
noitakomentaja has quit [Ping timeout: 250 seconds]
maarhart has quit [Client Quit]
noitakomentaja has joined #ocaml
FreeBirdLjj has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
noitakomentaja has quit [Ping timeout: 250 seconds]
wklm has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
glass has quit [Ping timeout: 240 seconds]
<theblatte>
rgr[m]: sorry in advance for asking this but is there a plan to make a release with these fixes before 1.0? Asking because 1.0 seems a bit of a way away still
<companion_cube>
what's missing for 1.0, by curiosity?
malina has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
tokenrov1 is now known as tokenrove
dakk has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
ioanluca has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
Bronsa has quit [Ping timeout: 245 seconds]
Guest77170 is now known as bbc
jaar_ has quit [Quit: Leaving]
barcabuona has joined #ocaml
<Leonidas>
hannes: han I haz nocrypto release? Pretty please :)
<hannes>
Leonidas: I'm neither author nor maintainer thereof, sorry I can't help you there.
<Leonidas>
hannes: ah sorry, I thought you were involved in nocrypto too.
hdon has joined #ocaml
gtrak has quit [Ping timeout: 260 seconds]
gtrak has joined #ocaml
kakadu has joined #ocaml
<discord1>
<andreypopp> Hi, is there a way to sandbox OCaml programs at runtime? Restrict network, fs, etc? I know I can sandbox with OS tools but interested if it can be done at the language runtime level.
<Drup>
I'm not aware of any tools that does that at the language level
andreypopp has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
dhil_ has quit [Ping timeout: 260 seconds]
wklm has quit [Ping timeout: 264 seconds]
mnemem has joined #ocaml
zolk3ri has quit [Ping timeout: 245 seconds]
zolk3ri has joined #ocaml
mnemem has quit [Ping timeout: 240 seconds]
jack5638 has quit [Ping timeout: 268 seconds]
mnemem has joined #ocaml
unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]
jack5638 has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
<rgr[m]>
Drup: didn't the tezos people do something like that?
<Drup>
I don't see why, tezos contracts are not OCaml code
<companion_cube>
liquidity seems to be a DSL in OCaml
<rgr[m]>
liquidity doesn't count? :P
<companion_cube>
but they probably only use the parsetree
unyu has joined #ocaml
isd has joined #ocaml
andreypopp has quit [Quit: Connection closed for inactivity]
mk9 has joined #ocaml
pierpa has joined #ocaml
zolk3ri has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
navaja has joined #ocaml
mk9 has quit [Quit: mk9]
navaja has quit [Ping timeout: 264 seconds]
exarkun has quit [Read error: Connection reset by peer]
hdon has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
mnemem has quit [Ping timeout: 256 seconds]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 256 seconds]
exarkun has joined #ocaml
isd has quit [Ping timeout: 240 seconds]
isd has joined #ocaml
hdon has joined #ocaml
<Armael>
afaik tezos does this for the protocol
<Armael>
which is ocaml code
<Armael>
and can be updated following consensus
<Armael>
in the docs they say it's ocaml code compiled with a "tweaked ocaml compiler" that ensures only some restricted api is used; effectively implementing some sort of sandboxing
<Armael>
I don't know much more than that
mk9 has quit [Quit: mk9]
cbot has joined #ocaml
mk9 has joined #ocaml
cobreadmonster has joined #ocaml
pierpal has quit [Ping timeout: 256 seconds]
navaja has joined #ocaml
mk9 has quit [Quit: mk9]
spew has quit [Disconnected by services]
navaja is now known as spew
kakadu_ has quit [Remote host closed the connection]
mnemem has joined #ocaml
mnemem has quit [Ping timeout: 260 seconds]
spew has quit [Ping timeout: 268 seconds]
shinnya has joined #ocaml
ziyourenxiang has joined #ocaml
noitakomentaja has joined #ocaml
ziyourenxiang has quit [Ping timeout: 264 seconds]
vista has left #ocaml ["WeeChat 2.1"]
robmyers has joined #ocaml
robmyers_ has joined #ocaml
robmyers_ has quit []
exarkun has quit [Read error: Connection reset by peer]
cbot has quit [Ping timeout: 256 seconds]
argent_smith has quit [Quit: Leaving.]
exarkun has joined #ocaml
silver has quit [Read error: Connection reset by peer]
cbot has joined #ocaml
zolk3ri has quit [Remote host closed the connection]