<xevz>
I got no experince of O'Caml and OS X though.
<neruda_>
are programs written in functional languages (like ocaml) inherently more parallel?
<tsuyoshi>
Cowmoo: the only issue I had was that when you compile ocaml it doesn't compile in 64bit by default
<tsuyoshi>
if you install binaries of ocaml that shouldn't be an issue though
ofaurax has quit ["Leaving"]
<Cowmoo>
ok, so is a binary install the way to go? What about GODI?
aldebrn has quit [Connection timed out]
<Cowmoo>
also: for Emacs, tuareg-mode.el or ocaml-mode.el ?
kaustuv_ has joined #ocaml
kaustuv has quit [Read error: 54 (Connection reset by peer)]
neruda_ has quit [Read error: 104 (Connection reset by peer)]
neruda_ has joined #ocaml
<ski_>
Cowmoo : tuareg-mode
<Cowmoo>
okie
_wu has quit ["_wu has no reason"]
neruda_ has quit [Read error: 113 (No route to host)]
onigiri has quit [Client Quit]
Cowmoo has left #ocaml []
Pepe_ has quit [Read error: 104 (Connection reset by peer)]
Pepe_ has joined #ocaml
Pepe_ has quit [Remote closed the connection]
dabd has quit [Client Quit]
thrasibule_ has quit [Read error: 110 (Connection timed out)]
Pepe_ has joined #ocaml
kaustuv_ is now known as kaustuv
<tsuyoshi>
I tried godi but I couldn't get it to work because of nfs problems
ski_ has quit ["Lost terminal"]
wysek has quit [Read error: 60 (Operation timed out)]
wysek has joined #ocaml
f[x] has joined #ocaml
wysek has quit [Read error: 60 (Operation timed out)]
f_[x] has joined #ocaml
_zack has joined #ocaml
Lomono has joined #ocaml
Lomono has left #ocaml []
f[x] has quit [Read error: 110 (Connection timed out)]
ulfdoz has joined #ocaml
bluestorm has joined #ocaml
Snark has joined #ocaml
Yoric[DT] has joined #ocaml
Yoric[DT] is now known as Yoric[MLWorkshop
Yoric[MLWorkshop is now known as Yoric
<Yoric>
Hi from the ML Workshop.
onigiri has joined #ocaml
<Tux|Jedi>
gildor: the gitweb interface doesn't give the git clone 'git+ssh://git.ocamlcore.org/gitroot/batteries/batteries.git'
<Tux|Jedi>
(bah)
<Tux|Jedi>
link, it only gives the http:// one which is *much* slower (esp for batteries)
<Tux|Jedi>
morning Yoric :)
ched__ has joined #ocaml
ched_ has quit [Read error: 110 (Connection timed out)]
run has quit [Read error: 110 (Connection timed out)]
Goten_ has joined #ocaml
Goten_ has left #ocaml []
Tux|Jedi is now known as Camarade_Tux
stan_ has joined #ocaml
rwmjones has joined #ocaml
onigiri has left #ocaml []
BiDOrD has quit [Remote closed the connection]
_zack has quit ["Leaving."]
Yoric has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
Narrenschiff has joined #ocaml
ched__ has quit [Read error: 110 (Connection timed out)]
marteo has joined #ocaml
BiDOrD has joined #ocaml
Yoric[DT] has joined #ocaml
slash_ has joined #ocaml
Amorphous has quit [Read error: 60 (Operation timed out)]
Pepe__ has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
Amorphous has joined #ocaml
Pepe_ has quit [Read error: 110 (Connection timed out)]
lbnoenmh has joined #ocaml
lbnoenmh has quit [Client Quit]
BiDOrD has quit [Read error: 110 (Connection timed out)]
BiDOrD has joined #ocaml
thrasibule has joined #ocaml
blackdog has joined #ocaml
stan_ has quit [Client Quit]
thrasibule has quit [Read error: 110 (Connection timed out)]
Camarade_Tux has quit [Read error: 145 (Connection timed out)]
Yoric[DT] has joined #ocaml
adrien has joined #ocaml
<Yoric[DT]>
Well, that was a disappointing demo.
<Yoric[DT]>
(mine, that is)
matthias_1 has joined #ocaml
run has joined #ocaml
adrien is now known as C_Tux
Yoric[DT] has quit ["Ex-Chat"]
smimou has joined #ocaml
Lomono_ has joined #ocaml
Lomono_ has left #ocaml []
C_Tux has quit ["leaving"]
adrien has joined #ocaml
_zack has joined #ocaml
adrien has quit [Client Quit]
Camarade1Tux has joined #ocaml
Camarade1Tux has quit [Client Quit]
Camarade1Tux has joined #ocaml
Camarade1Tux has quit ["leaving"]
Camarade_Tux has joined #ocaml
_zack has quit ["Leaving."]
Camarade_Tux has quit ["leaving"]
Camarade_Tux has joined #ocaml
Ched has joined #ocaml
Ched has quit [Client Quit]
Ched has joined #ocaml
ski_ has joined #ocaml
matthias_1 has left #ocaml []
Camarade1Tux has joined #ocaml
Camarade1Tux has quit [Client Quit]
Camarade1Tux has joined #ocaml
Camarade_Tux has quit [Nick collision from services.]
Camarade_Tux has joined #ocaml
Camarade_Tux has quit [Nick collision from services.]
Camarade1Tux is now known as Camarade_Tux
Camarade1Tux has joined #ocaml
Camarade1Tux has quit [Client Quit]
Pepe__ is now known as Pepe_
Snark has quit ["Ex-Chat"]
Xavier_ has joined #ocaml
<Xavier_>
hello
<Xavier_>
Do you know why this code : type tree = S of E | R of (tree * E * tree) doen't works ?
<Xavier_>
(and type e = E)
<bluestorm>
because "S of E" is illegal
<bluestorm>
you mean "S of e"
<bluestorm>
the right-part is a type, not a construtor
<bluestorm>
same thing for the R constructor
<bluestorm>
R of (tree * e * tree)
<Xavier_>
ha yes
<Xavier_>
thanks
<bluestorm>
Xavier_: you could also use and empty tree leaf
<bluestorm>
( S | R ... )
<bluestorm>
as your (S val) is equivalent to my R (S, val, S)
<bluestorm>
(your setting is slighlty more space-efficient, but can't represent the empty tree, and will probably lead to a bit of redundancy)
Yoric[DT] has joined #ocaml
_JusSx_ has joined #ocaml
<_JusSx_>
Hi how can i trigger Garbage Collector from C function?
guille_ has joined #ocaml
<guille_>
hi
Alpounet has joined #ocaml
<kaustuv>
_JusSx_: depends on what you want to do. The GC runs on every alloc, so you can just caml_alloc something.
<Camarade_Tux>
_JusSx_: and what do you mean with "trigger"? full_major? need it to call a finalize function?
<kaustuv>
If that's not enough, you have caml_gc_minor(), caml_gc_major_slice(), caml_gc_full_major(), etc.
<kaustuv>
Yoric[DT]: what's hot in the world of ML these days?
Narrenschiff has quit []
Yoric[DT] has quit [Read error: 110 (Connection timed out)]
Pepe_ has quit [wolfe.freenode.net irc.freenode.net]
kaustuv has quit [wolfe.freenode.net irc.freenode.net]
kaustuv has joined #ocaml
<guille_>
can labelled types extend each other? so: type atype = {a:1};; type btype of atype = {b:2};; (the of atype is pseudo-syntax)
<Camarade_Tux>
and if x is of type btype, be able to do x.a as well as x.b ?
<kaustuv>
guille_: you can do this with row polymorphism
<kaustuv>
type atype = < a : int; .. >
<kaustuv>
type btype = < a : int ; b : int ; .. > ;;
<Camarade_Tux>
which means objects if I'm not mistaken
<kaustuv>
err, my syntax is all wrong. one sec.
f_[x] has quit [Read error: 145 (Connection timed out)]
<_JusSx_>
kaustuv: I was reading Chapter 12 of Developing Application with Objective ocaml.
<_JusSx_>
i read A C function can trigger a garbage collection, either during an allocation (if the heap is full), or voluntarily by calling void Garbage_collection_function ().
<_JusSx_>
I can find in ocaml include file Garbage_colletion_function()
<guille_>
i'm trying to code something which is a parallelepiped (atype), btype is a parallelepiped too, but it has another property; so i would like to use btype as an atype when the specific property isn't used
<guille_>
kaustuv: ok, i'll dig into classes. thank you
Xavier_ has quit [Read error: 113 (No route to host)]
thrasibule has joined #ocaml
<kaustuv>
_JusSx_: there is nothing with that name in the OCaml distribution
<_JusSx_>
kaustuv: ok I agree with you
<_JusSx_>
so how can i call gc from a C function?
<kaustuv>
_JusSx_: apparently the gc functions are not exported in the public interface. You'll have to use callbacks
<kaustuv>
Register a callback for Gc.full_major(), etc., then use caml_callback()
<_JusSx_>
ok
<_JusSx_>
thank you
<_JusSx_>
I read "To avoid this, any C function that allocates anything in the Objective CAML heap must tell the garbage collector about the C function's parameters and local variables of type value. This is achieved by using the macros described next."
<Camarade_Tux>
"A C function can trigger a garbage collection, either during an allocation (if the heap is full), or voluntarily by calling void Garbage_collection_function ()." <- comes from the oreilly book
<_JusSx_>
so if C function doesn't call any ocaml alloc function it won't need to call CAMLparam, CAMLlocal CAMLreturn macros?