bytbox has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 268 seconds]
samrat has joined #ocaml
manizzle has joined #ocaml
philtom has joined #ocaml
cespinoza has quit [Ping timeout: 255 seconds]
sheijk has joined #ocaml
cespinoza has joined #ocaml
jbrown has joined #ocaml
sheijk has quit [Ping timeout: 276 seconds]
Sizur1 has quit [Ping timeout: 260 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
samrat has joined #ocaml
cespinoza has quit [Ping timeout: 260 seconds]
sheijk has joined #ocaml
cespinoza has joined #ocaml
manizzle is now known as WeLoveCP
sheijk has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Quit: Leaving.]
WeLoveCP is now known as manizzle
claudiuc_ has joined #ocaml
Sizur has joined #ocaml
claudiuc has quit [Ping timeout: 272 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
claudiuc_ has quit [Ping timeout: 255 seconds]
Kakadu has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
siddharthv_away is now known as siddharthv
ustunozgur has joined #ocaml
philtom has quit [Ping timeout: 276 seconds]
oscar_toro has joined #ocaml
sheijk has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ustunozg_ has joined #ocaml
samrat has joined #ocaml
sheijk has quit [Ping timeout: 240 seconds]
axiles has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
ustunozgur has joined #ocaml
ustunozg_ has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
sheijk has joined #ocaml
sheijk has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
robink has quit [Ping timeout: 252 seconds]
robink has joined #ocaml
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
rgrinberg has joined #ocaml
brendan__ has joined #ocaml
ustunozgur has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
oscar_toro has quit [Quit: oscar_toro]
tane has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
hhugo has joined #ocaml
ygrek has joined #ocaml
philed has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
philed has joined #ocaml
Simn has joined #ocaml
sheijk has joined #ocaml
philed has quit [Remote host closed the connection]
ebzzry has quit [Ping timeout: 240 seconds]
sheijk has quit [Ping timeout: 245 seconds]
rand000 has joined #ocaml
philed has joined #ocaml
ebzzry has joined #ocaml
oscar_toro has joined #ocaml
kaustuv has joined #ocaml
<kaustuv>
Why is there no Format.pp_print_bytes?
ustunozgur has joined #ocaml
gikiam has joined #ocaml
WraithM has joined #ocaml
cago has joined #ocaml
chambart has joined #ocaml
yacks has quit [Ping timeout: 260 seconds]
sheijk has joined #ocaml
octachron has joined #ocaml
sheijk has quit [Ping timeout: 240 seconds]
ustunozgur has quit [Ping timeout: 276 seconds]
<flux>
because, apparently, bytes are strings are so different beasts that they should not be handled similarly?
thomasga has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
zarul has quit [Read error: Connection reset by peer]
zarul has joined #ocaml
zarul has joined #ocaml
sad0ur has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
hhugo has quit [Quit: Leaving.]
samrat has joined #ocaml
sad0ur has joined #ocaml
BitPuffin has joined #ocaml
englishm has quit [Ping timeout: 264 seconds]
hhugo has joined #ocaml
WraithM has quit [Ping timeout: 246 seconds]
thomasga has quit [Quit: Leaving.]
sheijk has joined #ocaml
sheijk has quit [Ping timeout: 255 seconds]
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
<kaustuv>
I mean if you compile with -safe-string, then there is no way to pretty print bytes except by copying it into an immutable string
thomasga has joined #ocaml
_0xAX has joined #ocaml
<kaustuv>
but I suppose the point can be made that string "morally" stands for textual stuff that can be printed, while bytes can be anything at all, which is why there is no printf format specifier for bytes either
cdidd_ has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
sheijk has joined #ocaml
<kaustuv>
By the way, I find it odd that Bytes.capitalize, Bytes.uppercase, etc. return a copy of the input instead of modifying the input in place
<flux>
well, they should probably not even be there in the first place :)
cdidd_ has joined #ocaml
cdidd_ is now known as cdidd
<flux>
too bad ocaml doesn't have a convention for separating functions that mutate their argument from functions that return a new version
<flux>
a naming convention that is
_0xAX has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<tane>
yeah, that'd be nice. Julia uses functions suffixed with a ! to indicate that, like push!(..)
chambart has quit [Ping timeout: 260 seconds]
tane has quit [Quit: Verlassend]
thomasga has quit [Quit: Leaving.]
lordkryss_ has joined #ocaml
Kakadu has joined #ocaml
rand000 has quit [Ping timeout: 264 seconds]
<Kakadu>
If I want custom bytecode executables for ARM should it be a problem?
<Kakadu>
At the moment I get a strange error `Unbound module Pervasives`
<flux>
afaik it's the library version compatibility that's the problem
<adrien>
main issue is with external C functions
<adrien>
hmmm
<adrien>
does the same call work natively?
ggole has quit [Read error: Connection timed out]
ggole has joined #ocaml
<Kakadu>
It doesn't. I will try to figure why
<Kakadu>
I've added -custom and now it compiles
<Kakadu>
with host ocamlc
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
chris2 has quit [Ping timeout: 260 seconds]
zpe has quit [Ping timeout: 245 seconds]
oscar_toro has joined #ocaml
chris2 has joined #ocaml
thomasga has quit [Quit: Leaving.]
yacks has joined #ocaml
AltGr has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
englishm has joined #ocaml
avsm has quit [Quit: Leaving.]
MercurialAlchemi has joined #ocaml
lordkryss_ is now known as lordkryss
rand000 has joined #ocaml
zpe has joined #ocaml
xiaolin_ has quit [Ping timeout: 240 seconds]
siddharthv is now known as siddharthv_away
thomasga has joined #ocaml
huza has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
thomasga has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 276 seconds]
<Kakadu>
whitequark: Why you added -no-shared-libs -libs -static ? Do ARMs have some problem with dynamic linking or something?
fold has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
<Kakadu>
Okay, it seems linking problem is out
siddharthv_away is now known as siddharthv
<whitequark>
Kakadu: no, it's due to qemu-user
<Kakadu>
Well, I like static linking
<Kakadu>
omnia mea mecum porto
<adrien>
beark static linking
chambart has joined #ocaml
<whitequark>
static linking doesn't work with glibc and there are other problems
<whitequark>
so it's not really a great workaround
<whitequark>
Kakadu: avsm uses a different approach, he sets up an ARM chroot (still using qemu-user) and just installs regular opam switch inside there
<whitequark>
it's a much better approach
<whitequark>
I've only recently learned about it though
Hannibal_Smith has joined #ocaml
thomasga has joined #ocaml
ontologiae has joined #ocaml
thomasga has quit [Client Quit]
jonludlam has joined #ocaml
libertas has quit [Ping timeout: 252 seconds]
octachron has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
libertas has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
demonimin has quit [Ping timeout: 260 seconds]
demonimin has joined #ocaml
demonimin has joined #ocaml
demonimin has quit [Changing host]
_0xAX has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
<Kakadu>
I should try this, thanks
bernardofpc has quit [Remote host closed the connection]
_0xAX has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 276 seconds]
kaustuv has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
fraggle-boate has quit [Ping timeout: 240 seconds]
siddharthv is now known as siddharthv_away
avsm has quit [Quit: Leaving.]
samrat has joined #ocaml
kandu has joined #ocaml
msaegesser has joined #ocaml
thomasga has joined #ocaml
kandu has quit [Quit: Reconnecting]
kandu has joined #ocaml
ontologiae has quit [Ping timeout: 276 seconds]
_twx_ has quit [Ping timeout: 245 seconds]
oscar_toro has quit [Quit: oscar_toro]
ygrek has joined #ocaml
shinnya has joined #ocaml
darkf has quit [Quit: Leaving]
octachron has joined #ocaml
oscar_toro has joined #ocaml
englishm has quit [Ping timeout: 260 seconds]
oscar_toro has quit [Quit: oscar_toro]
pveber has joined #ocaml
<pveber>
anybody would know how to disable a rule in ocamlbuild and replace it by another one?
<jpdeplaix>
pveber: creating a new rule and place it on the top
* jpdeplaix
is search the exact name
<pveber>
great, that works!
<pveber>
thanks!
<jpdeplaix>
rule ~insert:`top
<jpdeplaix>
ok
<jpdeplaix>
you're welcome
englishm has joined #ocaml
sepp2k has joined #ocaml
tane has quit [Quit: Verlassend]
jpdeplaix has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 245 seconds]
mort___ has joined #ocaml
_twx_ has joined #ocaml
thomasga has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
jpdeplaix has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
thomasga has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
rand000 has quit [Ping timeout: 252 seconds]
tane has joined #ocaml
avsm has joined #ocaml
philtom has joined #ocaml
samrat has joined #ocaml
morphles has joined #ocaml
koderok has joined #ocaml
koderok has quit [Client Quit]
cespinoza has quit [Read error: Connection reset by peer]
<pyon>
Does OPAM install package documentation alongside packages?
hhugo has quit [Quit: Leaving.]
<whitequark>
not at the moment
ygrek has quit [Ping timeout: 264 seconds]
bytbox has joined #ocaml
oscar_toro has joined #ocaml
cago has left #ocaml [#ocaml]
Khady_ is now known as Khady
ollehar has joined #ocaml
samrat has quit [Ping timeout: 276 seconds]
bytbox has quit [Remote host closed the connection]
jwatzman|work has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
Thooms has quit [Read error: No route to host]
Thooms has joined #ocaml
jwatzman|work has joined #ocaml
libertas has quit [Ping timeout: 264 seconds]
yacks has quit [Quit: Leaving]
pyon has quit [Quit: Esdeath is love. Esdeath is life.]
yacks has joined #ocaml
samrat has quit [Ping timeout: 245 seconds]
Anarchos has joined #ocaml
samrat has joined #ocaml
ollehar has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
dsheets has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
hhugo has joined #ocaml
ollehar has joined #ocaml
WraithM has joined #ocaml
rgrinberg has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
tobiasBora has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 252 seconds]
hhugo has quit [Quit: Leaving.]
<Drup>
dmbaturin: ocamlc.opt is not the native code compiler
BitPuffin is now known as ABitPuffinA
<Drup>
it's the native executable of the bytecode compiler
<Drup>
ocamlopt is the native compiler
<Drup>
ocamlopt.opt is the native version of the bytecode compiler
zpe has joined #ocaml
<dmbaturin>
Drup: Wait, I wrote ocamlc.opt?
<Drup>
dmbaturin: re-read your intro :p
<dmbaturin>
I should give up on writing at 5am.
<Drup>
also, I'm not sure how useful your intro is, for this kind of ""tutorial""
ABitPuffinA is now known as BitPuffin
<Drup>
you lack code coloration for the first 2 snippets
<sheijk>
Drup: you mean ocamlopt.opt is the native version of the native compiler
<Drup>
sheijk: yes =')
<dmbaturin>
Well, it was supposed to be a quick syntax overview. I don't think any of those tutorials is useful unless you saw a conceptually similar language before.
<Drup>
dmbaturin: ok
<Drup>
I wouldn't have talked about the HM algorithm
<Drup>
same here "Note that type signatures of functions of multiple arguments are written in curried form."
<Drup>
"curried form" doesn't say anything to most readers
<Drup>
dmbaturin: please remove all the ";;"
<Drup>
and use "let _ = ..." for side effects
<dmbaturin>
Well, I'm not quite happy with it too. The sole reason I wrote those words was to give keywords for efficient searching.
hhugo has joined #ocaml
<Drup>
let's not propagate bad practices :]
<dmbaturin>
Someone here is not good at balancing detailing level (guess who?).
WraithM has joined #ocaml
<dmbaturin>
Ah, well. Since the whole code doesn't make sense, they were supposed to simplify pasting into the top level.
<Drup>
some comments are too long, and go far to the righ
<Drup>
right*
<dmbaturin>
I or someone else will make it better eventually (I hope). The maintainer of the website is responsive to pull requests.
<Drup>
it's your tutorial, you should fix it :p
<dmbaturin>
Well, true. In any case it's easier to publish something that sucks and respond to blame than to get people to tell you how they want to see it written. :)
<Drup>
oh, yes, obviously. I didn't say it was good because I'm not at the end yet :D
chambart has joined #ocaml
<dmbaturin>
I hope at some point I'll learn how to balance correctness/completeness ratio properly.
manizzle has quit [Ping timeout: 240 seconds]
whirm has joined #ocaml
manizzle has joined #ocaml
<kakadu_>
TT
<kakadu_>
when I run OCaml's configure test failed
<kakadu_>
when I run command manually it works OK
<kakadu_>
I look at the differences between two logs
samrat has quit [Quit: Computer has gone to sleep.]
<whirm>
dmbaturin: oh, that was a silly one... thanks a lot!
<whitequark>
kakadu_: I think so
<whitequark>
kakadu_: you could pass -I/your/ld-linux.so to ld
<dmbaturin>
whirm: I assume it was supposed to be "then aux last acc else aux h ..."
<whirm>
dmbaturin: yup
<whitequark>
but that will make binaries that only run on the host where you compiled them, in general
<whitequark>
as in, ./configure -libs -I/your/ld-linux.so
<kakadu_>
TT I want to upload generated custom executables to device and run them there..
WraithM has quit [Ping timeout: 272 seconds]
<whitequark>
kakadu_: well, you can pass *another* -I flag to the ocamlc/ocamlopt invocation
<whitequark>
but to be honest, just set up a chroot
<kakadu_>
I'm think how my current arm SDK will help me in chroot
<kakadu_>
thinking*
<kakadu_>
and if I abandon it I will need to get Qt 4 in chroot
morphles has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
manizzle has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
_andre has quit [Quit: leaving]
thomasga has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
thomasga has quit [Client Quit]
axiles has quit [Remote host closed the connection]
philtom has joined #ocaml
ontologiae has joined #ocaml
rgrinberg has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
thomasga has joined #ocaml
claudiuc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 245 seconds]
claudiuc has joined #ocaml
ollehar has joined #ocaml
oscar_toro has quit [Quit: oscar_toro]
rgrinberg has quit [Quit: Leaving.]
artagnon has left #ocaml [#ocaml]
rgrinberg has joined #ocaml
fold has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
whirm has quit [Quit: WeeChat 1.0]
manizzle has joined #ocaml
fold has quit [Ping timeout: 246 seconds]
jao has quit [Ping timeout: 260 seconds]
tane has quit [Quit: Verlassend]
rgrinberg has quit [Quit: Leaving.]
Thooms has quit [Quit: WeeChat 0.4.3]
rgrinberg has joined #ocaml
zpe has joined #ocaml
ggole has quit []
ollehar has quit [Ping timeout: 260 seconds]
zpe has quit [Ping timeout: 276 seconds]
msaegesser has quit [Ping timeout: 268 seconds]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
dnm has joined #ocaml
kakadu_ has quit [Quit: Konversation terminated!]
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
thomasga has quit [Quit: Leaving.]
tobiasBora has quit [Quit: Konversation terminated!]
johnf has joined #ocaml
<johnf>
hi another p4 questions. If I screw something up I tend to get compile errors that look like this,
<johnf>
File "ghost-location", line 1, characters 0-0: [...]
<johnf>
where the [...] gives a readable error like has type int but expected string. I am currently looking through the camlp4 source wondering why the line and characters is not more accurate. any hints would be appreciated.
thomasga has joined #ocaml
thomasga has quit [Client Quit]
lumikuuro has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
englishm has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
sheijk_ has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
sheijk has quit [Ping timeout: 245 seconds]
libertas has joined #ocaml
slecuyer has joined #ocaml
darkf has joined #ocaml
lumikuuro has left #ocaml [#ocaml]
malo has quit [Remote host closed the connection]
Simn has quit [Quit: Leaving]
<slecuyer>
hi, I'm looking for some help with ocamlp4 stream parsing. I'm going through the llvm tutorial, and I'm trying to expand the parser for a specific block, mostly parsing list elisions
<slecuyer>
pastebin is here: http://pastebin.com/ra6QmVvF I have no idea where in this to add the matcher for just commas
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
WraithM has quit [Ping timeout: 246 seconds]
<whitequark>
slecuyer: please don't use camlp4 and especially camlp4 stream parsing.
<whitequark>
use ocamllex (or sedlex) and menhir instead
NoNNaN has quit [Remote host closed the connection]
<whitequark>
sedlex is a newer one that supports unicode but requires 4.02+
<johnf>
whitequark: just curious why "don't use camlp4"
<whitequark>
johnf: outdated, essentially deprecated, just a horrible API in general
<whitequark>
and Stream is probably the worst API I have ever seen in OCaml
<slecuyer>
whitequark: thanks, this is hopefully going to save me a massive headache -- ocamlp4 seems to be mostly undocumented and fueled by goat blood
<johnf>
ah OK. the github repository for camlp4 is still pretty active.
<whitequark>
johnf: well, it is still widely used
slecuyer has quit [Quit: Page closed]
<whitequark>
so you have to keep it together.
NoNNaN has quit [Remote host closed the connection]