adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Jesin has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
muskan has quit [Quit: Ping timeout (120 seconds)]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
tizoc has quit [Client Quit]
tizoc has joined #ocaml
tizoc has quit [Client Quit]
tizoc has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
themsay has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
narimiran has joined #ocaml
ggole has joined #ocaml
chripell has joined #ocaml
Haudegen has joined #ocaml
dump has joined #ocaml
jaar has joined #ocaml
amiloradovsky has joined #ocaml
webshinra has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
pippijn_ has joined #ocaml
pippijn_ has quit [Client Quit]
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
mfp has joined #ocaml
<Leonidas> What does `type t = Foo : {...} -> t` mean? I am trying to find info about it but that syntax is hard to search for
<octachron> GADT
<octachron> with an inline record as argument
<Leonidas> Ahhhhhh
<Leonidas> Thanks :)
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
tane has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
webshinra has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
jao has joined #ocaml
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
dckc has quit [Ping timeout: 252 seconds]
dckc has joined #ocaml
themsay has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
themsay has joined #ocaml
mfp has quit [Ping timeout: 265 seconds]
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
themsay has quit [Quit: Leaving]
nullcone has joined #ocaml
Haudegen has joined #ocaml
Anarchos has joined #ocaml
jao has quit [Remote host closed the connection]
noway96 has joined #ocaml
<noway96> if [] is the empty list, what do you call a list containing the empty list, i.e. [[]]? is it also the empty list?
<companion_cube> no, it's a list with one element
<companion_cube> which is the empty list
<Anarchos> noway96 as for sets in mathematics
<noway96> right
<noway96> does it have a name? is it like a 2d empty list or something?
<octachron> Not really? With analogy with sets, one could call it the empty singleton list, or the 1 list.
<simpson> "empty stack", "typo", "accident waiting to happen"
Haudegen has quit [Quit: Bin weg.]
mbuf has quit [Quit: Leaving]
chripell has quit [Ping timeout: 256 seconds]
fre2 has quit [Ping timeout: 260 seconds]
kamog has joined #ocaml
kamog has quit [Client Quit]
TheLemonMan has joined #ocaml
mfp has joined #ocaml
orbifx has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
Haudegen has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
orbifx has joined #ocaml
gahr_ has joined #ocaml
amosbird_ has joined #ocaml
cbarrett_ has joined #ocaml
cemerick_ has joined #ocaml
mgsk__ has joined #ocaml
strmpnk_ has joined #ocaml
RalfJung has joined #ocaml
gahr has quit [Read error: Connection reset by peer]
cbarrett has quit [Ping timeout: 246 seconds]
cemerick has quit [Ping timeout: 246 seconds]
strmpnk has quit [Ping timeout: 246 seconds]
amosbird has quit [Remote host closed the connection]
RalfJ has quit [Remote host closed the connection]
mgsk has quit [Ping timeout: 246 seconds]
cemerick_ is now known as cemerick
strmpnk_ is now known as strmpnk
mgsk__ is now known as mgsk
cbarrett_ is now known as cbarrett
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
ygrek has joined #ocaml
raver has joined #ocaml
<raver> I'm trying to create an armhf docker image for https://github.com/geneweb/geneweb, See the Docker file here: https://gitlab.rimkus.it/genealogy/geneweb-arm64-docker/-/blob/master/Dockerfile
<raver> raver
<raver> Hi, does anyoone know what I'm doing wrong? (I'm totally new to ocaml...)
<raver> Thanks in advance and kind regards
<raver> but the build fails, see details here: https://gitlab.rimkus.it/genealogy/geneweb-arm64-docker/-/jobs/437
madroach_ has quit [Ping timeout: 256 seconds]
madroach has joined #ocaml
muskan has joined #ocaml
<ygrek> raver, did you check what that message says?
<ygrek> ie that ocamlfind and ocaml (and all ocaml packages installed through apk) are same version
<ygrek> usually it is easier to only install opam from system packages and install ocaml through opam
<raver> i've first tried to install everything via opam but---
<raver> ocamlfind failed
<raver> until I installed it as package
<raver> same goes for compiling some stuff when perl-dev is missing...
<raver> yes I checked. But I dont understand why it isn't recompiled? or why it uses an older version of ocaml...
<octachron> It looks like you didn't rune "eval $(opam env)", so opam installed ocamlfind is not available, and you are thus trying to use the system-wide ocamlfind which result in a version mismatch
<raver> hmm I thought with the 'y' after opam init this wouldn't be neccessary anymore..
<raver> anyway already trief that, wait a minute... :)
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
<raver> i added the eval after opam install hope thats fine...
<raver> nope, same thing :)
<octachron> You should init the environment at each command, running just eval $(opam env) in a separate docker step will not do anything
<ygrek> or just set PATH to opam explicitly in dockerfile
<ygrek> * to opam switch bin dir
delysin has quit [Quit: WeeChat 2.7.1]
orbifx has quit [Ping timeout: 250 seconds]
delysin has joined #ocaml
muskan64 has joined #ocaml
muskan has quit [Ping timeout: 240 seconds]
<raver> ygrek: great thx will try that.
<raver> Do you know how l can find or the switch bin dir? 😁
<raver> Do you know how l can find out the switch bin dir? 😁
<ygrek> see what `opam env` prints
<ygrek> `opam config var bin`
<raver> ygrek: 👍👌✌️ will try
dump has quit [Quit: Leaving]
amiloradovsky has quit [Ping timeout: 260 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
narimiran has quit [Ping timeout: 265 seconds]
Haudegen has quit [Quit: Bin weg.]
yomimono has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
ggole has quit [Quit: Leaving]
Jesin has quit [Quit: Leaving]
orbifx has joined #ocaml
Jesin has joined #ocaml
orbifx has quit [Ping timeout: 250 seconds]
vicfred has quit [Read error: Connection reset by peer]
<lyxia> In ocamllex can you match an empty string?
<lyxia> the coqdoc lexer consumes one character and just resets the lexer state back, that seems a bit roundabout
<octachron> You can but then you need to switch to a different lexer
<lyxia> hmm somehow I had trouble guessing the syntax, it is "" right?
<octachron> It should be "" indeed?
vicfred has joined #ocaml
tane has quit [Quit: Leaving]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
kleisli has quit [Ping timeout: 258 seconds]
kleisli has joined #ocaml
vicfred has quit [Ping timeout: 256 seconds]
vicfred has joined #ocaml