<palomer>
hrmph, this would be sweet: type 'a t = Foo of 'a ;; type b = int t = Foo of int;;
valross has joined #ocaml
Edward has joined #ocaml
Edward has quit [Client Quit]
joewilliams is now known as joewilliams_away
persil has joined #ocaml
persil has quit [Quit: leaving]
Tianon has quit [Quit: brb -.-]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
valross has quit [Ping timeout: 260 seconds]
datenwolf has quit [Ping timeout: 260 seconds]
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
gnuvince1 has joined #ocaml
gnuvince has quit [Ping timeout: 250 seconds]
<thelema>
palomer: if you had that, what type would (function Foo x -> x) be?
fraggle_ has quit [Read error: Connection reset by peer]
ulfdoz has joined #ocaml
ski_ has joined #ocaml
ski has quit [Ping timeout: 245 seconds]
gnuvince has joined #ocaml
Snark_ has joined #ocaml
gnuvince1 has quit [Ping timeout: 250 seconds]
explodus has joined #ocaml
Snark_ is now known as Snark
yurug has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
zubeen has joined #ocaml
ViciousPlant has left #ocaml []
ftrvxmtrx has joined #ocaml
boscop has joined #ocaml
mattam has joined #ocaml
explodus has quit [Ping timeout: 260 seconds]
_andre has joined #ocaml
ski__ has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
boscop has joined #ocaml
ski_ has quit [Ping timeout: 240 seconds]
zubeen has quit [Remote host closed the connection]
<palomer>
thelema, you already have: type a = Foo ;; type b = a = Foo
<palomer>
and type 't a = Foo of 't ;; type 't b = 't a = Foo of 't
<palomer>
so my proposal would not be a stretch
nejimban has quit [Read error: No route to host]
avsm has joined #ocaml
ski__ has quit [Ping timeout: 272 seconds]
ski has joined #ocaml
ski_ has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
ski__ has joined #ocaml
ski has quit [Ping timeout: 250 seconds]
ski_ has quit [Ping timeout: 250 seconds]
boscop has joined #ocaml
thelema_ has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
rks has quit [Quit: bllblbl]
thelema_ has quit [Remote host closed the connection]
thelema has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
boscop has joined #ocaml
boscop_ has joined #ocaml
boscop__ has joined #ocaml
explodus has joined #ocaml
boscop has quit [Ping timeout: 276 seconds]
boscop_ has quit [Ping timeout: 255 seconds]
boscop has joined #ocaml
boscop_ has joined #ocaml
boscop__ has quit [Ping timeout: 255 seconds]
boscop has quit [Ping timeout: 260 seconds]
avsm has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
Amorphous has quit [Ping timeout: 276 seconds]
avsm has joined #ocaml
ttamttam has joined #ocaml
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
ikaros has joined #ocaml
Amorphous has joined #ocaml
th5 has joined #ocaml
ttamttam has quit [Remote host closed the connection]
ttamttam has joined #ocaml
bzzbzz has quit [Read error: Connection reset by peer]
<palomer>
hrmph
<palomer>
ubuntu is still on ocaml 3.11
* palomer
needs first class modules
<palomer>
or gadts :P
thieusoai has joined #ocaml
bzzbzz has joined #ocaml
joewilliams_away has quit [Excess Flood]
joewilliams has joined #ocaml
schmrkc has quit [Quit: Lost terminal]
Modius has quit [Quit: "Object-oriented design" is an oxymoron]
joewilliams is now known as joewilliams_away
Yoric has joined #ocaml
Yoric is now known as DRT
joewilliams_away is now known as joewilliams
sdj has joined #ocaml
boscop_ is now known as boscop
Pepe_ has quit [Quit: leaving]
Pepe_ has joined #ocaml
init1 has joined #ocaml
th5 has quit [Quit: th5]
rks has joined #ocaml
cthuluh has quit [Quit: "Our life is frittered away by detail... Simplify, simplify" -- Thoreau]
ttamttam has quit [Remote host closed the connection]
<gildor>
palomer: Debian is frozen (hence Ubuntu's OCaml packages)
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
<palomer>
but the latest ubuntu came out in october
<palomer>
err
<palomer>
latest ocaml
DRT has quit [Quit: DRT]
sdj has quit [Ping timeout: 276 seconds]
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
thelema has quit [Read error: Operation timed out]
thelema has joined #ocaml
rixed has joined #ocaml
avsm has quit [Quit: Leaving.]
<adrien>
iirc it was right before the freeze and the inclusion of the most recent version was debatable
<adrien>
hcarty: will try to contribute to gtk-light when I have time for it :-)
<hcarty>
adrien: No rush! I don't know when I will have time to do more with it. But it would be nice to concentrate efforts :-)
rossberg_ has joined #ocaml
<palomer>
ooooh, what's this gtk-light business
<adrien>
hcarty: I shall be progressing slowly but surely :-)
<hcarty>
palomer: gtk-light.forge.ocamlcore.org
<adrien>
but slowly ;-)
<hcarty>
palomer: Very much a work in progress
<palomer>
oh, nice
* palomer
has been wallowing in curses land
<hcarty>
Oh... I don't think I've added license info.
<hcarty>
Standard OCaml LGPL + linking exception
nejimban has joined #ocaml
<hcarty>
palomer: If you want to toy around and contribute, I'm happy to accept input :-)
ftrvxmtrx has quit [Quit: Leaving]
rossberg has quit [Ping timeout: 250 seconds]
<palomer>
alas, my days of struggling with gtk are past me
* palomer
wonders when a qt binding will appear
<adrien>
one there is
cthuluh has joined #ocaml
<palomer>
there's one?
<adrien>
qt-caml
<adrien>
but it's unfinished
<adrien>
at this "we have everything, we need to make an alpha/beta release but we lack the time to polish it enough to make it usable by people outside the project"-stage
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 255 seconds]
ulfdoz_ is now known as ulfdoz
ftrvxmtrx has joined #ocaml
lpereira has joined #ocaml
willb has quit [Ping timeout: 272 seconds]
boscop has quit [Ping timeout: 240 seconds]
_andre has quit [Quit: leaving]
DimitryKakadu has joined #ocaml
Yoric has joined #ocaml
rn114_ has joined #ocaml
zubeen has joined #ocaml
yezariaely has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
mfp has joined #ocaml
zubeen has quit [Ping timeout: 265 seconds]
willb has joined #ocaml
rn114_ has quit [Quit: Leaving]
Snark has quit [Quit: Ex-Chat]
cthuluh has quit [Read error: Operation timed out]
init1 has quit [Quit: Quitte]
yezariaely has quit [Quit: Leaving.]
ulfdoz has quit [Ping timeout: 265 seconds]
rixed has quit [Ping timeout: 255 seconds]
avsm has joined #ocaml
DimitryKakadu has quit [Remote host closed the connection]