adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
breitenj has quit [Ping timeout: 276 seconds]
rand__ has quit [Quit: leaving]
trapz has quit [Quit: trapz]
sdml[m] has joined #ocaml
trapz has joined #ocaml
sdml[m] has left #ocaml [#ocaml]
ziyourenxiang has joined #ocaml
jabroney has joined #ocaml
yaewa has joined #ocaml
moei has quit [Ping timeout: 246 seconds]
jabroney has quit [Quit: Leaving.]
nore has joined #ocaml
smondet[m] has joined #ocaml
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?
ziyourenxiang has joined #ocaml
<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
<infinity0> https://reproducible-builds.org/specs/build-path-prefix-map/ i'll be sending patches to GCC soon, in the next 2-3 weeks or so
<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> infinity0: the encoding scheme in https://reproducible-builds.org/specs/build-path-prefix-map/ is complex; was standard backslash-escaping of special characters (=, :) not an option?
rpg has quit [Ping timeout: 260 seconds]
<gasche> hm
<gasche> or asking paths to be "-quoted with backslash-escaping of " (reasoning that this is probably implemented in many languages already)
<asmanur> j
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
<P4Titan> fail*
<P4Titan> How could I implement this elegantly?
<P4Titan> Here's what I have so far: https://hastebin.com/epepasapaj.coffeescript
govg has quit [Ping timeout: 260 seconds]
<lyxia> you can throw an exception
govg has joined #ocaml
<P4Titan> is that the canonical OCaml approach?
silver has quit [Read error: Connection reset by peer]
<gallais> I'd say so. That or using continuations.
silver has joined #ocaml
<P4Titan> what's a continuation?
sz0 has joined #ocaml
minn has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
<tautologico> it's something that represents the rest of the computation
govg has quit [Ping timeout: 268 seconds]
govg has joined #ocaml
<lpaste_> gallais pasted “Product.ml” at http://lpaste.net/353693
<gallais> P4Titan: an example with "kE" (escape / error continuation) and "kS" (success continuation)
cbot_ has quit [Ping timeout: 260 seconds]
cbot has joined #ocaml
Simn has joined #ocaml
<P4Titan> That is more for recursive solutions
<P4Titan> My function requires very an iterative w/ checking certain criterion and continuing on
<P4Titan> but thanks for the attention nonetheless!
MercurialAlchemi has quit [Ping timeout: 260 seconds]
IRCFrEAK has joined #ocaml
average has quit [Remote host closed the connection]
argent_smith has quit [Remote host closed the connection]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
IRCFrEAK has quit [Quit: jIRCii - http://www.oldschoolirc.com]
argent_smith has joined #ocaml
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 260 seconds]
mengu has quit [Remote host closed the connection]
sepp2k has quit [Quit: Leaving.]
Simn has quit [Read error: Connection reset by peer]
govg has quit [Ping timeout: 260 seconds]
kakadu has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
strykerkkd has joined #ocaml