rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<cemerick>
smondet[m]: nope, it's def 4.12.0 according to `opam switch`
<cemerick>
I think it might be the opam version; it's still `2.0.9` in the docker images
<cemerick>
or, that's the only notable difference in the environments AFAICT 🤷
<cemerick>
ok, my .opam file has a `"ocaml" {>= "4.12.0"}` dependency; in the working environment, `ocaml lock .` produces a dep of `"ocaml-system" {= "4.12.0"}`, which fails to resolve in the docker image. If I install without the lockfile in the docker image, and then `ocaml lock .`, the ocaml dependency is translated to `"ocaml-base-compiler" {= "4.12.0"}` 🤔
favonia has quit [Quit: Leaving]
rgrinberg has joined #ocaml
<cemerick>
so the install in the docker environment works if targeting a project-local switch, but fails when using the pre-existing switch
shawn has joined #ocaml
shawnw has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
mbuf has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
gravicappa has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
shawn has quit [Ping timeout: 260 seconds]
average has joined #ocaml
mro has joined #ocaml
mro has quit [Quit: Leaving...]
<d_bot>
<mseri> Are you using a system compiler in your environment or a 4.12 opam switch?
<d_bot>
<mseri> In docker is surely going to be a switch. The system lock should work only if 4.12 is preindtalled in the docker image using the distribution package manager
_whitelogger has quit [Ping timeout: 268 seconds]
_whitelogger_ has joined #ocaml
salkin has quit [Ping timeout: 260 seconds]
thvnx has quit [Ping timeout: 260 seconds]
Corbin has quit [Ping timeout: 260 seconds]
cross has quit [Ping timeout: 260 seconds]
ralu has quit [Ping timeout: 260 seconds]
Ekho has quit [Ping timeout: 260 seconds]
eremitah has quit [*.net *.split]
Techcable has quit [*.net *.split]
vb has quit [*.net *.split]
vsiles has quit [*.net *.split]
average has quit [*.net *.split]
troydm has quit [*.net *.split]
Boarders has quit [*.net *.split]
conjunctive has quit [*.net *.split]
v0idpwn has quit [*.net *.split]
berberman has quit [*.net *.split]
andreypopp has quit [*.net *.split]
dstein64 has quit [*.net *.split]
Soni has quit [*.net *.split]
motherfsck has quit [*.net *.split]
ski has quit [*.net *.split]
rks`_ has quit [*.net *.split]
mpu has quit [*.net *.split]
thizanne has quit [*.net *.split]
klu_ has quit [*.net *.split]
Absalom has quit [*.net *.split]
jess has quit [*.net *.split]
t-j-r has quit [*.net *.split]
oisota has quit [*.net *.split]
nore has quit [*.net *.split]
companion_cube has quit [*.net *.split]
wagle has quit [*.net *.split]
ebb has quit [*.net *.split]
Serpent7776 has quit [*.net *.split]
mbuf has quit [*.net *.split]
drewolson has quit [*.net *.split]
dwt_ has quit [*.net *.split]
cemerick has quit [*.net *.split]
johnel has quit [*.net *.split]
ansiwen has quit [*.net *.split]
xenu has quit [*.net *.split]
mg has quit [*.net *.split]
pippijn has quit [*.net *.split]
hexology has quit [*.net *.split]
leah2 has quit [*.net *.split]
kakadu has quit [*.net *.split]
ulyssa has quit [*.net *.split]
d_bot has quit [*.net *.split]
Armael has quit [*.net *.split]
fds has quit [*.net *.split]
drakonis has quit [*.net *.split]
Johann has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
haesbaert has quit [*.net *.split]
ornxka has quit [*.net *.split]
quernd4 has quit [*.net *.split]
Skyfire has quit [*.net *.split]
terrorjack has quit [*.net *.split]
marinelli[m] has quit [*.net *.split]
krnkktz has quit [*.net *.split]
energizer has quit [*.net *.split]
rwmjones has quit [*.net *.split]
_whitelogger has quit [*.net *.split]
welterde has quit [*.net *.split]
schube[m] has quit [*.net *.split]
saltrocklamp[m] has quit [*.net *.split]
bronsen has quit [*.net *.split]
greenbagels has quit [*.net *.split]
infinity0 has quit [*.net *.split]
ccx_ has quit [*.net *.split]
asm has quit [*.net *.split]
nyuhu has quit [*.net *.split]
towel has quit [*.net *.split]
st has quit [*.net *.split]
Putonlalla has quit [*.net *.split]
habnabit_ has quit [*.net *.split]
p4bl0 has quit [*.net *.split]
tomku has quit [*.net *.split]
gravicappa has quit [*.net *.split]
pieguy128 has quit [*.net *.split]
chrisz has quit [*.net *.split]
Everything has quit [*.net *.split]
jyc has quit [*.net *.split]
brettgilio has quit [*.net *.split]
nfc_ has quit [*.net *.split]
ocabot has quit [*.net *.split]
reynir has quit [*.net *.split]
rak has quit [*.net *.split]
Nazral has quit [*.net *.split]
lobo has quit [*.net *.split]
CodeBitCookie[m] has quit [*.net *.split]
sim642 has quit [*.net *.split]
np has quit [*.net *.split]
Drup has quit [*.net *.split]
hannes has quit [*.net *.split]
sadiq has quit [*.net *.split]
octachron has quit [*.net *.split]
mal`` has quit [*.net *.split]
dy has quit [*.net *.split]
cbarrett has quit [*.net *.split]
smondet[m] has quit [*.net *.split]
spip has quit [*.net *.split]
xand0 has quit [*.net *.split]
kevinsjoberg has quit [*.net *.split]
JSharp has quit [*.net *.split]
Franciman has quit [*.net *.split]
caasih has quit [*.net *.split]
Exa has quit [*.net *.split]
tizoc has quit [*.net *.split]
dinosaure has quit [*.net *.split]
jonasbits has quit [*.net *.split]
daimrod1 has quit [*.net *.split]
hendursaga has quit [*.net *.split]
SquidDev has quit [*.net *.split]
mclovin has quit [*.net *.split]
jsoo_ has quit [*.net *.split]
mosterdt_ has quit [*.net *.split]
lisq has quit [*.net *.split]
gahr has quit [*.net *.split]
farn has quit [*.net *.split]
engil1 has quit [*.net *.split]
Chouhartem has quit [*.net *.split]
notnotdan has quit [*.net *.split]
noddy has quit [*.net *.split]
rom1504 has quit [*.net *.split]
zozozo has quit [*.net *.split]
tristanC has quit [*.net *.split]
arg_ has quit [*.net *.split]
mewfree[m] has quit [*.net *.split]
ks_ has quit [*.net *.split]
Fardale has quit [*.net *.split]
riverdc_ has quit [*.net *.split]
Enjolras has quit [*.net *.split]
sagax has quit [*.net *.split]
bacam has quit [*.net *.split]
theblatte has quit [*.net *.split]
adrien has quit [*.net *.split]
Cypi has quit [*.net *.split]
Leonidas has quit [*.net *.split]
_whitelogger has joined #ocaml
wonko has joined #ocaml
mclovin has joined #ocaml
glassofethanol has joined #ocaml
hendursa1 has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
thvnx_ has quit [Quit: leaving]
xand0_ has joined #ocaml
caasih_ has joined #ocaml
glassofethanol has quit [Ping timeout: 268 seconds]
klu_ has quit [*.net *.split]
Absalom has quit [*.net *.split]
nore has quit [*.net *.split]
jess has quit [*.net *.split]
oisota has quit [*.net *.split]
companion_cube has quit [*.net *.split]
wagle has quit [*.net *.split]
ebb has quit [*.net *.split]
Serpent7776 has quit [*.net *.split]
mbuf has quit [*.net *.split]
dwt_ has quit [*.net *.split]
drewolson has quit [*.net *.split]
cemerick has quit [*.net *.split]
ansiwen has quit [*.net *.split]
johnel has quit [*.net *.split]
xenu has quit [*.net *.split]
mg has quit [*.net *.split]
mclovin has quit [*.net *.split]
hexology has quit [*.net *.split]
leah2 has quit [*.net *.split]
kakadu has quit [*.net *.split]
ulyssa has quit [*.net *.split]
d_bot has quit [*.net *.split]
Armael has quit [*.net *.split]
fds has quit [*.net *.split]
drakonis has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
haesbaert has quit [*.net *.split]
ornxka has quit [*.net *.split]
saltrocklamp[m] has quit [*.net *.split]
schube[m] has quit [*.net *.split]
greenbagels has quit [*.net *.split]
infinity0 has quit [*.net *.split]
bronsen has quit [*.net *.split]
ccx_ has quit [*.net *.split]
tomku has quit [*.net *.split]
towel has quit [*.net *.split]
st has quit [*.net *.split]
nyuhu has quit [*.net *.split]
Putonlalla has quit [*.net *.split]
habnabit_ has quit [*.net *.split]
Johann has quit [*.net *.split]
gravicappa has quit [*.net *.split]
pieguy128 has quit [*.net *.split]
brettgilio has quit [*.net *.split]
Everything has quit [*.net *.split]
chrisz has quit [*.net *.split]
jyc has quit [*.net *.split]
nfc_ has quit [*.net *.split]
ocabot has quit [*.net *.split]
rak has quit [*.net *.split]
lobo has quit [*.net *.split]
wonko has quit [*.net *.split]
reynir has quit [*.net *.split]
CodeBitCookie[m] has quit [*.net *.split]
sim642 has quit [*.net *.split]
Drup has quit [*.net *.split]
np has quit [*.net *.split]
hannes has quit [*.net *.split]
octachron has quit [*.net *.split]
sadiq has quit [*.net *.split]
mal`` has quit [*.net *.split]
dy has quit [*.net *.split]
smondet[m] has quit [*.net *.split]
kevinsjoberg has quit [*.net *.split]
xand0 has quit [*.net *.split]
spip has quit [*.net *.split]
JSharp has quit [*.net *.split]
cbarrett has quit [*.net *.split]
Franciman has quit [*.net *.split]
tizoc has quit [*.net *.split]
caasih has quit [*.net *.split]
Exa has quit [*.net *.split]
jonasbits has quit [*.net *.split]
dinosaure has quit [*.net *.split]
daimrod1 has quit [*.net *.split]
eremitah has quit [*.net *.split]
Techcable has quit [*.net *.split]
vb has quit [*.net *.split]
vsiles has quit [*.net *.split]
Haudegen has quit [*.net *.split]
cross_ has quit [*.net *.split]
salkin-mada has quit [*.net *.split]
quernd4 has quit [*.net *.split]
average has quit [*.net *.split]
troydm has quit [*.net *.split]
Boarders has quit [*.net *.split]
conjunctive has quit [*.net *.split]
v0idpwn has quit [*.net *.split]
berberman has quit [*.net *.split]
andreypopp has quit [*.net *.split]
Cypi has quit [*.net *.split]
energizer has quit [*.net *.split]
dstein64 has quit [*.net *.split]
Soni has quit [*.net *.split]
motherfsck has quit [*.net *.split]
ski has quit [*.net *.split]
mpu has quit [*.net *.split]
hendursa1 has quit [*.net *.split]
thizanne has quit [*.net *.split]
Ekho has quit [*.net *.split]
terrorjack has quit [*.net *.split]
ralu has quit [*.net *.split]
jsoo_ has quit [*.net *.split]
SquidDev has quit [*.net *.split]
mosterdt_ has quit [*.net *.split]
lisq has quit [*.net *.split]
gahr has quit [*.net *.split]
Chouhartem has quit [*.net *.split]
farn has quit [*.net *.split]
engil1 has quit [*.net *.split]
notnotdan has quit [*.net *.split]
noddy has quit [*.net *.split]
rom1504 has quit [*.net *.split]
zozozo has quit [*.net *.split]
tristanC has quit [*.net *.split]
caasih_ is now known as caasih
ks_ has quit [*.net *.split]
mewfree[m] has quit [*.net *.split]
sagax has quit [*.net *.split]
riverdc_ has quit [*.net *.split]
theblatte has quit [*.net *.split]
Leonidas has quit [*.net *.split]
bacam has joined #ocaml
Johann has joined #ocaml
arg_ has joined #ocaml
JSharp has joined #ocaml
kevinsjoberg has joined #ocaml
hendursa1 has joined #ocaml
wonko has joined #ocaml
cross_ has joined #ocaml
Ekho has joined #ocaml
salkin-mada has joined #ocaml
Haudegen has joined #ocaml
quernd4 has joined #ocaml
lisq has joined #ocaml
kakadu has joined #ocaml
motherfsck has joined #ocaml
drewolson has joined #ocaml
terrorjack has joined #ocaml
glassofe1hanol has joined #ocaml
Geekingfrog has joined #ocaml
mclovin has joined #ocaml
energizer has joined #ocaml
thizanne has joined #ocaml
ralu has joined #ocaml
cbarrett has joined #ocaml
pippijn has joined #ocaml
rks` has joined #ocaml
Cypi has joined #ocaml
mg has joined #ocaml
Enjolras has joined #ocaml
cemerick has joined #ocaml
pieguy128 has joined #ocaml
brettgilio has joined #ocaml
nfc_ has joined #ocaml
chrisz has joined #ocaml
schube[m] has joined #ocaml
saltrocklamp[m] has joined #ocaml
ski has joined #ocaml
spip has joined #ocaml
Boarders has joined #ocaml
conjunctive has joined #ocaml
Franciman has joined #ocaml
v0idpwn has joined #ocaml
eremitah has joined #ocaml
nore has joined #ocaml
CodeBitCookie[m] has joined #ocaml
mewfree[m] has joined #ocaml
jyc has joined #ocaml
smondet[m] has joined #ocaml
Absalom has joined #ocaml
Everything has joined #ocaml
klu_ has joined #ocaml
troydm has joined #ocaml
berberman has joined #ocaml
ocabot has joined #ocaml
infinity0 has joined #ocaml
mpu has joined #ocaml
jess has joined #ocaml
ks_ has joined #ocaml
vsiles has joined #ocaml
ornxka has joined #ocaml
oisota has joined #ocaml
noddy has joined #ocaml
fds has joined #ocaml
sagax has joined #ocaml
greenbagels has joined #ocaml
Techcable has joined #ocaml
bronsen has joined #ocaml
ulyssa has joined #ocaml
vb has joined #ocaml
jsoo_ has joined #ocaml
sim642 has joined #ocaml
andreypopp has joined #ocaml
d_bot has joined #ocaml
rom1504 has joined #ocaml
octachron has joined #ocaml
Armael has joined #ocaml
drakonis has joined #ocaml
np has joined #ocaml
hannes has joined #ocaml
Drup has joined #ocaml
riverdc_ has joined #ocaml
sadiq has joined #ocaml
companion_cube has joined #ocaml
wagle has joined #ocaml
mal`` has joined #ocaml
ebb has joined #ocaml
ccx_ has joined #ocaml
reynir has joined #ocaml
zozozo has joined #ocaml
dmbaturin has joined #ocaml
Exa has joined #ocaml
mosterdt_ has joined #ocaml
SquidDev has joined #ocaml
average has joined #ocaml
mbuf has joined #ocaml
Serpent7776 has joined #ocaml
gravicappa has joined #ocaml
dstein64 has joined #ocaml
xenu has joined #ocaml
dwt_ has joined #ocaml
Soni has joined #ocaml
johnel has joined #ocaml
ansiwen has joined #ocaml
towel has joined #ocaml
tizoc has joined #ocaml
rak has joined #ocaml
haesbaert has joined #ocaml
dy has joined #ocaml
leah2 has joined #ocaml
habnabit_ has joined #ocaml
jonasbits has joined #ocaml
theblatte has joined #ocaml
Putonlalla has joined #ocaml
dinosaure has joined #ocaml
lobo has joined #ocaml
Chouhartem has joined #ocaml
gahr has joined #ocaml
st has joined #ocaml
daimrod1 has joined #ocaml
tristanC has joined #ocaml
nyuhu has joined #ocaml
tomku has joined #ocaml
hexology has joined #ocaml
farn has joined #ocaml
engil1 has joined #ocaml
Leonidas has joined #ocaml
notnotdan has joined #ocaml
xd1le has joined #ocaml
_tjr_ has joined #ocaml
p4bl0 has joined #ocaml
chrisz has quit [Ping timeout: 265 seconds]
copy has joined #ocaml
landonf has joined #ocaml
asm_ has joined #ocaml
Fardale has joined #ocaml
salkin has joined #ocaml
salkin-mada has quit [Ping timeout: 245 seconds]
bartholin has joined #ocaml
mewfree[m] has quit [Quit: Bridge terminating on SIGTERM]
krnkktz has quit [Quit: Bridge terminating on SIGTERM]
saltrocklamp[m] has quit [Quit: Bridge terminating on SIGTERM]
smondet[m] has quit [Quit: Bridge terminating on SIGTERM]
marinelli[m] has quit [Quit: Bridge terminating on SIGTERM]
schube[m] has quit [Quit: Bridge terminating on SIGTERM]
CodeBitCookie[m] has quit [Quit: Bridge terminating on SIGTERM]
mclovin has quit [Quit: Bridge terminating on SIGTERM]
adrien has joined #ocaml
krnkktz has joined #ocaml
mclovin has joined #ocaml
smondet[m] has joined #ocaml
CodeBitCookie[m] has joined #ocaml
schube[m] has joined #ocaml
mewfree[m] has joined #ocaml
saltrocklamp[m] has joined #ocaml
marinelli[m] has joined #ocaml
gravicappa has quit [Ping timeout: 265 seconds]
gravicappa has joined #ocaml
xenu_ has joined #ocaml
xenu has quit [Ping timeout: 252 seconds]
asm_ has quit [Quit: WeeChat 1.7.1]
asm has joined #ocaml
asm has quit [Changing host]
asm has joined #ocaml
xenu_ is now known as xenu
p4bl0 has quit [Remote host closed the connection]
Franciman has quit [Remote host closed the connection]
Franciman has joined #ocaml
romildo has joined #ocaml
romildo has quit [Client Quit]
glassofe1hanol has quit [Quit: leaving]
romildo has joined #ocaml
romildo has quit [Client Quit]
bartholin has quit [Quit: Leaving]
Haudegen has quit [Quit: Bin weg.]
romildo has joined #ocaml
romildo has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot>
<mimoo> is there a good way to get nice syntax highlighting for ocaml in vscode? I have the ocamlplatform but it doesn't seem to really do its job (it doesn't highlight module names for example)
kakadu has quit [Quit: Konversation terminated!]
waleee has joined #ocaml
Haudegen has joined #ocaml
<d_bot>
<mimoo> also, is there a webpage that explains the `type` in `let something (type something_else) ...`
<d_bot>
<NULL> Did you install ocamllsp in the active opam switch?
<d_bot>
<mimoo> ocaml-lsp-server 1.4.1 LSP Server for OCaml
<d_bot>
<mimoo> maybe the last version has better syntax highlighting? I do have syntax highlighting but it looks very uniform (a lot of stuff is just the same color)
<d_bot>
<mimoo> but I'm stuck on ocaml version 4.11.2 so I can't upgrade to the lastest ocaml-lsp :/
<oriba>
I have a file common.ml, a file prepare.ml and a file sample.ml and want to use dune to compile. common.ml is used by the other files. I tried my dune file like this https://bpa.st/AQLQ and get this err-message: https://bpa.st/BN6A
<oriba>
I wonder why I should add modules-fields, if they are already there
<oriba>
so how would a working dune file look like?
zebrag has quit [Remote host closed the connection]
kurfen has joined #ocaml
wonko has quit [Ping timeout: 252 seconds]
<d_bot>
<monk> here's a silly question: is there a notation for pattern matching in the context of a CS paper? i presume not, but? akin to how a lambda function will be represented, quite literally, with a lambda and so on
<d_bot>
<monk> i assume not since it's just ~substitution, so
<companion_cube>
nothing standard, but you'll find plenty of `match` or `case` or whatever
<companion_cube>
in abstract syntax anyway
<d_bot>
<monk> yeah, okay, that's what i figured
<d_bot>
<monk> thanks!
<Leonidas>
adrien: Time to update the topic again
<adrien>
here you go :P
gravicappa has quit [Ping timeout: 245 seconds]
<d_bot>
<monk> wish michael clarkson had a twitter so i can thank him for the version of cs3110 he's bothered to put together
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
rgrinberg has joined #ocaml
Serpent7776 has quit [Quit: leaving]
Tuplanolla has joined #ocaml
<d_bot>
<monk> was waiting for someone to suggest such a preposterous idea in 2021
<d_bot>
<monk> haha
Haudegen has quit [Ping timeout: 265 seconds]
Jumeb has joined #ocaml
<Jumeb>
Hello, my name is Jume Brice, I'm an Outreachy applicant, I would love to work on Integrate a package health check in ocaml.org, but I have issues setting up my environment.
<d_bot>
<NULL> You may want to go to the #outreachy channel in the Discord
<Jumeb>
I keep getting the error `opam: unknown command `exec'.` I have done all installations
<d_bot>
<NULL> What's the version of opam ?
<Jumeb>
Version 1.2.2
<d_bot>
<NULL> That's too old, `opam install opam-devel` and do the advised copy to use a more recent version
<d_bot>
<NULL> At the end, it should show something like
<d_bot>
<NULL> `=> The development version of opam has been successfully compiled into ~/.opam/common/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with sudo cp ~/.opam/common/lib/opam-devel/opam /usr/local/bin`
<d_bot>
<NULL> Well do as advised
<Jumeb>
Thanks again.
<d_bot>
<NULL> Take your own message, it won't work with what I posted here