nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
WraithM has quit [Client Quit]
sheijk_ has joined #ocaml
WraithM has joined #ocaml
WraithM has quit [Client Quit]
WraithM has joined #ocaml
nikki93 has quit [Remote host closed the connection]
sheijk has quit [Ping timeout: 260 seconds]
nikki93 has joined #ocaml
CamelFodder has quit [Read error: Connection reset by peer]
nikki93 has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
talzeus_ has joined #ocaml
talzeus__ has joined #ocaml
talzeus_ has quit [Read error: Connection reset by peer]
kyrylo has joined #ocaml
Xenasis has joined #ocaml
mcclurmc has joined #ocaml
mort___ has quit [Quit: Leaving.]
csakatoku has joined #ocaml
dant3_ has quit [Remote host closed the connection]
dant3 has joined #ocaml
boogie has joined #ocaml
kyrylo has quit [Ping timeout: 248 seconds]
csakatoku has quit [Remote host closed the connection]
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest37192
Simn has quit [Quit: Leaving]
boogie has quit [Ping timeout: 252 seconds]
csakatoku has joined #ocaml
peterbb has quit [Quit: Lost terminal]
Xenasis has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
pango has quit [Ping timeout: 240 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
yacks has quit [Read error: Operation timed out]
yacks has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
sheijk_ has quit [Quit: n8]
Guest97959 is now known as whispurr
whispurr has left #ocaml []
osa1 has quit [Ping timeout: 240 seconds]
strobegen has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
yacks has quit [Quit: Leaving]
csakatoku has quit [Ping timeout: 252 seconds]
dant3 has quit [Remote host closed the connection]
divyansr has joined #ocaml
csakatoku has joined #ocaml
Guest37192 has quit [Remote host closed the connection]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Read error: No route to host]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatok_ has joined #ocaml
dant3 has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
pyon has joined #ocaml
ggole has joined #ocaml
kyrylo has joined #ocaml
Fnar has quit [Ping timeout: 246 seconds]
kyrylo has quit [Ping timeout: 264 seconds]
ggole has quit [Read error: Connection timed out]
ggole has joined #ocaml
Axord has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
Kakadu has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
pango has joined #ocaml
csakatoku has quit [Read error: No route to host]
csakatoku has joined #ocaml
milosn has joined #ocaml
ollehar has joined #ocaml
zRecursive has left #ocaml []
mort___ has joined #ocaml
Kakadu has quit [Ping timeout: 272 seconds]
<adrien>
I'm not sure I want to get into the thread on the ML but I'm surprised noone has mentionned that if there are more contributions and as much work per patch for the people who can commit to the tree, then everything will be bottlenecked
strobegen has quit [Quit: Leaving.]
<gasche_>
adrien: one contribution area would be patch review
<adrien>
I believe that more than the technology underneath, it's a change in the way things are organized that is needed
<adrien>
(simply because the community has grown a lot in the recent years and the number of people who want to contribute has too)
<adrien>
but then I'm not sure how things would be done :)
mort___ has quit [Quit: Leaving.]
Kakadu has joined #ocaml
mort___ has joined #ocaml
Arsenik has joined #ocaml
AltGr has joined #ocaml
Kakadu has quit [Ping timeout: 272 seconds]
Arsenik has quit [Remote host closed the connection]
Arsenik has joined #ocaml
Arsenik has quit [Max SendQ exceeded]
Arsenik has joined #ocaml
cyanure__ has joined #ocaml
Arsenik has quit [Read error: No buffer space available]
cyanure__ has quit [Remote host closed the connection]
<gasche_>
adrien: if you have good suggestions, I'm all ears
<gasche_>
currently the model is pretty much "people that care don't have enough time to work on everything, so what gets worked on progresses, the rest does not"
<gasche_>
I think this model is able to absorb a reasonable growth until the "not enough time to work on everything" predicate becomes false
Arsenik has joined #ocaml
<gasche_>
by the way adrien
<gasche_>
Benoît Vaugon told me he had done some horrible hacks to get a linux->windows cross-compiler and people like that, I told him to look at your work and possibly contribute on review and general progress
Arsenik has quit [Remote host closed the connection]
<adrien>
I think the model is not bad but things need to be improved here and there and contributors are often not sure how to proceed (mailing-list, bug tracker, against stable or trunk, using git or not, ...)
Arsenik has joined #ocaml
<adrien>
gasche_: ah, that's a good thing :)
<adrien>
the existing patches were indeed quite horrible in some places; I guess he pretty much reused them?
Arsenik has quit [Remote host closed the connection]
<adrien>
I'm going to try to do another update, at least for the last bits that caused issues because it's really the biggest stuff left
<adrien>
really not sure how to do
Arsenik has joined #ocaml
<adrien>
I'm waiting for the splits to stop (camlp4, labltk)
<gasche_>
I think he did his own stuff
<adrien>
because, for instance, Jacques Garrigue had has issues with some changes with camlp4 when bootstrapping and obviously, that wouldn't have happened with camlp4 outside of the compiler tree :)
<gasche_>
mostly a huge script that builds stuff, changes stuff, rebuild stuffs, etc., until it works
<adrien>
hmm
<adrien>
he probably wasn't aware there were patches around (before even mine)
<gasche_>
yes, I think he wasn't
<gasche_>
he is now, but as everyone he's quite time-limited so may not show a sign of activity before a while
<adrien>
(I need to leave soon)
<adrien>
ok
<adrien>
I've also been wondering if a mailing-list should be created for "ocaml-reviews" or something like that
<adrien>
basically, send patches and discuss
<adrien>
now I'm waiting for rks` to say he thinks github's way is still better
Arsenik has quit [Remote host closed the connection]
<whitequark>
adrien: take a look at phabricator
<whitequark>
LLVM generally uses the ML approach but it leads to patches getting lost, very, very frequently
<whitequark>
and phabricator proved to be quite useful
<whitequark>
plus it integrates with ML bidirectionally, and old-school folks can have it their way
<gasche_>
my impression is that it's hard to sell tooling changes, and more generally "more work", to current devs on the not-that-convincing promise of "more external contributions"
<rks`>
oh no adrien
<gasche_>
maybe "current tooling doesn't work for reason X, so we should change" would be more convincing, but this is hard to demonstrate (in fact I'm not sure it's correct)
Kakadu has joined #ocaml
<rks`>
I'd never say that
Arsenik has joined #ocaml
<rks`>
vim works only with a ML
<rks`>
and it looks wonderful
<gasche_>
phabricator looks nice, why didn't I hear about before?
<gasche_>
rks`: is the-lambda-church the new official home for Merlin?
<rks`>
yes, we still have to make an official page
<rks`>
but yes
ulfdoz has joined #ocaml
<rks`>
but adrien, I'll only ask: how would your ML list improve over mantis?
<rks`>
the only point I can think of which would please you is: the archives would be even harder to access
<rks`>
(because ofc, since it's for ocaml it would be on the "sympa" thing)
<adrien>
whitequark: I know phabricator
<adrien>
it looked good
<adrien>
but it's not in practice
<adrien>
too many "ph" everywhere and words which aren't that clear
<adrien>
bug tracker is a bit weird, ...
<adrien>
well, I don't know the code review stuff though
<adrien>
I think LLVM gets many more patches than OCaml would
<adrien>
gasche_: hmm, for the mailing list, the goal would rather be to get more reviews from non-core devs
<adrien>
I don't check every bug report on the bug tracker
<whitequark>
adrien: I think they have a translation without all the weirdness?
<adrien>
I think so too but I don't know if it's up-to-date
<rks`>
adrien: and why would you check every thread on a ML if you don't check every PR on mantis?
<rks`>
at least people wanting to move to github come with real arguments.
<adrien>
it's not for bug reports but for patches; and (with a proper email client), it's easy to skim through your mails
<adrien>
patches and discussions around patches
<adrien>
rks`: <3
<rks`>
oh you mean, like the "pull requests" page on github?
<rks`>
(see, I can be friendly ;))
<adrien>
as you said: that doesn't work with vim :P
_andre has joined #ocaml
BoR0 has joined #ocaml
BoR0 has left #ocaml []
<adrien>
and actually, I can read the linux kernel mailing lists and the patches that get posted along with the comments way better than anything I've seen on github
ollehar has quit [Ping timeout: 260 seconds]
<rks`>
good for you
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 240 seconds]
hootch has joined #ocaml
dant3 has quit [Remote host closed the connection]
oriba has joined #ocaml
pminten has joined #ocaml
Simn has joined #ocaml
<oriba>
For understanding GADT it seems that I need also to know polymorphic recursion. I looked up the term and I#m not sure if I understand it correctly.
<oriba>
What my understanding is so far: depending on the recursion step, the return value can have different type,
<oriba>
but all possible types are covered in one polymorphic type
<oriba>
Looks a bit like typ foo = Type1 of int | Type2 of char
<oriba>
This also can give back Type1 or Type2
<oriba>
But I need pattern matching. Is polymorphic recurion something like this, but without the need for matches?
<oriba>
Any simple examples that exoplain polymorphic recursive type (annotation)?
dant3 has joined #ocaml
rand000 has joined #ocaml
rand000 has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
rand000 has joined #ocaml
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 246 seconds]
avsm has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
Sim_n is now known as Simn
<Drup>
adrien : you can recieve bug report and pull request through mail with a link to the git branch, the diff and the patch.
<Drup>
you can even reply to it through your mail client, and it will be on github like a normal comment
<Drup>
(all that in github)
<ggole>
oriba: you can pattern match on GADTs
michael_lee has joined #ocaml
<ggole>
A simple non-recursive example would be: type _ foo = Type1 : int -> int foo | Type2 : char -> char foo let test : type a . a foo -> a = function | Type1 x -> x | Type2 x -> x
<ggole>
As you can see the return type depends on the GADT parameter
<adrien_oww>
Drup: ah, that's nice; that still leaves the fact I won't sign up because of the ToS :P
<adrien_oww>
(and that I find it sad to give up on controlling your infrastructure)
<Drup>
adrien : this is a real issue
<Drup>
and I quite agree with it
<adrien_oww>
f00d
<Drup>
but don't bring technical reason to the table if the issue is not technical :)
<whitequark>
(your own infrastructure) true, but it's a hassle, plus GH actively enables you to take out all of your data, shall such a need arise
mort___ has left #ocaml []
<oriba>
ggole, hmhh, ok, the type is dependent on foo, but even I did not used this stuff for more then juast exploring, it looks natural to me somehow. But 3.11 does say syntax error and 4.00 accepts it. Is "foo" the parameter? And what does the "_" stand for? I only sax examples with "_", and no other examples. So I don#t know how to use differently. Also I wonder, why you don't used someting like "type a."; me was told that "a." stuff is needed fo
<oriba>
r GADTs because of necessarity of explicit type annotations for polymorphic recursion.
<oriba>
So I'm a bit confused.
nikki93 has joined #ocaml
<Drup>
"type a." is a bit stronger than "a."
<Drup>
did you read the manual about that part ?
<Drup>
there is a mail from gasche_ on the ml about that
<Drup>
look around the 04/06/2013
<ggole>
oriba: the _ indicates a gadt parameter that has no explicit use
dant3 has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
<ggole>
You can read type _ foo as type 'a foo, without needing a name for 'a
dant3_ has joined #ocaml
dant3_ has quit [Ping timeout: 272 seconds]
ElvanorMoscow has joined #ocaml
<ElvanorMoscow>
Is there a way to specify the target directory of ocamlfind install via an environment variable?
<ElvanorMoscow>
I have several packages I wish to install in /usr/local/opt, and they seem to use ocamlfind install
avsm has joined #ocaml
<Drup>
ElvanorMoscow: yes, you should find that in ocamlfind manual
<Kakadu>
ElvanorMoscow: findlib.conf probably
kyrylo has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Remote host closed the connection]
kyrylo has quit [Client Quit]
<adrien_oww>
Drup: gitlab is complex to setup however
dant3 has joined #ocaml
<Drup>
well, you were talking about the infrastructure, make a use of it
<adrien_oww>
migrating a bug tracker or an SCM is quite a lot of work and there are always stuff that is lost
ollehar has joined #ocaml
<adrien_oww>
I don't know who's responsible for the infra: ocaml people or generic guys at inria (for the whole of inria)
<Drup>
scm is not an issue, we already have a git version of the repository
<adrien_oww>
and I think it's the former
ygrek has joined #ocaml
rand000 has quit [Quit: leaving]
<Drup>
(don't get me wrong : I don't really care about this discussion, since the people who decide don't really care about our arguments on the matter. I just want you not to bring invalid points :p)
demonimin has quit [Ping timeout: 246 seconds]
<adrien_oww>
imho the first step is to write down rules on contributing
dant3 has quit [Ping timeout: 246 seconds]
<Drup>
but I agree completly with markus mottl on the matter
<Drup>
(and I also don't think anything is going to happen after this discussion.)
<ElvanorMoscow>
this is the command the configure step uses
dant3 has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 260 seconds]
csakatoku has quit [Ping timeout: 260 seconds]
kyrylo has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
ollehar has joined #ocaml
demonimin has joined #ocaml
dant3 has joined #ocaml
<adrien_oww>
avsm: well, my main issue with the lack of that page on the website is that I have no idea about what to put on it :) (I think the best is to raise that on the ML)
<adrien_oww>
Fuse, with a capital 'F'? you can run "ocamlfind list" and check everything is as you expect
ollehar has quit [Ping timeout: 260 seconds]
skchrko has joined #ocaml
zarul has quit [Ping timeout: 240 seconds]
zarul has joined #ocaml
nicoo has quit [Ping timeout: 248 seconds]
nicoo has joined #ocaml
darkf has quit [Quit: Leaving]
zpe has joined #ocaml
introom has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
snyp has joined #ocaml
ElvanorMoscow has left #ocaml []
mcclurmc has joined #ocaml
nikki93 has quit [Remote host closed the connection]
yacks has joined #ocaml
mreca has joined #ocaml
mreca has quit [Max SendQ exceeded]
snyp has quit [Quit: K Bye]
<adrien>
win-builds 1.3 rc1 :)
<adrien>
need to mail the caml-list about it later today
nikki93 has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
travisbrady has joined #ocaml
pminten has quit [Remote host closed the connection]
travisbrady has quit [Client Quit]
nikki93 has quit [Remote host closed the connection]
dant3 has quit [Remote host closed the connection]
saml has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
Sim_n has joined #ocaml
nikki93 has joined #ocaml
osa1 has joined #ocaml
Sim_n has quit [Read error: Connection reset by peer]
Simn has quit [Ping timeout: 246 seconds]
Sim_n has joined #ocaml
WraithM_ has joined #ocaml
nikki93 has quit [Remote host closed the connection]
<rwmjones>
does bmeurer hang out here?
<adrien_oww>
I think I've seen him from time to time but it's probably not the best place to talk to him
dant3 has joined #ocaml
nikki93 has joined #ocaml
avsm has quit [Quit: Leaving.]
* rwmjones
tries to find an email addr ..
<adrien_oww>
I think I've already seen it
<adrien_oww>
worst case, look at the xfce contributors
oriba has quit [Quit: oriba]
<rwmjones>
ok I'm good
dant3 has quit [Read error: Connection reset by peer]
dant3 has joined #ocaml
Sim_n has quit [Ping timeout: 246 seconds]
mort___ has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest76109
<adrien>
rwmjones: also, the aarch64 (what a crappy name) was done by Xavier Leroy iirc
dant3 has quit [Remote host closed the connection]
kyrylo has quit [Quit: Don't give up! Tell ya neighbour, tell ya friend...]
kyrylo has joined #ocaml
<whitequark>
I think aarch64 was a plot by arm to instantly derail any criticizm of the architecture itself
kyrylo has quit [Client Quit]
kyrylo has joined #ocaml
nikki93 has quit [Remote host closed the connection]
root_empire has joined #ocaml
michael_lee has quit [Ping timeout: 250 seconds]
root_empire has quit [Max SendQ exceeded]
nikki93 has joined #ocaml
root_empire has joined #ocaml
nikki93_ has joined #ocaml
zpe has joined #ocaml
nikki93 has quit [Ping timeout: 248 seconds]
talzeus__ has quit [Read error: Connection reset by peer]
introom has quit [Ping timeout: 248 seconds]
pango has quit [Ping timeout: 246 seconds]
zpe has quit [Ping timeout: 248 seconds]
root_empire has quit [Ping timeout: 240 seconds]
travisbrady has joined #ocaml
nikki93_ has quit [Remote host closed the connection]
root_empire has joined #ocaml
nikki93 has joined #ocaml
mort___ has quit [Quit: Leaving.]
Simn has joined #ocaml
Guest76109 has quit [Remote host closed the connection]
<gasche_>
rwmjones: there was a change in the exception's representation by Alain in trunk that touched code that could be the end of your trace
<gasche_>
rwmjones: one way to see whether that's the issue is to checkout/revert to a previous safer state, such as trunk@14221 349f151c0d7f0747d03a1e6d9a0696d480523abf
travisbrady has quit [Quit: travisbrady]
<gasche_>
(this also mean we may need continuous integration for aarch64)
<rwmjones>
ok I'll try that
<adrien>
gasche_: step 0: get the hardware :P
<rwmjones>
a git bisect *would* be a good idea, but unfortunately it takes about an hour to compile OCaml using qemu-arm64 ..
<adrien>
although qemu could work but hw would be nice too
kyrylo has joined #ocaml
pango has joined #ocaml
ollehar has joined #ocaml
hootch has quit [Remote host closed the connection]
palomer has joined #ocaml
nikki93 has joined #ocaml
<gasche_>
yeah, I was thinking qemu
<adrien>
it's going to be fairly slow
<adrien>
which is a pity considering an aarch64 machine would be fast enough
boogie has joined #ocaml
zpe has joined #ocaml
Kakadu has quit [Ping timeout: 272 seconds]
zpe has quit [Ping timeout: 272 seconds]
<rwmjones>
gasche_: 349f151c0d7f0747d03a1e6d9a0696d480523abf fails in the same way
<rwmjones>
gasche_: no wait, I'm not sure about that yet
<rwmjones>
actually, yes I am sure, it's failing
<gasche_>
ok
<gasche_>
sorry for wasting your time
<rwmjones>
I'm going to go back to 055d5c0379e42b4f561cb1fc5159659d8e9a7b6f which is the arm64 merge commit
<rwmjones>
see if that works ..
ygrek has joined #ocaml
root_empire has quit [Quit: Ex-Chat]
travisbrady has joined #ocaml
<rwmjones>
same thing on 055d5c0379e42b4f561cb1fc5159659d8e9a7b6f
nikki93 has quit [Ping timeout: 248 seconds]
gargaml has quit [Quit: WeeChat 0.4.2]
rand000 has joined #ocaml
zenspider has quit [Ping timeout: 260 seconds]
smerz has joined #ocaml
Xenasis has joined #ocaml
ulfdoz has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
Kakadu has joined #ocaml
palomer has quit [Ping timeout: 272 seconds]
skchrko has quit [Remote host closed the connection]
WraithM_ has quit [Ping timeout: 252 seconds]
travisbrady has quit [Quit: travisbrady]
<ollehar>
merry xmas to all!
nikki93 has joined #ocaml
tane has joined #ocaml
AltGr has left #ocaml []
pminten has joined #ocaml
Arsenik has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
jonludlam has quit [Remote host closed the connection]
nikki93 has quit [Ping timeout: 246 seconds]
qingant has joined #ocaml
smondet has quit [Quit: Lost terminal]
avsm has joined #ocaml
qingant has quit [Ping timeout: 250 seconds]
qingant has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
travisbrady has joined #ocaml
travisbrady has quit [Client Quit]
pminten has quit [Quit: Leaving]
NoNNaN has joined #ocaml
phix has joined #ocaml
<phix>
hey gang
<phix>
Be gentle with me
* Kakadu
unpacks popcorn
<phix>
Lets Java
sheijk has joined #ocaml
smondet has joined #ocaml
Xenasis has quit [Remote host closed the connection]