mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
joewilliams is now known as joewilliams_away
tmaeda is now known as tmaedaZ
Yoric has quit []
otswim has joined #ocaml
otswim has left #ocaml []
babalu has joined #ocaml
<babalu> hello, i have a function that makes a match arg with BLA1 t -> ... | BLA2 t -> ... | BLA3 t -> ... but in each case (in most of the cases) i need to compute some function f on 't' that appears on the matching; is there something better that writing let val = f t in each case of the matching?
tmaedaZ is now known as tmaeda
tmaeda is now known as tmaedaZ
babalu has quit [Remote closed the connection]
jeddhaberstro has joined #ocaml
struktured has joined #ocaml
maskd- is now known as maskd
joewilliams_away is now known as joewilliams
noj_ has joined #ocaml
noj has quit [Remote closed the connection]
ofaurax has quit ["Leaving"]
pimmhogeling has quit [Read error: 110 (Connection timed out)]
yakischloba has quit ["Leaving."]
thrasibule has quit [Read error: 110 (Connection timed out)]
caligula_ has joined #ocaml
_unK has quit [Remote closed the connection]
ski_ has joined #ocaml
caligula__ has quit [Read error: 110 (Connection timed out)]
Drk-Sd has quit [Client Quit]
valross has joined #ocaml
jeddhaberstro has quit [Client Quit]
tmaedaZ is now known as tmaeda
joewilliams is now known as joewilliams_away
C|S has joined #ocaml
C|S has left #ocaml []
Amorphous has quit [Read error: 113 (No route to host)]
Amorphous has joined #ocaml
maskd- has joined #ocaml
djanderson has quit []
maskd has quit [Read error: 110 (Connection timed out)]
joewilliams_away is now known as joewilliams
mihamina has joined #ocaml
zorgl has joined #ocaml
zorgl has quit [Client Quit]
joewilliams is now known as joewilliams_away
yakischloba has joined #ocaml
mishok13 has joined #ocaml
joewilliams_away is now known as joewilliams
ikaros has joined #ocaml
struktured has quit [Read error: 110 (Connection timed out)]
ttamttam has joined #ocaml
joewilliams is now known as joewilliams_away
ttamttam has quit ["Leaving."]
avsm has joined #ocaml
derdon has joined #ocaml
fx_ has joined #ocaml
Yoric has joined #ocaml
struktured has joined #ocaml
ttamttam has joined #ocaml
_zack has joined #ocaml
Yoric has quit []
avsm has quit [Client Quit]
derdon has quit []
ulfdoz has quit [Client Quit]
ikaros has quit [Remote closed the connection]
kloeri_ has quit ["leaving"]
rwmjones_lptp has joined #ocaml
rwmjones_lptp is now known as rwmjones
Yoric has joined #ocaml
boscop has joined #ocaml
yakischloba has quit ["Leaving."]
noj_ has quit [Client Quit]
noj has joined #ocaml
sgnb` has left #ocaml []
sgnb has joined #ocaml
_andre has joined #ocaml
avsm has joined #ocaml
sgnb has quit [Read error: 60 (Operation timed out)]
_unK has joined #ocaml
sgnb has joined #ocaml
ksson has joined #ocaml
_unK has quit [Remote closed the connection]
Drk-Sd has joined #ocaml
maskd- is now known as maskd
valross has quit ["Ex-Chat"]
pimmhogeling has joined #ocaml
ski_ has quit ["Lost terminal"]
zorgl has joined #ocaml
zorgl has quit [Client Quit]
mihamina has quit [Read error: 113 (No route to host)]
ski_ has joined #ocaml
Drk-Sd has quit [Client Quit]
boscop_ has joined #ocaml
boscop has quit [Nick collision from services.]
tmaeda is now known as tmaedaZ
_zack has quit ["Leaving."]
_unK has joined #ocaml
tmaedaZ is now known as tmaeda
_unK has quit [Remote closed the connection]
mal`` has quit [Read error: 60 (Operation timed out)]
mal`` has joined #ocaml
mal`` has quit [Read error: 54 (Connection reset by peer)]
mal`` has joined #ocaml
avsm1 has joined #ocaml
derdon has joined #ocaml
tmaeda is now known as tmaedaZ
avsm has quit [Read error: 110 (Connection timed out)]
_zack has joined #ocaml
_unK has joined #ocaml
<orbitz> Anyone tried to imlement hto code swapping in a languag eliek Ocaml?
_unK has quit [Remote closed the connection]
_unK has joined #ocaml
_unK has quit [Remote closed the connection]
boscop_ has left #ocaml []
boscop has joined #ocaml
_unK has joined #ocaml
djanderson has joined #ocaml
dest has left #ocaml []
djanderson has quit []
tmaedaZ is now known as tmaeda
avsm has joined #ocaml
avsm1 has quit [Read error: 104 (Connection reset by peer)]
pimmhogeling has quit [Read error: 110 (Connection timed out)]
joewilliams_away is now known as joewilliams
ksson has quit [Client Quit]
pimmhogeling has joined #ocaml
ikaros has joined #ocaml
yakischloba has joined #ocaml
Submarine has joined #ocaml
nimred has quit [Client Quit]
nimred has joined #ocaml
rwmjones has quit ["This computer has gone to sleep"]
rwmjones has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
jonafan_ is now known as jonafan
Modius has quit [Read error: 104 (Connection reset by peer)]
ttamttam has quit ["Leaving."]
Modius has joined #ocaml
itewsh has joined #ocaml
pimmhogeling has quit [Read error: 110 (Connection timed out)]
avsm has quit [Read error: 110 (Connection timed out)]
LuxOFlux has joined #ocaml
_zack has quit ["Leaving."]
<palomer> hto code swapping?
ttamttam has joined #ocaml
<flux> (hot)
<flux> I suppose it could be done in a non-type-safe-way with dynlink
<flux> it's the type-safety that's tricky :)
<flux> mostly by just instead of writing let foo = fun a b c -> a + b +c writing let foo = ref (fun a b c -> a + b + c) etc
<flux> and then you would have code that loads new code with dynlink and does assignments
<flux> and most of this could be automated with camlp4, right?
_unK has quit [kubrick.freenode.net irc.freenode.net]
boscop has quit [kubrick.freenode.net irc.freenode.net]
noj has quit [kubrick.freenode.net irc.freenode.net]
struktured has quit [kubrick.freenode.net irc.freenode.net]
prigaux has quit [kubrick.freenode.net irc.freenode.net]
BigJ has quit [kubrick.freenode.net irc.freenode.net]
sgnb has quit [kubrick.freenode.net irc.freenode.net]
tensorpudding has quit [kubrick.freenode.net irc.freenode.net]
mrvn has quit [kubrick.freenode.net irc.freenode.net]
npouillard has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
palomer has quit [kubrick.freenode.net irc.freenode.net]
rbancroft has quit [kubrick.freenode.net irc.freenode.net]
jimmyb2187 has quit [kubrick.freenode.net irc.freenode.net]
Leonidas has quit [kubrick.freenode.net irc.freenode.net]
fabjan has quit [kubrick.freenode.net irc.freenode.net]
julm has quit [kubrick.freenode.net irc.freenode.net]
Pepe_ has quit [kubrick.freenode.net irc.freenode.net]
infoe- has quit [kubrick.freenode.net irc.freenode.net]
infoe has quit [kubrick.freenode.net irc.freenode.net]
Mr_Awesome has quit [kubrick.freenode.net irc.freenode.net]
wzp has joined #ocaml
LuxOFlux has quit [Client Quit]
Submarine has quit ["Leaving"]
sgnb has joined #ocaml
palomer has joined #ocaml
tensorpudding has joined #ocaml
mrvn has joined #ocaml
npouillard has joined #ocaml
flux has joined #ocaml
julm has joined #ocaml
jimmyb2187 has joined #ocaml
Pepe_ has joined #ocaml
Leonidas has joined #ocaml
rbancroft has joined #ocaml
infoe has joined #ocaml
Mr_Awesome has joined #ocaml
infoe- has joined #ocaml
fabjan has joined #ocaml
_unK has joined #ocaml
boscop has joined #ocaml
noj has joined #ocaml
struktured has joined #ocaml
prigaux has joined #ocaml
BigJ has joined #ocaml
Yoric has quit []
itewsh has quit [Client Quit]
_Jedai_ has quit [Read error: 60 (Operation timed out)]
_Jedai_ has joined #ocaml
_andre has quit ["Lost terminal"]
Le-Chuck_ITA has joined #ocaml
<Le-Chuck_ITA> Hi all
<Le-Chuck_ITA> Any ubuntu users here? I'd like to know if there is a way to compile in an ubuntu environment without having to specify the "-I" include_dir flag for the libraries installed trough apt
<thelema> Le-Chuck_ITA: do you know about findlib?
<Le-Chuck_ITA> thelema: I have vague remembrances :) It's been a while since I programmed in ocaml last time
<Le-Chuck_ITA> is there a "standard" way to compile ocaml programs e.g. OCamlMakefile?
<thelema> sure. Basically you out 'ocamlfind' in front of your compilation command
<thelema> and then you can use -package XXX and it'll include whatever is needed
<thelema> An alternative for larger projects (multifile) is ocamlnuild
<thelema> *ocamlbuild
<Le-Chuck_ITA> thelema: is ocamlbuild automatic, I mean in finding the -I flags and maybe the required packages?
<thelema> For most of my projects, that's what I use. You add a boilerplate myocamlbuild.ml file and a _tags file which says what packages you're using
<thelema> and then you just say what you want to build, and it does the rest.
<Le-Chuck_ITA> ok thanks thelema
<thelema> ocamlbuild is part of ocaml now. Here's the myocamlbuild.ml file I use: http://codepad.org/ReqTbvs4
<thelema> and an example _tags file: http://codepad.org/hz9g2YgK
<thelema> this tags file includes the oUnit package for the text executable and the batteries and pycaml packages for everything
<thelema> it includes the subdir tcam as a place to find more code
<Le-Chuck_ITA> great, thanks
<thelema> The last piece of my build system is a very straightforward Makefile: http://codepad.org/8JxS75cs
<flux> thelema, what happens if you do make main.byte opt ?
<thelema> There's probably a way to put the ARGS into the _tags file instead of in the makefile, but this was what I got working first.
<flux> iirc ocamlbuild documentation suggests writing a driver script
<thelema> flux: it runs two separate commands, building main.byte and then deleting that to build main.native
<flux> thelema, indeed :). do you know if that behavior can be changed?
<thelema> If I want that, I just write an [all] target that does [ocamlbuild main.byte main.native]
<thelema> both of the executables are still in the build/ directory, it's just the symlink that's missing
Mr_Awesome has quit [Read error: 113 (No route to host)]
tmaeda is now known as tmaedaZ
<thelema> does anyone know what Obj.add_offset is for?
<mfp> where's that? not in my 3.11.1
<mfp> nor in 3.12
<thelema> in SVN - I'm tracking down the original commit
<mfp> hmm it's been a while since my last svn update
<thelema> R9561 has a bugfix related to it.
<thelema> odd, it seems part of 3.11.2 - it was merged in at http://github.com/thelema/ocaml-community/commit/cff40c4f2829cf30b4e05d7a39e8566440892d3f
<mfp> it's essentially pointer arithmetic, dunno who requested that (Gerd for his new nexplex stuff?)
* thelema strongly approves of the support for findlib that's going into ocamlbuild
<thelema> I'm trying to imagine why they would think pointer arithmetic would be a good thing to add to ocaml
Le-Chuck_ITA has left #ocaml []
<flux> :-)
<flux> but, Obj is for black magic
<flux> obviously adding even darker magic is fit to its prupose
<thelema> apparently Obj.magic wasn't sufficiently black
<mrvn> When you add an offset what are you supposed to do with the result? You can already access fields which to me seem to do the same.
<mrvn> Who set the channel to identified people only?
<thelema> probably an admin for #freenode - there's been a ton of spam
<thelema> mrvn: maybe it's part of manual memory management needed for parallel ocaml
<mrvn> And external field : t -> int -> t = "%obj_field" will be faster than external add_offset : t -> Int32.t -> t = "caml_obj_add_offset"
<thelema> mrvn: apparently the int32.t is to fix a bug.
<thelema> I love that part of the whole situation.
<mrvn> thelema: sure because the C stub uses Int32_val. But that wasn't what I pasted.
<mrvn> Increases support from 1GB blocks to 2GB blocks. :)
<mrvn> Can blocks ever be that big on 32bit cpus?
<mrvn> s/2GB/4GB
<mrvn> I would have changed the C stub to use Int_val. That way it is faster and on 64bit cpus it can handle larger offsets.
ulfdoz has joined #ocaml
avsm has joined #ocaml
Associat0r has joined #ocaml
pad` has joined #ocaml
ikaros has joined #ocaml
Mr_Awesome has joined #ocaml
fx_ has quit [Read error: 110 (Connection timed out)]
julm has quit [Remote closed the connection]
julm has joined #ocaml
avsm1 has joined #ocaml
jeddhaberstro has joined #ocaml
avsm has quit [Read error: 104 (Connection reset by peer)]
djanderson has joined #ocaml
avsm1 has quit [Client Quit]
mattam has quit [Read error: 60 (Operation timed out)]
_zack has joined #ocaml
ttamttam has quit ["Leaving."]
derdon has quit []
ski_ has quit ["Lost terminal"]
Yoric has joined #ocaml
avsm has joined #ocaml
_zack has quit ["Leaving."]
_unK has quit [Remote closed the connection]
djanderson has quit []
ulfdoz has quit [Read error: 110 (Connection timed out)]
djanderson has joined #ocaml
pad` has quit [Remote closed the connection]
avsm has quit [Client Quit]
avsm has joined #ocaml
avsm has quit [Client Quit]
Associat0r has quit []
avsm has joined #ocaml
boscop has quit ["Gxis revido!"]
pimmhogeling has joined #ocaml
babalu has joined #ocaml
<babalu> hi, i've installed extlib, but i'm not able to use it using ocamlbuil (with ocamlopt it's ok); i'm trying with ocamlbuild -libs ...,extlib but i got unbound module
Yoric has quit []
rhar has joined #ocaml
_unK has joined #ocaml
sramsay has joined #ocaml
sramsay has quit [Client Quit]
<thelema> has anyone seen bluestorm? We've got a batteries bug in his pa_comprehension
<thelema> babalu: the right way to use ocamlbuild is to specify that kind of thing in the _tags file
<babalu> thelema: i'll read about this file, thanks
babalu has quit [Read error: 113 (No route to host)]
<thelema> rwmjones: when you talk about extlib's buggy use of Obj.magic, is there something specific?
<julm> perhaps the DynArray stuff
avsm has quit [Client Quit]