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
jimmyrcom has quit [Ping timeout: 252 seconds]
hdurer[m] has quit [Read error: Connection reset by peer]
copy` has quit [Read error: Connection reset by peer]
srenatus has quit [Remote host closed the connection]
orbifx[m] has quit [Remote host closed the connection]
yetanotherion[m] has quit [Read error: Connection reset by peer]
equalunique[m] has quit [Write error: Connection reset by peer]
rizo[m] has quit [Read error: Connection reset by peer]
aspiwack[m] has quit [Read error: Connection reset by peer]
regnat[m] has quit [Read error: Connection reset by peer]
rgr[m] has quit [Read error: Connection reset by peer]
Haudegen[m] has quit [Read error: Connection reset by peer]
M-ErkkiSeppl has quit [Remote host closed the connection]
peddie[m] has quit [Read error: Connection reset by peer]
isaachodes[m] has quit [Read error: Connection reset by peer]
M-jimt has quit [Read error: Connection reset by peer]
ansiwen[m] has quit [Read error: Connection reset by peer]
smondet[m] has quit [Read error: Connection reset by peer]
M-x-matrix[m] has quit [Read error: Connection reset by peer]
multiocracy[m] has quit [Read error: Connection reset by peer]
Bluddy[m] has quit [Read error: Connection reset by peer]
aantron has quit [Remote host closed the connection]
nkhodyunya has quit [Remote host closed the connection]
M-martinklepsch has quit [Write error: Connection reset by peer]
drsmkl[m] has quit [Read error: Connection reset by peer]
Exagone313 has quit [Ping timeout: 260 seconds]
Exagone313 has joined #ocaml
multiocracy[m] has joined #ocaml
freusque has quit [Ping timeout: 276 seconds]
maufred has quit [Ping timeout: 276 seconds]
aspiwack[m] has joined #ocaml
aantron has joined #ocaml
srenatus has joined #ocaml
drsmkl[m] has joined #ocaml
M-jimt has joined #ocaml
hdurer[m] has joined #ocaml
smondet[m] has joined #ocaml
isaachodes[m] has joined #ocaml
regnat[m] has joined #ocaml
rgr[m] has joined #ocaml
Haudegen[m] has joined #ocaml
rizo[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
copy` has joined #ocaml
ansiwen[m] has joined #ocaml
nkhodyunya has joined #ocaml
Bluddy[m] has joined #ocaml
orbifx[m] has joined #ocaml
clockish has quit [Remote host closed the connection]
clockish has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
freusque has joined #ocaml
maufred has joined #ocaml
silver_ has joined #ocaml
silver has quit [Ping timeout: 248 seconds]
infinity0_ has joined #ocaml
infinity0 is now known as Guest16574
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
Guest16574 has quit [Killed (wolfe.freenode.net (Nickname regained by services))]
infinity0_ is now known as infinity0
jimmyrcom has joined #ocaml
pierpa has quit [Quit: Page closed]
shinnya has joined #ocaml
aspiwack[m] has quit [Ping timeout: 276 seconds]
mengu has joined #ocaml
aspiwack[m] has joined #ocaml
mengu has quit [Ping timeout: 246 seconds]
silver_ has quit [Read error: Connection reset by peer]
Soni has quit [Quit: Leaving]
Soni has joined #ocaml
isd has quit [Quit: Leaving.]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
FreeBirdLjj has joined #ocaml
h11 has joined #ocaml
chindy has quit [K-Lined]
chindy has joined #ocaml
h11 has quit [Quit: WeeChat 2.0.1]
h11 has joined #ocaml
ninegrid has joined #ocaml
sonologico has quit [Ping timeout: 255 seconds]
govg has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
jbrown has quit [Ping timeout: 248 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
cbot_ has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
cbot has quit [Ping timeout: 252 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 276 seconds]
mbuf has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 265 seconds]
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mbuf has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
mbuf has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
pyx has joined #ocaml
pyx has quit [Client Quit]
rwmjones_ is now known as rwmjones
rizo[m] has quit [*.net *.split]
srenatus has quit [*.net *.split]
JSharp has quit [*.net *.split]
mrallen1 has quit [*.net *.split]
chenglou has quit [*.net *.split]
rbocquet has quit [*.net *.split]
chenglou has joined #ocaml
mrallen1 has joined #ocaml
srenatus has joined #ocaml
rbocquet has joined #ocaml
JSharp has joined #ocaml
rizo[m] has joined #ocaml
equalunique[m] has joined #ocaml
KeyJoo has joined #ocaml
jimmyrcom has quit [Ping timeout: 255 seconds]
freusque has quit [Quit: WeeChat 1.9.1]
freusque has joined #ocaml
mengu has quit [Remote host closed the connection]
freusque has quit [Ping timeout: 240 seconds]
dakk_ has joined #ocaml
cbot_ has quit [Quit: Leaving]
freusque has joined #ocaml
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
Haudegen has joined #ocaml
mengu has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 248 seconds]
TarVanimelde has joined #ocaml
MercurialAlchemi has joined #ocaml
jimmyrcom has joined #ocaml
KeyJoo has quit [Ping timeout: 265 seconds]
ShalokShalom has joined #ocaml
<ShalokShalom> Hi there
<ShalokShalom> Does OCaml allow higher order modules outside of inline?
maufred has quit [Ping timeout: 255 seconds]
kakadu has joined #ocaml
mikeyhc has joined #ocaml
mengu has quit [Quit: Leaving...]
sh0t has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
matthias__ has joined #ocaml
matthias__ is now known as ShalokShalom2
<abeaumont> ShalokShalom not sure what you mean by 'inline', anyway this may help if you haven't checked it yet https://realworldocaml.org/v1/en/html/first-class-modules.html
<def`> ShalokShalom: modules can be functors, functors can take other functors as argument and return functors... What else :)?
ShalokShalom has quit [Ping timeout: 268 seconds]
lobo has quit [Ping timeout: 240 seconds]
KeyJoo has joined #ocaml
jimmyrcom has quit [Ping timeout: 265 seconds]
ziyourenxiang has joined #ocaml
john51_ has joined #ocaml
john51 has quit [Ping timeout: 240 seconds]
maufred has joined #ocaml
lobo has joined #ocaml
sepp2k has joined #ocaml
igarnier has joined #ocaml
<igarnier> Hi everyone
<def`> Hi igarnier
<reynir> Hi
pitastrudl has quit [Remote host closed the connection]
pitastrudl has joined #ocaml
argent_smith has joined #ocaml
mk9 has joined #ocaml
zolk3ri has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
ilovezfs_ has quit [Read error: Connection reset by peer]
ilovezfs_ has joined #ocaml
dakk_ has quit [Remote host closed the connection]
kerrhau has quit [Ping timeout: 265 seconds]
al-damiri has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
Aruseus has joined #ocaml
silver has joined #ocaml
igarnier has quit [Quit: Page closed]
mfp has joined #ocaml
flodin has joined #ocaml
gpietro has joined #ocaml
sh0t has quit [Ping timeout: 268 seconds]
<rgrinberg> companion_cube: does it work without -p?
<rgrinberg> E.g. try doing jbuilder build zipperposition.install instead
Aruseus has left #ocaml ["Leaving"]
Haudegen has joined #ocaml
dcm41 has joined #ocaml
FreeBirdLjj has joined #ocaml
mbuf has quit [Quit: Leaving]
<dcm41> Hello, I'm trying to implement this https://caml.inria.fr/mantis/view.php?id=7128 and when compiling "make world.opt" I get a "bad GC root tagged" error originating from asmcomp/i386/emit.mlp. I think my error is in creating a "safepoint" - how do I create a C--/cmm expression 0-byte allocation? I have tried Cop (Calloc, [], none) and Cop (Calloc, [block_header], none) for block_header = Cmmgen.block_header 0 0 and block_header = Cmmgen
<dcm41> (where none = Debuginfo.none)
johnelse_ is now known as johnelse
<companion_cube> rgrinberg: ah, didn't know you could do that
<rgrinberg> -p is almost never what you want. a bit of a shame that the UI doesn't make it clear
<companion_cube> erf
<companion_cube> so the correct stanza is `jbuilder build foo.install` in foo.opam?
<companion_cube> (for the build section)
<rgrinberg> no no, -p is exactly what you want for opam ;)
<rgrinberg> it's just not what you want for development
<rgrinberg> or manually buildings things
<rgrinberg> basically -p pkg tells jbuilder to only consider pkg as an internal package in your source. Every dependency should be looked up from findlib
<companion_cube> ok!
<companion_cube> I thought it would be to restrict targets, not what's available
<companion_cube> anyway, my dockerfile works ^^
nicooo has quit [Read error: Connection reset by peer]
nicooo has joined #ocaml
<ShalokShalom2> thy
dcm41 has quit [Ping timeout: 260 seconds]
eagleflo has quit [Read error: Connection reset by peer]
eagleflo has joined #ocaml
nicooo has quit [Ping timeout: 272 seconds]
nicooo has joined #ocaml
<Leonidas> can I use bash patterns like ["rm" "foo.{bar,baz}"] in opam files?
FreeBirdLjj has quit [Remote host closed the connection]
eagleflo has quit [Read error: Connection reset by peer]
eagleflo has joined #ocaml
<reynir> I don't think that particular example is a bashism
jbrown has joined #ocaml
dcm41 has joined #ocaml
dcm41 has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
KeyJoo has quit [Read error: Connection reset by peer]
gpietro has quit [Ping timeout: 260 seconds]
Haudegen has quit [Remote host closed the connection]
ShalokShalom2 has quit [Quit: Konversation terminated!]
mk9 has quit [Quit: mk9]
<rgrinberg> Leonidas: maybe if you execute it with bash -c. I wouldn't recommend to rely on the shell though
mk9 has joined #ocaml
Haudegen has joined #ocaml
<Leonidas> rgrinberg: figured out I can just delete the folder because it is installed in a subfolder, so that takes care of it :-)
<Leonidas> reynir: no, it is not, but I don't know how the lines are executed. Whether they are passed through a shell (which would enable globs and possibly bashisms) or whether they are passed to execvpe which would then launch `rm` with a file named `foo.{bar,baz}` as-is.
<Leonidas> Since I assume the latter, straightforward, behaviour is what it is doing I am reluctant to rely on any kind of globbing :)
mk9 has quit [Quit: mk9]
<reynir> I want an Array.fold_lefti that passes the index as well rigth now
<companion_cube> may I suggest Containers.Array.foldi? :p
ziyourenxiang has quit [Quit: Leaving]
mengu has joined #ocaml
gpietro has joined #ocaml
<reynir> Ah! Thank you!
<reynir> I ended up just writing a recursive loop, but next time !
zolk3ri has quit [Ping timeout: 256 seconds]
zolk3ri has joined #ocaml
shinnya has quit [Ping timeout: 248 seconds]
MercurialAlchemi has quit [Ping timeout: 265 seconds]
mengu has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
gpietro has quit [Ping timeout: 255 seconds]
gpietro has joined #ocaml
<Leonidas> rks`: will the v0.10 docs, changelog and github repos be updated soon?
<Leonidas> I tried updating and something in Command changed and I'm mostly confused now.
Jesin has quit [Quit: Leaving]
rostero has joined #ocaml
gpietro has quit [Ping timeout: 276 seconds]
Jesin has joined #ocaml
TheLemonMan has joined #ocaml
zolk3ri has quit [Ping timeout: 268 seconds]
Haudegen has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
mk9 has joined #ocaml
jao has joined #ocaml
govg has quit [Ping timeout: 265 seconds]
mk9 has quit [Quit: mk9]
mengu has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Guest19524 has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
sz0 has joined #ocaml
zv has quit [Ping timeout: 248 seconds]
mengu has joined #ocaml
nullifidian has quit [Ping timeout: 240 seconds]
mengu has quit [Ping timeout: 240 seconds]
sepp2k has quit [Quit: Leaving.]
mengu has joined #ocaml
jbrown has quit [Remote host closed the connection]
dedgrant has joined #ocaml
dedgrant has quit [Read error: Connection reset by peer]
rrolles has joined #ocaml
<rrolles> I recently built a new Windows PC and tried to install OCaml on it, but I'm not having success with OCamlPro MSVC edition with MSVC 2017 installed. I can't find any troubleshooting information online, either. Can anyone point me to a document describing how to configure it?
<rrolles> when invoking it on some source code while running the MSVC command-line, I get: E:\path>ocamlc code.ml // Error: could not detect any version of MSVC // OCPWIN_MSVC="::true"
_andre has quit [Quit: leaving]
rrolles has quit [Quit: Leaving]
dedgrant has joined #ocaml
nullifidian has joined #ocaml
Anarchos has joined #ocaml
KeyJoo has joined #ocaml
mengu has quit [Remote host closed the connection]
Guest19524 has quit [Remote host closed the connection]
jimmyrcom has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 264 seconds]
ygrek has joined #ocaml
mengu has joined #ocaml
jimmyrcom has quit [Ping timeout: 240 seconds]
mengu has quit [Ping timeout: 260 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
aciniglio has joined #ocaml
aciniglio has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
jbrown has joined #ocaml
<companion_cube> did menhir.20171013 disappear?
zv has joined #ocaml
maufred has quit [Read error: Connection reset by peer]
<Anarchos> does merlin need python3 in vim ?
mengu has quit [Remote host closed the connection]
<kakadu_> to be or not to be?
malc_ has joined #ocaml
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 268 seconds]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
mengu has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
Haudegen has joined #ocaml
<rom1504> yes
<lyxia> it's a syntax error because to is a keyword.
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
maufred has joined #ocaml
shinnya has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
jnavila has quit [Remote host closed the connection]
leah2 has quit [Ping timeout: 276 seconds]
kakadu has quit [Remote host closed the connection]
john51_ has quit [Ping timeout: 246 seconds]
john51 has joined #ocaml
leah2 has joined #ocaml
jimmyrcom has joined #ocaml
mk9 has quit [Quit: mk9]
Haudegen has quit [Read error: Connection reset by peer]
al-damiri has quit [Quit: Connection closed for inactivity]
jbrown has quit [Quit: Leaving]
rostero has quit [Quit: Connection closed for inactivity]
zolk3ri has quit [Remote host closed the connection]
cbot has joined #ocaml
zmt00 has quit [Read error: Connection reset by peer]
zmt00 has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
argent_smith has quit [Quit: Leaving.]
jimmyrcom has quit [Read error: Connection reset by peer]
KeyJoo has quit [Ping timeout: 256 seconds]
kerrhau has quit [Read error: Connection reset by peer]