araujo has quit [brown.freenode.net irc.freenode.net]
haakonn has quit [brown.freenode.net irc.freenode.net]
rossberg has quit [brown.freenode.net irc.freenode.net]
_fab has quit [Remote closed the connection]
araujo has joined #ocaml
rossberg has joined #ocaml
haakonn has joined #ocaml
haakonn_ has joined #ocaml
avida has joined #ocaml
haakonn has quit [Connection timed out]
Sonarman has quit [Read error: 145 (Connection timed out)]
jewel has joined #ocaml
pflanze has quit ["[x]chat"]
avida has left #ocaml []
Sonarman has joined #ocaml
Smerdyakov has joined #ocaml
mlh_ has quit [Client Quit]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 145 (Connection timed out)]
bigbabyjesusfoo has quit [Remote closed the connection]
Herrchen_ has joined #ocaml
monochrom has quit ["good morning, sweet dream"]
Herrchen has quit [Read error: 145 (Connection timed out)]
mlh_ has joined #ocaml
mlh_ has quit [Client Quit]
Smerdyakov has quit []
mrsolo has joined #ocaml
shrimpx_ has joined #ocaml
shrimpx has quit [Read error: 54 (Connection reset by peer)]
vezenchio has joined #ocaml
batdog is now known as batdog|gone
Snark has joined #ocaml
pangoafk is now known as pango
pango has quit ["Client exiting"]
pango has joined #ocaml
mlh_ has joined #ocaml
mlh_ has quit [Client Quit]
mlh_ has joined #ocaml
__DL__ has joined #ocaml
Submarine has joined #ocaml
Ylvain has joined #ocaml
mlh_ has quit [Client Quit]
Prawntasm has joined #ocaml
mrvn has joined #ocaml
Prawntasm has quit []
mrvn_ has quit [Read error: 110 (Connection timed out)]
araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]
MisterC has joined #ocaml
jewel has quit [Read error: 110 (Connection timed out)]
cognominal has quit [Read error: 110 (Connection timed out)]
cognominal has joined #ocaml
_JusSx_ has joined #ocaml
spafbnerf has joined #ocaml
spafbnerf has quit ["!@!#@!@#"]
batdog|gone is now known as batdog
MisterC has quit [Remote closed the connection]
araujo has joined #ocaml
Snark has quit ["Leaving"]
araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]
vodka-goo has joined #ocaml
Prawntasm has joined #ocaml
Submarine has quit ["Leaving"]
araujo has joined #ocaml
_JusSx__ has joined #ocaml
Nutssh has joined #ocaml
Nutssh has left #ocaml []
_JusSx_ has quit [Read error: 110 (Connection timed out)]
_JusSx__ is now known as
_JusSx_
<
ulfdoz_>
Is there a code-generation-plugin for umbrello, to get ocaml from an UML-Modell?
<
ulfdoz_>
I also would like to take a look on other modelling-tools supporting ocaml if there are any.
mrsolo has quit [Connection timed out]
Prawntasm has quit []
noj has quit [brown.freenode.net irc.freenode.net]
noj has joined #ocaml
batdog is now known as batdog|gone
Submarine has joined #ocaml
batdog|gone is now known as batdog
Snark has joined #ocaml
pattern_ has quit ["..."]
Skal has joined #ocaml
gim has joined #ocaml
pattern_ has joined #ocaml
pango has quit ["Leaving"]
Submarine has quit ["Leaving"]
__DL__ has quit ["Bye Bye"]
judge has joined #ocaml
<
judge>
how does one deal with a situation where 2 records have a field with the same name?
<
judge>
say type foo = {size:int} and type boo {size:int;bla:char}
<
Snark>
judge: record1.foo and record2.foo
TeXitoi has quit [Read error: 54 (Connection reset by peer)]
<
judge>
but to assign them
<
judge>
can i do {foo.size=1}?
TeXitoi has joined #ocaml
<
judge>
seems to be a syntax error
<
Snark>
ah, yes, I see the problem
<
Snark>
I think I have read something about it somewhere
<
judge>
if you can find where i'd appreciate it
<
mrvn>
judge: The 2nd size shadows the first.
<
mrvn>
judge: either put them in different namespaces or define access/set functions before shadowing.
<
judge>
" Unlike SML, each field name may be used by ONLY ONE record type."
<
mrvn>
judge: thats not true.
<
judge>
seems to be true in the same namespace
<
mrvn>
no, it just shadows the old one.
<
judge>
yeah, which means i can't use it
<
judge>
oh well, i'll just rename them
<
mrvn>
# type foo = { bla:int;};;
<
mrvn>
type foo = { bla : int; }
<
mrvn>
# let make_foo x = { bla = x; };;
<
mrvn>
val make_foo : int -> foo = <fun>
<
mrvn>
# let get_foo foo = foo.bla;;
<
mrvn>
val get_foo : foo -> int = <fun>
<
mrvn>
# type blub = { bla: int; blub:int; };;
<
mrvn>
type blub = { bla : int; blub : int; }
<
mrvn>
# let foo = make_foo 1;;
<
mrvn>
val foo : foo = {bla = 1}
<
mrvn>
# get_foo foo;;
<
dan2>
thats definetly not true
<
dan2>
they're like structures in C
<
dan2>
they just can't have more than one of the same name in that structure
<
mrvn>
They are like any other variable being bound :)
<
judge>
except C doesn't do type inference
<
dan2>
it doesn't matter
<
judge>
so you can be sure that foo.bla and blub.bla are not the same thing
Snark has quit ["Leaving"]
<
judge>
ironic thing is that i'm basing these types on structs in someone's C code
<
judge>
and there each struct has a unique prefix for every member
<
mrvn>
not uncommon
TeXitoi has quit [Read error: 131 (Connection reset by peer)]
TeXitoi has joined #ocaml
__DL__ has joined #ocaml
pango has joined #ocaml
Submarine has joined #ocaml
<
mflux_>
hmm.. with lablgtk2, is it feasible/does it make sense to use class inheritance for your own widgets?
<
mflux_>
I get the feeling that 'real' widgets should have a gtk2 parent
eydaimon has left #ocaml []
_JusSx_ has quit [Read error: 110 (Connection timed out)]
Sonarman_ has joined #ocaml
Sonarman has quit [Nick collision from services.]
Sonarman_ is now known as Sonarman
shrimpx_ has quit [Remote closed the connection]
Sonarman has quit ["Lost terminal"]
Sonarman has joined #ocaml
vezenchio has quit ["Ayn Rand encapsulates the rage that every teenager feels on finding that his first paycheque has had taxes taken out of it"]
_fab has joined #ocaml
Submarine has quit ["Leaving"]
_fab has quit [Remote closed the connection]
Skal has quit ["Client exiting"]
batdog is now known as batdog|gone
Ylvain has quit [Read error: 110 (Connection timed out)]
vodka-goo has quit []
__DL__ has quit [Read error: 104 (Connection reset by peer)]
pattern_ has quit ["..."]