adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org and http://caml.inria.fr | http://ocaml.org/releases/4.02.0.html | Public channel logs at http://irclog.whitequark.org/ocaml
rand000 has quit [Quit: leaving]
zRecursive has joined #ocaml
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. :)
<zRecursive> you'd better give some examples
johnnydiabetic has joined #ocaml
<dmbaturin> I'm writing a function for grammar correctness check, that is if every nonterminal can be reduced.
<whitequark> dmbaturin: you do know such generators exist?
<dmbaturin> whitequark: I guess they do (although I didn't find exactly that).
<whitequark> LLVM uses one that does exactly this for testing its IR reader
<whitequark> it's ... somewhere in the LLVM source tree, I don't remember where
<zRecursive> dmbaturin: From your structure, it seems to be unavoidable to pass it around ?
<dmbaturin> zRecursive: Well, that's why I'm asking if I should just do it or look for alternatives.
johnnydiabetic has quit [Quit: Leaving]
<whitequark> no
AltGr has joined #ocaml
tnguyen has quit [Ping timeout: 250 seconds]
jao has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
tnguyen has joined #ocaml
lgm has joined #ocaml
<lgm> Hello!
<lgm> Does anyone here have experience with oasis?
<lgm> i've got a strange situation where it is not using the BuildDepends
<lgm> i've got 4 listed, but it's only using the first one.
rwmjones has quit [Read error: Network is unreachable]
rwmjones has joined #ocaml
<dmbaturin> lgm: How does it look?
gabemc has joined #ocaml
huza has joined #ocaml
zpe has joined #ocaml
tnguyen1 has joined #ocaml
tnguyen has quit [Ping timeout: 260 seconds]
zpe has quit [Ping timeout: 250 seconds]
<lgm> dmbaturin: here's a pastebin for the _oasis file: http://pastebin.com/XN5n3wg2
<lgm> you can see the whole project here: https://github.com/leithaus/davinci
<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]
Thooms has joined #ocaml
tnguyen has quit [Quit: tnguyen]
gasche has joined #ocaml
ontologiae_ has quit [Ping timeout: 272 seconds]
morphles has joined #ocaml
Thooms has quit [Ping timeout: 260 seconds]
erikwr has quit [Quit: erikwr]
ontologiae_ has joined #ocaml
hhugo has joined #ocaml
hhugo has quit [Ping timeout: 250 seconds]
lamC has joined #ocaml
mort___ has joined #ocaml
<ggole> lamC: probably due to using Core (which provides a different type for List.hd).
<ggole> In other words, an environmental difference and nothing to do with utop per se.
<lamC> en, I am using Core in utop, how to solve this problem in Core?
<ggole> More pattern matching for this case
<ggole> Instead of | x::xs -> ... and then List.hd on xs, | x::y::rest -> ...
George__ has joined #ocaml
<lamC> oh, I see, thank you
<ggole> I'll stick an answer on your SO post anyway, gotta get those internet points
<lamC> But I still can't understand why Core raise an error in this situation
<lamC> Sure, I will vote up your answer
<ggole> OK, type List.hd into utop and look at the type.
vogler has joined #ocaml
troutwine_away is now known as troutwine
dsheets has quit [Ping timeout: 260 seconds]
fraggle-boate has joined #ocaml
bytbox has joined #ocaml
ontologiae_ has quit [Ping timeout: 260 seconds]
lamC has quit [Quit: Page closed]
morphles has quit [Ping timeout: 272 seconds]
tnguyen has joined #ocaml
slash^ has joined #ocaml
dsheets has joined #ocaml
bytbox has quit [Remote host closed the connection]
WraithM has joined #ocaml
ollehar has quit [Ping timeout: 258 seconds]
eizodo has quit [Ping timeout: 246 seconds]
gasche has quit [Ping timeout: 258 seconds]
hhugo has joined #ocaml
thomasga has quit [Quit: Leaving.]
gasche has joined #ocaml
shinnya has quit [Ping timeout: 245 seconds]
badkins has quit [Remote host closed the connection]
lordkryss has joined #ocaml
jc2 has joined #ocaml
zpe has quit [Remote host closed the connection]
voglerr_ has joined #ocaml
hhugo has quit [Quit: Leaving.]
voglerr_ has quit [Client Quit]
vogler has quit [Quit: WeeChat 0.4.3]
voglerr has joined #ocaml
voglerr has quit [Client Quit]
topher_b has joined #ocaml
topher_b is now known as topherB
topher has joined #ocaml
rgrinberg has joined #ocaml
bezirg has quit [Ping timeout: 260 seconds]
topher has left #ocaml [#ocaml]
thomasga has joined #ocaml
jennmoneydollars has left #ocaml [#ocaml]
bytbox has joined #ocaml
dsheets has quit [Ping timeout: 260 seconds]
FatDarrel has joined #ocaml
<FatDarrel> hey guys got an error trying to install opam install ocp-indent
<FatDarrel> It says: ./check-camlp4.sh: line 3: camlp4orf: command not found
<FatDarrel> hello?
<FatDarrel> anyone
peter_ has joined #ocaml
<FatDarrel> here or are you guys all getting lunch?
peter_ is now known as ptr
sepp2k has quit [Quit: Konversation terminated!]
<ptr> guys?
mcclurmc has quit [Remote host closed the connection]
<FatDarrel> ahhaa
<FatDarrel> foound it
<FatDarrel> it was in the devel pgk
<FatDarrel> pkg
<FatDarrel> nothing like a sudo yum install /usr/bin/camlp4orf
ptr is now known as semiring
<nlucaroni> you should be able to install camlp4 via opam.
<semiring> sup guys
<semiring> I'm learning Ocaml
<semiring> I ran into a problem
<semiring> I'm doing Real World Ocaml
<semiring> Chapter 6: Variants
<semiring> That color printing example
<semiring> it works fine in utop
rgrinberg has quit [Quit: Leaving.]
<semiring> but when I create an .ml file and compile it with corebuild
<semiring> it complains about wrong types for "printf "%s"
<semiring> so I googled it
<semiring> and changed printf "%s" to print_endline
rgrinberg has joined #ocaml
<semiring> but nothing still works
<semiring> It says function print_endline is of type string -> unit
<semiring> and I apply it to too many args
<semiring> which is not the case
<semiring> sorry for the load of text here
<whitequark> you forgot a ;
jc2 has quit [Quit: Leaving.]
<whitequark> after the argument of print_endline
topherB has quit [Quit: topherB]
<George__> can someone explain me what the following function in Cstruct manual do? (https://github.com/mirage/ocaml-cstruct)
<George__> set_ethernet_dst src srcoff dst
<semiring> whitequark: thanks! It worked
<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]
koderok has joined #ocaml
semiring has quit [Quit: http://quassel-irc.org - ????????????? ??????. ?????.]
koderok has quit [Remote host closed the connection]
octachron has quit [Quit: Leaving]
Anarchos has joined #ocaml
Kakadu has quit [Quit: Page closed]
mrpantoufle has quit [Ping timeout: 260 seconds]
badkins has joined #ocaml
mrpantoufle has joined #ocaml
George__ has quit [Quit: Page closed]
Muzer has quit [Excess Flood]
badkins has quit [Ping timeout: 260 seconds]
Muzer has joined #ocaml
badkins has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
jonludlam has joined #ocaml
zpe has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
zpe_ has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
cespinoza has quit [Ping timeout: 258 seconds]
<nlucaroni> yeah, single ones are used instead of let () = ... in, RWO means double semi-colons.
cespinoza has joined #ocaml
waneck_ has joined #ocaml
ollehar has joined #ocaml
cespinoza has quit [Ping timeout: 246 seconds]
jeroud has joined #ocaml
cespinoza has joined #ocaml
SethTisue_ has joined #ocaml
araujo has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
zpe_ has quit [Remote host closed the connection]
Kakadu has joined #ocaml
hhugo has joined #ocaml
q66 has joined #ocaml
bjorkintosh has quit [Ping timeout: 260 seconds]
ollehar has quit [Ping timeout: 272 seconds]
SethTisue_ has quit [Quit: SethTisue_]
troutwine is now known as troutwine_away
troutwine_away is now known as troutwine
Thooms has joined #ocaml
yomimono has joined #ocaml
ontologiae_ has joined #ocaml
dsheets has joined #ocaml
Thooms has left #ocaml ["WeeChat 0.4.3"]
SethTisue_ has joined #ocaml
morphles has joined #ocaml
bezirg has joined #ocaml
zpe has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
SethTisue_ has quit [Quit: SethTisue_]
ollehar has joined #ocaml
SethTisue_ has joined #ocaml
hhugo has quit [Quit: Leaving.]
jc2 has joined #ocaml
jc2 has left #ocaml [#ocaml]
zpe has quit [Remote host closed the connection]
<whitequark> gasche: gah. I'm trying to build the OCaml manual
<whitequark> make[2]: Entering directory '/home/whitequark/Work/ocaml-manual/manual'
<whitequark> /bin/sh: 1: ../tools/texquote2: not found
<whitequark> ../tools/texquote2 < allfiles.etex > allfiles.tex
<whitequark> well thank you very much
<whitequark> -_-
<whitequark> oh, you have to `make tools` first.
zpe has joined #ocaml
mort___ has quit [Quit: Leaving.]
nifty___ has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
<companion_cube> whitequark: do you use a makefile target ?
<whitequark> companion_cube: hm?
<companion_cube> to build the doc
<companion_cube> oh, it's the manual, nvm
SethTisue_ has quit [Quit: SethTisue_]
BitPuffin has quit [Ping timeout: 246 seconds]
yomimono has quit [Ping timeout: 245 seconds]
<dmbaturin> whitequark: What does the texquote2 tool do?
<whitequark> dmbaturin: I have no clue
<dmbaturin> Why would one preprocess TeX even? I should have a look.
enquora has joined #ocaml
cespinoza has quit [Ping timeout: 255 seconds]
SethTisue_ has joined #ocaml
<whitequark> AAAAAAAAAA
<Drup> http://www.reddit.com/r/haskell/comments/2hpzpu/announcing_needle_asciified_arrow_notation/ I'm tempted to implement this with a ppx, just because.
<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?
<dmbaturin> Added anything interesting?
<whitequark> dmbaturin: because I hate myself^W^W^W^W http://caml.inria.fr/mantis/view.php?id=6135
<Drup> He was designed voluntary to document ppx.
<adrien> "designed"? :)
<adrien> designated* I think :P
<Drup> behh, frenchism
<whitequark> mv -f Arith_status.tex Arithstatus.tex
<whitequark> why
<Drup> pffr x)
<adrien> Drup: I'll remind you about it one day :)
c74d has joined #ocaml
<adrien> night
<Drup> adrien : I'm doing frenchisms all the time, I'm not sure what you should remind me exactly x)
mcclurmc has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
<whitequark> Drup: oh god I found out why.
<whitequark> fuck me
badkins has quit [Ping timeout: 246 seconds]
<Drup> :what:
<whitequark> TeX expands _ into that ... thing
<Drup> yes
<Drup> I understood that part
<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
<maurer> Ideas?
<whitequark> make some fake CSources:
<whitequark> echo "caml_bfd() { /* nothing */ }" >bfd_stubs.c
cespinoza has quit [Ping timeout: 272 seconds]
FatDarrel has quit [Ping timeout: 260 seconds]
WraithM has joined #ocaml
jonludlam has quit [Ping timeout: 260 seconds]
<maurer> Oh hrg. Evidently I invoked a typo'd name, so whe nI fixed the linking issue, it didn't look like I had fixed the linking issue
* maurer wishes foreign could resolve at compile time
<whitequark> take a look at cstubs
<whitequark> the build process is ... awkward ... but the result is pretty neat
msaegesser has quit [Ping timeout: 272 seconds]
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
enquora has quit [Quit: enquora]
yomimono has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
jonludlam has joined #ocaml
troydm has joined #ocaml
rand000 has quit [Quit: leaving]
oscar_toro has quit [Ping timeout: 272 seconds]
<Leonidas> I'm trying to test a library under development in utop
<Leonidas> so I did #load "_build/src/mylib.cma";; but can't access any symbols
<Leonidas> what do I need to do?
<Leonidas> Mylib.* can't be found, I think I am missing something
<whitequark> #directory "_build/src";;
<whitequark> you need to tell the toplevel where the cmis are
<Leonidas> whitequark: perfect, that's exactly what I was missing.
johnnydiabetic has joined #ocaml
tnguyen has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
<Leonidas> can I somehow specify a subset of a polymorphic variant as signature? For when I know that one variant won't be happening?
<Leonidas> let my x = match x with 0 -> `Zero | _ -> `Nonzero;;
<Leonidas> let alwayszero _:[> `Zero] = my 0;;
Simn has quit [Quit: Leaving]
<Leonidas> but that yields 'a -> [> `Nonzero | `Zero ] = <fun>
<Drup> the compiler has no way to know that `Nonzero can't happen here.
<Leonidas> Background: I have a huge type with 39 cases
<Drup> well, there is probably something wrong with your architecture if you do :p
<Leonidas> possibly, yes, I'm happy to get input
<Leonidas> I am translating error messages from an API to `Variants
<Leonidas> and there are 39 error types in total
<Drup> ah, right, error messages.
<Leonidas> but not every call can return all 39, mostly it is just 3-7
<Leonidas> so I'd love to specify a type signature that just includes cases that can happen
<Leonidas> and I currently have a validation function which takes the error code and returns one of these 39 cases.
<Leonidas> I could duplicate the validation function for every API function and only handle the cases that can happen, but thats quite awful.
<Drup> why do you need a validation function ?
<Leonidas> Drup: To translate from the error code to a `Variant
mort___ has quit [Quit: Leaving.]
lordkryss has quit [Quit: Connection closed for inactivity]
<Drup> I don't think you can do it :/
boogie has joined #ocaml
waneck_ has quit [Read error: No route to host]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
mcclurmc has joined #ocaml
malo has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
yomimono has quit [Ping timeout: 272 seconds]
madroach has joined #ocaml
yomimono has joined #ocaml
darkf has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
manizzle has joined #ocaml
<Leonidas> Oh, turns out both async and Lwt are written by Jérémie Dimino. Surprising.
<Drup> he's maintainer of both, he didn't write both.
noam has quit [Ping timeout: 272 seconds]
<Leonidas> according to the GitHub graphs, he did (by far) the most commits
<Leonidas> maybe it's just his fate, inheriting threading libraries for maintenance :-)
<Drup> whitequark: you tweeted me! <3
<whitequark> Drup: several times
<whitequark> Leonidas: that sounds like one hell of a punishment
<whitequark> I pity the poor diml, what did he do in his previous life to justify that
<Drup> well, he is the maintaner for all public jst libraries, isn't he ?
zpe has joined #ocaml