wtetzner has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 240 seconds]
trapz has quit [Quit: trapz]
FreeBirdLjj has joined #ocaml
shinnya has joined #ocaml
silver has quit [Read error: Connection reset by peer]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (sinisalo.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
S11001001 has left #ocaml [#ocaml]
tmtwd has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
larhat has quit [Quit: Leaving.]
apache3_ has joined #ocaml
fold4 has quit [Ping timeout: 260 seconds]
iZsh_ has quit [Ping timeout: 260 seconds]
ousado has quit [Remote host closed the connection]
micro_ has quit [Ping timeout: 260 seconds]
apache3 has quit [Ping timeout: 240 seconds]
ousado has joined #ocaml
cross has quit [Ping timeout: 240 seconds]
iZsh has joined #ocaml
micro_ has joined #ocaml
micro_ is now known as Guest84955
copy` has quit [Quit: Connection closed for inactivity]
cross has joined #ocaml
tmtwd has quit [Remote host closed the connection]
Guest56954 has quit [Quit: WeeChat 1.5]
fluter has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
pilne has quit [Quit: Quitting!]
johnelse has joined #ocaml
spew has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
spew has quit [Ping timeout: 258 seconds]
govg has quit [Ping timeout: 240 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
bungoman has joined #ocaml
fold4 has joined #ocaml
johnelse has quit [Ping timeout: 258 seconds]
bungoman_ has quit [Ping timeout: 246 seconds]
rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
johnelse has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
FreeBirdLjj has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 256 seconds]
ziyourenxiang has quit [Quit: Leaving]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
pifu has joined #ocaml
pifu has left #ocaml [#ocaml]
FreeBird_ has joined #ocaml
Simn has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
larhat has joined #ocaml
cbot has quit [Quit: Leaving]
freechips has quit [Quit: WeeChat 1.7]
freechips has joined #ocaml
argent_smith has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
murmour has joined #ocaml
<murmour>
tobiasBora: How about plain SDL? I use it for simple keyboard-controlled OpenGL apps. Perhaps it would suffice for the "educational tetris" project of yours?
<murmour>
It's unmaintained, but still functional.
<murmour>
If you also need simple graphical widgets (buttons, menus, lists, etc), then labltk+lablgl is another solid option (although it might not be too sexy).
lucasem has quit [Ping timeout: 268 seconds]
orbifx has joined #ocaml
lucasem has joined #ocaml
sepp2k has joined #ocaml
silver has joined #ocaml
larhat has quit [Quit: Leaving.]
rand__ has joined #ocaml
mfp has joined #ocaml
<gasche>
infinity0: I worked on reproducibility of the compiler implementation's build yesterday
troydm has joined #ocaml
<companion_cube>
cool!
<gasche>
I have two patches that pass debug-prefix-map explicitly to the C toolchain
<gasche>
but (1) I would need to add a similar option to the OCaml tools/compilers (they also store path currently), or at least make sure that relative paths are not turned into absolute paths in debug info and (2) there is still some non-determinism happening independently of the paths that I have not yet been able to track down
<gasche>
none of this is very simple, so I'm afraid they will have to wait for a few months on my side
shinnya has joined #ocaml
octachron has joined #ocaml
<infinity0>
gasche: ah, we've been planning an environment variable that just gets set once, instead of having to pass debug-prefix-map everywhere
<gasche>
I know, hannes told me about your work, and I've been looking at the gcc list archives from time to time, but it looks like it's stalled
<gasche>
ah
<infinity0>
i sent in some earlier patches and got some feedback, i'll have to change them a bit but the basic idea is the same
<gasche>
do you plan to patch clang as well?
<gasche>
(and gnu as?)
<gasche>
I saw that you were active higher in the language food chain (Go, Rust)
<infinity0>
gasche: planning for now only GCC, since that is what debian uses by default
<infinity0>
perhaps we'll also later do clang, undecided yet
<gasche>
ok
<infinity0>
ah, didn't look at gnu as yet, mostly the decision would be made based on "most number of debian packages affected" to get the ball rolling at first
<gasche>
reasonable
<infinity0>
then eventually toolchain writers can fix their own tools, hopefully
<gasche>
also for OCaml I don't know whether as is actually necessary; maybe if we apply the prefix map at the OCaml level as won't even see the long path
<gasche>
right now I noticed that passing the option to as reduces the diff
<gasche>
also hm, diffoscope is slow as molasses, is that not a problem in practice?
<infinity0>
there were some preformance improvements in newer versions, latest is 80
<gasche>
ah, I have 77
<infinity0>
and yes, i'll do more analysis after gcc is patched, to see what the best next version is
<infinity0>
best next step*
<infinity0>
oh, 77 should contain already quite a lot of those improvements, iirc
<infinity0>
bbl, have to switch locations
<gasche>
thanks
slash^ has joined #ocaml
orbifx has quit [Ping timeout: 256 seconds]
al-damiri has joined #ocaml
<adrien>
gasche: do you think that bootstrapping and reproducible builds are compatible
<adrien>
?
octachron has quit [Ping timeout: 260 seconds]
<gasche>
adrien: there are two orthogonal issues
<gasche>
(1) is the build from a specific stored bootstrap reproducible
<gasche>
(2) can we trust the stored bootstrap
<gasche>
for security purposes you want both, and we have discussed (2), there are improvements to be made, but (1) would actually help for (2) as well
<gasche>
I was working on (1)
<gasche>
(for (2) I'd like to have the time to traverse the git history, replaying the bootstrap at each commit, find out the build issues and fix them to have a reproducible script for others to do the same, and commit my version in the repo)
<adrien>
gasche: I'm especially concerned with the fact that currently the bootstrap process during development is "_I_ make bootstrap at some point of my development and commit that"; the main painpoint is that the moment you run "make bootstra" is not very well defined
octachron has joined #ocaml
average has joined #ocaml
_whitelogger has joined #ocaml
rpg has joined #ocaml
d0nn1e has quit [Ping timeout: 240 seconds]
d0nn1e has joined #ocaml
maattdd has joined #ocaml
orbifx has joined #ocaml
<hannes>
.oO(/me was mentioned)
<adrien>
now is typically the time to run away and hide
M-Illandan has quit [Remote host closed the connection]
srenatus[m]1 has quit [Remote host closed the connection]
M-jimt has quit [Remote host closed the connection]
M-martinklepsch has quit [Write error: Connection reset by peer]
Bluddy[m] has quit [Read error: Connection reset by peer]
smondet[m] has quit [Read error: Connection reset by peer]
ktosiek[m] has quit [Read error: Connection reset by peer]
timclassic has quit [Write error: Connection reset by peer]
yetanotherion[m] has quit [Read error: Connection reset by peer]
aspiwack[m] has quit [Read error: Connection reset by peer]
regnat[m] has quit [Read error: Connection reset by peer]
<gasche>
or asking paths to be "-quoted with backslash-escaping of " (reasoning that this is probably implemented in many languages already)
<asmanur>
[B[B[Bj
regnat[m] has joined #ocaml
TheLemonMan has joined #ocaml
<asmanur>
oops, sorry, too much lag on my irc client :/
shinnya has quit [Ping timeout: 260 seconds]
M-jimt has joined #ocaml
srenatus[m] has joined #ocaml
timclassic has joined #ocaml
M-Illandan has joined #ocaml
aspiwack[m] has joined #ocaml
Bluddy[m] has joined #ocaml
M-martinklepsch has joined #ocaml
yetanotherion[m] has joined #ocaml
smondet[m] has joined #ocaml
ktosiek[m] has joined #ocaml
nightmared has quit [Ping timeout: 240 seconds]
orbifx has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
govg has joined #ocaml
breitenj has joined #ocaml
trapz has joined #ocaml
trapz has quit [Quit: trapz]
trapz has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
trapz has quit [Client Quit]
trapz has joined #ocaml
trapz has quit [Client Quit]
govg has joined #ocaml
nightmared has joined #ocaml
larhat has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
<Simn>
oasis question: If I use CSources and one of the .c files has an #include dependency to another .c file, how do I deal with that properly? I don't want to add the dependency file to CSources because it's not supposed to be a separate compilation unit. All I really want is to copy it to _build, I think.
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
average_ has joined #ocaml
average has quit [Ping timeout: 245 seconds]
fraggle_ has joined #ocaml
nightmared has quit [Ping timeout: 258 seconds]
nightmared has joined #ocaml
spew has quit [Quit: foobar]
nomicflux has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
sepp2k has quit [Ping timeout: 256 seconds]
marsam has joined #ocaml
spew has joined #ocaml
tane has joined #ocaml
<gasche>
Simn: in your myocamlbuild.ml, you can use (dep ["file:a.c"] ["b.c"]) (if a includes b)
BitPuffin|osx has joined #ocaml
sh0t has joined #ocaml
wtetzner has joined #ocaml
d0nn1e has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
<Simn>
gasche, thanks, that makes sense! Can that be done through a _tags file instead of myocamlbuild.ml?
d0nn1e has joined #ocaml
spew has quit [Quit: foobar]
sh0t has quit [Quit: Leaving]
sh0t has joined #ocaml
govg has quit [Ping timeout: 258 seconds]
govg has joined #ocaml
Simn has quit [Quit: Leaving]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
wtetzner has quit [Remote host closed the connection]
fraggle_ has quit [Quit: -ENOBRAIN]
trapz has joined #ocaml
fraggle_ has joined #ocaml
wtetzner has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 240 seconds]
sh0t has quit [Quit: Leaving]
sh0t has joined #ocaml
sh0t has quit [Client Quit]
sh0t has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
sh0t has quit [Client Quit]
sh0t has joined #ocaml
govg has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
govg has quit [Ping timeout: 260 seconds]
marsam has left #ocaml ["Killed buffer"]
govg has joined #ocaml
cbot has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 258 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
tane has quit [Quit: Leaving]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
tane has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
govg has joined #ocaml
trapz has quit [Quit: trapz]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
sillyotter has joined #ocaml
govg has quit [Ping timeout: 258 seconds]
sillyotter has quit [Client Quit]
govg has joined #ocaml
cbot_ has joined #ocaml
gene1 has joined #ocaml
cbot has quit [Ping timeout: 260 seconds]
<gene1>
hola
<gene1>
:)
MercurialAlchemi has joined #ocaml
<gene1>
hola
<companion_cube>
hi
govg has quit [Ping timeout: 258 seconds]
<gene1>
hi
wtetzner has quit [Remote host closed the connection]
<gene1>
hi
cbot_ has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
<gene1>
holsa
<gene1>
hola hi
<companion_cube>
please stop
<gene1>
spañol no ablas
<companion_cube>
we speak english here, and please stop spamming
<gene1>
ok
gene1 has quit [Excess Flood]
pilne has joined #ocaml
gene1 has joined #ocaml
<gene1>
mmm
<gene1>
hola
<gene1>
s
<gene1>
s
<gene1>
s
<gene1>
s
<gene1>
s
<gene1>
s
<gene1>
s
<gene1>
s
<gene1>
s
<gene1>
s
gene1 has left #ocaml [#ocaml]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 258 seconds]
govg has joined #ocaml
cbot_ has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
mengu has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
orbifx has joined #ocaml
govg has quit [Ping timeout: 246 seconds]
govg has joined #ocaml
trapz has joined #ocaml
mengu_ has joined #ocaml
mengu has quit [Ping timeout: 264 seconds]
tane has quit [Quit: Leaving]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
rishabhjain has joined #ocaml
<mengu_>
hi all
rishabhjain has left #ocaml [#ocaml]
<Leonidas>
hi mengu_
<mengu_>
how are you Leonidas
<Leonidas>
fine; didn't get to caml today, thought :|
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
wtetzner has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 258 seconds]
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
slash^ has quit [Remote host closed the connection]
govg has quit [Ping timeout: 268 seconds]
govg has joined #ocaml
MercurialAlchemi has joined #ocaml
kakadu has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
andreas__ has joined #ocaml
nomicflux has quit [Quit: nomicflux]
govg has quit [Ping timeout: 256 seconds]
govg has joined #ocaml
tmtwd has joined #ocaml
trapz has quit [Quit: trapz]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
trapz has joined #ocaml
octachron has quit [Quit: Leaving]
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
jbrown has quit [Remote host closed the connection]
jbrown has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
mengu has joined #ocaml
mengu_ has quit [Ping timeout: 256 seconds]
tmtwd has quit [Remote host closed the connection]
govg has quit [Ping timeout: 240 seconds]
trapz has quit [Quit: trapz]
govg has joined #ocaml
trapz has joined #ocaml
trapz has quit [Client Quit]
trapz has joined #ocaml
trapz has quit [Client Quit]
average_ is now known as veb
veb is now known as rmah_
rmah_ is now known as average
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
maattdd has joined #ocaml
P4Titan has joined #ocaml
<P4Titan>
Hi all
<P4Titan>
I've got a function that I want to exit early if certain if statements failr