adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
zolk3ri has quit [Remote host closed the connection]
NSA_Spy has quit [Remote host closed the connection]
Undercover_Russi has joined #ocaml
jao has joined #ocaml
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #ocaml
kvda has joined #ocaml
AtumT has quit [Quit: AtumT]
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 244 seconds]
niklasl has quit [Quit: Nettalk6 - www.ntalk.de]
niklasl has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has quit [Ping timeout: 272 seconds]
kvda has joined #ocaml
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 245 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gravicappa has joined #ocaml
kvda has joined #ocaml
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 244 seconds]
Undercover_Russi has quit [Ping timeout: 258 seconds]
mildtaste has quit [Ping timeout: 258 seconds]
pgiarrusso has quit [Ping timeout: 252 seconds]
pgiarrusso has joined #ocaml
terrorjack__ has quit [Ping timeout: 252 seconds]
robmyers has quit [Ping timeout: 252 seconds]
narimiran has joined #ocaml
robmyers has joined #ocaml
terrorjack__ has joined #ocaml
Jeanne-Kamikaze has quit [Quit: Leaving]
mildtaste has joined #ocaml
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 245 seconds]
SpiceGuid has joined #ocaml
barockobamo has joined #ocaml
Haudegen has joined #ocaml
nolanv has quit [Ping timeout: 246 seconds]
nolanv has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ShalokShalom has joined #ocaml
freyr69 has joined #ocaml
k1000 has joined #ocaml
k1000 has quit [Client Quit]
zolk3ri has joined #ocaml
themsay has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 244 seconds]
ShalokShalom has quit [Remote host closed the connection]
mfp has joined #ocaml
troydm has quit [Ping timeout: 268 seconds]
themsay has joined #ocaml
Haudegen has quit [Ping timeout: 248 seconds]
themsay has quit [Ping timeout: 245 seconds]
themsay has joined #ocaml
kakadu has quit [Ping timeout: 244 seconds]
ShalokShalom has joined #ocaml
<ShalokShalom> Hi there :)
<ShalokShalom> Does anybody know something about higher order modules here?
<ShalokShalom> Higher order modules are not supported by F Sharp.Do you think its possible to use F Sharp in order to compile OCaml code with HOM, without integrating them in FSharp itself?In other words: Do you think its needed to implement HOM in order to transpile/parse them?
<ShalokShalom> Or can I parse and transpile them, without their help on the parsing side?
zolk3ri has quit [Ping timeout: 256 seconds]
Fardale has quit [Quit: sparu]
tobiasBora has quit [Quit: WeeChat 1.6]
aubian has quit [Quit: WeeChat 1.6]
octarin has quit [Read error: Connection reset by peer]
zolk3ri has joined #ocaml
troydm has joined #ocaml
dhil has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
<Drup> are you talking about writing an OCaml compiler in F# or compiler OCaml code into F# code ?
rwmjones is now known as rwmjones_in_chin
rwmjones_in_chin is now known as rwmjones_china
Fardale has joined #ocaml
octarin has joined #ocaml
jave has quit [Read error: Connection reset by peer]
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]
<flux[m]> sounds like the latter
<flux[m]> I don't know how F# classes work, but it might be possible to transpile modules into them?
<Armael> I doubt you'd get something usable out of that
<Armael> (except maybe for trivial cases)
<flux[m]> ShalokShalom: simply read through the modules section on the documentation - including the syntax part - and write a transpile for all those cases :)
dhil has quit [Ping timeout: 244 seconds]
dhil has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
ThePacketBender has joined #ocaml
iovec has joined #ocaml
dhil has quit [Ping timeout: 244 seconds]
lizzin has joined #ocaml
<lizzin> intro tutorials say 'write this dune file.' but what should the file be named?
jao has joined #ocaml
<lizzin> nvm
spew has joined #ocaml
hio has joined #ocaml
<hio> holy crap guys, you couldnt have made it any harder to install ocaml
<hio> yet another error or manual config or install I need to make "No switch is currently set. Please use 'opam switch' to set or install a switch"
<hio> what is it with these constant random problems
dhil has joined #ocaml
<hio> what am I supposed to do now?
<hio> I list the switches and there are 500
<octachron> "opam switch create 4.07.1" or "opam switch create 4.08.0" if you want the last version released few days ago
<hio> I googled something and I did "opam switch create ." and now it's doing a bunch of stuff
<hio> it seems to install 4.06.1 for some reason
<hio> No idea what is going on
<freyr69> hio: It installs the toolchain
<freyr69> similar to rust's `rustup toolchain install ...`
<freyr69> Default stable compiler is 4.06.1
<hio> ok why cant opam install bubblewrap
<hio> why make me go install all this stuff manually
<freyr69> is bubblewrap installed?
<hio> it is now
<hio> I had to download it and compile it like it's 2005
<hio> well more like 2015
<hio> actually
<freyr69> If you would install opam from the repository, it should draw the neede dependencies.
<hio> what repository?
<hio> I thought opam is the package manager
<freyr69> Yes, it's available in many operating system repositories
<freyr69> Arch, Debian, Freebsd, macos Homebrew
<hio> ok it is telling me that dune is installed but yet I cant call it, and it isnt anywhere to be found
<freyr69> It require to update the environment after toolchain installed
<freyr69> so the binaries installed in toolchain's path should become visible to your shell
<freyr69> in bash it's eval $(opam env)
<hio> but I just created the environment, yet again I have to do this manually and add it to my ~/.bashrc?
<freyr69> in many shells you could simply do `opam init` and it will do it automatically
<freyr69> it will add the needed lines if you do `eval $(opam env)` or `opam init`
ygrek has joined #ocaml
<hio> No current switch defined in /home/pc/.opam/config.
<hio> I literally just installed a switch in this folder and now it's already complaining again
<Kitambi> what does "opam env" say?
<hio> same thing
<hio> "No current switch defined in /home/pc/.opam/config."
<hio> I put _opam/bin into my PATH
<freyr69> Did 4.06 switch build successfully?
<Fardale> hio: what OS do you use ?
<hio> freyr69: there was some error but only one
<freyr69> One but fatal?
<freyr69> what did it say?
<Kitambi> is this your machine?
<hio> yes
<hio> it's debian 9
<Kitambi> you shoul probably fix "Read-only file system"
<freyr69> >Read-only file system
<hio> I didnt create any read only filesystem
<hio> I did create a local folder _build
<hio> i didnt see the error again after that
<Fardale> hio: how did you install opam ? using apt ?
<hio> with curl sh
<hio> I'm now stuck in this loop: https://paste.centos.org/view/raw/4572bac3
<hio> cant go further than this
<hio> you know, in Rust I would type "cargo build" and it would all be done for me. Everything.
<Fardale> What do you want to do ?
<hio> I want to build this thing lol
<Fardale> this is not define
<freyr69> Ah, so you use local opam switch from scilla project
<hio> what do you mean, it's an ocaml project. I dont know what it is. I just want to get on with it
<hio> is this really impossible to solve?
<Fardale> which ocaml project ?
<freyr69> I suggest to follow this
<freyr69> or
<hio> yeah I did
<Kitambi> what does "which opam" tell you??
<Kitambi> -?
<freyr69> make opamdep
<freyr69> to install deps
<hio> opam: unknown option `--disable-sandboxing', did you mean `-d'
<freyr69> hio: which opam version do you have?
<Fardale> opam --version ?
<freyr69> opam init has such option
<hio> 1.2.2
<freyr69> You need 2.x.x
<Kitambi> did you install the opam debian package? cos it's pretty old
<freyr69> debian is slowpoke, right?
tane has joined #ocaml
<Kitambi> you should install opam from the website
<Kitambi> (and remove the distribution package so you don't get confused)
<freyr69> well, I suggested opam from repo, I didn't know it's needed for a particular project
dhil has quit [Ping timeout: 245 seconds]
<Kitambi> dpkg --purge opam and see if opam 2 starts working
<Kitambi> the system one is probably hiding the one you installed with curl|sh
<hio> OK I did that, now I'm trying again
troydm has quit [Ping timeout: 248 seconds]
<hio> now I tried with a new version and a new error: https://paste.centos.org/view/raw/9a50cc15
<hio> always more errors it seems
<freyr69> hio: there is no such compiler version as .
<freyr69> just follow the instructions
<Fardale> hio: you do not follow the right instructions
<freyr69> they are fine for ocaml 2.0.0
<freyr69> opam init --disable-sandboxing --compiler=4.06.1 --yes
<Fardale> for you it is "If you just installed opam package manager"
<hio> but how can it not find a compiler when the opam config clearly says ocaml -<= 4.06.1
<hio> it must be a bug in the constraint solver
<hio> >=
<hio> >= 4.06.1
<freyr69> What `opam init --disable-sandboxing --compiler=4.06.1 --yes` returns?
<hio> it's running now
<hio> but it didnt find one for my other attempt
<hio> opam switch create . --deps-only --with-test --yes
<freyr69> `.` is the wrong version
<hio> how can it be wrong?
<freyr69> Right version is explicit
<hio> surely it means whatever version fits the .opam
<hio> so how can it be that it doesnt find any correct version
<freyr69> e.g. 4.08.0
<freyr69> Not sure, for me it chooses the system compiler, so I suppose it creates a default switch
simon has joined #ocaml
<simon> hi.
lyxia has quit [Quit: WeeChat 2.4]
<simon> I'm trying to figure out how to best set up OPAM 2.x and Ocaml 4.08 in a CI environment. I can find the latest OPAM on the Ubuntu PPA 'avsm', but if I have to install Ocaml via OPAM, then it means compiling from source. isn't there a binary distribution of Ocaml 4.08 available for things like these?
<simon> I'd prefer if my CI could skip the five minutes it takes to build Ocaml 4.08 :) (I'm not sure if takes longer, but that's what it took on mine.)
<companion_cube> I guess you have to wait until the new docker images are released
<companion_cube> (if you use the docker images for CI, that is)
<simon> I, ehhh. I'm a noob with this stuff. I use a .travis.yml on GitHub and it calls a shell script that runs some shell commands assuming Ubuntu.
lyxia has joined #ocaml
<companion_cube> https://github.com/c-cube/ocaml-containers/blob/master/.travis.yml there's this kind of travis script that just tests opam packages using docker, which makes it quite fast
<simon> ooohhh, nice.
<simon> so these docker instances you use don't include OPAM, do they?
<companion_cube> they do, but it's more that their script is assuming you install local opam packages (eg if you're developing a lib with an opam file)
<companion_cube> not sure if there's room for a custom script
troydm has joined #ocaml
<simon> ah, okay.
<simon> I realize that Anil, whose PPA I'm looking at, has a company that was just acquired by Docker. so asking him if 4.08 can be put on the Ubuntu PPA when Docker images are an alternative are probably far-fetched. :-D
<hio> Error: /home/pc/.opam/4.06.1/lib/fileutils/FilePath.cmi is not a compiled interface for this version of OCaml.
<hio> why wont these weird errors end
<companion_cube> sounds like a missing `eval $(opam env)`
<simon> https://github.com/ocaml-attic/opam-dockerfiles -- this one has been archived. I wonder where to go then.
<hio> companion_cube: but if I do that, it seems to delete my other stuff from ~bashrc
<hio> maybe it's not related, I keep getting this no matter what: /home/pc/.opam/4.06.1/.opam-switch/build/secp256k1.0.4.0/_build/default/src/secp256k1_wrap.c:224: undefined reference to `secp256k1_ecdsa_recover'
<hio> Ocaml should be telling me why it cant find the symbol
<hio> how am I supposed to know what it needs
<hio> this is all backwards
<hio> now I have ot guess which .so it tried to load and further guess which .so version it actually would need
dhil has joined #ocaml
<simon> https://github.com/avsm/ocaml-dockerfile/releases <- seems like the latest stuff.
<companion_cube> hmmmmmmmmmmm that's pretty weird hio
sagax has joined #ocaml
<companion_cube> (although maybe you're trying to install a package incompatible with your system libraries? like openssl?)
FreeBirdLjj has joined #ocaml
lizzin has quit [Ping timeout: 258 seconds]
<hio> ok finally got it working, luckily some random guy on github happened to say the answer 3 years ago
<hio> need to compile libsecp256k1 with ./configure --enable-module-recovery
initiumdoeslinux has joined #ocaml
freyr69 has quit [Remote host closed the connection]
iovec has quit [Quit: Connection closed for inactivity]
<hio> so it only took me a bit over 2h to compile an ocaml project! not bad, but very draining
<hio> I've had worse
<hio> My favorite was a c++ project with 30+ external dependencies that you all had to download manually and install
<companion_cube> initial setup is often difficult… even in modern languages like rust
<hio> no, Rust is super easy. "cargo build" and it's done. My only complaint is their rustup tool
<companion_cube> I was thinking of rustup.
<hio> ha yeah
<hio> luckily it's still fairly easy, x5 better than opam that's for sure
<companion_cube> I've tried a bit of typescript and it's a total clusterfuck
<hio> hahaha, yeah. THe first time I had to setup typescript it took me literally 1.5 or 2 days
<hio> DAYS
Jesin has quit [Quit: Leaving]
<companion_cube> yeah, thankfully it works relatively well in VSCode
<hio> of course if you just want to compile some file you can do it immediatley. But the whole setup of a real project, that#s what takes time
<hio> well actually, I think I havent done that with ocaml either
<hio> so the jury may still be out
<hio> I only compiled something
<companion_cube> the hardest part is to setup opam, imho
<companion_cube> afterwards you can look at `dune`
<companion_cube> which works pretty well
<hio> I just installed the most popular vscode intellisense addon for ocaml and it immediately errored out. So I dont think that this journey ends
Jesin has joined #ocaml
dedgrant_ has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
anton-trunov has quit [Ping timeout: 248 seconds]
anton-trunov has joined #ocaml
dedgrant has quit [Ping timeout: 248 seconds]
lizzin has joined #ocaml
lizzin is now known as Guest43270
ziyourenxiang_ has quit [Ping timeout: 248 seconds]
keep_learning has quit [Remote host closed the connection]
jao has joined #ocaml
jao is now known as Guest84465
Guest84465 is now known as jao
iovec has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Anarchos has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
aubian has joined #ocaml
aubian has quit [Client Quit]
aubian has joined #ocaml
aubian has quit [Client Quit]
aubian has joined #ocaml
initiumdoeslinux has quit [Remote host closed the connection]
NSA_Spy has joined #ocaml
AtumT has joined #ocaml
<oni-on-ion> 5x than opam ? Heh
jave has joined #ocaml
Serpent7776 has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
Guest43270 has quit [Changing host]
Guest43270 has joined #ocaml
Guest43270 is now known as lizzin
<lizzin> Why do I get an 'Unbound module Base' error, when doing 'open Base;;' in utop? `opam list base` shows that version v0.12.2 is installed. Fwiw, i tried following the realworldocaml book install notes.
<reynir> #require "base";; first
<reynir> Doesn't rwo suggest using coretop or something like that?
<lizzin> utop # #require Base;;
<lizzin> Wrong type of argument for directive `require'.
<lizzin> reynir: the rwo examples use Base
<reynir> lizzin: "base" not Base for the #require invocation
<lizzin> and I was missing the quotes :(
<lizzin> reynir: ty
barockobamo has quit [Remote host closed the connection]
<lizzin> reynir: does installing core also install base?
<reynir> lizzin: hmm. I think core nowadays depends on base, but I'm not 100% sure
<reynir> lizzin: I should give an explanation on the require thing...
<reynir> base is an ocamlfind package that contains code with modules Base etc. The ocamlfind package 'base' is installed by the opam package 'base'. Ocamlfind packages and opam packages aren't always one-to-one, and the same goes for ocamlfind packages and modules.
dhil has joined #ocaml
clog has quit [Ping timeout: 258 seconds]
<lizzin> whew, that cleared things up a lot for me. i was definitely wondering why the diff between base and Base
<reynir> Yea, it's unfortunately a bit confusing sometimes.
dhil has quit [Ping timeout: 258 seconds]
jnavila has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
gravicappa has quit [Ping timeout: 246 seconds]
kakadu has joined #ocaml
<lizzin> I'm only on chapter 2 of the book atm. so hopefully more of these details are further explained in the rest of the book
zolk3ri has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
dimitarvp has joined #ocaml
dimitarvp has quit [Client Quit]
bacam has quit [Quit: reboot]
bacam has joined #ocaml
clog has joined #ocaml
wilfredh has quit [Quit: Connection closed for inactivity]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
initiumdoeslinux has quit []
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
Serpent7776 has quit [Quit: leaving]
narimiran has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
jnavila has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
lobo has quit [Quit: WeeChat 1.6]
lobo has joined #ocaml
kakadu has quit [Remote host closed the connection]
karan[m] has quit [Quit: Idle kick: User has been idle for 30+ days.]
sz0 has quit [Ping timeout: 252 seconds]
adrianbrink has quit [Ping timeout: 252 seconds]
banjiewen has quit [Read error: Connection reset by peer]
rdivyanshu has quit [Ping timeout: 252 seconds]
jerme_ has quit [Ping timeout: 258 seconds]
SrPx has quit [Ping timeout: 276 seconds]
vinoski has quit [Ping timeout: 252 seconds]
cemerick has quit [Ping timeout: 252 seconds]
banjiewen has joined #ocaml
vinoski has joined #ocaml
adrianbrink has joined #ocaml
cemerick has joined #ocaml
SrPx has joined #ocaml
jerme_ has joined #ocaml
rdivyanshu has joined #ocaml
sz0 has joined #ocaml
nkhodyunya[m] has left #ocaml [#ocaml]
cgenie[m] has quit [Quit: Idle kick: User has been idle for 30+ days.]
spectrumgomas[m] has left #ocaml [#ocaml]
Haudegen has quit [Remote host closed the connection]
lizzin has quit [Ping timeout: 245 seconds]
hio has quit [Quit: Connection closed for inactivity]
ygrek has quit [Ping timeout: 258 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
tobiasBo1 has joined #ocaml
ziyourenxiang_ has joined #ocaml
uzuki has quit [Quit: ERC (IRC client for Emacs 26.2)]
jao has quit [Remote host closed the connection]
spew has quit [Quit: Connection closed for inactivity]
iovec has quit [Quit: Connection closed for inactivity]
jao has joined #ocaml