adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
mattrepl has joined #ocaml
tlockney has quit [Excess Flood]
tlockney has joined #ocaml
tac has joined #ocaml
def-lkb has quit [Quit: leaving]
yacks has joined #ocaml
tac has quit [Quit: Page closed]
tac has joined #ocaml
lusory has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
ahokaomaeha has joined #ocaml
yacks has quit [Ping timeout: 272 seconds]
yacks has joined #ocaml
pkrnj has joined #ocaml
tac has quit [Ping timeout: 245 seconds]
yacks has quit [Ping timeout: 260 seconds]
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
lenstr has quit [Quit: ZNC - http://znc.sourceforge.net]
LeNsTR has joined #ocaml
myx has quit [Ping timeout: 276 seconds]
yacks has joined #ocaml
Cyanure has joined #ocaml
olasd has quit [Ping timeout: 248 seconds]
olasd has joined #ocaml
ttamttam has joined #ocaml
Snark has joined #ocaml
ttamttam has left #ocaml []
Cyanure has quit [Remote host closed the connection]
mcclurmc has quit [Ping timeout: 260 seconds]
ulfdoz has joined #ocaml
<flux> meh, an old project of mine uses Batteries.Rope. is there a replacement?
<flux> or do I choose to become contaminated by lgpl when I copy the implementation from old Batteries :P
<flux> ;)
<flux> ah, it was from extlib to begin with it appears
<pippijn> BatText
<pippijn> module BatText: sig .. end
<pippijn> Heavyweight strings ("ropes")
<olasd> flux: you could take a look at Zed_rope (in zed) which is BSD-licensed too
Yoric has joined #ocaml
<flux> (nah, it wasn't from extlib, I misunderstood git changelog)
<flux> olasd, well, I doubt it's interface compatible, my only concern is to just make that compile :)
<olasd> heh
<olasd> well, in that case :)
<pippijn> flux: BatText?
<flux> pippijn, thanks! although I'm not sure yet, now I need to deal with camomilelibrary :)
<flux> gah, I was looking at the interface file that certainly it introduces IStringSet, but it was commented out..
ulfdoz has quit [Ping timeout: 260 seconds]
menley has joined #ocaml
<flux> apparently it was eliminated when PSet was introduced, although it's not quite a replacement
ttamttam has joined #ocaml
dabd has quit [Ping timeout: 244 seconds]
mcclurmc has joined #ocaml
<menley> +x
menley has quit [Quit: Page closed]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
bayner has joined #ocaml
LeNsTR has quit [Changing host]
LeNsTR has joined #ocaml
bayner has quit [Client Quit]
paolooo has joined #ocaml
paddymahoney has joined #ocaml
patrick__ has joined #ocaml
paddymahoney is now known as Guest57137
chambart has joined #ocaml
patrick__ is now known as paddymahoney
def-lkb has joined #ocaml
Guest57137 has quit [Quit: Ex-Chat]
marblen has joined #ocaml
marblen has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 272 seconds]
Icarot has joined #ocaml
cago has joined #ocaml
mika1 has joined #ocaml
ttamttam has quit [Ping timeout: 272 seconds]
ontologiae has joined #ocaml
ocp has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
Obfuscate has quit [Ping timeout: 240 seconds]
cdidd has quit [Remote host closed the connection]
Icarot has quit [Ping timeout: 272 seconds]
rixed has quit [Ping timeout: 255 seconds]
ottbot has joined #ocaml
ontologiae has joined #ocaml
Zerker has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
ontologiae has quit [Client Quit]
ontologiae has joined #ocaml
paolooo has quit [Quit: Page closed]
Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
Tobu has quit [Ping timeout: 264 seconds]
hkBst has quit [Ping timeout: 252 seconds]
chambart has quit [Ping timeout: 256 seconds]
hkBst has joined #ocaml
dwmw2_gone is now known as dwmw2
ttamttam has joined #ocaml
hkBst has quit [Remote host closed the connection]
hkBst_ has joined #ocaml
Yoric has joined #ocaml
ousado has quit [Ping timeout: 244 seconds]
ousado_ has joined #ocaml
hkBst_ has quit [Ping timeout: 240 seconds]
hkBst__ has joined #ocaml
<orbitz> avsm: around?
waksman has joined #ocaml
kaustuv has joined #ocaml
Obfuscate has joined #ocaml
mye has joined #ocaml
_andre has joined #ocaml
<kaustuv> Is it possible to get the DPI of the current screen using LablGTK?
<adrien_oww> there's gdk_screen_get_resolution()
<adrien_oww> so check inside Gdk
<adrien_oww> I can't get all the sources for lablgtk right now
<adrien_oww> if you can't find it in lablgtk, let the lablgtk team know
chambart has joined #ocaml
Yoric has quit [Ping timeout: 272 seconds]
waksman has quit [Ping timeout: 260 seconds]
Yoric has joined #ocaml
<kaustuv> adrien_oww: who is the "lablgtk team" these days?
<kaustuv> Also, I already found that function the GDK docs earlier and it claims to be added in 2.10. Would anyone be interested in updating it to a recent 2.x series GTK or would they just move to 3.x?
nitro_ has joined #ocaml
<kaustuv> where "it" = LablGTK
<adrien_oww> the mailing-list and the ocamlforge bug tracker
<adrien_oww> 3 will be a different source
<adrien_oww> there's no compat on the gtk side
<kaustuv> Does anyone honestly read the forge bug tracker. There are exactly three bugs listed, all submitted in 2011 when the project was first moved to the forge. No bugs reported since, apparently.
<adrien_oww> API in lablgtk is only added when someones uses it
<adrien_oww> or you can have bug creep with noone seeing bugs for years
<adrien_oww> people didn't get notifications from the forge at first but now it sends mails so you have good chance with that
<kaustuv> All right, thanks, I'll send a patch to the list.
Yoric has quit [Ping timeout: 272 seconds]
<adrien_oww> :-)
darkf has quit [Quit: Leaving]
mye has quit [Quit: mye]
mye has joined #ocaml
kaustuv has left #ocaml []
ousado_ is now known as ousado
Simn has joined #ocaml
RK|Scrambled has joined #ocaml
gnuvince has quit [Remote host closed the connection]
<Simn> Hello, does anyone know what I'm doing wrong when I get an error "Error : hd" without any stacktrace? Usually on errors I get a nice stacktrace of everything.
<adrien_oww> probably raised by List.hd
<adrien_oww> empty list probably
<Simn> Yes, I know, but I don't know where it comes from.
<|jbrown|> try the debugger?
<Simn> That's certainly an option, although the usual stacktrace would do for now.
<|jbrown|> dunno, you could try fiddling with OCAMLRUNPARAM
hkBst__ has quit [Ping timeout: 272 seconds]
hkBst__ has joined #ocaml
adotbrown has quit [Ping timeout: 256 seconds]
<adrien_oww> link everything with -g
<adrien_oww> run with the environment variable: OCAMLRUNPARAM="b"
maufred_ has quit [Remote host closed the connection]
<Simn> I'm doing both. As I said I get nice stacktraces on other errors, which is why I find this confusing. I'm on 3.11 by the way.
tane has joined #ocaml
<|jbrown|> Simn: maybe you're catching the error somewhere and exiting the program explicitly?
<Simn> I don't think so, but I will check that. Thanks for the hint.
<|jbrown|> it's not really a hint, just a guess :-)
rossberg has quit [Remote host closed the connection]
<invariant> The debugger is fun, but OCaml code nearly never has a bug; it's always the C libraries :/
rossberg has joined #ocaml
<Simn> We don't catch that specific error. Do I have to do something special for standard modules like list.ml to respect -g?
hkBst__ has quit [Read error: Connection reset by peer]
<|jbrown|> is the error you pasted literally exactly what you get? Because I get 'Fatal error: exception Failure("hd")' for List.hd on an empty list.
<|jbrown|> ...and a backtrace
<|jbrown|> that's with 3.12.1
johnthetubaguy has joined #ocaml
hkBst__ has joined #ocaml
<adrien_oww> hmm
<Simn> Yes, it's just plain "Error : hd".
<adrien_oww> actually "Error : hd", written like that is not from the stdlib
<adrien_oww> any libs?
<|jbrown|> that's why I thought you might be catching the exception somewhere and handling it in some way.
<adrien_oww> especially ones written by french people :-)
<|jbrown|> so -- if you're using some random 3rd-party lib, I'd point the blame there :-)
<Simn> Let me investigate in that direction. :)
<invariant> adrien_oww, yeah, I hear they only work 3 hours/day.
<adrien_oww> :-)
<adrien_oww> in particular they put a space in front of ":" in messages ;-)
<rks_> :D
Kakadu has joined #ocaml
<invariant> and not to forget << quotes >> .
<adrien_oww> ÷«»
<adrien_oww> s/.//
<invariant> adrien_oww, how do you input those? Or did you just copy/paste them?
<Simn> Alright, I wasn't aware that failwith raised a Failure type exception, because we catch that after all. Sorry for the noise and thanks for the help!
<adrien_oww> setxkbmap fr-latin9
<rks_> invariant: he probably has them on his keymap
mye has quit [Quit: mye]
<rks_> there it is.
<adrien_oww> Simn: :-)
<adrien_oww> Simn: now, remove the space in front of the column :D
<rks_> (and actually, « setxkybmap fr bepo » would be nicer)
<adrien_oww> no!
<adrien_oww> |||||!
<adrien_oww> I need to type other things than french prose
<Simn> adrien_oww: Will do. :)
<rks_> adrien_oww: your point being?
<adrien_oww> rks_: bepo is quite annoying for english and not very good for code I find
<rks_> I'll agree that if you want to code, there are better keymaps, I don't see the problem with writting english however
<rks_> anyway, we're probably not on the best channel for that discussion :p
* |jbrown| can get «» using alt-gr+z, alt-gr+x fwiw, heh
Sergey_ has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
nitro__ has joined #ocaml
q66 has joined #ocaml
nitro_ has quit [Ping timeout: 264 seconds]
Snark has quit [Ping timeout: 264 seconds]
Snark has joined #ocaml
hkBst__ has quit [Ping timeout: 276 seconds]
Leonidas is now known as Xenefungus
SanderM has joined #ocaml
hkBst has joined #ocaml
Yoric has joined #ocaml
cyball has joined #ocaml
LeNsTR is now known as lenstr
hkBst has quit [Ping timeout: 260 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
mcclurmc has joined #ocaml
hkBst has quit [Ping timeout: 248 seconds]
SanderM has quit [Remote host closed the connection]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
beginner42 has joined #ocaml
<beginner42> how can i read the logs generated by bolt?
hkBst has quit [Ping timeout: 248 seconds]
hkBst has joined #ocaml
kaustuv has joined #ocaml
thomasga has quit [Quit: Leaving.]
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
<kaustuv> Are any of the new OCaml-based startups like ocamlpro working on finding a more usable replacement for ocamldoc? At least having a module and object inheritance tree on a separate pane would be a major improvement -- I'm sic of manually walking these trees
hkBst has quit [Ping timeout: 255 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
hkBst has quit [Ping timeout: 260 seconds]
<kaustuv> Hmm, interesting but I wonder if we can expect that any time soon.
dabd has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
beginner42 has quit [Quit: irc2go]
nitro__ has quit [Quit: Lost terminal]
benley_ has joined #ocaml
benley_ is now known as benleyy
tac has joined #ocaml
benleyy is now known as brennar
janice has joined #ocaml
janice is now known as tortoise
tortoise is now known as batter
batter has quit [Client Quit]
<brennar> Could anyone help me with a homework assignment? If so, PM me, thanks!
tac has left #ocaml []
anderse has joined #ocaml
anderse has quit [Remote host closed the connection]
anderse has joined #ocaml
hkBst_ has joined #ocaml
hkBst has quit [Ping timeout: 248 seconds]
rossberg has quit [Ping timeout: 244 seconds]
brennar has quit [Ping timeout: 245 seconds]
thomasga has joined #ocaml
<Xenefungus> brendan: would be easier if you just ask
munga has joined #ocaml
cdidd has joined #ocaml
ahokaomaeha has quit [Ping timeout: 256 seconds]
hkBst__ has joined #ocaml
hkBst_ has quit [Ping timeout: 276 seconds]
jamii has joined #ocaml
UncleVasya has joined #ocaml
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
rossberg has joined #ocaml
yacks has quit [Quit: Leaving]
leoncamel has quit [Ping timeout: 240 seconds]
darinmorrison has joined #ocaml
UncleVasya has quit [Ping timeout: 276 seconds]
hkBst__ is now known as hkBst
cyball has quit [Quit: Leaving.]
darinmorrison has quit []
chambart has quit [Ping timeout: 276 seconds]
darinmorrison has joined #ocaml
cago has left #ocaml []
mehdid has quit [Ping timeout: 252 seconds]
osa1 has joined #ocaml
mika1 has quit [Quit: Leaving.]
mye has joined #ocaml
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
hkBst_ has quit [Client Quit]
mehdid has joined #ocaml
tane has quit [Quit: Verlassend]
ocp has quit [Ping timeout: 255 seconds]
ttamttam has quit [Quit: ttamttam]
karswell has joined #ocaml
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
as has joined #ocaml
jamii has quit [Ping timeout: 276 seconds]
sphalmath has joined #ocaml
mattrepl has quit [Quit: mattrepl]
myx has joined #ocaml
anderse has quit [Quit: anderse]
as_ has joined #ocaml
as has quit [Ping timeout: 248 seconds]
as_ is now known as as
Yoric has quit [Ping timeout: 272 seconds]
sphalmath has quit [Ping timeout: 276 seconds]
darinmorrison has quit []
ontologiae has quit [Ping timeout: 272 seconds]
Anarchos has joined #ocaml
ttamttam has joined #ocaml
anderse has joined #ocaml
chambart has joined #ocaml
answer_42 has joined #ocaml
leoncamel has joined #ocaml
osa1 has quit [Ping timeout: 255 seconds]
smondet has joined #ocaml
dabd_ has joined #ocaml
dezzy_ has joined #ocaml
johnthetubaguy has quit [Read error: Connection reset by peer]
q66 has quit [Read error: Connection reset by peer]
q66 has joined #ocaml
dezzy has quit [Read error: Connection reset by peer]
dabd has quit [Ping timeout: 256 seconds]
mattrepl has joined #ocaml
Yoric has joined #ocaml
Cyanure has joined #ocaml
tac_ has joined #ocaml
tac_ has left #ocaml []
ottbot has quit [Ping timeout: 276 seconds]
chambart has quit [Ping timeout: 276 seconds]
pygmalion has joined #ocaml
<pygmalion> I'm having a bit of trouble installing any version of ocaml with opam on Ubuntu 12.10. Despite the fact that I am running on a 64 bit system (uname -r returns 3.7.5-x86_64) the configure phase of `opam switch 4.00.1` begins with something like "OK, this is a regular 32 bit architecture"
<pygmalion> Then the whole thing bombs out with "invalid instruction suffix" errors for mul, add, sub, div, etc.
<thelema> pygmalion: interesting. Can you try ocamlbrew?
<pygmalion> Sure, give me a few minutes.
<pygmalion> trying now.
pkrnj has joined #ocaml
<thelema> is it possible you have a 32-bit gcc installed?
<thelema> I just looked at the configure script and it uses sizeof(int) to test 32vs64-bit
<thelema> actually, it uses sizeof(long), sizeof(long *)
<pygmalion> Hmm. Interesting idea. I'll check that. ocamlbrew failed as well (log here: https://gist.github.com/pygatea/5007349)
<pygmalion> I hadn't thought to check the gcc version.
<pygmalion> So it is indeed a 32 bit executable, which I guess wouldn't matter if you passed -m64 with CFLAGS. I guess I will try to force an upgrade of it.
tane has joined #ocaml
rwmjones has quit [Read error: Operation timed out]
anderse has quit [Read error: Operation timed out]
anderse has joined #ocaml
stevej has joined #ocaml
<pygmalion> aha so `gcc -v` shows Target: i686-linux-gnu
<pygmalion> which suggests a problem.
<pygmalion> update-alternatives --query gcc
<pygmalion> doesn't seem to help. any idea how to change default target?
<zorun> what would be the most efficient way (time as well as space) to implement bit fields?
<Anarchos> zorun int32 + masks ?
<zorun> the only needed operations are getting a given bit, setting a given bit, and bitwise operations
<zorun> thelema: it's using strings
<thelema> zorun: yes
<thelema> pygmalion: what gcc package do you have installed?
<zorun> I thought it would be more efficient to use Big_int (or Nat directly)
as has quit [Ping timeout: 248 seconds]
<Anarchos> zorun no cause Nat or Big_int consume more memory than strings
<Anarchos> because they are boxed
<thelema> Anarchos: strings have to be boxed
<zorun> hmm
<adrien> ah bitfields, if only they could die :-)
<zorun> :)
<Anarchos> adrien they are perfect for system programming, though
<thelema> zorun: if you're doing logical operations across long bitstrings (i.e. 200-bit xor), then you'll want larger chunks
<zorun> exactly
<zorun> that's why I thought Big_int would be better than strings (the digits are 64 or 32 bits)
<adrien> bool array? :P
munga has quit [Ping timeout: 276 seconds]
<thelema> adrien: :P
<adrien> Anarchos: perfect, I'd say adequate
<zorun> but you can't set a given bit with Big_int
<zorun> adrien: oh, well :p
<Anarchos> adrien +1
<pygmalion> thelema: Just gcc-4.7.
<thelema> zorun: I'd love for you to mock something up and add it to this: https://github.com/ocaml-batteries-team/batteries-included/blob/master/benchsuite/bitset.ml
<adrien> too many bugs
<adrien> plus, bitfiields with structs, these are really awful
<thelema> pygmalion: dpkg -l gcc-4.7
ttamttam has left #ocaml []
<pygmalion> thelema: https://gist.github.com/pygatea/5007554 also looks bad.
<thelema> ii gcc-4.7 4.7.2-2ubunt amd64 GNU C compiler
<thelema> that's mine; you've got a 386 version of gcc installed; maybe remove it and pick the amd64 version from aptitude?
<pygmalion> thelema: Yeah, that's what I thought I did just earlier. Going to try again.
mattrepl_ has joined #ocaml
anderse has quit [Quit: anderse]
mattrepl_ has quit [Remote host closed the connection]
mattrepl has quit [Read error: Connection reset by peer]
mattrepl has joined #ocaml
mye has quit [Quit: mye]
mcclurmc has quit [Ping timeout: 260 seconds]
_andre has quit [Quit: leaving]
mye has joined #ocaml
<pygmalion> thelema: this seems like a more complicated problem than originally thought. uname and the arch command both suggest I'm running a 64-bit OS (and kernel) but `file /sbin/init` is a 32 bit executable. Clearly, none of this is an ocaml issue so I'll start digging in and try to figure out how I did this to myself!
<thelema> pygmalion: good luck
<pygmalion> thanks!
pygmalion has left #ocaml []
pygmalion has joined #ocaml
myx has quit [Ping timeout: 246 seconds]
ocp has joined #ocaml
osa1 has joined #ocaml
pygmalion has left #ocaml []
myx has joined #ocaml
<orbitz> Any opam geniies around?
<thelema> orbitz: thomasga is on
<thomasga> not for long
<thelema> orbitz: ask quickly
<orbitz> thomasga: i'm working on v
<orbitz> thomasga: is it sufficient to modify the opass.0.2.1 entry to specify 108.08.00 versions for core and core_extended? Do I need to bump the version modify 0.2.1?
<thomasga> yup you can just change the constraints of the current package, no need to add a new tag
<thomasga> let me check the package
<orbitz> right now it just wants core and core_extended
<orbitz> thomasga: also, do you know why avsm is getting 108.07.01 there? On my own machine it requiets 108.08.00
<thomasga> I guess 108.08.00 is not available for ocaml 3.12.1
<orbitz> ah ok
mattrepl has quit [Quit: mattrepl]
<orbitz> thomasga: thanks!
<thomasga> so does your package works with recent versions of core or with older ?
<thomasga> '"core" {>= "108.08.00}' should be fine if you need only recent versions of core
<thomasga> '"core" {>= "108.08.00"}
<thomasga> right, I have to go
<thomasga> good luck :-)
thomasga has quit [Quit: Leaving.]
mcclurmc has joined #ocaml
myx has quit [Quit: ушёл]
Kakadu has quit []
RK|Scrambled has quit [Ping timeout: 255 seconds]
jpdeplaix has quit [Read error: Operation timed out]
osa1 has quit [Ping timeout: 255 seconds]
chambart has joined #ocaml
jpdeplaix has joined #ocaml
TDJACR has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
mye has quit [Quit: mye]
mattrepl has joined #ocaml
mattrepl has quit [Client Quit]
Simn has quit []
tane has quit [Quit: Verlassend]
mattrepl has joined #ocaml
ahokaomaeha has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
mattrepl has quit [Read error: Connection reset by peer]
mattrepl_ has joined #ocaml
adotbrown has joined #ocaml
Cyanure has quit [Remote host closed the connection]
answer_42 has quit [Ping timeout: 276 seconds]
Yoric has quit [Ping timeout: 240 seconds]
ahokaomaeha has quit [Ping timeout: 246 seconds]
ocp has quit [Ping timeout: 260 seconds]
Xenefungus is now known as Leonidas
mattrepl_ has quit [Read error: Connection reset by peer]
mcclurmc has quit [Ping timeout: 248 seconds]
pkrnj has quit [Ping timeout: 264 seconds]
ocp has joined #ocaml
pkrnj has joined #ocaml
ocp has quit [Client Quit]
tautologico has joined #ocaml
rwmjones has joined #ocaml
mattrepl has joined #ocaml
rkj has joined #ocaml
m4b has quit [Remote host closed the connection]
paolooo has joined #ocaml
adrien_o1w has joined #ocaml
adrien_oww has quit [Read error: Operation timed out]
paolooo has quit [Quit: Page closed]
zbroyar has joined #ocaml
paolooo has joined #ocaml
mye has joined #ocaml
smondet has quit [Ping timeout: 255 seconds]
darkf has joined #ocaml
emmanuelux has joined #ocaml
ottbot has joined #ocaml
mattrepl has quit [Quit: mattrepl]
chambart has quit [Ping timeout: 246 seconds]
ottbot has quit [Ping timeout: 245 seconds]
ahokaomaeha has joined #ocaml
emmanuelux has quit [Quit: emmanuelux]
q66 has quit [Remote host closed the connection]
mye_ has joined #ocaml
mye has quit [Ping timeout: 264 seconds]
mye_ is now known as mye
gnuvince has joined #ocaml
paolooo has quit [Ping timeout: 245 seconds]