adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
okuu has quit [Quit: ERC (IRC client for Emacs 26.2)]
AtumT_ has joined #ocaml
AtumT has quit [Ping timeout: 250 seconds]
spew has quit [Quit: Connection closed for inactivity]
keep_learning has joined #ocaml
AtumT has joined #ocaml
AtumT_ has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 268 seconds]
silver has quit [Read error: Connection reset by peer]
AtumT has quit [Quit: AtumT]
KeyJoo has joined #ocaml
Birdface has joined #ocaml
tormen_ has joined #ocaml
kjak has quit [Quit: leaving]
kjak has joined #ocaml
tormen has quit [Ping timeout: 250 seconds]
bramford has joined #ocaml
<bramford> `ocamlc` supports the flag `-annot` for dumping type info to a .annot file. When using dune, this flag doesn't work. Anyone know a workaround?
ihavelotsoffries has joined #ocaml
Birdface has quit [Ping timeout: 264 seconds]
ihavelotsoffries has quit [Changing host]
ihavelotsoffries has joined #ocaml
ihavelotsoffries has joined #ocaml
<ihavelotsoffries> Hello
<ihavelotsoffries> what does # means at the start of a line in ocaml?
<ihavelotsoffries> I am struggling to search the spec for it!
<bramford> ihavelotsoffries: The `#` character gives commands to the toplevel (interactive ocaml REPL)
<bramford> ihavelotsoffries: Can you provide an example?
<ihavelotsoffries> Okay, I think I have found it.
<ihavelotsoffries> Search for "Location directive" :)
<ihavelotsoffries> The example I found is in yojson.mli
<ihavelotsoffries> things like : # 8 :type.ml"
<ihavelotsoffries> grrrr: # 8 "type.ml"
<bramford> I've never used cppo, but that's an extension to provide C preprocessor micros for OCaml
<ihavelotsoffries> yeah, I haven't either.
<ihavelotsoffries> I found the said examples in the processed mli files.
<bramford> They're entirely different from the toplevel commands
AnAverageHuman has joined #ocaml
jao has quit [Ping timeout: 258 seconds]
<ihavelotsoffries> Yeah, so the cppo eludes to ocaml's location directives by I can't seem to find any docs.
<ihavelotsoffries> > Location directives are the same as in OCaml and are echoed in the
<ihavelotsoffries> output.
<ihavelotsoffries> Okay, it is called a "line directive", not location: https://caml.inria.fr/pub/docs/manual-ocaml/lex.html
KeyJoo has quit [Quit: KeyJoo]
gravicappa has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
AnAverageHuman has quit [Ping timeout: 256 seconds]
kmicinski has joined #ocaml
<kmicinski> I'm getting a *ton* of build errors on mac with ocaml lately. Tons of "symbol(s) not found for architecture x86_64" errors. Anything clang-related I need to know?
TC01 has quit [Ping timeout: 255 seconds]
TC01 has joined #ocaml
<oni-on-ion> what happened 'lately' ?
<oni-on-ion> new install of any of those things? (ocaml, mac, clang)
xuib has quit [Quit: xuib]
Birdface has joined #ocaml
kmicinski has quit [Ping timeout: 258 seconds]
kmicinski has joined #ocaml
rockcavera has joined #ocaml
rockcavera has left #ocaml [#ocaml]
Birdface has quit [Ping timeout: 240 seconds]
ihavelotsoffries has quit [Remote host closed the connection]
kmicinski has quit [Quit: Lost terminal]
tormen_ has left #ocaml [#ocaml]
nicooo has quit [Remote host closed the connection]
nicooo has joined #ocaml
chindy has quit [Quit: No Ping reply in 180 seconds.]
klntsky has quit [Ping timeout: 256 seconds]
Mayoi has joined #ocaml
chindy has joined #ocaml
erkin has quit [Ping timeout: 246 seconds]
klntsky has joined #ocaml
kmicinski has joined #ocaml
<kmicinski> Following up on my previous question: ocamlfind breaks on the latest OSX for me with linker errors. How can I debug the installation of an OPAM package?
bartholin has joined #ocaml
freyr69 has joined #ocaml
pierpal has joined #ocaml
<def`> kmicinski: can you give a precise output?
<def`> there was a bug in homebrew which put an incorrect toolchain in PATH some time ago, that sounds related to your problems
<Leonidas> oni-on-ion: ocaml floats are unboxed, I think
<oni-on-ion> oh thats great news !
<Leonidas> or maybe that was floatarrays?
<oni-on-ion> innernet wasnt being very precise
<oni-on-ion> possibly; i've heard "in lists if all is floats" and another similar thing about polymorphic
<Drup> ocaml floats are boxed.
<Leonidas> no, not in lists. in arrays
<Drup> they can be locally unboxed if the compilers feels like it
<oni-on-ion> hmmm 2013
<oni-on-ion> im trying now to define where exactly the line is between C and Ocaml ie. how granular can i set up geometry
<oni-on-ion> i'll likely then batch them up into arrays which is fine
<oni-on-ion> less pressure to 1:1 the ffi (to nanovg)
<Leonidas> ugh, I tried looking up the section but the numbers have all changed in the meantime so who knows what 19.2 was referring to back in 2013
<oni-on-ion> yea i saw that too, couldnt find the original
dimitarvp has joined #ocaml
<Leonidas> that's it I think, it just shifted position in the meantime, since the URL is not versioned by release.
Haudegen has joined #ocaml
Bahman has joined #ocaml
Haudegen has quit [Remote host closed the connection]
mfp has joined #ocaml
oni-on-ion has quit [Quit: Leaving]
Haudegen has joined #ocaml
kakadu has joined #ocaml
kmicinski has quit [Read error: Connection reset by peer]
dhil has joined #ocaml
kalio has quit [Ping timeout: 268 seconds]
kalio has joined #ocaml
kalio has quit [Ping timeout: 250 seconds]
kalio has joined #ocaml
q9929t has joined #ocaml
zolk3ri has joined #ocaml
kmicinski has joined #ocaml
silver has joined #ocaml
kmicinski has quit [Ping timeout: 255 seconds]
Haudegen has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
dhil has quit [Ping timeout: 258 seconds]
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
dhil has joined #ocaml
kmicinski has joined #ocaml
q9929t has quit [Quit: q9929t]
kmicinski has quit [Ping timeout: 246 seconds]
ShalokShalom has quit [Remote host closed the connection]
sonologico has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
cemerick has quit [Ping timeout: 268 seconds]
ec has quit [Ping timeout: 240 seconds]
rdivyanshu has quit [Read error: Connection reset by peer]
vinoski has quit [Read error: Connection reset by peer]
banjiewen has quit [Ping timeout: 258 seconds]
SrPx has quit [Ping timeout: 250 seconds]
strmpnk has quit [Read error: Connection reset by peer]
adrianbrink has quit [Ping timeout: 257 seconds]
l1x has quit [Ping timeout: 240 seconds]
banjiewen has joined #ocaml
cemerick has joined #ocaml
vinoski has joined #ocaml
rdivyanshu has joined #ocaml
strmpnk has joined #ocaml
SrPx has joined #ocaml
adrianbrink has joined #ocaml
ec has joined #ocaml
l1x has joined #ocaml
ShalokShalom has joined #ocaml
dimitarvp has quit [Quit: Bye]
ShalokShalom has quit [Remote host closed the connection]
kmicinski has joined #ocaml
Haudegen has joined #ocaml
kmicinski has quit [Ping timeout: 250 seconds]
al-damiri has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 258 seconds]
kmicinski has joined #ocaml
kmicinski has quit [Ping timeout: 250 seconds]
dhil has joined #ocaml
freyr69 has quit [Remote host closed the connection]
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
Birdface has joined #ocaml
kmicinski has joined #ocaml
dhil has quit [Ping timeout: 258 seconds]
kalio has quit [Ping timeout: 246 seconds]
picojulien has joined #ocaml
AtumT has joined #ocaml
Bahman has quit [Ping timeout: 246 seconds]
kmicinski has quit [Ping timeout: 250 seconds]
picojulien has left #ocaml [#ocaml]
picojulien has joined #ocaml
kalio has joined #ocaml
picolino has joined #ocaml
picojulien has quit [Quit: ERC (IRC client for Emacs 26.1)]
<picolino> Hi there !
<picolino> While playing with network things, I noticed that the Unix module does not have the ENOPROTO system error
<picolino> while it is defined in the posix standard
<picolino> any idea on why it isn't there ?
<picolino> +EPROTO -ENOPROTO
unyu has quit [Quit: unyu~]
Mayoi is now known as erkin
amiloradovsky has joined #ocaml
<zozozo> picolino: EPROTO seems to have been defined in POSIX.1-2001, whereas as far as i recall, most of the Unix stuff was written before 2000
<zozozo> a quick git blame reveals that most errors in Unix were defined some 22-24 years ago, :p
dhil has joined #ocaml
<picolino> ok
<picolino> thanks zozozo
<picolino> I guess that an update of this would break a lot of code that match these error
kmicinski has joined #ocaml
unyu has joined #ocaml
<zozozo> I don't think so: it seems unlikely that there exists much code that does exhaustive pattern matching on these errors, but it would still probably be hard to change this type definition
<zozozo> doesn't the EUNKNOWNERR case is used for EPROTO (with int 71 if I remember the doc for EPROTO) ?
amosbird has quit [Quit: ZNC 1.7.1 - https://znc.in]
amosbird has joined #ocaml
amosbird has quit [Max SendQ exceeded]
gaze___ has quit [Max SendQ exceeded]
gaze__ has joined #ocaml
amosbird has joined #ocaml
amosbird has quit [Max SendQ exceeded]
dimitarvp has joined #ocaml
amosbird has joined #ocaml
amosbird has quit [Max SendQ exceeded]
amosbird has joined #ocaml
amosbird has quit [Max SendQ exceeded]
amosbird has joined #ocaml
amosbird has quit [Max SendQ exceeded]
kmicinski has quit [Quit: Lost terminal]
amosbird has joined #ocaml
amosbird has quit [Max SendQ exceeded]
amosbird has joined #ocaml
dimitarvp has quit [Quit: Bye]
Haudegen has quit [Remote host closed the connection]
ygrek has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
Jesin has quit [Quit: Leaving]
sonologico has quit [Ping timeout: 244 seconds]
sonologico has joined #ocaml
keep_learning_M has quit [Quit: This computer has gone to sleep]
Jesin has joined #ocaml
ziyourenxiang has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
tianon has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
ec has quit []
unyu has quit [Ping timeout: 268 seconds]
tianon has joined #ocaml
l1x has quit []
ec has joined #ocaml
l1x has joined #ocaml
aristos has joined #ocaml
xuib has joined #ocaml
xuib has quit [Client Quit]
xuib has joined #ocaml
kakadu has quit [Remote host closed the connection]
aristos has left #ocaml ["Leaving"]
<picolino> indeed I could match EUNKNOWNERR but I'm not sure the error number is standard so I'm uncomfortable doing this
sonologico has quit [Ping timeout: 250 seconds]
sonologico has joined #ocaml
TheLemonMan has joined #ocaml
unyu has joined #ocaml
groovy2shoes has quit [Quit: moritura te salutat]
kakadu has joined #ocaml
unyu has quit [Ping timeout: 255 seconds]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky1 has joined #ocaml
amiloradovsky1 is now known as amiloradovsky
shmibs has left #ocaml ["WeeChat 2.4"]
sonologico has quit [Remote host closed the connection]
gravicappa has quit [Ping timeout: 246 seconds]
Haudegen has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
Haudegen has joined #ocaml
pierpal has quit [Ping timeout: 255 seconds]
unyu has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
oni-on-ion has quit [Quit: Leaving]
oni-on-ion has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
SegFaultAX has quit [Quit: ZNC - http://znc.in]
SegFaultAX has joined #ocaml
keep_learning_M has joined #ocaml
amiloradovsky has quit [Ping timeout: 250 seconds]
pierpal has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
Haudegen has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
pierpal has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
Birdface has quit [Ping timeout: 276 seconds]
Jesin has quit [Read error: Connection reset by peer]
Jesin has joined #ocaml
ziyourenxiang has joined #ocaml