ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ransom has joined #ocaml
ransom_ has joined #ocaml
ransom has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
ransom has joined #ocaml
ransom_ has quit [Ping timeout: 256 seconds]
ransom has quit [Client Quit]
_whitelogger has joined #ocaml
brettgilio has quit [Remote host closed the connection]
brettgilio has joined #ocaml
Jesin has joined #ocaml
narimiran has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
mxns has quit [Ping timeout: 264 seconds]
mxns has joined #ocaml
Haudegen has joined #ocaml
mxns has quit [Ping timeout: 244 seconds]
shawnw has joined #ocaml
jgkamat has quit [Ping timeout: 264 seconds]
jgkamat has joined #ocaml
aaaaaa has joined #ocaml
amiloradovsky has joined #ocaml
Serpent7776 has joined #ocaml
borne has joined #ocaml
steenuil has joined #ocaml
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
mxns has joined #ocaml
mxns has quit [Ping timeout: 244 seconds]
amiloradovsky has quit [Ping timeout: 268 seconds]
<d_bot>
<Илья Александрович Кузнецов> Hello everyone, I have several unresolved problems related to the incorrect behaviour of lsp-server or ocaml platform for vscode.
<d_bot>
<Илья Александрович Кузнецов> There was a first problem when building the project:
<d_bot>
<Илья Александрович Кузнецов> `File "_none_", line 1:
<d_bot>
<Илья Александрович Кузнецов> Warning 58: no cmx file was found in path for module Opal, and its interface was not compiled with -opaque
<d_bot>
<Илья Александрович Кузнецов> Done: 23/24 (jobs: 1)`
<d_bot>
<Илья Александрович Кузнецов> The next error is unrelated external modules (like Core, Base, Opal, my libraries etc.). Moreover, the project is being built successfully, the modules are underlined in red in the code:
<d_bot>
<Илья Александрович Кузнецов> `open Opal
<d_bot>
<Илья Александрович Кузнецов> open ATD`
<d_bot>
<Илья Александрович Кузнецов> I want to note that I did not forget to add libraries to dune, .merlin appeared after building. Here is code of dune:
<d_bot>
<Илья Александрович Кузнецов> `(library
<d_bot>
<Илья Александрович Кузнецов> (name Parser)
<d_bot>
<Илья Александрович Кузнецов> (libraries ATD opal)
<d_bot>
<Илья Александрович Кузнецов> (inline_tests))`
<d_bot>
<Илья Александрович Кузнецов> For lsp-server, I've tried reinstalling and pinned versions. It didn't work for me.
<d_bot>
<Илья Александрович Кузнецов> I have compiler version 4.10.1 installed, version lsp-server 1.1.0*.
<d_bot>
<Илья Александрович Кузнецов> I really hope for your help.
<d_bot>
<Cyclomatic Complexity> After our conversation last time, I am more interested in having type applications in the language rather than inferred at unification time or something.
<d_bot>
<Cyclomatic Complexity> Does anyone have some literature on implicit args and if there are langs other than Coq following this strategy?
<d_bot>
<ggole> You mean, like system F? That seems like it would be verbose.
mmohammadi9812 has quit [Ping timeout: 264 seconds]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
<d_bot>
<stab> anybody have any experience getting an offline install of an opam repo done. Ideally id be able to like conveniently pull over all the deps in like an offline repo or something
neiluj has quit [Ping timeout: 258 seconds]
Haudegen has joined #ocaml
neiluj has joined #ocaml
neiluj has quit [Ping timeout: 272 seconds]
neiluj has joined #ocaml
<d_bot>
<stab> seems like opam admin cache might do what i want
neiluj has quit [Ping timeout: 240 seconds]
neiluj has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
narimiran has quit [Ping timeout: 246 seconds]
neiluj has quit [Ping timeout: 240 seconds]
neiluj has joined #ocaml
neiluj has quit [*.net *.split]
mfp has quit [*.net *.split]
dan64 has quit [*.net *.split]
madroach has quit [*.net *.split]
p4bl0 has quit [*.net *.split]
drewolson has quit [*.net *.split]
terrorjack has quit [*.net *.split]
engil has quit [*.net *.split]
xenu has quit [*.net *.split]
_tjr_ has quit [*.net *.split]
rntz2_ has quit [*.net *.split]
DanielRichman has quit [*.net *.split]
dx has quit [*.net *.split]
drewolson has joined #ocaml
neiluj has joined #ocaml
dan64 has joined #ocaml
mfp has joined #ocaml
madroach has joined #ocaml
xenu has joined #ocaml
rntz2_ has joined #ocaml
engil has joined #ocaml
p4bl0 has joined #ocaml
terrorjack has joined #ocaml
_tjr_ has joined #ocaml
DanielRichman has joined #ocaml
dx has joined #ocaml
terrorjack has quit [Max SendQ exceeded]
neiluj has quit [Read error: Connection reset by peer]
terrorjack has joined #ocaml
Tuplanolla has quit [*.net *.split]
SoF has quit [*.net *.split]
Exagone313 has quit [*.net *.split]
tmhoang has quit [*.net *.split]
johnel has quit [*.net *.split]
terrorjack has quit [*.net *.split]
jgkamat has quit [*.net *.split]
raver has quit [*.net *.split]
adrianbrink has quit [*.net *.split]
chewbranca has quit [*.net *.split]
greenbagels has quit [*.net *.split]
eagleflo has quit [*.net *.split]
ansiwen has quit [*.net *.split]
Putonlalla has quit [*.net *.split]
towel has quit [*.net *.split]
raver has joined #ocaml
jgkamat has joined #ocaml
adrianbrink has joined #ocaml
terrorjack has joined #ocaml
greenbagels has joined #ocaml
chewbranca has joined #ocaml
towel has joined #ocaml
eagleflo has joined #ocaml
Putonlalla has joined #ocaml
ansiwen has joined #ocaml
terrorjack has quit [Max SendQ exceeded]
Hrundi_V_Bakshi has quit [*.net *.split]
Serpent7776 has quit [*.net *.split]
infinity0 has quit [*.net *.split]
mrvn has quit [*.net *.split]
dckc has quit [*.net *.split]
theglass has quit [*.net *.split]
Exagone313 has joined #ocaml
SoF has joined #ocaml
Tuplanolla has joined #ocaml
johnel has joined #ocaml
tmhoang has joined #ocaml
TC01 has quit [*.net *.split]
bacam has quit [*.net *.split]
lobo has quit [*.net *.split]
troydm has quit [*.net *.split]
sagax has quit [*.net *.split]
octachron has quit [*.net *.split]
tizoc has quit [*.net *.split]
jun has quit [*.net *.split]
sm2n has quit [*.net *.split]
companion_cube has quit [*.net *.split]
_ks has quit [*.net *.split]
Armael has quit [*.net *.split]
brown121407 has quit [*.net *.split]
vodkaInf1rno has quit [*.net *.split]
CcxWrk has quit [*.net *.split]
def has quit [*.net *.split]
stux|RC-only has quit [*.net *.split]
SoF has quit [Max SendQ exceeded]
Jesin has quit [Quit: Leaving]
h11 has quit [*.net *.split]
aspiwack[m] has quit [*.net *.split]
lnxw37d4 has quit [*.net *.split]
jimt[m] has quit [*.net *.split]
labor[m] has quit [*.net *.split]
chripell has quit [*.net *.split]
sagax has joined #ocaml
troydm has joined #ocaml
jun has joined #ocaml
sm2n has joined #ocaml
tizoc has joined #ocaml
companion_cube has joined #ocaml
octachron has joined #ocaml
brown121407 has joined #ocaml
Armael has joined #ocaml
def has joined #ocaml
_ks has joined #ocaml
CcxWrk has joined #ocaml
vodkaInf1rno has joined #ocaml
stux|RC-only has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
infinity0 has joined #ocaml
TC01 has joined #ocaml
theglass has joined #ocaml
lobo has joined #ocaml
dckc has joined #ocaml
Serpent7776 has joined #ocaml
mrvn has joined #ocaml
bacam has joined #ocaml
SoF has joined #ocaml
h11 has joined #ocaml
labor[m] has joined #ocaml
chripell has joined #ocaml
lnxw37d4 has joined #ocaml
jimt[m] has joined #ocaml
aspiwack[m] has joined #ocaml
stux|RC-only has quit [Max SendQ exceeded]
terrorjack0 has joined #ocaml
zolk3ri has quit [*.net *.split]
andreas31 has quit [*.net *.split]
nicoo has quit [*.net *.split]
cantstanya has quit [*.net *.split]
reynir has quit [*.net *.split]
tryte has quit [*.net *.split]
h11 has quit [Ping timeout: 240 seconds]
aspiwack[m] has quit [Ping timeout: 240 seconds]
Jesin has joined #ocaml
pqwy[m] has quit [Ping timeout: 244 seconds]
ocabot has quit [Ping timeout: 246 seconds]
hnOsmium0001 has quit [Ping timeout: 244 seconds]
ptival[m] has quit [Ping timeout: 240 seconds]
jimt[m] has quit [Ping timeout: 240 seconds]
lnxw37d4 has quit [Ping timeout: 240 seconds]
labor[m] has quit [Ping timeout: 240 seconds]
flux has quit [Ping timeout: 246 seconds]
camlriot42 has quit [Ping timeout: 244 seconds]
BitPuffin has quit [Ping timeout: 246 seconds]
Manis[m] has quit [Ping timeout: 246 seconds]
aterius has quit [Ping timeout: 246 seconds]
peddie has quit [Ping timeout: 246 seconds]
dash has quit [Ping timeout: 244 seconds]
Coueek[m] has quit [Ping timeout: 244 seconds]
stux|RC-only has joined #ocaml
nicoo has joined #ocaml
tryte has joined #ocaml
cantstanya has joined #ocaml
zolk3ri has joined #ocaml
reynir has joined #ocaml
andreas31 has joined #ocaml
chewbranca has quit [Ping timeout: 272 seconds]
ocabot has joined #ocaml
stylewarning has quit [*.net *.split]
rdivyanshu has quit [*.net *.split]
averell has quit [*.net *.split]
toppler has quit [*.net *.split]
kini has quit [*.net *.split]
kit_ty_kate has quit [*.net *.split]
mg_ has quit [*.net *.split]
sadiq has quit [*.net *.split]
oznt has quit [*.net *.split]
haskell_enthusia has quit [*.net *.split]
runciter has quit [*.net *.split]
tane has quit [*.net *.split]
brettgilio has quit [*.net *.split]
vesper11 has quit [*.net *.split]
haesbaert has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
emp has quit [*.net *.split]
nore has quit [*.net *.split]
tianon has quit [*.net *.split]
theblatte has quit [*.net *.split]
vsiles has quit [*.net *.split]
rak has quit [*.net *.split]
SquidDev has quit [*.net *.split]
adrien has quit [*.net *.split]
jerith has quit [*.net *.split]
asm89 has quit [*.net *.split]
lix has quit [*.net *.split]
stylewarning has joined #ocaml
rdivyanshu has joined #ocaml
averell has joined #ocaml
toppler has joined #ocaml
oznt has joined #ocaml
kit_ty_kate has joined #ocaml
mg_ has joined #ocaml
sadiq has joined #ocaml
kini has joined #ocaml
runciter has joined #ocaml
haskell_enthusia has joined #ocaml
chewbranca has joined #ocaml
borne has quit [*.net *.split]
jmct has quit [*.net *.split]
mrallen1 has quit [*.net *.split]
webshinra has quit [*.net *.split]
stephe has quit [*.net *.split]
robmyers has quit [*.net *.split]
RalfJ has quit [*.net *.split]
clockish has quit [*.net *.split]
bronsen has quit [*.net *.split]
rom1504 has quit [*.net *.split]
beaky has quit [*.net *.split]
lisq has quit [*.net *.split]
farn__ has quit [*.net *.split]
neiluj has joined #ocaml
andreas31 has quit [Ping timeout: 240 seconds]
stylewarning has quit [Ping timeout: 256 seconds]
tane has joined #ocaml
brettgilio has joined #ocaml
haesbaert has joined #ocaml
nore has joined #ocaml
emp has joined #ocaml
vsiles has joined #ocaml
tianon has joined #ocaml
SquidDev has joined #ocaml
theblatte has joined #ocaml
rak has joined #ocaml
jerith has joined #ocaml
lix has joined #ocaml
adrien has joined #ocaml
asm89 has joined #ocaml
dmbaturin has joined #ocaml
vesper11 has joined #ocaml
stephe has joined #ocaml
jmct has joined #ocaml
mrallen1 has joined #ocaml
borne has joined #ocaml
webshinra has joined #ocaml
robmyers has joined #ocaml
clockish has joined #ocaml
RalfJ has joined #ocaml
rom1504 has joined #ocaml
bronsen has joined #ocaml
beaky has joined #ocaml
lisq has joined #ocaml
farn__ has joined #ocaml
terrorjack0 has quit [*.net *.split]
steenuil has quit [*.net *.split]
FreeBirdLjj has quit [*.net *.split]
tristanC has quit [*.net *.split]
shmibs has quit [*.net *.split]
White_Flame has quit [*.net *.split]
Johann has quit [*.net *.split]
_habnabit has quit [*.net *.split]
notnotdan has quit [*.net *.split]
ahf has quit [*.net *.split]
hnOsmium0001 has joined #ocaml
zebrag has quit [*.net *.split]
Haudegen has quit [*.net *.split]
decentpenguin has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
osa1 has quit [*.net *.split]
leah2 has quit [*.net *.split]
jca has quit [*.net *.split]
landonf has quit [*.net *.split]
so has quit [*.net *.split]
rks` has quit [*.net *.split]
Geekingfrog has joined #ocaml
landonf has joined #ocaml
jca has joined #ocaml
zebrag has joined #ocaml
so has joined #ocaml
rks` has joined #ocaml
Haudegen has joined #ocaml
leah2 has joined #ocaml
decentpenguin has joined #ocaml
osa1 has joined #ocaml
FreeBirdLjj has joined #ocaml
tristanC has joined #ocaml
steenuil has joined #ocaml
terrorjack0 has joined #ocaml
_habnabit has joined #ocaml
ahf has joined #ocaml
Johann has joined #ocaml
White_Flame has joined #ocaml
shmibs has joined #ocaml
notnotdan has joined #ocaml
stephe has quit [Ping timeout: 248 seconds]
lopex has quit [*.net *.split]
Boarders has quit [*.net *.split]
bytesighs has quit [*.net *.split]
iZsh has quit [*.net *.split]
lopex has joined #ocaml
Boarders has joined #ocaml
iZsh has joined #ocaml
bytesighs has joined #ocaml
mmohammadi9812 has quit [*.net *.split]
seastack has quit [*.net *.split]
Amaan has quit [*.net *.split]
seliopou has quit [*.net *.split]
Khady has quit [*.net *.split]
mal`` has quit [*.net *.split]
emias has quit [*.net *.split]
c4rc4s has quit [*.net *.split]
trn has quit [*.net *.split]
interruptinuse has quit [*.net *.split]
srax has quit [*.net *.split]
pippijn has quit [*.net *.split]
maker has quit [*.net *.split]
catern has quit [*.net *.split]
Ankhers has quit [*.net *.split]
Leonidas has quit [*.net *.split]
valtr has quit [*.net *.split]
andreas31 has joined #ocaml
zebrag has quit [Max SendQ exceeded]
waleee-cl has quit [*.net *.split]
higherorder has quit [*.net *.split]
pmonson has quit [*.net *.split]
adi_________ has quit [*.net *.split]
caasih has quit [*.net *.split]
cbarrett has quit [*.net *.split]
cemerick has quit [*.net *.split]
mjvoge02 has quit [*.net *.split]
conjunctive has quit [*.net *.split]
jeroud has quit [*.net *.split]
sspi__ has quit [*.net *.split]
metadave has quit [*.net *.split]
zozozo has quit [*.net *.split]
breitenj- has quit [*.net *.split]
ruffy_ has quit [*.net *.split]
d_bot has quit [*.net *.split]
ebb has quit [*.net *.split]
sim642 has quit [*.net *.split]
dinosaure has quit [*.net *.split]
emias has joined #ocaml
seastack has joined #ocaml
mal`` has joined #ocaml
interruptinuse has joined #ocaml
trn has joined #ocaml
Ankhers has joined #ocaml
Amaan has joined #ocaml
seliopou has joined #ocaml
Khady has joined #ocaml
maker has joined #ocaml
Leonidas has joined #ocaml
valtr has joined #ocaml
pippijn has joined #ocaml
srax has joined #ocaml
catern has joined #ocaml
c4rc4s has joined #ocaml
mmohammadi9812 has joined #ocaml
mmohammadi9812 has quit [Max SendQ exceeded]
trn has quit [Max SendQ exceeded]
trnv2 has joined #ocaml
zebrag has joined #ocaml
vicfred has quit [*.net *.split]
artart78 has quit [*.net *.split]
Fardale has quit [*.net *.split]
stux|RC has quit [*.net *.split]
kvik has quit [*.net *.split]
thizanne has quit [*.net *.split]
delysin has quit [*.net *.split]
drewr has quit [*.net *.split]
penguwin has quit [*.net *.split]
runawayfive has quit [*.net *.split]
Ekho has quit [*.net *.split]
steenuil has quit [Remote host closed the connection]
waleee-cl has joined #ocaml
cbarrett has joined #ocaml
pmonson has joined #ocaml
mjvoge02 has joined #ocaml
conjunctive has joined #ocaml
higherorder has joined #ocaml
adi_________ has joined #ocaml
caasih has joined #ocaml
cemerick has joined #ocaml
jeroud has joined #ocaml
metadave has joined #ocaml
d_bot has joined #ocaml
breitenj- has joined #ocaml
dinosaure has joined #ocaml
zozozo has joined #ocaml
ruffy_ has joined #ocaml
sim642 has joined #ocaml
ebb has joined #ocaml
sspi__ has joined #ocaml
stephe has joined #ocaml
steenuil has joined #ocaml
Fardale has joined #ocaml
artart78 has joined #ocaml
Ekho has joined #ocaml
thizanne has joined #ocaml
vicfred has joined #ocaml
kvik has joined #ocaml
drewr has joined #ocaml
stux|RC has joined #ocaml
penguwin has joined #ocaml
delysin has joined #ocaml
runawayfive has joined #ocaml
penguwin has quit [Max SendQ exceeded]
Ekho has quit [Max SendQ exceeded]
stux|RC has quit [Max SendQ exceeded]
penguwin3 has joined #ocaml
lopex has quit [Ping timeout: 246 seconds]
bytesighs has quit [Ping timeout: 246 seconds]
hnOsmium0001 has quit [Ping timeout: 240 seconds]
stux|RC has joined #ocaml
bytesighs has joined #ocaml
stylewarning has joined #ocaml
d_bot has quit [Remote host closed the connection]
<d_bot>
<rgrinberg> It produced super massive binaries IIRC
<d_bot>
<rgrinberg> Increasing the size of binaries by 3x+ or so
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
DanC has quit [Ping timeout: 244 seconds]
<d_bot>
<Drup> well, you can see from the PR it's not quite finished, and IIRC, the tooling outside of the compiler which should accompany all that stuff is either hidden somewhere, and pre-alpha.
DanC has joined #ocaml
<d_bot>
<Drup> i've heard people saying they saw impressive demos, but never actual stable tools
mxns has quit [Ping timeout: 258 seconds]
tryte has quit [Remote host closed the connection]
tryte has joined #ocaml
Hrundi_V_Bakshi has quit [Ping timeout: 260 seconds]