cjeris changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
mbishop has quit ["Leaving"]
malc_ has joined #ocaml
postalchris has joined #ocaml
Smerdyakov has quit ["Leaving"]
Smerdyakov has joined #ocaml
postalchris has quit ["Leaving."]
malc_ has quit ["leaving"]
G_ has joined #ocaml
femaol has joined #ocaml
G has quit [Read error: 110 (Connection timed out)]
G_ is now known as G
david_koontz has quit ["This computer has gone to sleep"]
joshcryer has joined #ocaml
Z4rd0Z has joined #ocaml
mikeX has quit ["leaving"]
ulfdoz has quit ["deprecated"]
ulfdoz has joined #ocaml
bzzbzz has quit ["Lost terminal"]
bzzbzz has joined #ocaml
mbishop has joined #ocaml
femaol has quit [Connection timed out]
Smerdyakov has quit ["Leaving"]
shawn has quit [Connection timed out]
shawn has joined #ocaml
shawn has quit ["This computer has gone to sleep"]
shawn has joined #ocaml
code-converter is now known as descender
slipstream-- has joined #ocaml
benny_ has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
benny has quit [Read error: 110 (Connection timed out)]
david_koontz has joined #ocaml
slipstream has joined #ocaml
slipstream-- has quit [Read error: 110 (Connection timed out)]
slipstream-- has joined #ocaml
joshcryer has quit [Client Quit]
slipstream has quit [Read error: 60 (Operation timed out)]
Z4rd0Z has quit []
Mr_Awesome has quit ["...and the Awesome level drops"]
G_ has joined #ocaml
G has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
david_koontz has quit ["Leaving"]
shawn has quit ["This computer has gone to sleep"]
rickardg has joined #ocaml
Oyd1111 has joined #ocaml
Oyd1111 has quit [Read error: 110 (Connection timed out)]
vorago has quit [Read error: 113 (No route to host)]
vorago has joined #ocaml
G_ is now known as G
m3ga has joined #ocaml
m3ga has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
slipstream-- has quit [Read error: 110 (Connection timed out)]
vital303 has joined #ocaml
a-priori_ has joined #ocaml
a-priori__ has quit [Read error: 110 (Connection timed out)]
a-priori__ has joined #ocaml
a-priori_ has quit [Read error: 60 (Operation timed out)]
dbueno has joined #ocaml
<dbueno>
In ocamldebug, is there a way to define a user-defined printer for a collection of a polymorphic type?
<dbueno>
I'm using a dynamically-linked list library. Every dllist shows up in the debugger as <abstr>, and I would like to be able to see inside that list, by printing it.
descender has quit ["Elegance has the disadvantage that hard work is needed to achieve it and a good education to appreciate it. - E. W. Dijkstra"]
Oyd1111 has joined #ocaml
gim has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
joshcryer has joined #ocaml
twobitsprite has joined #ocaml
<twobitsprite>
how does one create structs in ocaml? i.e. for a binary connection protocal?
<mrvn>
type foo = { bla : int; } let foobar = { bla = 1; }
<twobitsprite>
mrvn: and when I write foobar down into a socket it will send just like a c struct of the same format?
<mrvn>
Hell no.
<dbueno>
twobitsprite: if you do, output socket foobar, it probably won't even compile.
<twobitsprite>
ok... I need to interface with a server writen in C...
<mrvn>
Write a function that converts foo into a string and output that.
<twobitsprite>
like, a scanf or something?
<mrvn>
and a function reading the string and create a struct
<twobitsprite>
is there a way I can use "extern"al types? i.e. can I use a struct from a headerfile?
<mrvn>
If you don't need to look into the struct
<twobitsprite>
hmm
<twobitsprite>
so, my only option is to write a C function to build values of this struct type?
<twobitsprite>
and extern that?
<mrvn>
no. as said you can just convert to and from a string.
<twobitsprite>
I see
<twobitsprite>
I didn't understand what you mean earlier...
<mrvn>
You can't read/write the struct from/to a socket anyway. alignment, byte order and type sizes can differ.
<twobitsprite>
I see
twobitsprite has left #ocaml []
Z4rd0Z has joined #ocaml
Submarine has joined #ocaml
smimou has quit ["bli"]
Oyd1111 has left #ocaml []
descender has joined #ocaml
Smerdyakov has joined #ocaml
Submarine has quit [Read error: 113 (No route to host)]
malc_ has joined #ocaml
shawn has joined #ocaml
Submarine has joined #ocaml
vital303 has quit ["Leaving."]
malc_ has quit ["leaving"]
shawn has quit [Read error: 110 (Connection timed out)]
shawn has joined #ocaml
obnibolongo has joined #ocaml
<obnibolongo>
hello! can you tell me if there is a way to force left recursion on camlight?
<mrvn>
left recursion?
<jlouis__>
obnibolongo, try to be more specific
sven has joined #ocaml
svenl is now known as svenlx
<pango>
my best guess would be "parse f g 3 as f (g 3)"...
sven is now known as svenl
<obnibolongo>
yes,for example, i have a tree in which the right formulas are solved first
<obnibolongo>
for example, exists(variable, formula)
<obnibolongo>
formula gets solved first
<obnibolongo>
since i'm trying to validate the formula using the variable on the left, it doesn't work
<obnibolongo>
i tried to workaround swapping and creating exists(formula, variable) so it seems to be working, but it is not very cute...
<obnibolongo>
(i'll be away for an hour or so, but i'll be back)
descender has quit [Remote closed the connection]
smimou has joined #ocaml
<pango>
seems it has nothing to do with the concept of left recursion then... Probably with evaluation order, but your explanation is clear as mud (formula ? validation ?)
<mrvn>
obnnormaly agruments are evaluated before the function unless you use lazy.
<mrvn>
obnibolongo:
<mrvn>
And I think it is not defined in what order.
kuribas has joined #ocaml
<obnibolongo>
well maybe, but the truth is swapping left side and right side works... and in the original way it doesn't
bluestorm has joined #ocaml
<pango>
obnibolongo: since the order of arguments evaluation is not specified, any code relying on it is buggy
<pango>
better remove this reliance; that usually done using let bindings (in 'let id = expr1 in expr2', expr1 is guaranteed to be evaluated before expr2)
<bsmith>
is evaluation order guaranteed for boolean expressions?
<obnibolongo>
ok, thanks pango :)
<pango>
obnibolongo: if you have to be careful about evaluation order because of side-effects (which is probably the case), a more general tip would be to adopt a more functional style of programming ;)