infinity0 has quit [Killed (cherryh.freenode.net (Nickname regained by services))]
_whitelogger has joined #ocaml
sgronblo_ has joined #ocaml
sgronblo has quit [Read error: Connection reset by peer]
copy_ has quit [Quit: Connection closed for inactivity]
minn has joined #ocaml
<minn>
I need to extract a common field from a datatype with hundreds of constructors (say, ocamlyacc tokens). Is there _any_ way to match sets of constructors (with common types) to avoid listing them all?
ziyourenxiang has quit [Ping timeout: 268 seconds]
keep_learning has joined #ocaml
<octachron>
minn, do you really need something shorter than (function (Cons1(_,n) | Cons2(_,n) | … ConsN(…,n) -> Some n | _ -> None) ?
<minn>
I guess need is a philosophical word. There are more than 200 tokens, which is out of my control, but manageable. I was wondering if there was a better solution.
sh0t has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
<octachron>
depending on the configuration of tokens, dark magic might work for a time and breaks horribly at the slightest change
<minn>
I was looking for some kind of 'get constructor name' function in the standard library (but coming up empty).
nomicflux has joined #ocaml
sgronblo_ has quit [Ping timeout: 240 seconds]
nojb has joined #ocaml
<minn>
I'm not sure what kind of dark magic I would invoke, but I think the right direction is to look at things like ppx_deriving?
<octachron>
constructor names don't exist at runtime
<octachron>
minn, automated code generation is probably the safest best
sgronblo has joined #ocaml
<octachron>
having a look at ppx_deriving is definitely a good idea, otherwise a handwritten ppx or compiler-libs based code generator might work
nojb has quit [Ping timeout: 260 seconds]
cranmax has quit [Quit: Connection closed for inactivity]
<minn>
I think you're right. I can probably wrap my head around ppx or the compiler-libs material fast enough. Cool.
ryanartecona has quit [Quit: ryanartecona]
enterprisey has quit [Remote host closed the connection]
pierpa has quit [Quit: Page closed]
cross has quit [Quit: leaving]
cross has joined #ocaml
nomicflux has quit [Quit: nomicflux]
minn has quit [Ping timeout: 240 seconds]
sh0t has quit [Ping timeout: 260 seconds]
spew has joined #ocaml
nojb has joined #ocaml
nojb has quit [Ping timeout: 240 seconds]
silver has quit [Read error: Connection reset by peer]
ryanartecona has joined #ocaml
KeyJoo has quit [Ping timeout: 246 seconds]
ryanartecona has quit [Quit: ryanartecona]
pierpa has joined #ocaml
ryanartecona has joined #ocaml
minn has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
jlam_ has joined #ocaml
spew has quit [Quit: foobar]
ryanartecona has joined #ocaml
jlam__ has quit [Ping timeout: 260 seconds]
mfp__ has quit [Ping timeout: 258 seconds]
ryanartecona has quit [Quit: ryanartecona]
nojb has joined #ocaml
nojb has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
sgronblo has quit [Read error: Connection reset by peer]
sgronblo has joined #ocaml
pierpa has quit [Quit: Page closed]
CcxWrk has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
CcxWrk has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
mengu has quit [Read error: Connection reset by peer]
enterprisey has quit [Remote host closed the connection]
samrat_ has quit [Ping timeout: 260 seconds]
jlam_ has quit [Ping timeout: 255 seconds]
nullx002 has quit [Ping timeout: 240 seconds]
olibjerd has joined #ocaml
<mjacob>
when using ocamlopt, i get a lot of errors like this: /usr/bin/ld: /usr/lib/ocaml/libasmrun.a(roots.o): relocation R_X86_64_32 against symbol `caml_frametable' can not be used when making a shared object; recompile with -fPIC
<mjacob>
version 4.04.1 on an up-to-date arch linux
average has quit [Remote host closed the connection]
enterprisey has quit [Remote host closed the connection]
fantasticsid has joined #ocaml
olibjerd has quit [Quit: olibjerd]
olibjerd has joined #ocaml
fantasti` has joined #ocaml
nullx002 has joined #ocaml
fantasticsid has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
fantasti` has quit [Read error: Connection reset by peer]
fantasti` has joined #ocaml
fantasti` has quit [Client Quit]
Algebr has joined #ocaml
freusque has joined #ocaml
reynir is now known as Transpiler
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
jlam_ has joined #ocaml
alexelcu has quit [Remote host closed the connection]
jlam has quit [Ping timeout: 255 seconds]
alexelcu has joined #ocaml
jlam has joined #ocaml
jlam_ has quit [Ping timeout: 276 seconds]
alfredo has joined #ocaml
alfredo has quit [Client Quit]
alfredo has joined #ocaml
rwmjones|holiday is now known as rwmjones
Transpiler is now known as Pillow
Pillow is now known as Pill0w
Algebr has quit [Read error: Connection reset by peer]
Algebr has joined #ocaml
<toolslive>
we have some problems with the slowness of ocamlbuild : at the moment, for a large project, it needs about 20s to decide nothing needs to be done because everything was already built. Any tips to speed it up?
Pill0w is now known as reynir
<theblatte>
toolslive: that's a flaw of ocamlbuild as far as I know. If you have a Makefile calling ocamlbuild you can decide to call ocamlbuild only if a source file has changed
minn has quit [Ping timeout: 240 seconds]
ia0 has quit [Quit: reboot]
<toolslive>
still: that also takes about the same time. I looked at wat it's doing with (-verbose 40) and most of the time, it's deciding not to do a sh*tload of things. Is there a way to prune this ( "don't look in dir X for target x" or "never search for .mly's" ) ?
<toolslive>
thx. it's a fine read (disappointing though). I can easily gain an order of magnitude in build times by moving to tup, but it's a hassle to explain all the production rules, intermediates and side effects to a tool that doesn't understand ocaml.
<engil>
/buffer 3
<engil>
/buffer 3
<engil>
erf.
<ygrek_>
also it might be that ocamlbuild still has some plain inefficiences that can be detected by profiling
<ygrek_>
see the linked mantis ticket on some stupid past issues
tienson has joined #ocaml
ziyourenxiang has joined #ocaml
sigjuice has joined #ocaml
jimt_ has joined #ocaml
jimt has quit [Ping timeout: 240 seconds]
ygrek_ has quit [Ping timeout: 260 seconds]
mfp__ has joined #ocaml
jimt_ is now known as jimt
samrat_ has quit [Ping timeout: 260 seconds]
Merv__ has quit [Remote host closed the connection]
Merv_ has joined #ocaml
cranmax has joined #ocaml
Merv_ has quit [Remote host closed the connection]
Merv_ has joined #ocaml
Merv_ has quit [Ping timeout: 276 seconds]
Merv_ has joined #ocaml
tienson has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
agravier has joined #ocaml
agravier has quit [Client Quit]
agravier has joined #ocaml
agravier has quit [Client Quit]
agravier has joined #ocaml
agravier has quit [Client Quit]
zpe has quit [Remote host closed the connection]
dtornabene has joined #ocaml
zpe has joined #ocaml
tormen has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 276 seconds]
tormen has joined #ocaml
kyod has quit [Ping timeout: 246 seconds]
jun has quit [Ping timeout: 258 seconds]
kyod has joined #ocaml
jun has joined #ocaml
tormen has quit [Quit: Lost terminal]
dtornabene has quit [Read error: Connection reset by peer]
mengu has joined #ocaml
nomicflux has joined #ocaml
tormen has joined #ocaml
tormen has quit [Client Quit]
rdutra has joined #ocaml
<Drup>
So, who is doing a presentation at the OCaml workshop ? :)
<Drup>
Apparently, Tyre will be presented only has a poster. I don't really like presenting posters :/
nomicflux has quit [Quit: nomicflux]
tormen has joined #ocaml
<zozozo>
mSAT also will be presented by a poster
<zozozo>
I have to learn how to make one :p
<def`>
focusing on the demo aspect can help
<Drup>
zozozo: I can give you a template if you want, later
<zozozo>
Drup: sure ! thanks a lot
<Drup>
I like making poster, I just don't like presenting them because it means standing around like a wallflower while people circulate around looking not-so-interested
<def`>
Suggestion to avoid that are welcome :)
<Drup>
def`: I don't have a suggestion, I think the concept itself is flawed, from a presentation point of view ^^'
<def`>
I think the concept itself is good, but the realization is hard
<def`>
(not the poster, but the setup in which posters are presented))
<octachron>
def`, and it can easily become atrocious depending on spacetime location of the poster presentation
<octachron>
worse space location that have seen was a windowless corridor
<Drup>
def`: I think a timed interactive demo session can work a lot better
<def`>
:), during a short time break, so that people are highly tempted to just skip
FreeBirdLjj has joined #ocaml
<def`>
(or see the posters in the corridor on their way to restroom :P)
<Drup>
def`: and far from the food, so that nobody wants to go there ;)
<octachron>
worst time location was at the same time as a wine and cheese buffet
<def`>
precisely :). I will take note of your ideas
Algebr has quit [Remote host closed the connection]
<Drup>
(there is still the whole "staying next to the poster standing for a relatively long period of time waiting for people to look at you", which I believe is fundamentally an extremely painful process for introverts like me)
FreeBirdLjj has quit [Ping timeout: 276 seconds]
<def`>
experiences show that if you stare at your feet and pretend to not hear questions, people are more likely to enjoy poster
freusque has quit [Ping timeout: 255 seconds]
freusque has joined #ocaml
<Drup>
def`: one way that could make it work would be to have a 5/10min lightning demo for each poster before/at the beginning of the "poster session".
<thizanne>
Drup: I believe just getting a chair and sit down next to your poster is already a non-negligible step to avoid awkwardness and pain
freusque has quit [Ping timeout: 246 seconds]
shinnya has joined #ocaml
sh0t has joined #ocaml
<companion_cube>
or taking a rubik's cube
<companion_cube>
or a bass guitar
<adrien>
companion_rubik ?
toolslive has quit [Ping timeout: 258 seconds]
zpe has joined #ocaml
davidkrauser has quit [Quit: Leaving]
sgronblo has joined #ocaml
samrat_ has joined #ocaml
toolslive has joined #ocaml
freusque has joined #ocaml
Merv_ has quit []
freusque has quit [Ping timeout: 240 seconds]
Merv_ has joined #ocaml
freusque has joined #ocaml
tormen has quit [Quit: Lost terminal]
nahra has quit [Remote host closed the connection]
nahra has joined #ocaml
tormen has joined #ocaml
barcabuona has quit [Ping timeout: 276 seconds]
sgronblo has quit [Read error: Connection reset by peer]
abeaumont has quit [Ping timeout: 240 seconds]
eagleflo has quit [Ping timeout: 240 seconds]
eagleflo has joined #ocaml
tormen has quit [Quit: Lost terminal]
jao has joined #ocaml
tormen has joined #ocaml
tormen has quit [Client Quit]
mfp__ has quit [Ping timeout: 240 seconds]
dtornabene has joined #ocaml
tormen has joined #ocaml
barcabuona has joined #ocaml
ryanartecona has joined #ocaml
mengu has quit [Remote host closed the connection]
snowcrshd has joined #ocaml
tane has joined #ocaml
<octachron>
it looks like I will have to reimplement ocaml-xgettext :(, the current version is camlp4 based and chokes on attributes
freusque has quit [Quit: WeeChat 1.7.1]
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
enterprisey has joined #ocaml
dtornabene has quit [Read error: Connection reset by peer]
dtornabene has joined #ocaml
enterprisey has quit [Ping timeout: 268 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
<Leonidas>
octachron: what do you need camlp4 for in gettext? Isn't it just basically a function named `_`?
<Leonidas>
def`: maybe put the poster above the pissoir, that way people have time to see them
<Leonidas>
people using pissoirs, that is
<def`>
:D
<Leonidas>
Drup: I can completely relate. I remember sessions like this at my university where I felt really sorry for the poor souls having to stand next to their poster, like some kind of punishment for submitting too late or something.
enterprisey has quit [Remote host closed the connection]
al-damiri has joined #ocaml
samrat_ has quit [Ping timeout: 255 seconds]
<octachron>
Leonidas, *x*gettext which is the part that extracts strings to be translated and their location from the source files
<Leonidas>
octachron: ah. But I suppose that is much easier to do with ppx in any case.
agravier has quit [Quit: agravier]
Muzer has joined #ocaml
<octachron>
Leonidas, just compiler-libs should be enough, and it is true that it is not a lot of work
slash^ has quit [Read error: Connection reset by peer]
<octachron>
but it is still more work than I planned, and more importantly it opens the door to the temptation to do things in the right™ way
slash^ has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
ryanartecona has quit [Quit: ryanartecona]
KeyJoo has joined #ocaml
jmiven has quit [Quit: co'o]
rwmjones is now known as rwmjones|holiday
jmiven has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
barcabuona has quit [Quit: WeeChat 1.8]
olibjerd has quit [Ping timeout: 240 seconds]
SpiceGuid has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.46/20161213183751]]
shinnya has quit [Ping timeout: 255 seconds]
butts_butts has joined #ocaml
slash^ has quit [Remote host closed the connection]
mengu has joined #ocaml
TheLemonMan has joined #ocaml
cranmax has quit [Quit: Connection closed for inactivity]
KeyJoo has quit [Ping timeout: 255 seconds]
Anarchos has joined #ocaml
kakadu has joined #ocaml
rdutra has quit [Ping timeout: 276 seconds]
sh0t has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 276 seconds]
sh0t has joined #ocaml
ryanartecona has joined #ocaml
enterprisey has joined #ocaml
jnavila has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
_andre has quit [Quit: leaving]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
davidkrauser has joined #ocaml
cranmax has joined #ocaml
bacam has quit [Quit: reboot]
Simn has quit [Quit: Leaving]
bacam has joined #ocaml
davidkrauser has quit [Quit: Leaving]
jnavila has quit [Remote host closed the connection]
enterprisey has quit [Remote host closed the connection]
sh0t has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
enterprisey has joined #ocaml
kakadu has quit [Remote host closed the connection]
rdutra has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
pierpa has joined #ocaml
sh0t has joined #ocaml
rdutra has quit [Quit: Leaving.]
al-damiri has quit [Quit: Connection closed for inactivity]
dtornabene has quit [Quit: Leaving]
sh0t has quit [Read error: No route to host]
al-damiri has joined #ocaml
ygrek_ has quit [Remote host closed the connection]