zigong has quit [Read error: 60 (Operation timed out)]
zigong has joined #ocaml
Smerdy is now known as Smerdyakov
Hanji has quit ["Alright, Sleep, you win this time."]
shuttlecock has quit [Client Quit]
mrsolo has quit [leguin.freenode.net irc.freenode.net]
pharx has quit [leguin.freenode.net irc.freenode.net]
mattam has quit [leguin.freenode.net irc.freenode.net]
srv has quit [leguin.freenode.net irc.freenode.net]
cmeme has quit [leguin.freenode.net irc.freenode.net]
pango has quit [leguin.freenode.net irc.freenode.net]
Godeke has quit [leguin.freenode.net irc.freenode.net]
mlh has quit [leguin.freenode.net irc.freenode.net]
Excedrin has quit [leguin.freenode.net irc.freenode.net]
async has quit [leguin.freenode.net irc.freenode.net]
pflanze has quit [leguin.freenode.net irc.freenode.net]
Iter has quit [leguin.freenode.net irc.freenode.net]
shawn has quit [leguin.freenode.net irc.freenode.net]
avlondono has quit [leguin.freenode.net irc.freenode.net]
calvin_ has quit [leguin.freenode.net irc.freenode.net]
Hipo has quit [leguin.freenode.net irc.freenode.net]
Smerdyakov has quit [leguin.freenode.net irc.freenode.net]
_fab has quit [leguin.freenode.net irc.freenode.net]
skylan has quit [leguin.freenode.net irc.freenode.net]
mellum has quit [leguin.freenode.net irc.freenode.net]
Hadaka has quit [leguin.freenode.net irc.freenode.net]
oracle1 has quit [leguin.freenode.net irc.freenode.net]
themus has quit [leguin.freenode.net irc.freenode.net]
drz has quit [leguin.freenode.net irc.freenode.net]
slashvar[lri] has quit [leguin.freenode.net irc.freenode.net]
Nutssh has quit [leguin.freenode.net irc.freenode.net]
vincenz has quit [leguin.freenode.net irc.freenode.net]
senko has quit [leguin.freenode.net irc.freenode.net]
Shammah has quit [leguin.freenode.net irc.freenode.net]
tewk_ has quit [leguin.freenode.net irc.freenode.net]
creichen has quit [leguin.freenode.net irc.freenode.net]
zigong has quit [leguin.freenode.net irc.freenode.net]
mrvn_ has quit [leguin.freenode.net irc.freenode.net]
neale has quit [leguin.freenode.net irc.freenode.net]
pacroon has quit [leguin.freenode.net irc.freenode.net]
solarwind has quit [leguin.freenode.net irc.freenode.net]
Lemmih has quit [leguin.freenode.net irc.freenode.net]
det has quit [leguin.freenode.net irc.freenode.net]
mflux has quit [leguin.freenode.net irc.freenode.net]
mflux has joined #ocaml
zigong has joined #ocaml
mrsolo has joined #ocaml
Godeke has joined #ocaml
pango has joined #ocaml
pharx has joined #ocaml
mrvn_ has joined #ocaml
Smerdyakov has joined #ocaml
mlh has joined #ocaml
mattam has joined #ocaml
srv has joined #ocaml
slashvar[lri] has joined #ocaml
pflanze has joined #ocaml
Nutssh has joined #ocaml
cmeme has joined #ocaml
vincenz has joined #ocaml
Excedrin has joined #ocaml
_fab has joined #ocaml
det has joined #ocaml
Iter has joined #ocaml
skylan has joined #ocaml
neale has joined #ocaml
pacroon has joined #ocaml
senko has joined #ocaml
solarwind has joined #ocaml
mellum has joined #ocaml
Shammah has joined #ocaml
tewk_ has joined #ocaml
Hadaka has joined #ocaml
oracle1 has joined #ocaml
Lemmih has joined #ocaml
themus has joined #ocaml
async has joined #ocaml
shawn has joined #ocaml
avlondono has joined #ocaml
calvin_ has joined #ocaml
drz has joined #ocaml
Hipo has joined #ocaml
creichen has joined #ocaml
mflux_ has joined #ocaml
mflux has quit [Read error: 232 (Connection reset by peer)]
mlh has quit ["who are you people and what are you doing in my computer!?"]
mrsolo has quit ["Leaving"]
mflux has joined #ocaml
mflux_ has quit [Read error: 104 (Connection reset by peer)]
petchema_ has joined #ocaml
pango has quit ["Client exiting"]
petchema_ is now known as pango
smimou has joined #ocaml
mlh has joined #ocaml
srv has quit [Read error: 104 (Connection reset by peer)]
srv has joined #ocaml
mflux has quit [Read error: 54 (Connection reset by peer)]
mflux has joined #ocaml
srv has quit [leguin.freenode.net irc.freenode.net]
pharx has quit [leguin.freenode.net irc.freenode.net]
mattam has quit [leguin.freenode.net irc.freenode.net]
cmeme has quit [leguin.freenode.net irc.freenode.net]
mflux has quit [leguin.freenode.net irc.freenode.net]
mlh has quit [leguin.freenode.net irc.freenode.net]
Godeke has quit [leguin.freenode.net irc.freenode.net]
async has quit [leguin.freenode.net irc.freenode.net]
Excedrin has quit [leguin.freenode.net irc.freenode.net]
smimou has quit [leguin.freenode.net irc.freenode.net]
calvin_ has quit [leguin.freenode.net irc.freenode.net]
Iter has quit [leguin.freenode.net irc.freenode.net]
shawn has quit [leguin.freenode.net irc.freenode.net]
avlondono has quit [leguin.freenode.net irc.freenode.net]
Hipo has quit [leguin.freenode.net irc.freenode.net]
pflanze has quit [leguin.freenode.net irc.freenode.net]
drz has quit [leguin.freenode.net irc.freenode.net]
oracle1 has quit [leguin.freenode.net irc.freenode.net]
mellum has quit [leguin.freenode.net irc.freenode.net]
_fab has quit [leguin.freenode.net irc.freenode.net]
Smerdyakov has quit [leguin.freenode.net irc.freenode.net]
skylan has quit [leguin.freenode.net irc.freenode.net]
themus has quit [leguin.freenode.net irc.freenode.net]
Hadaka has quit [leguin.freenode.net irc.freenode.net]
tewk_ has quit [leguin.freenode.net irc.freenode.net]
Nutssh has quit [leguin.freenode.net irc.freenode.net]
slashvar[lri] has quit [leguin.freenode.net irc.freenode.net]
creichen has quit [leguin.freenode.net irc.freenode.net]
Shammah has quit [leguin.freenode.net irc.freenode.net]
senko has quit [leguin.freenode.net irc.freenode.net]
vincenz has quit [leguin.freenode.net irc.freenode.net]
pango has quit [leguin.freenode.net irc.freenode.net]
pacroon has quit [leguin.freenode.net irc.freenode.net]
neale has quit [leguin.freenode.net irc.freenode.net]
mrvn_ has quit [leguin.freenode.net irc.freenode.net]
Lemmih has quit [leguin.freenode.net irc.freenode.net]
solarwind has quit [leguin.freenode.net irc.freenode.net]
zigong has quit [leguin.freenode.net irc.freenode.net]
det has quit [leguin.freenode.net irc.freenode.net]
m3ga has joined #ocaml
mflux has joined #ocaml
srv has joined #ocaml
mlh has joined #ocaml
smimou has joined #ocaml
pango has joined #ocaml
zigong has joined #ocaml
Godeke has joined #ocaml
pharx has joined #ocaml
mrvn_ has joined #ocaml
Smerdyakov has joined #ocaml
mattam has joined #ocaml
slashvar[lri] has joined #ocaml
pflanze has joined #ocaml
Nutssh has joined #ocaml
cmeme has joined #ocaml
vincenz has joined #ocaml
Excedrin has joined #ocaml
_fab has joined #ocaml
det has joined #ocaml
Iter has joined #ocaml
skylan has joined #ocaml
neale has joined #ocaml
pacroon has joined #ocaml
senko has joined #ocaml
solarwind has joined #ocaml
mellum has joined #ocaml
Shammah has joined #ocaml
tewk_ has joined #ocaml
Hadaka has joined #ocaml
oracle1 has joined #ocaml
Lemmih has joined #ocaml
themus has joined #ocaml
async has joined #ocaml
shawn has joined #ocaml
avlondono has joined #ocaml
calvin_ has joined #ocaml
drz has joined #ocaml
Hipo has joined #ocaml
creichen has joined #ocaml
m3ga has quit [Client Quit]
smimou has quit ["?"]
vezenchio has joined #ocaml
pflanze has quit [Read error: 110 (Connection timed out)]
mlh has quit [Client Quit]
slashvar[lri] is now known as slashvar[TP]
CosmicRay has joined #ocaml
drz has quit [Remote closed the connection]
drz has joined #ocaml
zigong has quit ["Leaving"]
pflanze has joined #ocaml
<vincenz>
wow, almost 12 hours of silence, fortunately I was here to stop it 2 minutes before
<neale>
good job
mattam has quit [Remote closed the connection]
<vincenz>
:)
rossberg has joined #ocaml
tautologico has joined #ocaml
<oracle1>
I need to analyze the exit condition in a Loop statement in CIL.
<oracle1>
This is normally stored (as much as I know) in the last stmt option argument from the Loop constructor
<oracle1>
Though when I match on this stmt it just consists of an empty instruction list.
<oracle1>
anyone can help?
<tautologico>
CIL ? common intermediate language ?
neale has left #ocaml []
neale has joined #ocaml
<tautologico>
anything else ?
<oracle1>
manju.cs.berkeley.edu/cil/
<tautologico>
okay... sorry, can't help
<tautologico>
interesting project though
<oracle1>
pretty powerful thing
<tautologico>
I will get back to it later
<oracle1>
oh
<mflux>
hmm.. do functional, object-oriented user interface libraries exist, would writing one be difficult?
<mellum>
both functional and object-oriented doesn't seem to make a lot of sense
<mflux>
why not? writing functional objects doesn't strike as begin insane to me
<mflux>
s/begin/being/
<mflux>
and ocaml even provides a nice syntax for doing that
<mellum>
Objects have a state. In functional programming, there is no state.
smimou has joined #ocaml
<mflux>
objects can be used as a place to store information and group the operations that make a new state from the old state
<mflux>
I don't think it is that uncommon to think that for example a Map has a 'state' even in functional languages: it contains some objects
<mflux>
and even though you don't modify it (speaking of a functional map of course) it does provide means to write code that 'looks' like it
<mellum>
I do think that it is uncommon.
<mellum>
You often keep "old" maps around.
<mellum>
And you certainly rely on referential transparency in functional programming.
<mellum>
Which does not exist in OO.
<mflux>
well you can do exactly the same by just not modifying the objects, ever?-o
<mellum>
I didn't say it wouldn't work. I just said it doesn't make any sense :)
<mflux>
well, do other kinds of functional user interface libraries exist?
<mellum>
I don't know.
<mflux>
haskell apparently has a few attempts
mattam has joined #ocaml
skylan has quit [Read error: 104 (Connection reset by peer)]
pango has quit ["Leaving"]
pango has joined #ocaml
skylan has joined #ocaml
<Excedrin>
Clean has a functional user interface library
<async>
does anyone else think that "This expression has type x but is here used with type y" should be replaced with "This expression has type x but is supposed to have type y"
<pango>
...where type y was expected ?
senko has quit [Read error: 104 (Connection reset by peer)]
mrsolo has joined #ocaml
Submarine has joined #ocaml
<tautologico>
there's fruit... a haskell user interface library using functional reactive programming
<vincenz>
oracle1: still around
tautologico has quit ["Leaving"]
<oracle1>
yes
<vincenz>
you were asking about cil
<oracle1>
yes
<vincenz>
I thought cil used while loops
<vincenz>
hence I assume that the condition can be anywhere as it uses breaks
<vincenz>
afaik
<oracle1>
only while(1) loops with if and gotos when CFG is computed
<vincenz>
yes
<vincenz>
so how can you have an exit condition?
<oracle1>
I thought the successor stmt of the continue label contained the exit expressions in an If construct
<vincenz>
euhm
<vincenz>
first of all conditions are expressions not statements
<vincenz>
of course I'm not THAT familiar with Cil, only looked into it a bit to evaluate if I could use it or not
<oracle1>
true. but loop gives you two statements options for the exit and conitnue condition
<oracle1>
let's say I want to detect endless loops
<vincenz>
I think it only has that when it tries to hoist the if->gotos out
<vincenz>
oracle1: well...euhm...that's an undecideable problem
<vincenz>
well known in computer theory
<oracle1>
ok, say the absence of an 'goto while_X_break' statement
<vincenz>
ah
<vincenz>
well the gotos are inside the body of the while loop
<oracle1>
I can scan the body for these gotos. but I want to do it with the two stmt options also provided by the Loop constructor
<vincenz>
hmm
<oracle1>
these two stmt just seem very useless :)
<vincenz>
I think only in the very end does it try to host those if-goto things
<vincenz>
hoist
vezenchio has quit ["smile, Rakka ..."]
<oracle1>
well they are not 'None' so there is something
<oracle1>
aha found something applicable
<oracle1>
loops with an exit condition labels have 2 successor statements
<vincenz>
what is it?
<oracle1>
loops with no exit condition have only the label
<oracle1>
no that's correct:
<oracle1>
in a loop with no defined exit condition the continue label has no successors
Kevin_ has joined #ocaml
neale has quit [Read error: 60 (Operation timed out)]
Hanji has joined #ocaml
neale has joined #ocaml
Submarine has quit ["Leaving"]
monochrom has joined #ocaml
CosmicRay has quit ["Client exiting"]
Kevin_ has quit ["Quit"]
mlh has joined #ocaml
neale has quit [Read error: 104 (Connection reset by peer)]
<Hanji>
Is there a function to convert an arbitrary type to string?
<mlh>
I would think not, as to conversion for any type x, there is typically a string_of_x function
<mlh>
so they have to be explicitly written
<pango>
Marshal.to_string ? :)
<Hanji>
pango: cool
<pango>
it all depends on your definition of "converting"
Smerdy has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
<Hanji>
hrmm
<Hanji>
I'd just like to convert it to a readable string, for a to_string function on a data structure
<Demitar>
You might want to use some camlp4 thingie then.
smimou has quit ["?"]
mlh has quit [Client Quit]
mlh has joined #ocaml
Iter has quit [Read error: 110 (Connection timed out)]