ocabot_ has quit [Remote host closed the connection]
Guest54553 has joined #ocaml
govg has joined #ocaml
kbit has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kbit has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 260 seconds]
mengu has joined #ocaml
_xvilka_ has joined #ocaml
mengu has quit [Ping timeout: 276 seconds]
Guest54553 has quit [Quit: Take my advice. I don't use it anyway]
gpietro has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 260 seconds]
mbuf has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
sz0 has joined #ocaml
aler has joined #ocaml
<aler>
Hello, chat. Could you please help me? I'm very new in OCaml and have a trouble with build pretty interested repository: https://github.com/o1-labs/snarky
<aler>
ppx src/snark_intf.pp.ml (exit 1) (cd _build/default && ./.ppx/ppx_deriving.enum+ppx_jane+ppx_driver.runner/ppx.exe --dump-ast --cookie 'library-name="snarky"' -diff-cmd - -o src/snark_intf.pp.ml --impl src/snark_intf.ml) File "src/snark_intf.ml", line 415, characters 42-46: Error: ppx_type_conv: 'enum' is not a supported signature type type-conv generator ppx src/enumerable.pp.ml (exit 1) (cd _build/default && ./.ppx/
<companion_cube>
maybe it's impossible to have `[@@deriving enum]` on an abtract type?
<companion_cube>
hmmm it seems to work for me…
<companion_cube>
(sorry I don't know how ppx_jane works)
pierpa has quit [Quit: Page closed]
pd2000 has joined #ocaml
MercurialAlchemi has joined #ocaml
trochdewei_ has joined #ocaml
pierpa has joined #ocaml
trochdewei_ has quit [Ping timeout: 248 seconds]
<ousado>
aler: perhaps your ocaml version is not recent enough
<aler>
@ousado: opam --version told 1.2.2 (I dont know how to check out ocaml compiler version :shy:)
cbot has quit [Quit: Leaving]
mengu has joined #ocaml
<pierpa>
Maybe ocamlc --version
<ousado>
you can just start the repl via 'ocaml' or use ocaml -vnum or check the 'opam switch' output.
<aler>
4.05.0, Which I should use? I'm installing 4.06.1 right now, but maybe I should to install 07? (beta as I understand)
mengu has quit [Ping timeout: 240 seconds]
<ousado>
hm, those should all be recent enough..
<aler>
opam file told it's okay to use [ ocaml-version >= "4.04.1" ]
<ousado>
right..
kbit has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<aler>
@companion_cube could you please share test code with me?
<aler>
I mean ml file where you tried `[@@deriving enum]`
<aler>
I want to ensure about problem is environment not a code :)
<ousado>
are you trying to build/install the repo or are you trying to build a sample?
<aler>
core repo
<aler>
snarky lib as it
<ousado>
hm, that worked for me, too..
kbit has joined #ocaml
<aler>
Which platform?
<aler>
Linux I assume
<ousado>
I'm on debian 9, using ocaml 4.05.0
<aler>
I have a problem with a C++ code on macos. But solve it with small changes inside CMakeFiles
<ousado>
omg apple..
<aler>
Could it affect on ocaml compilation?
<ousado>
maybe your device is older than a year and they introduce random bugs?
<aler>
:shy:
<ousado>
they say it worked for them on "Mac OS X 10.9.4 (Mavericks) with Apple LLVM version 5.1 (based on LLVM 3.4svn) on x86-64 (-DWITH_PROCPS=OFF and GTest disabled)"
dtornabene has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
<ousado>
that's indeed a really interesting library :)
mengu has joined #ocaml
trochdewei has joined #ocaml
pierpa has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
Guest41807 has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
tarptaeya has joined #ocaml
pd2000 has quit [Quit: Oh, so they have Internet on computers now!]
Guest41807 is now known as Haudegen
mfp has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
<rixed>
Hello there! Does anyonw knows what are modules ending with "__" ?
<Armael>
do you ask this because you have a build error involving modules ending with "__"?
<rixed>
Armael: exactly: "No implementations provided for the following modules..."
<Armael>
yea, this is a bug in jbuilder beta18
<rixed>
Armael: Ah I see. Thank you very much!
johnelse has joined #ocaml
mengu has joined #ocaml
aler has quit [Quit: Page closed]
aler has joined #ocaml
<aler>
Hm. I'm trying to install snarky on linux and got same error
flodin has joined #ocaml
dhtns has quit [Ping timeout: 255 seconds]
flodin_ has quit [Remote host closed the connection]
gikiam has quit [Ping timeout: 240 seconds]
gikiam has joined #ocaml
dhtns has joined #ocaml
pd2000 has joined #ocaml
aler has quit [Quit: Page closed]
ziyourenxiang has joined #ocaml
malc_ has joined #ocaml
keep_learning has quit [Ping timeout: 248 seconds]
argent_smith has joined #ocaml
<remix2000>
Ahoy! I`m creating a project that uses Dynlink (using dune/jbuilder). When I'm building the project, it fails with `No implementations provided for the following modules: Dynlink referenced from src/.abc.eobjs/abc.cmx`. Am I missing something? Do I need to use a special build flag?
mk9 has joined #ocaml
<octachron>
remix2000, Dynlink is a standalone library bundled with the OCaml distribution, you need to add (libraries (dynlik))
ygrek has joined #ocaml
jimmyrcom has quit [Ping timeout: 268 seconds]
dhil has joined #ocaml
<remix2000>
Now I`m wondering if it`s possible to compile OCaml plugin file with dune. Or should I just compile them separately with ocamlc/~opt?
am55 has joined #ocaml
dakk has joined #ocaml
dtornabene has quit [Quit: Leaving]
<jpdeplaix>
remix2000: what do you mean by "OCaml plugin" ?
<jpdeplaix>
oh dynlink ?
<remix2000>
Yeah, I mean Dynlink ;)
<jpdeplaix>
mmh well yes. I mean afaik it's like any other libraries so it should be fine
xfbs has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
zolk3ri has joined #ocaml
<remix2000>
How to depend on the contents of the plugin loader then? I'm getting `Error: Unbound type constructor state_class` when I do `type state_class += Ready…`. I'm using `(library…)` directive in jbuild. :(
<remix2000>
Plugin file is in subdirectory. I should try with separate interface, I think.
<octachron>
remix2000, the plugins should depend on the plugin loader library, and you need to access the state_class type: "type Library_name.state_class += Ready"
<remix2000>
octachron: I`m getting `Warning: Module "Intf" is used in several stanzas:` now...
<remix2000>
And the same for rest of modules
<octachron>
if you have multiple plugins in the same folder, you should manually precise which modules belongs to which plugins with (modules (Plugin_module …))
<remix2000>
I modified some names for sake of clarity :)
jao has joined #ocaml
shinnya has joined #ocaml
dakk has quit [Read error: Connection reset by peer]
Haudegen has quit [Read error: Connection reset by peer]
kakadu has joined #ocaml
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
sh0t has joined #ocaml
<octachron>
remix2000, you should make Intf a library, then make loader and plugins depend on this common library
johnelse has quit [Ping timeout: 256 seconds]
<octachron>
then a plugin would be (executable ( (name plugin_1) (libraries (intf …)) (modules (Plugin_1)) … ))
_andre has joined #ocaml
pierpa has joined #ocaml
Haudegen has joined #ocaml
<remix2000>
octachron: Are you sure that Plugin_1 will be executable and not library? If it should be executable anyways, is it ok to compile it with jbuilder build x.exe and load that file with dynlink?
<octachron>
remix2000, sorry, it should be indeed a library
<remix2000>
So I should compile it as .cmo? It doesn't work anyway
<remix2000>
octachron: ↑
<octachron>
you need the cmxs file for dynlinking with the native backend
<remix2000>
octachron, I'
<remix2000>
m getting `Fatal error: exception Dynlink.Error(_)` even after compiling as .cmxs
jao has quit [Ping timeout: 265 seconds]
maattdd_ has joined #ocaml
gtrak has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
Denommus has quit [Ping timeout: 256 seconds]
BitPuffin has joined #ocaml
<octachron>
remix2000, you can catch the error with "try … with Dynlink.error e -> … " to get a more informative error message
gtrak has quit [Ping timeout: 276 seconds]
sh0t has quit [Ping timeout: 240 seconds]
<remix2000>
octachron: It's missing the symbol from Containers library. (`undefined symbol: camlCCEqual`) How should I link it properly, so it'll recognize external libraries?
pierpa has quit [Ping timeout: 260 seconds]
johnelse has joined #ocaml
mbuf has quit [Quit: Leaving]
Haudegen has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 240 seconds]
pierpa has joined #ocaml
<octachron>
remix2000, you need indeed to link containers somehow before linking the plugin, linking containers in the loader works for instance
Haudegen has joined #ocaml
<remix2000>
octachron: Thank you, `-linkall` flag worked for me :)
spew has joined #ocaml
dhil has joined #ocaml
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 276 seconds]
mk9_ is now known as mk9
sh0t has joined #ocaml
gtrak has joined #ocaml
aciniglio has joined #ocaml
mk9 has quit [Quit: mk9]
jerith_ has joined #ocaml
igitoor has joined #ocaml
jerith has quit [Ping timeout: 276 seconds]
igitoor_ has quit [Excess Flood]
_xvilka_ has quit [Ping timeout: 276 seconds]
_xvilka_ has joined #ocaml
jerith_ is now known as jerith
dhtns has quit [Ping timeout: 240 seconds]
igitoor has quit [Changing host]
igitoor has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
dhtns has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 268 seconds]
cross has quit [Remote host closed the connection]
trochdewei_ has joined #ocaml
trochdewei_ has quit [Client Quit]
trochdewei has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
trochdewei has joined #ocaml
BitPuffin has joined #ocaml
mengu has quit [Quit: Leaving...]
inr has quit [Ping timeout: 265 seconds]
pd2000 has quit [Ping timeout: 248 seconds]
pd2000 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
pd2000 has quit [Quit: Always try to be modest, and be proud about it!]
pd2000 has joined #ocaml
jao has joined #ocaml
inr has joined #ocaml
kuwze has quit [Ping timeout: 260 seconds]
inr_ has joined #ocaml
mbuf has joined #ocaml
inr has quit [Ping timeout: 252 seconds]
Haudegen has quit [Remote host closed the connection]
<rixed>
Does anyone have used lacaml and noticed a hueg allocation of nearly 100MiB even when the lib is unused?
inr_ is now known as inr
ygrek has quit [Ping timeout: 256 seconds]
pd2000 has quit [Quit: There's nothing dirtier than a giant ball of oil]
pierpa has quit [Ping timeout: 260 seconds]
gtrak has quit [Ping timeout: 265 seconds]
gtrak has joined #ocaml
johnelse has quit [Ping timeout: 248 seconds]
jrslepak has joined #ocaml
jmiven has quit [Quit: co'o]
kbit has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jmiven has joined #ocaml
<reynir>
remix2000: did you get tcpip to compile?
<remix2000>
I didn't take any efforts in it today. How about you, reynir?
<reynir>
I didn't try, but I can now
kbit has joined #ocaml
Haudegen has joined #ocaml
<remix2000>
Mention me when you have something then, reynir. Thanks :)
al-damiri has joined #ocaml
maattdd_ has quit [Ping timeout: 256 seconds]
kakadu has quit [Quit: Konversation terminated!]
<reynir>
remix2000: it compiled fine for me
troydm has joined #ocaml
mbuf has quit [Quit: Leaving]
zolk3ri has quit [Ping timeout: 276 seconds]
<remix2000>
reynir: I can't do this today. To many libraries to downgrade, and it's late in my TZ. :(
<reynir>
:(
<reynir>
From wednesday I will have more time (but I'll also have a worse internet connection)
<remix2000>
reynir: Ok, I'll try to keep it in mind. Thanks for help :)
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
trochdewei has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
kbit has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kbit has joined #ocaml
am55 has quit [Quit: am55]
am55 has joined #ocaml
kakadu has joined #ocaml
jnavila has joined #ocaml
am55 has quit [Quit: am55]
am55 has joined #ocaml
govg has quit [Ping timeout: 265 seconds]
govg has joined #ocaml
gtrak has quit [Ping timeout: 265 seconds]
govg has quit [Ping timeout: 276 seconds]
malc_ has joined #ocaml
malc_ has quit [Client Quit]
tarptaeya has quit [Quit: Leaving]
kbit has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kbit has joined #ocaml
gtrak has joined #ocaml
<alicemaz>
hi all, another question on build issues... so I switched to jbuilder after problems using ocamlbuild, and am now trying to use a library nocrypto, which has what it describes as a "sublibrary" nocrypto_entropy_unix (part of the same library but in its own namespace and directory). but I am getting "No implementation provided for the following modules: Nocrypto_entropy_unix"
<alicemaz>
nocrypto itself works fine, and I do have the nocrypto_entropy_unix files in .opam. I can use the sublibrary fine in utop with #require, so it seems like an issue just of jbuilder not being able to find it. adding its name to the libraries list in the jbuild file yields "Library "nocrypto_entropy_unix not found"
<octachron>
alicemaz, did you add the sublibrary nocrypto.unix as a dependency ?
aciniglio has quit [Ping timeout: 240 seconds]
<alicemaz>
octachron: ah, that fixed it. sorry, I didn't know to do that. thank you!
argent_smith has quit [Quit: Leaving.]
jimmyrcom has joined #ocaml
isd has joined #ocaml
jimmyrcom has quit [Ping timeout: 240 seconds]
gtrak has quit [Ping timeout: 240 seconds]
gtrak has joined #ocaml
isd has quit [Ping timeout: 260 seconds]
Haudegen has quit [Remote host closed the connection]
isd has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
Haudegen has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
kbit has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mk9 has joined #ocaml
kbit has joined #ocaml
_andre has quit [Quit: leaving]
jnavila has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Remote host closed the connection]
tormen has joined #ocaml
xfbs has quit []
spew has quit [Ping timeout: 240 seconds]
tormen has quit [Quit: Lost terminal]
kbit has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kbit has joined #ocaml
pierpa has joined #ocaml
Haudegen has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]