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.
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>
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?
<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]