<thelema>
alpounet: nope, you can't parameterize across the container type.
<thelema>
what functions could you possibly apply?
fraggle_ has quit [Ping timeout: 276 seconds]
drk-sd has quit [Quit: {'EXIT', drk-sd, "bye"}]
srcerer has quit [Read error: Connection reset by peer]
fraggle_ has joined #ocaml
asurai has quit [Quit: asurai]
yakischloba has joined #ocaml
ccasin__ has joined #ocaml
ccasin__ has quit [Remote host closed the connection]
yakischloba has quit [Quit: Leaving.]
caligula_ has joined #ocaml
caligula__ has quit [Ping timeout: 260 seconds]
alpounet has quit [Ping timeout: 275 seconds]
alp_ has joined #ocaml
yakischloba has joined #ocaml
elehack has joined #ocaml
<alp_>
<alpounet> thelema, it was more for fun
<alp_>
<alpounet> but it has practical applications i'm pretty sure
<thelema>
fair enough.
<alp_>
I mean, for which reason would we want to restrict that to non-parametrized types ?
<alp_>
a practical example would be to parametrize some type by the inner container type it uses
<alp_>
this is solved by doing all that kind of things at the module level
<alp_>
but it isn't a reason for that restriction, it is a workaround
<thelema>
functors have to carry along all the functions applicable to the given type
<alp_>
yes
<alp_>
whereas we actually didn't care about that at the moment we wanted to parametrize a type by a "container" type
asurai has joined #ocaml
<elehack>
thelema, I've been looking some more into the strange lock failure on FreeBSD.
<elehack>
do you know if there's a particular reason why RMutex is implemented with two mutexes rather than a mutex and a condition variable?
alp_ is now known as alpounet
bzzbzz has quit [Quit: leaving]
Associat0r has quit [Quit: Associat0r]
alpounet has quit [Ping timeout: 265 seconds]
mariusz_ has quit [Quit: Ex-Chat]
Amorphous has quit [Ping timeout: 264 seconds]
svenl has quit [Ping timeout: 276 seconds]
elehack has quit [Quit: Goodbye...]
Amorphous has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
yakischloba has quit [Quit: Leaving.]
alpounet has joined #ocaml
joewilliams is now known as joewilliams_away
jeddhaberstro has quit [Ping timeout: 276 seconds]
asurai has quit [Quit: asurai]
enthymeme has joined #ocaml
joewilliams_away is now known as joewilliams
alpounet has quit [Ping timeout: 276 seconds]
yakischloba has joined #ocaml
Shoggoth has joined #ocaml
joewilliams is now known as joewilliams_away
alpounet has joined #ocaml
ssamoon has quit [Ping timeout: 248 seconds]
halfie_ has quit [Quit: Leaving]
myu2 has joined #ocaml
Submarine has joined #ocaml
ulfdoz has joined #ocaml
scriptdevil has joined #ocaml
<scriptdevil>
Hey. When does one use : and when does one use of?
<scriptdevil>
type 'a btree = Node of 'a * 'a btree * 'a btree | Empty;;
<xavierbot>
type 'a btree = Node of 'a * 'a btree * 'a btree | Empty
<flux>
: is used in record type definitions
<flux>
and labeled arguments
<scriptdevil>
Oh. Ok
<flux>
and when enforcing a type limitation, like let foo (a : int) = ..
<scriptdevil>
So in all other places, to specify the type, we use "of"?
<scriptdevil>
Hmmm. Why are there 2 standards?
<flux>
well, I'd put it in another way: 'of' is used in conjunction with sum types (types with constructors)
<flux>
two standards?
<scriptdevil>
No I did not put it in the right terms.
<scriptdevil>
Why is there a : and an of.
<scriptdevil>
Both resolve types, right?
<flux>
I've never thought that they do the same thing
<flux>
I guess the keyword could've been reused
<scriptdevil>
flux: So "of" is used in constructors?
<flux>
yes, such the one which you showed
<scriptdevil>
flux: Ok. :)
<flux>
I can't think of any other use
<scriptdevil>
I think I am able to spot the pattern now :)
<flux>
good luck :)
<scriptdevil>
We use : for variables.. and of for types-constructors. Makes sense.. I am not able to phrase it. But it fits.
<scriptdevil>
flux: Thanks :)
ssamoon has joined #ocaml
valross has quit [*.net *.split]
xavierbot has quit [*.net *.split]
jimmyb2187 has quit [*.net *.split]
companion_cube has quit [*.net *.split]
bacam has quit [*.net *.split]
ulfdoz has quit [*.net *.split]
ftrvxmtrx has quit [*.net *.split]
aij has quit [*.net *.split]
Tianon has quit [*.net *.split]
joewilliams_away has quit [*.net *.split]
ccasin has quit [*.net *.split]
ski has quit [*.net *.split]
julm has quit [*.net *.split]
Submarine has quit [*.net *.split]
myu2 has quit [*.net *.split]
Shoggoth has quit [*.net *.split]
Camarade_Tux has quit [*.net *.split]
hcarty has quit [*.net *.split]
gildor has quit [*.net *.split]
Leonidas has quit [*.net *.split]
infoe has quit [*.net *.split]
willb has quit [*.net *.split]
jonafan has quit [*.net *.split]
eldragon has quit [*.net *.split]
Demitar has quit [*.net *.split]
thieusoai has quit [*.net *.split]
Mr_Awesome has quit [*.net *.split]
rwmjones has quit [*.net *.split]
javax has quit [*.net *.split]
CodeBlock has quit [*.net *.split]
mlh has quit [*.net *.split]
patronus has quit [*.net *.split]
msteele has quit [*.net *.split]
scriptdevil has left #ocaml []
scriptdevil has joined #ocaml
ulfdoz has joined #ocaml
Submarine has joined #ocaml
myu2 has joined #ocaml
Shoggoth has joined #ocaml
valross has joined #ocaml
xavierbot has joined #ocaml
Demitar has joined #ocaml
thieusoai has joined #ocaml
Mr_Awesome has joined #ocaml
ccasin has joined #ocaml
rwmjones has joined #ocaml
javax has joined #ocaml
Camarade_Tux has joined #ocaml
ftrvxmtrx has joined #ocaml
aij has joined #ocaml
willb has joined #ocaml
ski has joined #ocaml
Tianon has joined #ocaml
jimmyb2187 has joined #ocaml
hcarty has joined #ocaml
mlh has joined #ocaml
jonafan has joined #ocaml
companion_cube has joined #ocaml
gildor has joined #ocaml
julm has joined #ocaml
eldragon has joined #ocaml
joewilliams_away has joined #ocaml
patronus has joined #ocaml
msteele has joined #ocaml
Leonidas has joined #ocaml
bacam has joined #ocaml
CodeBlock has joined #ocaml
infoe has joined #ocaml
jonludlam has quit [*.net *.split]
silas has quit [*.net *.split]
npouillard has quit [*.net *.split]
mattam has quit [*.net *.split]
flux has quit [*.net *.split]
enthymeme has quit [*.net *.split]
M| has quit [*.net *.split]
struktured has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
TaXules has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
noj has quit [*.net *.split]
haelix has quit [*.net *.split]
hugin has quit [*.net *.split]
nejimban has quit [*.net *.split]
yakischloba has quit [*.net *.split]
LionMadeOfLions has quit [*.net *.split]
mehdid has quit [*.net *.split]
goncalo has quit [*.net *.split]
fabjan has quit [*.net *.split]
thelema has quit [*.net *.split]
geir__ has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
sshc has quit [*.net *.split]
mbishop has quit [*.net *.split]
Ori_B has quit [*.net *.split]
yakischloba has joined #ocaml
enthymeme has joined #ocaml
jonludlam has joined #ocaml
silas has joined #ocaml
M| has joined #ocaml
struktured has joined #ocaml
Asmadeus has joined #ocaml
npouillard has joined #ocaml
geir__ has joined #ocaml
mattam has joined #ocaml
TaXules has joined #ocaml
LionMadeOfLions has joined #ocaml
mehdid has joined #ocaml
Pepe_ has joined #ocaml
hyperboreean has joined #ocaml
sshc has joined #ocaml
goncalo has joined #ocaml
flux has joined #ocaml
mbishop has joined #ocaml
fabjan has joined #ocaml
haelix has joined #ocaml
noj has joined #ocaml
thelema has joined #ocaml
nejimban has joined #ocaml
hugin has joined #ocaml
Ori_B has joined #ocaml
thelema_ has joined #ocaml
sshc has quit [Max SendQ exceeded]
sshc has joined #ocaml
thelema has quit [Ping timeout: 240 seconds]
fraggle_ has quit [Ping timeout: 276 seconds]
valross has quit [Remote host closed the connection]
ulfdoz has quit [Read error: Operation timed out]
fraggle_ has joined #ocaml
yakischloba has quit [Quit: Leaving.]
ttamttam has joined #ocaml
scriptdevil has quit [Ping timeout: 276 seconds]
myu2 has quit [Remote host closed the connection]
Yoric has joined #ocaml
Yoric has quit [Quit: Yoric]
myu2 has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
protz has joined #ocaml
Associat0r has joined #ocaml
Submarine has quit [Quit: Leaving]
ikaros has joined #ocaml
xavierbot has quit [Remote host closed the connection]
xavierbot has joined #ocaml
pimmhogeling has joined #ocaml
_zack has joined #ocaml
hcarty has quit [Ping timeout: 252 seconds]
alpounet has quit [Ping timeout: 265 seconds]
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
_unK has joined #ocaml
alpounet has joined #ocaml
maattd has joined #ocaml
seafood has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
seafood has quit [Ping timeout: 248 seconds]
jsk-away is now known as jsk
avsm has joined #ocaml
_zack has quit [Quit: Leaving.]
seafood has joined #ocaml
barismetin has quit [Quit: Leaving...]
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
alpounet has quit [Remote host closed the connection]
zack_away has joined #ocaml
alpounet has joined #ocaml
Yoric has joined #ocaml
lvillani has joined #ocaml
geir__ has quit [Ping timeout: 240 seconds]
_unK has quit [Remote host closed the connection]
_zack has joined #ocaml
_zack has left #ocaml []
seafood has quit [Quit: seafood]
zack_away has quit [Quit: leaving]
myu2_ has joined #ocaml
seafood has joined #ocaml
myu2_ has quit [Remote host closed the connection]
myu2_ has joined #ocaml
myu2 has quit [Read error: Connection reset by peer]
myu2 has joined #ocaml
myu2_ has quit [Ping timeout: 265 seconds]
pimmhogeling has quit [Remote host closed the connection]
pimmhogeling has joined #ocaml
komar_ has joined #ocaml
_zack has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
ikaros has joined #ocaml
fraggle_ has joined #ocaml
_andre has joined #ocaml
_andre has quit [Client Quit]
_andre has joined #ocaml
derdon has joined #ocaml
pimmhogeling has quit [Ping timeout: 265 seconds]
thelema_ has left #ocaml []
thelema has joined #ocaml
<thelema>
'of' vs. ':' in variant declarations probably comes from the design idea that tokens shouldn't be overloaded - each should have exactly one use.
asurai has joined #ocaml
<munga>
I'm writing a small stub of a C library. in my C file, I've an ocaml list and I want to get it's length. I know how to traverse it. And I know it's type (int). what is it's length ? Shall I traverse it or is there an easier way ?
<flux>
you must traverse it
<orbitz>
ocaml C lib doesn't have a length for you?
<munga>
I love recursive structures ...
<flux>
ocaml c lib is very limited
<flux>
I guess you can always call List.length..
<flux>
atleast once you've registered it in ocaml :)
spearalot has joined #ocaml
kaustuv has joined #ocaml
<kaustuv>
In LablGTK how do I test for keypress/release events for non alphanumeric keys such as Page_Up or KP_Enter? GdkEvent.Key.string returns the empty string for them.
bzzbzz has joined #ocaml
<kaustuv>
Never mind, I missed the GdkKeysyms module.
<Camarade_Tux>
:-)
thieusoai has quit [Quit: Leaving]
asurai has quit [Quit: asurai]
pimmhogeling has joined #ocaml
seafood has quit [Quit: seafood]
thieusoai has joined #ocaml
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
Tianon has quit [Read error: Operation timed out]
alpounet has quit [Read error: Connection reset by peer]
alpounet has joined #ocaml
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
ssp2055 has quit [Ping timeout: 276 seconds]
boscop has joined #ocaml
avsm has quit [Quit: Leaving.]
Yoric_ has joined #ocaml
Yoric has quit [Ping timeout: 258 seconds]
Yoric_ is now known as Yoric
Shoggoth has quit [Quit: Ex-Chat]
drk-sd has joined #ocaml
joewilliams_away is now known as joewilliams
svenl has joined #ocaml
ikaros has quit [Read error: Connection reset by peer]
ikaros has joined #ocaml
avsm has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
|Jedai| has joined #ocaml
Jedai has quit [Ping timeout: 276 seconds]
leoncamel has joined #ocaml
leoncamel has left #ocaml []
ikaros has quit [Quit: Leave the magic to Houdini]
hsuh has joined #ocaml
spearalot has quit [Quit: -arividerchi]
protz has quit [Read error: Operation timed out]
<kaustuv>
How do I detect a double-click in LablGTK?
<Camarade_Tux>
on what?
<kaustuv>
Let's say an EventBox
<kaustuv>
Basically, I need a function of type GdkEvent.Button.t -> GdkEvent.Button.types
<kaustuv>
Right, I figured that out already, but LablGTK doesn't give me access to the ->types field of a GdkEventButton structure. At least none I could find in the sources.