flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
csakatoku has joined #ocaml
manu-afk is now known as manud
sheijk has joined #ocaml
sheijk_ has quit [Ping timeout: 276 seconds]
Simn has quit [Quit: Leaving]
ygrek has joined #ocaml
introom has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest60580
sheijk has quit [Quit: .]
kyrylo has quit [Remote host closed the connection]
kyrylo has joined #ocaml
oriba has quit [Quit: oriba]
talzeus_ has joined #ocaml
talzeus_ has quit [Remote host closed the connection]
talzeus_ has joined #ocaml
kyrylo has quit [Remote host closed the connection]
kyrylo has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
watermind has quit [Client Quit]
watermind has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
talzeus_ has quit [Remote host closed the connection]
talzeus has joined #ocaml
manud has quit [Quit: manud]
carm has joined #ocaml
kyrylo has quit [Remote host closed the connection]
kyrylo has joined #ocaml
kyrylo has quit [Remote host closed the connection]
kyrylo has joined #ocaml
jao has joined #ocaml
Guest60580 has quit [Remote host closed the connection]
jao has quit [Changing host]
jao has joined #ocaml
ygrek has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest74054
csakatoku has quit [Ping timeout: 240 seconds]
csakatoku has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
ollehar has quit [Ping timeout: 245 seconds]
contempt has quit [Ping timeout: 252 seconds]
contempt has joined #ocaml
WraithM_ has joined #ocaml
boogie has joined #ocaml
WraithM_ has quit [Ping timeout: 246 seconds]
contempt has quit [Ping timeout: 245 seconds]
contempt has joined #ocaml
kyrylo has quit [Read error: Operation timed out]
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
talzeus has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
yacks has joined #ocaml
Arach has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
ygrek has joined #ocaml
introom has quit [Ping timeout: 241 seconds]
csakatoku has quit [Remote host closed the connection]
carm has quit [Ping timeout: 276 seconds]
Guest74054 has quit [Ping timeout: 248 seconds]
mcclurmc has joined #ocaml
tnguyen has joined #ocaml
csakatoku has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
yacks has quit [Quit: Leaving]
mcclurmc has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 276 seconds]
zxqdms has joined #ocaml
ygrek has joined #ocaml
zxqdms has quit [Ping timeout: 245 seconds]
abdallah has joined #ocaml
ggole has joined #ocaml
zxqdms has joined #ocaml
<abdallah> I'm trying to install ocaml and opam via ocamlbrew on some server but I get
<abdallah> signals_asm.c:207:16: error: 'REG_CR2' undeclared
<abdallah> Is there anything I should have installed before running ocamlbrew?
ygrek has quit [Ping timeout: 276 seconds]
jao has quit [Ping timeout: 264 seconds]
boogie has quit [Remote host closed the connection]
sgnb` has quit [Remote host closed the connection]
sgnb has joined #ocaml
kizzx2 has joined #ocaml
axiles has joined #ocaml
introom has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
cesar_ has joined #ocaml
csakatok_ has quit [Ping timeout: 240 seconds]
cesar_ is now known as Guest86241
Guest86241 has quit [Remote host closed the connection]
<abdallah> I get "bng_amd64.c: Assembler messages:" errors when trying to use "opam switch 4.00.1" to get from 3.12.1 to something more recent
<abdallah> I seem to get the same errors with "opam switch 4.01.0"
skchrko has joined #ocaml
caligula has quit [Remote host closed the connection]
caligula has joined #ocaml
csakatoku has joined #ocaml
ulfdoz has joined #ocaml
Kakadu has joined #ocaml
leifw has joined #ocaml
bicgena has joined #ocaml
bobry_ has joined #ocaml
gereedy has joined #ocaml
divyansr_ has joined #ocaml
PM has joined #ocaml
bitbckt has joined #ocaml
mort___ has quit [Quit: Leaving.]
Simn has joined #ocaml
skchrko has quit [Ping timeout: 245 seconds]
yroeht1 has quit [Ping timeout: 272 seconds]
csakatoku has quit [Remote host closed the connection]
yroeht1 has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 240 seconds]
skchrko has joined #ocaml
csakatoku has joined #ocaml
dant3 has joined #ocaml
AltGr has joined #ocaml
ygrek has joined #ocaml
cago has joined #ocaml
mika1 has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
gasche has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 264 seconds]
gasche has joined #ocaml
adrien_oww has quit [Ping timeout: 272 seconds]
wwilly has joined #ocaml
adrien_oww has joined #ocaml
<wwilly> bonjour
ocp has joined #ocaml
dsheets has joined #ocaml
<companion_cube> hi
thomasga has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
talzeus has quit [Remote host closed the connection]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
talzeus has joined #ocaml
rwmjones has quit [Ping timeout: 272 seconds]
wolfnn1 has joined #ocaml
wolfnn has quit [Ping timeout: 260 seconds]
_andre has joined #ocaml
_andre has quit [Client Quit]
_andre has joined #ocaml
ulfdoz has quit [Ping timeout: 248 seconds]
<pippijn> hi
ulfdoz has joined #ocaml
nikki93 has joined #ocaml
sepp2k has joined #ocaml
rwmjones has joined #ocaml
<adrien_oww> morning
<pippijn> adrien_oww: I'm in paris :)
_habnabit has quit [Ping timeout: 272 seconds]
_habnabit has joined #ocaml
<adrien_oww> oh
<adrien_oww> I hope you got your armor and everything else needed to defend yourself in the metro :P
<pippijn> it wasn't that bad today in the morning
<pippijn> we'll see how it goes in the evening
<adrien_oww> you're already working?
<pippijn> not working really
<pippijn> doing organisational stuff
<adrien_oww> well, commuting?
<pippijn> I don't have an apartment yet
<pippijn> I'm staying in a hostel in the 9eme
<companion_cube> pippijn: were are you working? doing an internship?
<pippijn> companion_cube: no, doing the C frontend for xavier rival's static analysis group
<companion_cube> wish it was an ocaml frontent
<pippijn> written in ocaml :)
<companion_cube> yes but that's my point
<pippijn> yes
<pippijn> I understand
<companion_cube> why are all the verification tools targeting bad languages?
<pippijn> too little static analysis for ocaml
<companion_cube> Xavier Leroy pointed that out recently
<adrien_oww> because good langages don't need them much?
<companion_cube> adrien_oww: come on, it's still useful
<pippijn> there is a..
<pippijn> ocaml to coq thing
<adrien_oww> companion_cube: yeah but do you need to check that you're not doing a buffer overflow in ocaml?
<pippijn> characteristic formula
<companion_cube> adrien_oww: you could check that exceptions are handled
<companion_cube> or that you don't compare functional values
<adrien_oww> sure, but there's a tenth (if not less) of the need
<bernardofpc> companion> why are all the verification tools targeting bad languages? -> because maybe those are the ones that need most, or else maybe the people out there pay the most for
<companion_cube> yes, I know
<adrien_oww> most C codes are bombs waiting to explode
<companion_cube> but that would still be useful for Ocaml, and would require less work? :)
<bernardofpc> not so sure
<companion_cube> the polymorphic operators are a hole that can justify the use of static analysis, imho
<bernardofpc> in C, you only have very basic types
<companion_cube> also, for optimization
<bernardofpc> whereas in OCaml you must provide all GADT intelligence further
<companion_cube> well, that's kind of advanced usage ^^
<bernardofpc> sure, but since you're asking to verify OCaml for potential mistakes, you have to find them where they might be :D
<companion_cube> bernardofpc: as I said, the main dangers are 1/ uncaught exceptions 2/ polymorphic equal/compare/hash
nicoo_ is now known as nicoo
<bernardofpc> why is 2 a danger, and why would one always wnat to try/catch ?
<companion_cube> 2/ will fail hard if applied to functions/closures
<bernardofpc> how so ?
<companion_cube> try/catch should trigger a warning
<companion_cube> bernardofpc: you can't compare functions
<companion_cube> Exception: Invalid_argument "equal: functional value".
<companion_cube> this is what happens in 1/
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
<bernardofpc> ocamllex question: http://ocaml.xelpaste.net/8885 -> is there a sane way to convert that to using one more definition (let point = coord ',' coord) and still have a reasonable function converting the strings to integer coordinates ?
hcartym has joined #ocaml
wwilly has quit [Quit: Leaving]
hcartym_ has joined #ocaml
hcartym has quit [Ping timeout: 248 seconds]
talzeus has quit [Remote host closed the connection]
kyrylo has joined #ocaml
avsm has joined #ocaml
csakatoku has quit [Remote host closed the connection]
Kakadu has quit []
ygrek has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
csakatoku has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
hcartym_ has quit [Quit: -a- Connection Timed Out]
hcartym has joined #ocaml
ygrek has joined #ocaml
hcartym_ has joined #ocaml
hcartym has quit [Ping timeout: 264 seconds]
IbnFirnas has quit [Ping timeout: 272 seconds]
IbnFirnas has joined #ocaml
yacks has joined #ocaml
zpe has joined #ocaml
rand000 has joined #ocaml
hcartym has joined #ocaml
darkf has quit [Quit: Leaving]
ygrek has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
hcartym_ has quit [Ping timeout: 248 seconds]
hcartym has quit [Ping timeout: 264 seconds]
nikki93 has quit [Read error: Connection reset by peer]
avsm has quit [Quit: Leaving.]
<pippijn> adrien_oww: do you know what such a letter from parents saying they pay if I can't pay rent should look like?
<companion_cube> bernardofpc: I don't see a better way
<pippijn> companion_cube: maybe you know :) you're also in france, right?
<companion_cube> pippijn: it's called a "caution", but as for the content I'm not sure
<bernardofpc> not sure that works if your parents are not French, though
<bernardofpc> (sure that does not work if your parents are from Brazil)
<pippijn> hmm
<companion_cube> I mean the presentation, the content must be isomorphic to "we engage our responsibility to pay as much as n months of rent if our son fails to" or whatever
<pippijn> they are from NL
<companion_cube> :s
<pippijn> and live in DE
<bernardofpc> live in DE should be more important
<bernardofpc> (where they pay their taxes / receive their money, I mean)
<pippijn> right
<companion_cube> that may be crazy, but maybe your embassy can be a kind of proxy for your parents?
<bernardofpc> maybe someone from your job ?
<companion_cube> since they're based in france, they would be more trustworthy, and would trust your parents more easily too
<pippijn> I doubt someone from my job can do that
<pippijn> or is willing to
<bernardofpc> (I know many thesis advisors were "caution" for their students
nikki93 has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
<pippijn> companion_cube: I don't know what you mean, actually
<pippijn> I go to the dutch embassy and..
<pippijn> I don't know what I'm supposed to ask them to do for me
<companion_cube> and you ask them to be "caution" for you, since you're dutch (you are, aren't you?)
<pippijn> yes
<pippijn> how can they do that?
<companion_cube> by signing a paper?
<companion_cube> :D
<pippijn> they would do that?
<companion_cube> maybe, I don;t know
<companion_cube> if they can get to trust your parents on the other side
<pippijn> hmm
<companion_cube> that's just a wild guess, I must say
<bernardofpc> can't your employer (the "company") help you there ?
<pippijn> my employer is the one who said I should ask my parents for that letter
<companion_cube> yes, that's the default, but if it's not enough you'll have to try something else
csakatoku has quit [Ping timeout: 260 seconds]
<pippijn> I'll try the parents letter first
<pippijn> once I find out how to write one
<adrien_oww> yup, "cautions" (french) can be more annoying when the people are abroad
<adrien_oww> pippijn: embassy or "consulat"?
<pippijn> consulate is just a proxy for the embassy, isn't it?
<adrien_oww> it's the structure that's supposed to help you for administrative tasks
<companion_cube> hmm, yes, maybe I was thinking of consulate actually
<adrien_oww> at least for the ones in nl but I guess they can do it the other way too
<pippijn> "It is common for landlords to ask for additional guarantees (guaranties), especially if you are not in full-time employment or your income is not more than 3 times higher then the rent. For students, this is usually a letter from your parents. If not, you may have to get a friend or your bank to guarantee that if you default, they will pay whatever is owned for the remainder of the contract."
<bernardofpc> pippijn: you're staying long enough that your contract lasts longuer than the "préavis" ?
<pippijn> I'm staying at least 12 months
<pippijn> I don't know preavis
<companion_cube> neat
<bernardofpc> that should be fine then
<bernardofpc> preavis is the time that you have to warn your landlord before you leave
<pippijn> ah, 3 months
<bernardofpc> usually that's 3 months for "empty" appartments, and 1 for furnished ones
<pippijn> ok
<pippijn> yeah
<pippijn> I'm staying longer
<bernardofpc> so the "remainder" is 3 months
<pippijn> ah, then the 3 times higher makes sense
<bernardofpc> yeah...
jonludlam has joined #ocaml
<bernardofpc> good luck in all that ;-)
<pippijn> thanks
<pippijn> it's strange that I can't find a template for such a cautions letter
nikki93 has quit [Remote host closed the connection]
thomasga1 has quit [Quit: Leaving.]
<companion_cube> hcarty, gasche: is there a batteries irc chan?
<adrien_oww> pippijn: "lettre de caution" ?
dant3_ has joined #ocaml
dant3 has quit [Read error: Operation timed out]
kyrylo has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
kyrylo has joined #ocaml
<kerneis> pippijn: there is a full page of legalese to handwrite when you sign the contract, and usually people guaranteeing your rent also need to write it down
<kerneis> (at least when you go to an agency, no idea about renting directly from landlord)
<kerneis> and you don't need anything formal before you secure the flat, just a few words saying they agree & a signature (+ a copy of their salary bill of course…)
<kerneis> YMMV, do as they ask
<adrien_oww> (but watch out for scams too)
kyrylo has quit [Remote host closed the connection]
WraithM_ has joined #ocaml
kyrylo has joined #ocaml
<kerneis> I signed a few years ago
<kerneis> but you must know the flat first
<kerneis> (since the handwritten part at the end is mandatory, and contains the figure of the rent)
kyrylo has quit [Remote host closed the connection]
oriba has joined #ocaml
kyrylo has joined #ocaml
mchqwerty has joined #ocaml
introom has quit [Ping timeout: 276 seconds]
WraithM_ has quit [Ping timeout: 245 seconds]
gasche has quit [Remote host closed the connection]
demonimin has joined #ocaml
shinnya has joined #ocaml
carm has joined #ocaml
carm has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
avsm has joined #ocaml
cago has quit [Ping timeout: 245 seconds]
rand000 has quit [Quit: leaving]
cago has joined #ocaml
<flux> so what's the batteries way of reading file contents to a string? Of course File.with_in filename input_all would not work, because input_all uses Pervasives.in_channel..
<flux> I think there is a way but I have forgotten and cannot find it :)
cago has quit [Ping timeout: 248 seconds]
<flux> (I mean in addition to the more worksome alternatives)
<flux> ah, it always helps, Pervasives.input_file
<flux> (I'm not sure if the placement of all these is the most logical..)
<companion_cube> flux: File.with_input_file foobar IO.read_all?
<companion_cube> File.with_file_in, sorry
mreca has joined #ocaml
<companion_cube> or File.with_file_in foobar Text.read_all;; if you like utf-8
introom has joined #ocaml
<flux> hmm
<flux> I thought I tried that, but apparently not
<flux> thanks :)
WraithM_ has joined #ocaml
<pippijn> kerneis: thanks
cago has joined #ocaml
cago1 has joined #ocaml
cago has quit [Read error: Connection reset by peer]
cago has joined #ocaml
cago1 has quit [Read error: Connection reset by peer]
cago1 has joined #ocaml
watermind has joined #ocaml
<hcarty> companion_cube: I don't think so - just here
cago has quit [Ping timeout: 246 seconds]
<hcarty> avsm: Is Lwt HTTPS server support planned for Cohttp?
<hcarty> flux: There is a BatPervasives.input_file function which slurps in an entire file at once.
kyrylo has quit [Remote host closed the connection]
<hcarty> flux: And it probably does make sense to have that function and write_file in BatFile.
<avsm> hcarty: yeah, although patches before are welcome. see the HTTP_CLIENT ticket for thoughts on how it should work
<avsm> (i'd like an alternative one which spins up an stunnel process and satisfies the same interface)
<hcarty> avsm: I doubt I'll be able to contribute beyond testing whatever implementation(s) are available, but if that changes I'll be sure to send a pull request
lostcuaz has joined #ocaml
<hcarty> I'm working on getting several packages ready for opam. One of them is a binding to a C library which can be linked against a number of supporting libraries (different JPEG 2000 implementations).
<hcarty> Debian/Ubuntu configure their package with one JPEG library, Fedora/EPEL use another, and building by hand provides a third option
kyrylo has joined #ocaml
<hcarty> How should something like this be handled in an opam-friendly way? There are already configuration flags in the library's _oasis file - I want to make sure I expose those in a flexible and useful way in the opam metadata.
<hcarty> For example, on Debian you might need '--enable-jasper --enable-jpeg --enable-png' while a custom build of the underlying C library may require '--enable-openjpeg --enable-jasper --enable-png'
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
nikki93 has quit [Remote host closed the connection]
saml has joined #ocaml
<Drup> hcarty: I would say multiple conf-* packages
<Drup> not very satisfactory, but it would do the job
gasche has joined #ocaml
<hcarty> Drup: That's the best I've been able to come up with too.
nikki93_ has joined #ocaml
nikki93_ has quit [Remote host closed the connection]
WraithM has quit [Ping timeout: 272 seconds]
nikki93 has joined #ocaml
cago1 has quit [Ping timeout: 248 seconds]
cago has joined #ocaml
tnguyen has quit [Read error: Operation timed out]
oriba has quit [Quit: oriba]
csakatoku has joined #ocaml
gereedy has quit [Quit: ZNC - http://znc.sourceforge.net]
csakatoku has quit [Ping timeout: 260 seconds]
gereedy has joined #ocaml
mchqwerty has quit [Quit: Odcházím]
mcclurmc has joined #ocaml
dant3 has joined #ocaml
dant3__ has joined #ocaml
nikki93 has quit [Ping timeout: 264 seconds]
dant3_ has quit [Ping timeout: 245 seconds]
dant3 has quit [Ping timeout: 264 seconds]
rand000 has joined #ocaml
introom has quit [Ping timeout: 241 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
tnguyen has joined #ocaml
zpe has joined #ocaml
cago has left #ocaml []
yacks has quit [Quit: Leaving]
dant3__ has quit [Remote host closed the connection]
dant3 has joined #ocaml
cesar_ has joined #ocaml
boogie has joined #ocaml
cesar_ is now known as Guest82904
sepp2k has quit [Quit: Konversation terminated!]
kyrylo has quit [Remote host closed the connection]
dant3_ has joined #ocaml
kyrylo has joined #ocaml
dant3 has quit [Ping timeout: 248 seconds]
thomasga has joined #ocaml
mika1 has quit [Quit: Leaving.]
gasche has quit [Quit: leaving]
gasche has joined #ocaml
ocp has quit [Ping timeout: 264 seconds]
jave has quit [Quit: ZNC - http://znc.in]
Thooms has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
thomasga has quit [Ping timeout: 252 seconds]
NoNNaN has joined #ocaml
<gasche> companion_cube: I don't know which part of the Travis stuff you still need to be done
Guest82904 has quit [Remote host closed the connection]
ollehar has joined #ocaml
boogie has quit [Remote host closed the connection]
Kakadu has joined #ocaml
jwatzman|work has joined #ocaml
lostcuaz has quit [Quit: Textual IRC Client: www.textualapp.com]
thomasga has joined #ocaml
nikki93 has joined #ocaml
lostcuaz has joined #ocaml
thomasga has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
<companion_cube> gasche: the tutorial by avsm explains it, I think
<companion_cube> basically, go to settings
<companion_cube> then "service hooks"
<companion_cube> then you'll need to enable travis
nikki93 has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
<gasche> companion_cube: I don't have a travis login (and it seems painful to get one)
avsm has quit [Ping timeout: 248 seconds]
<companion_cube> can't you "login from github"?
<gasche> nobody in his or her right mind would click "I accept" given the listing of granted rights
<companion_cube> hmmm
<gasche> I know this is a well-known github problem that people just ignore, but these things bore me to death and I just don't want to have to *think* about that
thomasga1 has joined #ocaml
thomasga has quit [Ping timeout: 248 seconds]
<gasche> I gave you enough rights to proceed, hopefully
<gasche> (more than yesterday, that means)
nikki93 has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 276 seconds]
nikki93 has joined #ocaml
thomasga has joined #ocaml
thomasga1 has quit [Ping timeout: 245 seconds]
<companion_cube> gasche: well, you're right in that, the permission list is worrying
<bernardofpc> You shall defend and indemnify GitHub -> bouh
<companion_cube> what does it even mean? ...
<gasche> (going away)
<bernardofpc> if X wants money from your source code claiming copyright , and GH has to pay, then you pay GH back
boogie has joined #ocaml
<companion_cube> huh
<companion_cube> but how coudl github be forced to pay, since they're not the infringer?
<adrien_oww> east texas is wondeful
<bernardofpc> because they publish ?
<bernardofpc> well, the best thing to do is read the tosdr above
<bernardofpc> (which is unvaluable service)
<companion_cube> yeah
<companion_cube> pfff
<bernardofpc> something like that, yeah
<NoNNaN> wow, interesting service
jonludlam has quit [Remote host closed the connection]
<adrien_oww> I'm not a huge fan of tosdr
<adrien_oww> most licenses leave things to intepretation and tosdr strips that out
mcclurmc has joined #ocaml
<adrien_oww> one good example was that the GPL was said to prevent commercial uses
<adrien_oww> that has been fixed but the author changed it reluctantly
<adrien_oww> so tosdr has no warrenty :)
WraithM has joined #ocaml
<NoNNaN> well, in most country the law interpretation is court privilege, so not even your lawyer interpretation comes with no warranty
<adrien_oww> yeah :)
<adrien_oww> but I have some doubts that what you get on the website is impartial in practice :)
Muktabh has joined #ocaml
AltGr has left #ocaml []
WraithM has quit [Ping timeout: 276 seconds]
nikki93 has quit [Read error: Connection reset by peer]
ollehar has quit [Ping timeout: 260 seconds]
<NoNNaN> well, every single character is important in a contact, there was a court case when a misplaced comma cost ~1 million canadian dollar (Rogers Communications vs Bell Aliant)
nikki93_ has joined #ocaml
tristero has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
pango_ has quit [Quit: Client exiting]
pango_ has joined #ocaml
pango_ is now known as pango
carm has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
dnm has joined #ocaml
avsm has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
manizzle has joined #ocaml
samebchase has joined #ocaml
thomasga has quit [Quit: Leaving.]
q66_ has joined #ocaml
q66 has quit [Disconnected by services]
q66_ is now known as q66
jao has quit [Ping timeout: 276 seconds]
ggole has quit []
dsheets has quit [Ping timeout: 260 seconds]
rgrinberg1 has joined #ocaml
_andre has quit [Quit: leaving]
ollehar has joined #ocaml
nikki93_ has quit []
mal``` has quit [Ping timeout: 245 seconds]
mal`` has joined #ocaml
jbrown has quit [Ping timeout: 265 seconds]
jbrown has joined #ocaml
mort___ has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
alcinos has joined #ocaml
patojo has joined #ocaml
boogie has quit [Ping timeout: 276 seconds]
jwatzman|work has joined #ocaml
mal`` has quit [Ping timeout: 240 seconds]
mal`` has joined #ocaml
dsheets has joined #ocaml
tane has joined #ocaml
mort___ has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
skchrko has quit [Quit: Leaving]
j0sh__ is now known as j0sh
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jwatzman|work has joined #ocaml
jwatzman|work has quit [Client Quit]
thomasga has joined #ocaml
mcclurmc has joined #ocaml
erider has joined #ocaml
Kakadu has quit []
Thooms has quit [Quit: WeeChat 0.3.8]
avsm has quit [Quit: Leaving.]
jave has joined #ocaml
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
axiles has quit [Remote host closed the connection]
dant3_ has quit [Remote host closed the connection]
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
patojo has quit [Ping timeout: 272 seconds]
malo has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
Arach has quit [Remote host closed the connection]
Arach has joined #ocaml
NoNNaN has joined #ocaml
mort___ has quit [Quit: Leaving.]
malo has quit [Quit: Leaving]
thomasga has quit [Quit: Leaving.]
lostcuaz has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dant3 has joined #ocaml
carm has quit [Ping timeout: 245 seconds]
rand000 has quit [Quit: leaving]
dant3 has quit [Ping timeout: 276 seconds]
<companion_cube> is there a way to remove fat from ocaml's library files?
<adrien> hahahahaha
<adrien> good night :]
<companion_cube> good night adrien :p
lostcuaz has joined #ocaml
jao has quit [Ping timeout: 265 seconds]
lostcuaz has quit [Client Quit]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has quit [Remote host closed the connection]
lostcuaz has joined #ocaml
tane has quit [Quit: Verlassend]
saml has quit [Quit: Leaving]
WraithM has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
WraithM_ has quit [Ping timeout: 248 seconds]
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
darkf has joined #ocaml
oriba has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mreca has joined #ocaml
patojo has joined #ocaml
sheijk has joined #ocaml
mreca has quit [Ping timeout: 240 seconds]
boogie has quit [Ping timeout: 260 seconds]
wolfnn1 has quit [Read error: Operation timed out]
samebcha1e has joined #ocaml
mal`` has quit [*.net *.split]
jbrown has quit [*.net *.split]
tnguyen has quit [*.net *.split]
_habnabit has quit [*.net *.split]
ddosia has quit [*.net *.split]
samebchase has quit [*.net *.split]
habnabit has joined #ocaml
mal`` has joined #ocaml
habnabit is now known as _habnabit
zpe has joined #ocaml
jbrown has joined #ocaml
tnguyen has joined #ocaml
ddosia has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
Simn has quit [Quit: Leaving]
ollehar1 has quit [Ping timeout: 248 seconds]
q66 has quit [Read error: Connection reset by peer]
q66 has joined #ocaml
q66 has quit [Remote host closed the connection]
q66 has joined #ocaml
ousado has quit [Read error: Connection reset by peer]
ousado has joined #ocaml
q66 has quit [Client Quit]
q66 has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
carm has joined #ocaml