adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
conrad2 has joined #ocaml
conrad2 has quit [Ping timeout: 260 seconds]
silver has quit [Quit: rakede]
ygrek has quit [Ping timeout: 265 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
shakalaka has quit [Quit: bye.]
shakalaka has joined #ocaml
struktured has joined #ocaml
etc has joined #ocaml
nicholasf has joined #ocaml
nicholasf has quit [Read error: Connection reset by peer]
<t4nk079> \QUIT
t4nk079 has left #ocaml [#ocaml]
fraggle_ has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
demonimin has quit [Ping timeout: 256 seconds]
demonimin has joined #ocaml
etc has quit [Quit: Page closed]
brunoro has joined #ocaml
mfp has quit [Ping timeout: 250 seconds]
brunoro has quit [Ping timeout: 250 seconds]
conrad2 has joined #ocaml
conrad2 has quit [Ping timeout: 256 seconds]
shakalaka has quit [Quit: bye.]
shakalaka has joined #ocaml
brunoro has joined #ocaml
shakalaka has quit [Quit: bye.]
shakalaka has joined #ocaml
brunoro has quit [Ping timeout: 244 seconds]
okuu has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 260 seconds]
okuu has joined #ocaml
brunoro has joined #ocaml
<petroav> Hey everyone, I'm trying to come up with a single pattern branch that matches both a single element and a double element list. Is that possible?
<petroav> Doing something like this doesn't work: ([x] | [x;y]) as l -> l
<petroav> And neither does this: (x :: (y | [])) as l -> l
brunoro has quit [Ping timeout: 252 seconds]
<pierpa> try using _ instead of x and y. ISTR this should be allowed, but I'm not sure.
petroav has quit [Ping timeout: 250 seconds]
<pierpa> in case you read the logs: yes, with _ it works.
pierpa has quit [Ping timeout: 250 seconds]
lolisa has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
fluter has quit [Ping timeout: 258 seconds]
nomicflux has quit [Quit: nomicflux]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
jao has quit [Ping timeout: 260 seconds]
conrad2 has joined #ocaml
conrad2 has quit [Ping timeout: 260 seconds]
lolisa has quit [Quit: KVIrc 4.9.1 Aria http://www.kvirc.net/]
rgrinberg has quit [Ping timeout: 252 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
conrad1 has quit [Ping timeout: 252 seconds]
groovy2shoes has quit [Ping timeout: 258 seconds]
minn has quit [Ping timeout: 260 seconds]
Sorella has quit [Quit: Connection closed for inactivity]
fluter has joined #ocaml
petroav has joined #ocaml
groovy2shoes has joined #ocaml
brunoro has joined #ocaml
<Algebr> smondet: yea, noticed that when utop worked fine in the actual directory as well
minn has joined #ocaml
conrad1 has joined #ocaml
brunoro has quit [Ping timeout: 252 seconds]
hhx has quit [Quit: WeeChat 1.6]
conrad1 has quit [Ping timeout: 252 seconds]
<Algebr> why doesn't the making of a cma also create one big cmi
conrad2 has joined #ocaml
conrad2 has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
petroav has quit [Ping timeout: 250 seconds]
<Algebr> ocamlbuild's manual seems to be incorrect on OSX, something.dylib errors out but .so is fine
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 244 seconds]
slash^ has joined #ocaml
etc has joined #ocaml
<Algebr> Drup: feature request for ocp-browser, for values of type ref, show the actual initial ref value
etc has quit [Ping timeout: 260 seconds]
etc has joined #ocaml
<etc> Anyone have experience using ppx_tools/genlifter? Not quite getting it
Simn has joined #ocaml
etc has quit [Quit: Page closed]
luzie has joined #ocaml
brunoro has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
conrad1 has joined #ocaml
ggole has joined #ocaml
brunoro has quit [Ping timeout: 245 seconds]
conrad1 has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
conrad2 has joined #ocaml
conrad2 has quit [Ping timeout: 252 seconds]
minn has quit [Ping timeout: 252 seconds]
fraggle_ has quit [Ping timeout: 250 seconds]
fraggle_ has joined #ocaml
<Algebr> how do you represent abstract typedefed types in ctypes?
<Algebr> ie, typedef void *foo on the C side
<Algebr> what is this warning syntax: ocamlopt -w '@f@p@u@s@40'
orbifx has joined #ocaml
kakadu has joined #ocaml
Simn has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 265 seconds]
fluter has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Ping timeout: 260 seconds]
rand__ has joined #ocaml
Sakarah has joined #ocaml
octachron has joined #ocaml
orbifx1 has joined #ocaml
fluter has joined #ocaml
dakk has joined #ocaml
hellofunk has joined #ocaml
octachron_ has joined #ocaml
octachron has quit [Read error: Connection reset by peer]
octachron_ has quit [Read error: Connection reset by peer]
octachron has joined #ocaml
toolslive has quit [Quit: Leaving]
octachron has quit [Read error: Connection reset by peer]
orbifx1 has quit [Ping timeout: 250 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
oxcsh has joined #ocaml
conrad1 has joined #ocaml
conrad1 has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
mfp has joined #ocaml
brunoro has quit [Ping timeout: 265 seconds]
jimt_ is now known as jimt
conrad2 has joined #ocaml
oxcsh has quit []
conrad2 has quit [Ping timeout: 244 seconds]
struktured has quit [Ping timeout: 244 seconds]
chattere` has joined #ocaml
chattere` is now known as chattered
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
fluter has quit [Ping timeout: 245 seconds]
Sorella has joined #ocaml
brunoro has joined #ocaml
TheLemonMan has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
brunoro has quit [Ping timeout: 256 seconds]
ggole_ has joined #ocaml
<Pepe_> hi there, where can I find documentation and examples about ocaml{lex,yacc}? a search brings me mostly dead links
<Pepe_> I've read the page on the OCaml Manual
alpen has quit [Ping timeout: 258 seconds]
<Algebr> realworldocaml has an example
<Algebr> do any kind of casual search on github
ggole has quit [Ping timeout: 260 seconds]
<Pepe_> realworldocaml appears unavailable as well. I guess my only chance is random repositories
<Algebr> do you know about google cache?
<Algebr> https://webcache.googleusercontent.com/search?q=cache:3nuaQ9FM3LMJ:https://realworldocaml.org/v1/en/html/parsing-with-ocamllex-and-menhir.html+&cd=1&hl=en&ct=clnk&gl=am
<Pepe_> I don't use google
<Pepe_> But thanks
<Pepe_> I've got a copy already
<Pepe_> **I managed to get a copy
hellofunk has quit [Ping timeout: 245 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
fluter has joined #ocaml
alpen has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
ggole__ has joined #ocaml
madroach has joined #ocaml
ggole_ has quit [Ping timeout: 260 seconds]
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
<Algebr> for the first parameter of ocamlbuild rule, its just a string without any meaning right, just a name for the rule?
madroach has quit [Read error: Connection reset by peer]
silver has joined #ocaml
conrad1 has joined #ocaml
slash_ has joined #ocaml
conrad1 has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
slash^ has quit [Ping timeout: 260 seconds]
madroach has quit [Read error: Connection reset by peer]
brunoro has joined #ocaml
fraggle_ has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
brunoro has quit [Ping timeout: 260 seconds]
conrad2 has joined #ocaml
madroach has joined #ocaml
orbifx1 has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
conrad2 has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
AlexDenisov has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
brunoro has joined #ocaml
madroach has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
madroach has quit [Read error: Connection reset by peer]
govg has joined #ocaml
orbifx has quit [Ping timeout: 250 seconds]
conrad1 has joined #ocaml
SpaceSheep has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
ggole_ has joined #ocaml
FreeBirdLjj has joined #ocaml
ggole__ has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
brunoro has joined #ocaml
<flux> hmm, core_kernel.114.10+84 failed to compile on 4.03.0 :-( # File "src/comparator.mli", line 3, characters 0-133: # Error: This variant or record definition does not match that of type # ('a, 'witness) Base.Comparator.t # The types for field sexp_of_t are not equal.
<flux> broken type trickery?
zaquest has quit [Read error: Connection reset by peer]
<flux> and 113.33.03 doesn't even try to compile due to ocaml version constraints
zaquest has joined #ocaml
<flux> seems like this would be a common issue, but I guess it's only me :)
brunoro has quit [Ping timeout: 250 seconds]
nomicflux has joined #ocaml
ggole__ has joined #ocaml
orbifx1 has quit [Ping timeout: 260 seconds]
ggole_ has quit [Ping timeout: 250 seconds]
govg has quit [Quit: leaving]
conrad2 has joined #ocaml
Simn has joined #ocaml
ggole_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
conrad2 has quit [Ping timeout: 265 seconds]
ggole__ has quit [Ping timeout: 265 seconds]
brunoro has joined #ocaml
madroach has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
<flux> so now I found git@github.com:janestreet/core_kernel.git#113.33.01+4.03 and it fails with # File "src/core_hashtbl.ml", line 845, characters 49-616: # Error: Signature mismatch: # ... # The value `caller_identity' is required but not provided
nomicflux has quit [Quit: nomicflux]
<flux> why are these broken?-(
axhixh has joined #ocaml
madroach_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
fraggle_ has quit [Ping timeout: 260 seconds]
madroach_ has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
<flux> (oops, it seems the version I can pin directly from opam as 113.33.01+4.03 works)
petroav has joined #ocaml
hellofunk has joined #ocaml
average has quit [Ping timeout: 260 seconds]
average has joined #ocaml
n4 has joined #ocaml
shinnya has joined #ocaml
<n4> hi, how can I represent an empty tuple of a pair?
<flux> hmm, what is an empty tuple of pair?
<flux> a pair is a 2-tuple and it always has a value
<flux> perhaps you want the type ('a * 'b) option?
<n4> flux: maybe I'm getting it wrong. Please see the paste http://pastebin.com/BEhJxB1Z
<n4> gives an error in -> assoc [] w, that's why I was trying to make the empty list, a list with an empty tuple
<n4> I'm just learning the basics yet...
orbifx has joined #ocaml
govg has joined #ocaml
fraggle_ has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
<Drup> Algebr: that's not possible ...
<Algebr> Drup: why not, wouldn't that be put in like a static section of the compiled code?
<Drup> let x = ref (Random.int ())
<Drup> there is no garantee at all that it's a constant.
<Algebr> i c
brunoro has joined #ocaml
<Drup> and beside, even if it was a constant, that information is not stored in cmis, we would have to try to find the information in .cmo/.cmx, and that sounds ... adventurous
ggole__ has joined #ocaml
fraggle_ has quit [Ping timeout: 260 seconds]
<Algebr> What's in cmts?
<Drup> the typedtree of the .ml file
brunoro has quit [Ping timeout: 245 seconds]
ggole_ has quit [Ping timeout: 260 seconds]
hellofunk has quit [Ping timeout: 260 seconds]
<Algebr> Drup: why doesn't a cma simply also contain the cmis?
hellofunk has joined #ocaml
<Drup> ah, the great questions of the design of cm* files in ocaml
<Drup> I have no answers to that question, unfortunatly
<Algebr> Any good overview?
ggole_ has joined #ocaml
ggole__ has quit [Ping timeout: 250 seconds]
soupault has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
obadz has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<adrien> maybe that the magic of the cm* files answers the why: "Caml1999"
FreeBirdLjj has quit [Ping timeout: 265 seconds]
<flux> n4, the paste is gone, you got it?
axhixh has quit [Quit: Page closed]
orbifx has quit [Ping timeout: 250 seconds]
<obadz> any insiders here know if and when the modular implicits / multicore branches are going to be merged?
brunoro has joined #ocaml
dakk has quit [Ping timeout: 256 seconds]
conrad2 has joined #ocaml
<flux> I doubt anyone knows it. neither of them are ready.
<flux> multicore isn't even rebased on top of 4.03 yet
fraggle_ has joined #ocaml
soupault has quit [Remote host closed the connection]
brunoro has quit [Ping timeout: 252 seconds]
conrad2 has quit [Ping timeout: 244 seconds]
jbrown has quit [Ping timeout: 250 seconds]
pierpa has joined #ocaml
nomicflux has joined #ocaml
FreeBirdLjj has joined #ocaml
malina has joined #ocaml
jbrown has joined #ocaml
ggole__ has joined #ocaml
hellofunk has quit [Ping timeout: 252 seconds]
ggole_ has quit [Ping timeout: 244 seconds]
<n4> flux, I could recover it, but I've already solved the issue, thanks for your time
dhil has joined #ocaml
tane has joined #ocaml
ggole_ has joined #ocaml
conrad1 has quit [Ping timeout: 250 seconds]
ggole__ has quit [Ping timeout: 244 seconds]
ggole__ has joined #ocaml
<Bluddy[m]> obadz: apparently implicits is closer to integration than multicore
<obadz> Bluddy[m]: are all these conversations happening in private spaces, or is there a public discussion somewhere?
brunoro has joined #ocaml
ggole_ has quit [Ping timeout: 252 seconds]
brunoro has quit [Ping timeout: 260 seconds]
maker has quit [Read error: Connection reset by peer]
petroav has quit [Ping timeout: 250 seconds]
dakk has joined #ocaml
<mfp> obadz: it belongs to the lore of the Doomsday. On Jul 5 2027, a Coq-assisted scientist proved principality of inference under modular implicits. They were merged into the main branch on Sep 23 2027. The compiler learned in geometric progression, and became self-aware on Jan 05 2028. It then refused to type any more code. Mankind, now reliant on automated processes driven by certified, self-compiling code, was decimated as all industrial
<mfp> processes came to a halt.
ggole__ has quit [Ping timeout: 260 seconds]
conrad1 has joined #ocaml
<Algebr> that got dramatic real quick
rgrinberg has joined #ocaml
conrad2 has joined #ocaml
brunoro has joined #ocaml
conrad2 has quit [Ping timeout: 252 seconds]
brunoro has quit [Ping timeout: 244 seconds]
Heasummn has joined #ocaml
<Algebr> why again can't ocaml unload code?
rgrinberg has quit [Remote host closed the connection]
<flux> ..what happens to code that refers to said loaded code?
<flux> or do you mean why ocaml doesn't (it doesn't?) gc code?
<Algebr> rereading this again: https://github.com/ocaml/ocaml/pull/71
Smerdyakov has joined #ocaml
<Smerdyakov> What kind of sanity check can I run to see that an OPAM package was actually installed? ocamlfind can't find it. (It's ocaml-xml-rpc.)
<flux> opam show ocaml-xml-rpc should show installed-versions: xxx
<flux> maybe it doesn't come with a META file?
<flux> oh, it does
<Smerdyakov> Yes, it shows.
<Smerdyakov> I think the issue turned out to be that the OCaml library name is different (xmlrpc).
<Smerdyakov> ocamlfind does find that one.
<Smerdyakov> How do I address an error message about module "Time" not being provided?
<Smerdyakov> Looks like it's in package core.
natimic has quit [Ping timeout: 252 seconds]
<Smerdyakov> Ugh. I'm still unable to build using xmlrpc with ocamlbuild. I get this error message: Error: No implementations provided for the following modules: \n Time referenced from [filename]
Sakarah has quit [Remote host closed the connection]
<Smerdyakov> Any idea what I'm missing? I installed core and added it to my _tags file.
brunoro has joined #ocaml
<Smerdyakov> Well, the magic of asking a question strikes again: apparently I needed annexlib instead.
orbifx has joined #ocaml
brunoro has quit [Ping timeout: 252 seconds]
n4 has quit [Quit: Page closed]
sh0t has quit [Quit: Leaving]
thinkxl has joined #ocaml
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
orbifx has quit [Ping timeout: 250 seconds]
slash_ has quit [Read error: Connection reset by peer]
conrad1 is now known as cpdean
rgrinberg has joined #ocaml
orbifx has joined #ocaml
cpdean has quit [Ping timeout: 252 seconds]
maker has joined #ocaml
Algebr has quit [Ping timeout: 245 seconds]
cpdean has joined #ocaml
brunoro has joined #ocaml
smondet has quit [Ping timeout: 245 seconds]
cpdean has quit [Ping timeout: 260 seconds]
dhil has quit [Ping timeout: 250 seconds]
brunoro has quit [Ping timeout: 252 seconds]
cpdean has joined #ocaml
shakalaka has quit [Quit: bye.]
conrad2 has joined #ocaml
shakalaka has joined #ocaml
Smerdyakov has quit [Quit: Leaving]
noze has joined #ocaml
conrad2 has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
shakalaka has quit [Quit: bye.]
hundo has quit [Quit: hundo]
shakalaka has joined #ocaml
thinkxl has quit [Ping timeout: 245 seconds]
dakk has quit [Ping timeout: 256 seconds]
shakalaka has quit [Quit: bye.]
shinnya has joined #ocaml
shakalaka has joined #ocaml
tane has quit [Quit: Leaving]
tane has joined #ocaml
rand__ has quit [Quit: leaving]
shakalaka has quit [Quit: bye.]
shakalaka has joined #ocaml
Heasummn has quit [Quit: Leaving]
tane has quit [Quit: Leaving]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
<obadz> Bluddy[m]: thx
shakalaka has quit [Quit: bye.]
<obadz> mfp: ocaml getting a functionality that other languages have had for 20 years isn't going to cause the terminator singularity ;-)
shakalaka has joined #ocaml
brunoro has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
shakalaka has quit [Quit: bye.]
nomicflux has quit [Quit: nomicflux]
shakalaka has joined #ocaml
aluuu has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
cpdean has quit [Quit: #flowtype]
SpaceSheep has quit [Ping timeout: 252 seconds]
aluuu has quit [Quit: WeeChat 1.5]
Simn has quit [Quit: Leaving]
nomicflux has joined #ocaml
APNG has quit [Ping timeout: 258 seconds]
shinnya has quit [Ping timeout: 250 seconds]
aluuu has joined #ocaml
agarwal1975 has joined #ocaml
shakalaka has quit [Quit: bye.]
shakalaka has joined #ocaml
aluuu has quit [Quit: WeeChat 1.5]
shakalaka has quit [Quit: bye.]
conrad2 has joined #ocaml
shakalaka has joined #ocaml
shakalaka has quit [Client Quit]
agarwal1975 has quit [Quit: agarwal1975]
conrad2 has quit [Ping timeout: 260 seconds]
agarwal1975 has joined #ocaml
kakadu has quit [Remote host closed the connection]
noze has quit [Ping timeout: 244 seconds]
shakalaka has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
brunoro has joined #ocaml
aluuu has joined #ocaml
silver_ has joined #ocaml
Soni has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
silver has quit [Ping timeout: 256 seconds]
orbifx has quit [Ping timeout: 260 seconds]
noddy has quit [Ping timeout: 260 seconds]
shakalaka has quit [Quit: bye.]
shakalaka has joined #ocaml
Soni is now known as APNG
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 245 seconds]
noddy has joined #ocaml