johnnydiabetic has quit [Ping timeout: 245 seconds]
badkins has quit []
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
fold has quit [Ping timeout: 272 seconds]
q66 has quit [Quit: Leaving]
<dmbaturin>
If I need to do something to every item in a list list, and some items can be repeated, is it a good idea to pass a list of already checked symbols around?
<dmbaturin>
s/symbols/items/
<zRecursive>
you can filter the list to discard the repeated items
<dmbaturin>
Well, repeated in different lists.
<dmbaturin>
list list is not a typo, I meant a list of lists. :)
<lgm>
What's checked in doesn't evince the problem, though.
<lgm>
i added a file, reran ocaml setup.ml -configure, then oasis setup-clean, the oasis setup
<lgm>
and that's when the problem showed up
<lgm>
i can affect the behavior by modifying the _tags file
tnguyen1 has quit [Quit: tnguyen1]
tac_ has joined #ocaml
igitoor has quit [Ping timeout: 272 seconds]
igitoor has joined #ocaml
gabemc has quit [Quit: Leaving.]
gabemc has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
gabemc has quit [Ping timeout: 244 seconds]
shinnya has quit [Ping timeout: 250 seconds]
cespinoza has joined #ocaml
fold has joined #ocaml
taion809 has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Quit: Leaving.]
koderok has joined #ocaml
koderok has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
jabesed has quit [Ping timeout: 244 seconds]
axiles has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
MercurialAlchemi has joined #ocaml
philtom has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
tnguyen has joined #ocaml
zpe has quit [Ping timeout: 258 seconds]
tac_ has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
Snark has joined #ocaml
huza has joined #ocaml
AltGr has left #ocaml [#ocaml]
huza has quit [Quit: WeeChat 0.3.8]
huza has joined #ocaml
fold has quit [Ping timeout: 258 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
thizanne has quit [Ping timeout: 244 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 258 seconds]
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
weykent has quit [Ping timeout: 245 seconds]
tane has joined #ocaml
weykent has joined #ocaml
zRecursive has quit [Remote host closed the connection]
cago has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
weykent has quit [Ping timeout: 272 seconds]
weykent has joined #ocaml
lusory has quit [Quit: leaving]
oscar_toro has joined #ocaml
lgm has quit [Ping timeout: 260 seconds]
Kakadu has joined #ocaml
lamC has joined #ocaml
<lamC>
Does any body know what is the type: `int*char list` ? I know `(int * char) list` is a list of tuple, but I have never seem `int * char list` before:(
<tane>
what about int * (char list)?
<axiles>
yes, the abscence of spaces in int*char is misleading
<lamC>
Oh, I see, thanks all:)
<tane>
# (1,['a']);;
<tane>
- : int * char list = (1, ['a'])
ollehar has joined #ocaml
<tane>
mh, nice.. after a fresh installed system, utop and camlp4 segfault
zpe has joined #ocaml
cago has quit [Ping timeout: 260 seconds]
hhugo has joined #ocaml
eikke__ has joined #ocaml
Thooms has joined #ocaml
cthuluh has quit [Ping timeout: 245 seconds]
lamC has quit [Ping timeout: 246 seconds]
sepp2k has joined #ocaml
fraggle_ has joined #ocaml
tani has joined #ocaml
Submarine has quit [Quit: Leaving]
yacks has quit [Quit: Leaving]
tane has quit [Ping timeout: 272 seconds]
huza has quit [Ping timeout: 272 seconds]
ontologiae_ has joined #ocaml
thizanne has joined #ocaml
_0xAX has joined #ocaml
Simn has joined #ocaml
cthuluh has joined #ocaml
jonludlam has joined #ocaml
mingus has joined #ocaml
yacks has joined #ocaml
octachron has joined #ocaml
NoNNaN has joined #ocaml
willy_ has quit [Remote host closed the connection]
ggherdov___ has joined #ocaml
dsheets has joined #ocaml
cthuluh has quit [Ping timeout: 250 seconds]
thomasga has joined #ocaml
rand000 has joined #ocaml
thomasga has quit [Quit: Leaving.]
fraggle-boate has quit [Quit: Quitte]
fraggle-boate has joined #ocaml
cthuluh has joined #ocaml
thomasga has joined #ocaml
ggole has joined #ocaml
eikke__ is now known as eikke
eizodo has joined #ocaml
jc1 has joined #ocaml
jc1 has left #ocaml [#ocaml]
grcmetal is now known as pestebni_delnice
ontologiae_ has quit [Ping timeout: 246 seconds]
ggole_ has joined #ocaml
_andre has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
lordkryss has joined #ocaml
mawuli_ has quit [Ping timeout: 272 seconds]
adrien_ is now known as adrien
gasche has quit [Ping timeout: 260 seconds]
gasche has joined #ocaml
oscar_toro has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 272 seconds]
zpe has quit [Remote host closed the connection]
Muzer has quit [Excess Flood]
gasche has quit [Ping timeout: 272 seconds]
Muzer has joined #ocaml
lostman has quit [Quit: Connection closed for inactivity]
tani has quit [Quit: Verlassend]
cago has joined #ocaml
gasche has joined #ocaml
SethTIsue has joined #ocaml
cago has quit [Ping timeout: 240 seconds]
gasche has quit [Ping timeout: 245 seconds]
hhugo has quit [Read error: Connection reset by peer]
hhugo has joined #ocaml
Thooms has quit [Ping timeout: 245 seconds]
gasche has joined #ocaml
bezirg has joined #ocaml
ygrek has joined #ocaml
gasche has quit [Ping timeout: 272 seconds]
gasche has joined #ocaml
bytbox has quit [Remote host closed the connection]
gasche has quit [Ping timeout: 272 seconds]
msaegesser has quit [Ping timeout: 245 seconds]
araujo has joined #ocaml
araujo has joined #ocaml
tnguyen has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
gasche has joined #ocaml
gasche has quit [Ping timeout: 246 seconds]
yacks has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
NoNNaN has quit [Ping timeout: 264 seconds]
badkins has joined #ocaml
rgrinberg has joined #ocaml
shinnya has joined #ocaml
mawuli_ has joined #ocaml
baron_pampa has joined #ocaml
baron_pampa has quit [Client Quit]
rgrinberg has quit [Quit: Leaving.]
tane has joined #ocaml
hhugo has quit [Quit: Leaving.]
gasche has joined #ocaml
gasche has quit [Ping timeout: 260 seconds]
gasche has joined #ocaml
yacks has joined #ocaml
tnguyen has joined #ocaml
cespinoza has quit [Ping timeout: 244 seconds]
BitPuffin has joined #ocaml
gasche has quit [Read error: Connection reset by peer]
jwatzman|work has joined #ocaml
rand000 has quit [Ping timeout: 244 seconds]
SethTIsue has quit [Quit: SethTisue]
rand000 has joined #ocaml
cespinoza has joined #ocaml
darkf has quit [Quit: Leaving]
<octachron>
Is there any ocaml testing framework able to handle the case where a compilation failure is the intended sucessful result?
gasche has joined #ocaml
pestebni_delnice is now known as shallow
fraggle-boate has quit [Ping timeout: 250 seconds]
gasche has quit [Ping timeout: 245 seconds]
fraggle-boate has joined #ocaml
ggole_ is now known as ggole
msaegesser has joined #ocaml
_twx_ has quit [Ping timeout: 258 seconds]
gasche has joined #ocaml
gasche has quit [Ping timeout: 260 seconds]
oscar_toro has joined #ocaml
cago has joined #ocaml
gasche has joined #ocaml
nlucaroni has joined #ocaml
dsheets has quit [Ping timeout: 260 seconds]
gasche has quit [Ping timeout: 272 seconds]
BitPuffin has quit [Ping timeout: 260 seconds]
mingus has quit [Quit: leaving]
cago has quit [Ping timeout: 245 seconds]
fold has joined #ocaml
cago has joined #ocaml
fold has quit [Client Quit]
cago has quit [Read error: Connection reset by peer]
bytbox has joined #ocaml
cago has joined #ocaml
bytbox has quit [Remote host closed the connection]
_0xAX has quit [Remote host closed the connection]
cago has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
cespinoza has quit [Ping timeout: 240 seconds]
cespinoza has joined #ocaml
fold has joined #ocaml
tnguyen has quit [Quit: tnguyen]
gasche has joined #ocaml
fraggle-boate has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
<ggole>
Huh, there's a limit to the number of non-nullary constructors in a data type
<ousado>
how many?
<whitequark>
around 240
<ousado>
O_O
<whitequark>
for nullary ones there is a limit too, which is int_max
<ggole>
Error: Too many non-constant constructors -- maximum is 246 non-constant constructors
<whitequark>
but you're unlikely to bump into that
<ggole>
Right.
<ggole>
I assume this is due to one byte + some values being reserved in the header for the tag
WraithM has quit [Ping timeout: 260 seconds]
gasche has quit [Ping timeout: 245 seconds]
<ousado>
sounds like it
<ggole>
The "right thing" would be to overflow into a word at the front, but I can imagine not wanting to bother implementing that.
<ousado>
that's the kind of decisions we're currently facing for haxe/C
<ousado>
.. and I've been thinking about whether a 2**16 limit is acceptable
gasche has joined #ocaml
SethTIsue has joined #ocaml
<ggole>
Generated programs might produce that many cases... hard to imagine a human programmer typing out that many.
<ggole>
Although you never know.
<ousado>
yes. it's not inconceivable given how nice metaprogramming in haxe is
ontologiae_ has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
tnguyen has joined #ocaml
gasche has quit [Ping timeout: 250 seconds]
bytbox has joined #ocaml
bytbox has quit [Remote host closed the connection]
<semiring>
Although I wonder why can't the compiler infer that.
<whitequark>
newlines aren't significant in OCaml
<whitequark>
and in languages where they are significant, e.g. JavaScript, it generally leads to hard-to-find bugs. think of "return \n {}"
ygrek has quit [Ping timeout: 246 seconds]
<semiring>
Yeah but if a function takes one arg, then everything after that one arg must not be related?
<nlucaroni>
if a function signature changes in a refactor that may not be the case. I thought the error message mentions that you've forgotten a semi-colon somewhere? or was that taken out?
<semiring>
Well, you got the point
<semiring>
Yes, it said so.
<semiring>
In this particular book though it said that outside of utop, semicolons are not necessary
<semiring>
So I didn't put them in
<semiring>
Okay thanks everyone!
<octachron>
In a general context, the compiler cannot assume that a function takes only one argument
jonludlam has quit [Quit: Coyote finally caught me]
<octachron>
Outside of utop, you don't need double semicolons (;;) not simple one
tane has quit [Quit: Verlassend]
slash^ has quit [Read error: Connection reset by peer]
<whitequark>
^ whitequark, 2014, on trying to build the OCaml manual
SethTisue_ has quit [Client Quit]
<whitequark>
why does it try to invoke ocamlc directly from the ocaml buildtree and does NOT set LD_LIBRARY_PATH
<whitequark>
so it does not work *with* system ocamlc and it does not work *without* it
<dmbaturin>
Because few people but maintainers ever build the manual?
<Drup>
dmbaturin: it's not a reason to make it insane
<dmbaturin>
Drup: Indeed, it's an excuse to keep it insane. Very common one.
<whitequark>
dmbaturin: that's a good way to ensure few people but maintainers will *ever* build the manual
<companion_cube>
what a bunch of trolls :D
<whitequark>
why does it print several hundred type errors, each about an A4 page long, something about classes
<companion_cube>
(the haskell community)
<companion_cube>
overall the tooling around Ocaml is poor :/
<whitequark>
why does it require some obscure file from latex that is not even present in debian
<whitequark>
oh well texlive-latex-extra it is
<dmbaturin>
I wish there was a distro-agnostic dependency tracking tool for latex but I have no idea how it could be implemented (maybe apt-file/yum whatprovides could do).
yomimono has joined #ocaml
morphles has quit [Ping timeout: 245 seconds]
<dmbaturin>
(Now that I think of it, if it works, it can be used with stuff other than latex too, the package search part)
* companion_cube
now compiles LaTeX with rubber
<dmbaturin>
companion_cube: Rubber?
<companion_cube>
it's a build system for LaTeX
<companion_cube>
(but it probably doesn"t do dependencies for packages)
<dmbaturin>
Guess I should take a look.
cespinoza has joined #ocaml
ollehar has joined #ocaml
nickmeha1ry is now known as nickmeharry
mcclurmc has joined #ocaml
rgrinberg has joined #ocaml
hhugo has joined #ocaml
Thooms has joined #ocaml
SethTisue_ has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
araujo has joined #ocaml
araujo has joined #ocaml
tnguyen has quit [Ping timeout: 245 seconds]
Thooms has quit [Quit: WeeChat 0.4.3]
<whitequark>
so tools/ are a mix of Perl, C and OCaml
<whitequark>
#define LINE_LENGTH 1024
<whitequark>
char line[LINE_LENGTH];
<whitequark>
sigh
<whitequark>
oh! there is also some bash.
<whitequark>
and a homegrown dvi interpreter.
dsheets has quit [Ping timeout: 250 seconds]
shinnya has joined #ocaml
mort___ has joined #ocaml
<companion_cube>
really?
thomasga has quit [Quit: Leaving.]
WraithM has quit [Quit: Lost terminal]
<whitequark>
yes. yes, really.
<whitequark>
I'm crying with blood atm
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<companion_cube>
it's fun ^^
Submarine has quit [Client Quit]
<companion_cube>
is it only the build system, or is there some evil stuff in the TeX files themselves?
<whitequark>
TeX files seem typical for TeX, that is, full of evil stuff, but nothing that would surprise me, really
<companion_cube>
try rubber on it :>
<whitequark>
if you mean "beat it with a rubber hose", then I concur
<bitbckt>
practice safe TeX
<whitequark>
companion_cube: can I call Ast_helper "combinators for AST construction"?
<whitequark>
hm, probably not, they're not even HOFs
<companion_cube>
whitequark: rubber is a program
<whitequark>
what's the right word for those...
<companion_cube>
smart constructors?
yomimono has quit [Read error: Connection reset by peer]
<Drup>
yes, Ast_helper's functions are smart constructors
yomimono has joined #ocaml
<whitequark>
achievement unlocked: look at a literal STX ASCII control character in a TeX file
<whitequark>
and a SOH used just below
_andre has quit [Quit: leaving]
bezirg has quit [Ping timeout: 258 seconds]
<companion_cube>
are you still surprised of the sorry state of build systems ^^
axiles has quit [Remote host closed the connection]
<whitequark>
companion_cube: I feel you're missing something. I lost the ability to be surprised of the sorry state of whatever in tech many years ago
SethTisue_ has quit [Quit: SethTisue_]
<companion_cube>
:D
<Drup>
you didn't lost the ability to swear about it, though
<whitequark>
now it just varies from "I hate this" to "I hate this *so much*"
<companion_cube>
Drup: be prepared for more quadrarotaphilia
* Drup
stands ready.
<whitequark>
so, this is the *third* place where I had to add the ocaml/parsing subdirectory to this buildsystem
troutwine has left #ocaml ["Leaving..."]
<whitequark>
DRY is for the weak as well, I suppose
<dmbaturin>
whitequark: Why are you building the manual?
<whitequark>
despite it being inside the argument of \input
<Drup>
but why ?!
<Drup>
it doesn't do that usually.
<whitequark>
because fuck you that's why
<Drup>
xD
<whitequark>
I mean, the correct answer is something along the lines of "we wrote a macro we do not fully understand and it causes this"
<Drup>
very probably
FatDarrel has quit [Ping timeout: 244 seconds]
hhugo has quit [Quit: Leaving.]
tane has quit [Quit: Verlassend]
SethTisue_ has joined #ocaml
FatDarrel has joined #ocaml
SethTIsue has quit [Quit: SethTIsue]
SethTisue_ is now known as SethTisue
<whitequark>
/bin/sh: 3: ../../../release/ocamldoc/ocamldoc: not found
<whitequark>
not only it doesn't stop at that
<whitequark>
not only that file actually exists
<whitequark>
but also it doesn't prevent the build from finishing, seemingly in success
SethTIsue_ has joined #ocaml
SethTisue has quit [Quit: SethTisue]
SethTIsue_ is now known as SethTIsue
MercurialAlchemi has quit [Ping timeout: 260 seconds]
<whitequark>
so, ocamlc is described in a file called "comp.etex" and referenced as \ref{camlc}
<whitequark>
and ocamlopt is described in "native.etex" and referenced as \ref{nativecomp}
<whitequark>
truly, it makes inconsistency an art form.
vincom2 has quit [Remote host closed the connection]
vincom2 has joined #ocaml
ollehar has quit [Quit: ollehar]
jao has quit [Ping timeout: 250 seconds]
ggole has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
<maurer>
I'm trying to link a package using _oasis and get it to depend on a native library. However, I'm not actually using any CSources, I'm using the ctypes package, which does dynamic lookups
<maurer>
I've tried CCLib: -lbfd, and CCLib: -Xlinker --no-as-needed -lbfd
<maurer>
Both appear to put their arguments in the cmxa that is built, but not to link it into the test executable I build, resulting in a runtime symbol lookup failure