<companion_cube>
does anyone remember how to bootstrap the compiler? :/
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
mfp has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
sh0t has joined #ocaml
sillyotter has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
jimmyrcom_ has quit [Remote host closed the connection]
sillyotter has quit [Quit: WeeChat 1.9.1]
sh0t has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
spew has joined #ocaml
FreeBirdLjj has joined #ocaml
pierpa has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
spew has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
maattdd_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
maattdd_ has quit [Ping timeout: 245 seconds]
jao has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
jao has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
bronsen has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
nicoo has quit [Ping timeout: 255 seconds]
mbuf has joined #ocaml
FreeBirdLjj has joined #ocaml
nicoo has joined #ocaml
<companion_cube>
hmm, the new build output for jbuilder is not as satisfyingly green as before… :(
FreeBirdLjj has quit [Ping timeout: 276 seconds]
<rgr[m]>
you can get the old output back
<rgr[m]>
can even set it to be the default in your config
FreeBirdLjj has joined #ocaml
<_xvilka_>
hi
<_xvilka_>
I do "open Core", then "let ok x = Lwt.return (Ok x)" but it says "The constructor Ok expects 0 argument", why?
<_xvilka_>
it works if I use "vanilla" OCaml constructor with "let ok x = Lwt.return (Caml.Ok x)", but it looks really wrong
FreeBirdLjj has quit [Ping timeout: 240 seconds]
letoh has quit [Ping timeout: 248 seconds]
<_xvilka_>
trying to migrate by codebase to Or_error, but cant find real examples of its usage
<_xvilka_>
RWO is pretty scarce on this subject
<_xvilka_>
returning just error with Or_error is pretty obvious
FreeBirdLjj has joined #ocaml
<_xvilka_>
the missing part is combining the results, returning a good result, somehow "try blabla; Ok success \n with Error(e) -> Or_error.error_string "some error" doesn't work because of the types incompatibility
<rgr[m]>
This works for me: let ok x = Lwt.return (Ok x)
<rgr[m]>
So I'm not sure, maybe you have redefined Ok somewhere
pierpa has quit [Quit: Page closed]
<rgr[m]>
I'm not sure what you mean about comining results
<reynir>
maybe »jbuilder rules« although it's a lot of noise
tarptaeya_ has quit [Ping timeout: 256 seconds]
tarptaeya has joined #ocaml
maattdd_ has joined #ocaml
mk9 has quit [Ping timeout: 260 seconds]
tarptaeya has quit [Ping timeout: 245 seconds]
elliottcable_2 has joined #ocaml
<elliottcable_2>
o7 all
<elliottcable_2>
is there a quick way to get jbuilder to execute the just-built executable without going digging in _build?
<elliottcable_2>
basically I want to do something like `jbuilder build` and then `my_program`, instead of tab-completing my way into _build looking for an arcane build-product
<elliottcable_2>
(sorry, I'm a lame-o dynamic-language programmer, all this compilation cruft is getting to me 🤣)
<elliottcable_2>
I was hoping for, maybe, `jbuilder exec my_program` or something like that? a little helper to do the digging, find the product, and invoke it?
tarptaeya has joined #ocaml
tarptaeya_ has joined #ocaml
tarptaeya has quit [Ping timeout: 240 seconds]
profan has quit [Ping timeout: 265 seconds]
tarptaeya__ has joined #ocaml
<octachron>
elliottcable_2, "jbuilder exec path/program.exe" should work on recent version of jbuilder
tarptaeya__ is now known as tarptaeya
profan has joined #ocaml
tarptaeya_ has quit [Ping timeout: 252 seconds]
Guest55476 has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
FreeBirdLjj has joined #ocaml
tarptaeya has quit [Quit: Leaving]
spew has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
sz0 has joined #ocaml
mbuf has joined #ocaml
dakk has quit [Quit: Leaving]
endeavor has quit [Ping timeout: 240 seconds]
endeavor has joined #ocaml
ELLIOTTCABLE has joined #ocaml
FreeBirdLjj has joined #ocaml
elliottcable_2 has left #ocaml [#ocaml]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
rntz has quit [Remote host closed the connection]
mbuf has left #ocaml ["Leaving"]
FreeBirdLjj has quit [Remote host closed the connection]
endeavor has quit [Remote host closed the connection]
jao has joined #ocaml
mk9 has joined #ocaml
FreeBirdLjj has joined #ocaml
mk9 has quit [Quit: mk9]
inr_ has joined #ocaml
Khady_ has joined #ocaml
wagle_ has joined #ocaml
demonimin_ has joined #ocaml
demonimin_ has joined #ocaml
hnrgrgr has joined #ocaml
hnrgrgr is now known as Guest68064
kandu_ has joined #ocaml
stux|RC-- has joined #ocaml
Cypi_ has joined #ocaml
picolino_ has joined #ocaml
m_m has quit [*.net *.split]
Khady has quit [*.net *.split]
bartholin has quit [*.net *.split]
demonimin has quit [*.net *.split]
okeuday_bak has quit [*.net *.split]
hnrgrgr_ has quit [*.net *.split]
tobiasBora has quit [*.net *.split]
picolino has quit [*.net *.split]
shakalaka has quit [*.net *.split]
inr has quit [*.net *.split]
wagle has quit [*.net *.split]
stux|RC has quit [*.net *.split]
emias has quit [*.net *.split]
kandu has quit [*.net *.split]
Cypi has quit [*.net *.split]
shakalaka has joined #ocaml
bartholin has joined #ocaml
tobiasBora has joined #ocaml
emias has joined #ocaml
zpe has quit [Remote host closed the connection]
sveit has quit [Ping timeout: 240 seconds]
Guest55476 has quit [Remote host closed the connection]
Cypi_ is now known as Cypi
cuicui has quit [Quit: leaving]
orbitz has quit [Ping timeout: 240 seconds]
fredcy has quit [Read error: Connection reset by peer]
orbitz_ has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
fredcy has joined #ocaml
sveit has joined #ocaml
RomanZ5 has quit [Ping timeout: 240 seconds]
xfbs has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
zpe_ has joined #ocaml
<orbifx>
companion_cube: what should I expect about the bijection next? are you looking for spare time to check it?
<companion_cube>
oh, submit a PR and I'll merge it, I think
<companion_cube>
(maybe after some reviewing with jpdeplaix)
zpe_ has quit [Ping timeout: 245 seconds]
<jpdeplaix>
\o
<orbifx>
Ok. I will have one last go of testing different parts and then submit it
zolk3ri has quit [Ping timeout: 252 seconds]
govg has quit [Ping timeout: 252 seconds]
zolk3ri has joined #ocaml
ziyourenxiang has quit [Ping timeout: 265 seconds]
govg has joined #ocaml
maattdd_ has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 245 seconds]
Denommus has joined #ocaml
sapristi has quit [Quit: Leaving]
peddie[m] has quit [Ping timeout: 248 seconds]
SpaceSheep has quit [Ping timeout: 276 seconds]
zolk3ri has quit [Ping timeout: 240 seconds]
SpaceSheep has joined #ocaml
peddie[m] has joined #ocaml
zolk3ri has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
orbifx has quit [Quit: WeeChat 2.0.1]
Guest77302 has joined #ocaml
kuwze has joined #ocaml
jnavila has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 276 seconds]
shinnya has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
Guest77302 is now known as Haudegen
FreeBirdLjj has joined #ocaml
Haudegen is now known as Guest28771
Guest28771 is now known as Haudegen
FreeBirdLjj has quit [Ping timeout: 248 seconds]
xfbs has quit []
<kuwze>
am I correct in believing I should change this ocamlinit https://janestreet.github.io/installation.html so that it ends with "open Core" instead of "open Core.Std"? I got a deprecation warning to change it so I just want to double check
mk9 has joined #ocaml
FreeBirdLjj has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 245 seconds]
kakadu has quit [Quit: Konversation terminated!]
jrslepak has quit [Remote host closed the connection]
Jesin has quit [Quit: Leaving]
jack5638 has quit [Ping timeout: 252 seconds]
Jesin has joined #ocaml
inr_ is now known as inr
<octachron>
kuwze, you are right
orbifx has joined #ocaml
jack5638 has joined #ocaml
FreeBirdLjj has joined #ocaml
<kuwze>
octachron: thanks!
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
<rgr[m]>
private types have no runtime performance penalty, right?
<Drup>
rgr[m]: right
FreeBirdLjj has quit [Ping timeout: 260 seconds]
<rgr[m]>
and neither do abstract type aliases and their associated converters?
zpe has joined #ocaml
<rgr[m]>
e.g. type t = string, let (of_string, to_string) = (id, id) etc.
<Drup>
the identity is very likely to be inlined and reduced
<rgr[m]>
hmm, but it's not guaranteed? While for private types, it's always guaranteed, right?
<Drup>
I believe you will have a hard time finding cases where it's not done
<Drup>
(even more if you use flambda)
FreeBirdLjj has joined #ocaml
<Drup>
(and if you care about the performance cost of the identity, why are you not using flambda ? :D)
<rgr[m]>
I'm just curious. Can't I also just add [@inlined.always] and guarantee the no-cost that way?
<Drup>
yes
<rgr[m]>
ok, cool. thanks for clarifying
<Drup>
but that annotation only really works with flambda, iirc
<rgr[m]>
oh. will it at least fail if it fails to inline on clambda?
FreeBirdLjj has quit [Ping timeout: 240 seconds]
<def`>
no need to bother, identity will always be inlined in first order code
<companion_cube>
otherwise you can `(x : foo :> bar)`
<Drup>
companion_cube: well, that was sort of the question
<Drup>
identity or private+casts
<companion_cube>
ah
<Drup>
I vote for identity
<companion_cube>
anyway, unrelated, but: I'd really like pattern matching to be extensible :3
<def`>
the benefit of private+casts is that you get proper (free) subtyping.
<def`>
extensible?
<companion_cube>
(or at least for `when` to be a proper sub-pattern)
<Drup>
def`: but do you really want the subtyping ? :3
<companion_cube>
def`: matching against custom constants, in this case
<def`>
relation returns a list of all patterns that matched, and fold folds an accumulator through all matching branch.
<def`>
I wait for april 1st to release that
<Drup>
companion_cube: hmm, I could add that to my wip ppx for zarith
<Drup>
that's fairly easy to do
<def`>
companion_cube: that doesn't behave well with or patterns
<companion_cube>
def`: I know :/
<Drup>
def`: doesn't matter, you are in a ppx, you can explode the or patterns
<companion_cube>
I don't have a choice though
<def`>
Drup: but that's a lot of code duplication
<companion_cube>
but that's the only way to support the semantics I want
shinnya has joined #ocaml
<companion_cube>
(which is, basically, make bigints the default ints)
<def`>
Hmmm... It should be possible to do something in the compiler to support that properly.
<Drup>
companion_cube: isn't it better to keep the default int and have well integrated constants ?
<def`>
(I mean code duplication between branches, not arbitrary patterns)
<Drup>
def`: you can also just pull the code in a closure declared in advance
<Drup>
I mean, it's a bit of work, but it's not difficult
FreeBirdLjj has joined #ocaml
<def`>
From a rewrite point of view, it doesn't seem to hard
kakadu has joined #ocaml
<companion_cube>
rgr[m]: tired of discussing on the iterator PR, but: Core.Sequence is more complicated than Seq, imho, and doesn't bring obvious benefits (Seq just hides the state in closures)
<companion_cube>
Drup: no.
<Drup>
Of couse I would love to be able to manipulate the pattern matching generation code in a more principled manner
<companion_cube>
I'm not doing real OCaml, but a system based on OCaml
<companion_cube>
in which machine ints play a very minimal role
<Drup>
but given what this code looks like .. :<
<theblatte>
def`: wtf ppx_xmatch ^^
<companion_cube>
otoh I'd love real OCaml to have better support for Z, ofc
mengu has joined #ocaml
<rgr[m]>
companion_cube: hiding is good. Yeah it's a shame your energy was drained arguing pointless bs rather than this stuff.
<def`>
theblatte: it would be nice to have "relational" match
<def`>
no? :P
<companion_cube>
rgr[m]: I'm really tempted to drop this, and just continue using Sequence
<companion_cube>
(not Core.Sequence)
<companion_cube>
Drup: cool if it's in a zarith-ppx package
<rgr[m]>
Well, I'd rather have a flawed iterator over none at all.
<Drup>
rgr[m]: can you explicitely say that you think your question is anwered and you like it and you think it's great and you want it in ocaml on github ? :D
<companion_cube>
:D
FreeBirdLjj has quit [Ping timeout: 268 seconds]
<Drup>
the people that need to be convinced are not here :)
<rgr[m]>
I think we've managed to tire Daniel out.
<rgr[m]>
Feels like slaying a dragon. Good work everyone
<Drup>
rgr[m]: don't declare victory too early
zpe has quit [Remote host closed the connection]
<companion_cube>
I'm tired out too
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
xfbs has joined #ocaml
zpe has joined #ocaml
AltGr has left #ocaml [#ocaml]
zpe has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
zpe has joined #ocaml
FreeBirdLjj has joined #ocaml
zpe has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
<companion_cube>
def`: line 167 of your ppx_xmatch, shouldn't you call the mapper in the `None` case?
<companion_cube>
ah nevermind it's just below
Algebr has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Jesin has quit [Quit: Leaving]
kuwze has quit [Ping timeout: 260 seconds]
Jesin has joined #ocaml
xfbs has quit []
Jesin has quit [Quit: Leaving]
spew has quit []
FreeBirdLjj has joined #ocaml
Jesin has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
kakadu has quit [Remote host closed the connection]
jnavila has quit [Remote host closed the connection]
sz0 has joined #ocaml
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
xfbs has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
maattdd_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
maattdd_ has quit [Ping timeout: 245 seconds]
sh0t has quit [Remote host closed the connection]
Denommus has joined #ocaml
sh0t has joined #ocaml
FreeBirdLjj has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
mk9 has quit [Quit: mk9]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
jimmyrcom has joined #ocaml
bigs has quit [Ping timeout: 256 seconds]
rfv has quit [Ping timeout: 256 seconds]
bigs has joined #ocaml
octachron has quit [Ping timeout: 240 seconds]
octachron has joined #ocaml
caw______ has quit [Ping timeout: 256 seconds]
oh_lawd has quit [Ping timeout: 276 seconds]
lopex has quit [Ping timeout: 276 seconds]
FreeBirdLjj has joined #ocaml
rfv has joined #ocaml
lopex has joined #ocaml
oh_lawd has joined #ocaml
rfv has quit [Max SendQ exceeded]
l1x has quit [Ping timeout: 256 seconds]
cbarrett has quit [Ping timeout: 256 seconds]
lopex has quit [Max SendQ exceeded]
rfv has joined #ocaml
mankyKitty has quit [Ping timeout: 260 seconds]
lopex has joined #ocaml
IbnFirnas has quit [Ping timeout: 256 seconds]
terrorjack has quit [Ping timeout: 256 seconds]
ggherdov has quit [Ping timeout: 265 seconds]
dch has quit [Ping timeout: 276 seconds]
caw______ has joined #ocaml
cbarrett has joined #ocaml
lynn has quit [Ping timeout: 276 seconds]
ilovezfs_ has quit [Ping timeout: 256 seconds]
l1x has joined #ocaml
chenglou has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
mankyKitty has joined #ocaml
l1x has quit [Max SendQ exceeded]
IbnFirnas has joined #ocaml
terrorjack has joined #ocaml
lopex has quit [Max SendQ exceeded]
stephe has quit [Ping timeout: 265 seconds]
lynn has joined #ocaml
dch has joined #ocaml
caw______ has quit [Max SendQ exceeded]
strmpnk has quit [Ping timeout: 255 seconds]
jyc has quit [Ping timeout: 265 seconds]
terrorjack has quit [Max SendQ exceeded]
stephe has joined #ocaml
l1x has joined #ocaml
l1x has quit [Max SendQ exceeded]
dtornabene has joined #ocaml
ilovezfs_ has joined #ocaml
l1x has joined #ocaml
lopex has joined #ocaml
dch has quit [Max SendQ exceeded]
caw______ has joined #ocaml
lopex has quit [Max SendQ exceeded]
l1x has quit [Max SendQ exceeded]
strmpnk has joined #ocaml
chenglou has joined #ocaml
caw______ has quit [Max SendQ exceeded]
lopex has joined #ocaml
dch has joined #ocaml
l1x has joined #ocaml
terrorjack has joined #ocaml
jao has joined #ocaml
terrorjack has quit [Max SendQ exceeded]
caw______ has joined #ocaml
ggherdov has joined #ocaml
terrorjack has joined #ocaml
<dtornabene>
hey all, question about the code examples on ocaml.org/learn
jyc has joined #ocaml
<dtornabene>
specifically the List.fold_left (+.) 0. 1 and List.fold_left ( && ) true 1 , I'm getting errors on these, is there something I'm missing?
spew has joined #ocaml
<justin_smith>
I'd expect those to be errors
<justin_smith>
dtornabene: oh, those aren't 1, those are l
<octachron>
dtornabene, which errors are you getting? "fun l -> List.fold_left (+.) 0. 1 " is fine if you are not using Core/Base
<justin_smith>
which is a value that we can assume exists, but isn't shown
<justin_smith>
octachron: they were using 1 instead of l, and the code example didn't define l
<justin_smith>
it's an easy misread
<dtornabene>
justin_smith: ah, I see now, thanks for that
<justin_smith>
so really it's something like let l = [1.;2.] in List.fold_left 0. l;;
sh0t has quit [Remote host closed the connection]
<octachron>
justin_smith, right, I misread it in the other direction
sh0t has joined #ocaml
<justin_smith>
dtornabene: and now that I read the comments, it actually specifies that l would look like (but I think the examlple could be more clear)
<dtornabene>
what I get for just plugging away w/o reading the comments
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
Haudegen has quit [Remote host closed the connection]