<
monochrom>
I think I just don't understand the question. I blame it on the asker.
smimou has quit ["?"]
Xolution has quit [Connection timed out]
Xolution has joined #ocaml
Nutssh has left #ocaml []
pattern has joined #ocaml
monochrom has quit ["Don't talk to those who talk to themselves."]
CosmicRay has joined #ocaml
Xolution has quit [Read error: 110 (Connection timed out)]
Xolution has joined #ocaml
Lemmih has quit [Remote closed the connection]
cjohnson has quit [Read error: 110 (Connection timed out)]
yauz_ has joined #ocaml
yauz has quit [Read error: 113 (No route to host)]
GreyLensman has joined #ocaml
zigong_ has quit [Remote closed the connection]
CosmicRay has left #ocaml []
cjohnson has joined #ocaml
debona|r has joined #ocaml
smkl_ has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
cj has joined #ocaml
monochrom has joined #ocaml
Xolution has quit [Read error: 60 (Operation timed out)]
debona|r has left #ocaml []
debona|r has joined #ocaml
cj has quit [Read error: 110 (Connection timed out)]
cj has joined #ocaml
Xolution has joined #ocaml
Lemmih has joined #ocaml
cj has quit [Read error: 110 (Connection timed out)]
bk_ has joined #ocaml
GreyLensman has quit ["Leaving"]
<
palomer>
can you store patterns in variables?
jdrake has left #ocaml []
<
Riastradh>
What do you mean by 'patterns?'
<
Lemmih>
patterns? like ",.''.,"?
<
Riastradh>
In the context of pattern matching, i.e. the left-hand sides of match clauses?
<
palomer>
a(x) = Literal x | Variable x ... Plus(a(x),a(x)) => x , for example
<
Riastradh>
Patterns are not first-class.
<
Riastradh>
Or: no.
<
palomer>
it would be syntactic sugar in this case
smkl_ is now known as smkl
mrsolo has joined #ocaml
mrsolo_ has joined #ocaml
monochrom has quit ["Don't talk to those who talk to themselves."]
mary has quit [Read error: 113 (No route to host)]
mrsolo has quit [Read error: 113 (No route to host)]
cjohnson has quit [Read error: 54 (Connection reset by peer)]
monochrom has joined #ocaml
Xolution has quit ["Leaving"]
mattam has joined #ocaml
vezenchio has joined #ocaml
debona|r has left #ocaml []
ita has joined #ocaml
smimou has joined #ocaml
mary1 has joined #ocaml
kosmikus|away is now known as kosmikus
smkl has quit [Read error: 60 (Operation timed out)]
Submarine has joined #ocaml
karryall has joined #ocaml
smkl has joined #ocaml
spip has joined #ocaml
spip has quit ["++"]
smkl has quit [Read error: 110 (Connection timed out)]
mary1 has quit [niven.freenode.net irc.freenode.net]
ionOSu has quit [niven.freenode.net irc.freenode.net]
jourdechance has quit [niven.freenode.net irc.freenode.net]
mary has joined #ocaml
jourdechance has joined #ocaml
ionOSu has joined #ocaml
smkl has joined #ocaml
lus|wats has joined #ocaml
pac_away has joined #ocaml
pac_away has left #ocaml []
smkl has quit [Read error: 110 (Connection timed out)]
vezenchio has quit [Read error: 110 (Connection timed out)]
smkl has joined #ocaml
smkl has quit [Nick collision from services.]
ita has quit ["cu later all"]
cjohnson has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
maihem has joined #ocaml
zigong_ has joined #ocaml
smkl has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
bk_ has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
zigong_ has quit [Read error: 110 (Connection timed out)]
eydaimon has left #ocaml []
CosmicRay has joined #ocaml
sundeep has joined #ocaml
sundeep has quit [Client Quit]
leolio has joined #ocaml
Submarine has quit ["ChatZilla 0.8.31 [Mozilla rv:1.4.1/20031114]"]
<
ronwalf>
So with the garbage collector...
<
ronwalf>
Let's say I have a chain of structures accessible, say a -> b -> c -> d
<
ronwalf>
And it goes out of scope
<
ronwalf>
Am I garunteed d will be finalized first?
<
ronwalf>
(this is regards to the C interface)
<
karryall>
prabably not
<
karryall>
why would you nedd this guarantee ?
<
ronwalf>
To ensure proper deletion of C objects
<
ronwalf>
I need to express an ordering constraint on the finalization of certain objects
<
Smerdyakov>
I think this is a classic problem with finalizers.
<
leolio>
i'm not sure but
<
leolio>
using the module Gc
<
ronwalf>
Is there a classic solution?
<
leolio>
O_o i have a dirty solution
<
leolio>
not a classic one :)
<
Smerdyakov>
No. The classic response is to write off finalizers as useless.
<
ronwalf>
That would leave me doing explicity memory management in Ocaml
Dvalin has quit [Read error: 113 (No route to host)]
<
Smerdyakov>
ronwalf, one of my fellow graduate students is doing his thesis work on a better mechanism... though in the context of Java.
<
Riastradh>
ronwalf, did you expect anything better if you're using C?
Dvalin has joined #ocaml
<
ronwalf>
Riastradh: Yes, in fact
<
ronwalf>
Because nearly every language that interfaces with C has a mechanism for dealing with this.
<
Smerdyakov>
The problem is with C, obviously.
<
Smerdyakov>
Interfacing with a languaeg with manual memory management is the cause of the pain.
<
ronwalf>
But completely necessary
<
Smerdyakov>
Necessary with today's legacy infrastructure, sure.
* ronwalf
notes the number of .a files in the ocaml lib directory
<
ronwalf>
leolio: Thanks, the Gc module may be useful
<
leolio>
ronwalf, i was thinking about something with finalise ()
<
leolio>
you could add artificial references, and d would delete the reference to c with it get finalized
<
leolio>
but, again, it's very very dirty ...
cheese48 has joined #ocaml
<
ronwalf>
well, at least it's doable
TheDracle has quit [Remote closed the connection]
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
avitous has joined #ocaml
avitous has left #ocaml []
TheDracle has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
lus|wats has quit ["I thought what I'd do was, I'd pretend I was one of those deaf-mutes ^_^"]
Nahuel has joined #ocaml
Nahuel has left #ocaml []
smkl has joined #ocaml
CosmicRay has left #ocaml []
kosmikus is now known as kosmikus|away
karryall has quit ["go"]
leolio has quit [Remote closed the connection]
mrsolo_ has quit [Connection timed out]
Xolution has joined #ocaml
not_me2 has quit [Read error: 104 (Connection reset by peer)]
cjohnson has quit [Read error: 60 (Operation timed out)]
not_me2 has joined #ocaml
not_me2_ has joined #ocaml
not_me2 has quit [Read error: 104 (Connection reset by peer)]
Walnutssh has joined #ocaml
GreyLensman has joined #ocaml
Xolution has quit [Read error: 110 (Connection timed out)]
Xolution has joined #ocaml
Walnutssh is now known as nutssh
nutssh is now known as Nutssh
cheese48 has quit [Ping timeout: 14400 seconds]
smimou has quit ["?"]
Xolution has quit [Read error: 110 (Connection timed out)]
Xolution has joined #ocaml
<
jourdechance>
i have an object of this form : class obj : object val mutable x : int method set : x:int -> unit end = 0)