<coventry>
How can I find the docs for operators made entirely of non-alphanumeric characters, like Lwt.(>|=)?
<coventry>
Oh... Google actually did the right thing, in this case.
sh0t has quit [Remote host closed the connection]
sam__ has joined #ocaml
Last has quit [Ping timeout: 260 seconds]
xuanrui has joined #ocaml
ygrek has joined #ocaml
<coventry>
Is "let construct e v = construct (get_json e) v" a possibly meaningful binding, if e is a GADT? It looks like a recursive function definition, but missing the "rec". There's no other definition of "construct" elsewhere in the file, or in any opened modules. https://github.com/tezos/tezos/blob/master/src/minutils/data_encoding.ml#L397
sam__ has quit [Ping timeout: 246 seconds]
<coventry>
Never mind, there's an "include Json_encoding" in the submodule, which is probably the source.
mengu has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
samrat_ has quit [Ping timeout: 248 seconds]
vramana_ has joined #ocaml
big_num has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
samrat_ has joined #ocaml
bruce_r has quit [Ping timeout: 246 seconds]
samrat_ has quit [Ping timeout: 248 seconds]
coventry has joined #ocaml
ShalokShalom has joined #ocaml
raphaelss has quit [Quit: Lost terminal]
sam___ has joined #ocaml
vicfred has quit [Quit: Leaving]
bruce_r has joined #ocaml
MercurialAlchemi has joined #ocaml
enterprisey has joined #ocaml
bruce_r has quit [Ping timeout: 246 seconds]
sam___ has quit [Ping timeout: 248 seconds]
cbot has quit [Quit: Leaving]
big_num has quit [Ping timeout: 248 seconds]
freusque has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
enterprisey has quit [Read error: Connection reset by peer]
mbuf has joined #ocaml
freusque has quit [Ping timeout: 240 seconds]
shepi has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
shepi has quit [Client Quit]
sam__ has joined #ocaml
freusque has joined #ocaml
bruce_r has joined #ocaml
sam__ has quit [Ping timeout: 255 seconds]
keep_learning has joined #ocaml
ShalokShalom has joined #ocaml
coventry has quit [Ping timeout: 255 seconds]
sam__ has joined #ocaml
Riviera_ has quit [Remote host closed the connection]
sam__ has quit [Ping timeout: 248 seconds]
bruce_r has quit [Ping timeout: 255 seconds]
AltGr has joined #ocaml
noplamodo has quit [Remote host closed the connection]
noplamodo has joined #ocaml
mfp__ has joined #ocaml
zv has quit [Ping timeout: 246 seconds]
AltGr has left #ocaml [#ocaml]
zv has joined #ocaml
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 248 seconds]
tautologico has quit [Quit: Connection closed for inactivity]
ohama has joined #ocaml
johnelse has quit [Quit: leaving]
copy_ has joined #ocaml
argent_smith has joined #ocaml
malina has joined #ocaml
peterpp has joined #ocaml
ziyourenxiang has joined #ocaml
johnelse has joined #ocaml
sam__ has joined #ocaml
Simn has joined #ocaml
sam__ has quit [Ping timeout: 248 seconds]
ShalokShalom has quit [Ping timeout: 255 seconds]
dhil has joined #ocaml
xuanrui has quit [Ping timeout: 248 seconds]
eikke has joined #ocaml
sam__ has joined #ocaml
malina has quit [Ping timeout: 255 seconds]
sam__ has quit [Ping timeout: 248 seconds]
jao has joined #ocaml
ShalokShalom has joined #ocaml
Kakadu has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
Kakadu has joined #ocaml
malina has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
sam__ has joined #ocaml
mengu has joined #ocaml
sam__ has quit [Ping timeout: 255 seconds]
sam__ has joined #ocaml
sz0 has joined #ocaml
peterpp has quit [Quit: Ex-Chat]
peterpp has joined #ocaml
nomicflux has joined #ocaml
sam__ has quit [Ping timeout: 276 seconds]
sam__ has joined #ocaml
_andre has joined #ocaml
mbuf has quit [Quit: Leaving]
cow-orker has quit [Ping timeout: 255 seconds]
cow-orker has joined #ocaml
BitPuffin|osx has joined #ocaml
sam__ has quit [Ping timeout: 255 seconds]
nomicflux has quit [Quit: nomicflux]
dhil has quit [Ping timeout: 248 seconds]
infinity0 has joined #ocaml
infinity0 has quit [Changing host]
infinity0 has joined #ocaml
tautologico has joined #ocaml
mbuf has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
jao has joined #ocaml
sh0t has joined #ocaml
sam__ has joined #ocaml
dhil has joined #ocaml
malina has quit [Remote host closed the connection]
sam__ has quit [Ping timeout: 240 seconds]
def` has quit [Quit: rosebud]
shepi has joined #ocaml
def` has joined #ocaml
<shepi>
Hello! Is there a way to exclude opening and closing square brackets in a character set in ocamllex? I tried [^][()] (I need to exclude parens aswell), but it does not work, and the documentation don't mention that case (https://caml.inria.fr/pub/docs/manual-ocaml/lexyacc.html#sec298) ...
sam__ has joined #ocaml
<thizanne>
shepi: I would try [^ '[' ']' ]
<shepi>
Oh, I did not know that syntax, I'll give it a shot :-)
<shepi>
It works indeed. Thank you!
al-damiri has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
jlam_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
jlam__ has quit [Ping timeout: 255 seconds]
peterpp has quit [Remote host closed the connection]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 246 seconds]
jao has quit [Disconnected by services]
jao has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
Fistine has quit [Ping timeout: 246 seconds]
dhil has joined #ocaml
Fistine has joined #ocaml
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
cross has joined #ocaml
ygrek has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
bruce_r has joined #ocaml
mengu_ has joined #ocaml
enterprisey has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
slash^ has joined #ocaml
malina has quit [Remote host closed the connection]
mengu has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
mengu_ has quit [Ping timeout: 240 seconds]
bruce_r has quit [Ping timeout: 276 seconds]
FreeBird_ has quit [Remote host closed the connection]
jlam__ has joined #ocaml
mbuf has quit [Quit: Leaving]
Multiocracy has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
<Multiocracy>
Hi. Any idea why 'make world' would cause following error? "Makefile:780: .depend: No such file or directory make: *** No rule to make target '.depend'. Stop."
<adrien>
did you read the build instructions? :)
<adrien>
and are you following them?
<Multiocracy>
Many times yes.
<Multiocracy>
Doing my best to.
<adrien>
what version are you building and which commands have you run so far?
<Multiocracy>
4.04
<Multiocracy>
./configure
<Multiocracy>
then tried make world
<adrien>
release tarballs should contain every file needed but you can try "make depend" anyway
<Multiocracy>
"make depend
<Multiocracy>
"make depend" throws same error
<adrien>
which platform are you on and which file did you download exactly?
<Multiocracy>
Ubuntu
<Multiocracy>
I don't recall which file by attempted to be thourough to match version
<Multiocracy>
with architecture
<adrien>
what do you mean? and also, why not use opam?
jlam__ has quit [Ping timeout: 240 seconds]
<Multiocracy>
I used opam. I was referring to ubuntu and cpu architecture nvm
<adrien>
but how are you getting these directly if you are using opam?
<sgnb>
ah ok
<adrien>
these errors*
<Multiocracy>
Not sure.
<Multiocracy>
Ocaml files installed to desktop
<Multiocracy>
config folder files were generated as best I can tell
<adrien>
which opam-related commands did you run?
coventry has joined #ocaml
<coventry>
Any opinions on the best OCaml quickcheck clone? Looking particularly for something which makes it easy to generate and shrink recursive data structures.
<Drup>
coventry: there is a merlin macro to find the documentation of the symbol under the cursor
<Drup>
M-x merlin-document in emacs
<Drup>
also, ocp-browser, which is distributed with ocp-index with lambda-term, is useful
<coventry>
Drup: Thanks.
<adrien>
Multiocracy: I guess that none of these commands failed, so why are you trying to build the ocaml compiler yourself since it's already installed?
jlam_ has joined #ocaml
<coventry>
Drup: I tried merlin-document, but not ocp-browser.
<adrien>
Multiocracy: after you've installed opam, you don't need the first section of that
<Multiocracy>
Yeah, but errors irk me. lol
enterprisey has quit [Remote host closed the connection]
<adrien>
Multiocracy: opam and compilation by hand are two separate paths that lead you to the same point
<adrien>
and you are already there because you've installed opam
<Multiocracy>
Gotcha. I'd like to learn how to do it by hand
<adrien>
it's better to first learn how to use it first :)
coventry has quit [Ping timeout: 248 seconds]
<adrien>
also, I'm fairly sure the issue is that the source tarball pointed by that wiki page is a raw github dump that lacks some files that are typically shipped with releases
Multiocracy has quit [Ping timeout: 260 seconds]
Kakadu has joined #ocaml
kakadu_ has joined #ocaml
Kakadu has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 248 seconds]
malina has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
bruce_r has joined #ocaml
multiocracy[m] has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
malina has joined #ocaml
slash^ has quit [Quit: Leaving]
big_num has joined #ocaml
jyc has quit [Ping timeout: 246 seconds]
jyc has joined #ocaml
sam__ has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
sam__ has quit [Ping timeout: 240 seconds]
big_num has quit [Quit: WeeChat 1.7]
big_num has joined #ocaml
mengu has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
jimmyrcom_ has joined #ocaml
g0d355__ has quit [Ping timeout: 248 seconds]
coventry has joined #ocaml
enterprisey has joined #ocaml
pzp has joined #ocaml
mengu has quit [Read error: Connection reset by peer]
sh0t has quit [Ping timeout: 255 seconds]
mengu has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
Simn has quit [Read error: Connection reset by peer]
<coventry>
To answer my earlier question, I'm probably going to go with qtest/qtest as the best-developed quickcheck clone. At least, the documentation seems best.
<companion_cube>
\o/
<coventry>
Oh, cool. Do you know of any examples of using qtest to simulate and shrink recursive data structures such as trees?
enterprisey has quit [Remote host closed the connection]