watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
NoNNaN has quit [Ping timeout: 240 seconds]
rz has joined #ocaml
mgaogw has joined #ocaml
mgaogw has quit [Quit: mgaogw]
NoNNaN has joined #ocaml
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
mcclurmc has joined #ocaml
appleby has quit [Quit: appleby]
Yoric has quit [Ping timeout: 276 seconds]
philtor has joined #ocaml
mcclurmc has quit [Ping timeout: 265 seconds]
zRecursive has left #ocaml []
manizzle has joined #ocaml
struktured has quit [Ping timeout: 240 seconds]
manizzle has quit [Read error: Connection reset by peer]
manizzle has joined #ocaml
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
mcclurmc has joined #ocaml
jao` is now known as jao
struktured has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
philtor has quit [Ping timeout: 252 seconds]
jao has quit [Ping timeout: 260 seconds]
appleby has joined #ocaml
concave has joined #ocaml
concave has left #ocaml []
appleby has quit [Quit: appleby]
appleby has joined #ocaml
S11001001 has joined #ocaml
mcclurmc has joined #ocaml
manizzle has quit [Ping timeout: 252 seconds]
philtor has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
axiles has joined #ocaml
philtor has quit [Ping timeout: 252 seconds]
appleby has quit [Quit: appleby]
manud_ has joined #ocaml
manud_ has quit [Quit: Leaving]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
zRecursive has joined #ocaml
FreeArtMan has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
ggole has joined #ocaml
mmachenry has quit [Quit: Leaving.]
FreeArtMan has quit [Ping timeout: 240 seconds]
ggole has quit [Read error: Connection timed out]
ggole has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
FreeArtMan has joined #ocaml
shinnya has joined #ocaml
ygrek has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 253 seconds]
zRecursive has quit [Remote host closed the connection]
wagle has quit [Ping timeout: 260 seconds]
wagle has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
mfp__ has quit [Ping timeout: 265 seconds]
wormphlegm has quit [Ping timeout: 265 seconds]
wormphle1m has joined #ocaml
mfp__ has joined #ocaml
wormphle1m has quit [*.net *.split]
Enjolras has quit [*.net *.split]
diethyl has quit [*.net *.split]
hto has quit [*.net *.split]
pango has quit [*.net *.split]
cross has quit [*.net *.split]
_habnabit has quit [*.net *.split]
xaimus has quit [*.net *.split]
japesinator has quit [*.net *.split]
amiller has quit [*.net *.split]
diethyl has joined #ocaml
Simn has joined #ocaml
wormphle1m has joined #ocaml
Enjolras has joined #ocaml
hto has joined #ocaml
pango has joined #ocaml
cross has joined #ocaml
_habnabit has joined #ocaml
xaimus has joined #ocaml
japesinator has joined #ocaml
amiller has joined #ocaml
pminten has joined #ocaml
sw1nn has quit [Remote host closed the connection]
Yoric has joined #ocaml
avsm has joined #ocaml
ulfdoz has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
Amanite has joined #ocaml
avsm has quit [Quit: Leaving.]
rwmjones is now known as rwmjones_FOSDEM
ulfdoz has quit [Ping timeout: 260 seconds]
ulfdoz has joined #ocaml
ontologiae_ has joined #ocaml
<orbitz>
Hello
ollehar has joined #ocaml
FreeArtMan has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
<orbitz>
avsm: hey
ontologiae_ has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
lostcuaz has joined #ocaml
mort___ has joined #ocaml
zpe has joined #ocaml
<bernardofpc>
adrien: I read that "The toplevel can be used for interactive development." on http://lablgtk.forge.ocamlcore.org/, but I see no way of doing that...
<bernardofpc>
(btw, do you use Glade, or you write all signals/widgets yourself ?)
<bernardofpc>
(I got - finally - the drawing_area + pixmap stuff working, so now I'm wondering how it scales up)
mort___1 has joined #ocaml
mort___ has quit [Read error: Connection reset by peer]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
appleby has joined #ocaml
wolfnn has joined #ocaml
avsm has quit [Quit: Leaving.]
mort___1 has quit [Quit: Leaving.]
<adrien>
bernardofpc: I do:
<adrien>
#ues "topfind";;
<adrien>
#require "lablgtk2.auto-init"
<adrien>
there's someone with a printed copy of RWO next to me at fosdem :P
pminten has quit [Remote host closed the connection]
darkf has quit [Quit: Leaving]
<companion_cube>
o/
<orbitz>
does anyone know the low-level way to install an executable for opam?
<adrien>
ocamlfind?
avsm has joined #ocaml
<orbitz>
ocamlfind appears to only install things into system/lib
<orbitz>
and i think i need to make it into system/bin
<adrien>
yeah, ocamlfind handles libs only
mort___ has joined #ocaml
ulfdoz has quit [Read error: Connection reset by peer]
ulfdoz_ has joined #ocaml
ulfdoz_ is now known as ulfdoz
FreeArtMan has joined #ocaml
avsm has quit [Quit: Leaving.]
appleby has quit [Quit: appleby]
mort___ has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
<companion_cube>
no one knows what "this ground coercion is not principal" means?
mort___ has quit [Quit: Leaving.]
<adrien>
(yup, Jacques :P )
<orbitz>
Has anyone put serious thought into adding linear types to Ocaml? My current problem would be solved really nicely with them :)
<companion_cube>
:D
<companion_cube>
at least that makes ocaml-ty likely to be added to ocaml, in comparison
avsm has joined #ocaml
<orbitz>
hope fosdem is going well
mort___1 has joined #ocaml
<gasche>
orbitz: Mezzo?
lostcuaz has joined #ocaml
philtor has joined #ocaml
mcclurmc has joined #ocaml
mort___1 has quit [Quit: Leaving.]
appleby has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
mort___ has joined #ocaml
jonludlam has joined #ocaml
<orbitz>
gasche: isn't mezzo its own language?
kakadu has joined #ocaml
mort___1 has joined #ocaml
mort___1 has quit [Remote host closed the connection]
mort___1 has joined #ocaml
mort___1 has left #ocaml []
kakadu has quit [Client Quit]
Kakadu has joined #ocaml
mort___ has quit [Ping timeout: 252 seconds]
appleby has quit [Quit: appleby]
appleby has joined #ocaml
jonludlam has quit [Remote host closed the connection]
Kakadu has quit [Quit: Konversation terminated!]
Kakadu has joined #ocaml
avsm has quit [Quit: Leaving.]
Simn is now known as Simn|gone
appleby_ has joined #ocaml
appleby has quit [Ping timeout: 265 seconds]
appleby_ is now known as appleby
struktured has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
ontologiae_ has joined #ocaml
struktured has joined #ocaml
appleby has quit [Quit: appleby]
avsm has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
avsm has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 272 seconds]
ontologiae_ has quit [Ping timeout: 245 seconds]
appleby has joined #ocaml
mcclurmc has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
struktured has quit [Ping timeout: 272 seconds]
watermind has joined #ocaml
mmachenry has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
philtor has quit [Read error: Operation timed out]
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
appleby has quit [Quit: appleby]
Simn|gone has quit [Ping timeout: 252 seconds]
Simn has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 248 seconds]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
mcclurmc has joined #ocaml
cdidd has quit [Ping timeout: 252 seconds]
cdidd has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
zarusky has quit [Read error: Connection reset by peer]
zarul has joined #ocaml
struktured has joined #ocaml
ggole has quit []
zpe has joined #ocaml
appleby has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
mmachenry1 has joined #ocaml
ontologiae has joined #ocaml
malo has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
mmachenry1 has quit [Quit: Leaving.]
ollehar has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
bartbes has joined #ocaml
<bartbes>
what tells ocamlbuild to use the .a extension to link against native libs instead of cmxa? or are those functionally different?
ollehar has quit [Ping timeout: 245 seconds]
noplamodo has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
Yoric has joined #ocaml
noplamodo has joined #ocaml
noplamodo has quit [Changing host]
noplamodo has joined #ocaml
ontologiae has quit [Quit: WeeChat 0.4.0]
noplamodo has quit [Ping timeout: 265 seconds]
noplamodo has joined #ocaml
noplamodo has quit [Ping timeout: 260 seconds]
noplamodo has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
zpe has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
Yoric has quit [Ping timeout: 272 seconds]
clan has joined #ocaml
appleby has quit [Quit: appleby]
mcclurmc has joined #ocaml
appleby has joined #ocaml
clan has quit [Quit: clan]
mcclurmc has quit [Ping timeout: 245 seconds]
ulfdoz has quit [Ping timeout: 252 seconds]
mfp__ is now known as mfp
Kakadu has quit [Quit: Konversation terminated!]
ulfdoz has joined #ocaml
mmachenry has left #ocaml []
appleby has quit [Quit: appleby]
appleby has joined #ocaml
axiles has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 245 seconds]
FreeArtMan has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
Yoric has joined #ocaml
nisstyre has quit [Quit: Leaving]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
FreeArtMan has joined #ocaml
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 252 seconds]
Sim_n is now known as Simn
Amanite has quit [Ping timeout: 272 seconds]
Amanite has joined #ocaml
Yoric has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
lostcuaz has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
shinnya has joined #ocaml
FreeArtMan has quit [Read error: Operation timed out]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]