<_obad_>
is there an "opam resume" command? I asked it to install lablgtk. it then decided to install lablgtk and recompile lwt. lablgtk installation failed because I didn't have gtk2-devel, which I then installed. at this point, I called opam install lablgtk and it worked, but now I don't have lwt anymore.
philtor has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Drup>
_obad_: no, but when it fails, it tell you you can reimport the old state
<Drup>
whitequark: pong
<_obad_>
drup: it didn't tell me anything like that
<_obad_>
how would I have restored the state?
<Drup>
opam import something
<Drup>
something being some back up file done by opam
<_obad_>
hmm... ok I'll try to remember that for next time. thanks
<Drup>
opam would tell you, in case of failed instalation
<_obad_>
well it didn't.. maybe it's too old
<_obad_>
1.1.0 I have
<Drup>
oh, yeah
<Drup>
last is 1.1.0
<Enjolras>
1.1.1*
Nuki has joined #ocaml
<Drup>
yeah, that's what I meant :/
ollehar1 has quit [Ping timeout: 252 seconds]
tane has joined #ocaml
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
malo has quit [Quit: Leaving]
ustunozgur has quit [Read error: Connection reset by peer]
zpe has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
thomasga has joined #ocaml
rwmjones has quit [Read error: Connection reset by peer]
rwmjones has joined #ocaml
racycle has joined #ocaml
thomasga has quit [Ping timeout: 240 seconds]
rwmjones has quit [Ping timeout: 245 seconds]
rwmjones has joined #ocaml
axiles has quit [Ping timeout: 252 seconds]
ontologiae has joined #ocaml
Kakadu is now known as Kakadu_afk
thomasga has joined #ocaml
jwatzman|work has joined #ocaml
Eyyub has joined #ocaml
ontologiae has quit [Ping timeout: 276 seconds]
avsm has joined #ocaml
tnguyen has joined #ocaml
choeger_tu has quit [Quit: choeger_tu]
Eyyub has quit [Ping timeout: 240 seconds]
eizo has joined #ocaml
<eizo>
Parameter A B: Set. Definition I := A * B. why does this fail, but Definition I := prod A B works?
lostcuaz has joined #ocaml
<Drup>
eizo: probably wrong channel :)
<eizo>
sry thanks
Kakadu_afk is now known as Kakadu
Thooms has joined #ocaml
thomasga has quit [Quit: Leaving.]
Hannibal_Smith has joined #ocaml
<gasche>
eizo: (A * B)%type
<eizo>
gasche: thanks
Eyyub has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
avsm has quit [Ping timeout: 276 seconds]
malo has joined #ocaml
boogie has joined #ocaml
_andre has quit [Quit: Lost terminal]
zpe has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
thomasga has joined #ocaml
ustunozgur has joined #ocaml
thomasga has quit [Client Quit]
_andre has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
_andre has quit [Read error: Connection reset by peer]
ustunozgur has quit [Ping timeout: 264 seconds]
boogie has quit [Read error: Connection reset by peer]
<adrien>
libarchive built with FILE_OFFSET_BITS as 32
ustunozgur has joined #ocaml
Arsenik has quit [Ping timeout: 265 seconds]
ikaros has quit [Quit: Ex-Chat]
dotfelix has joined #ocaml
dotfelix has quit [Client Quit]
<adrien>
crap C ABI issues
ygrek has joined #ocaml
q66 has joined #ocaml
q66 has quit [Changing host]
q66 has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
maattdd has quit [Ping timeout: 264 seconds]
boogie has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
boogie has joined #ocaml
patojo has joined #ocaml
eizo has quit [Ping timeout: 240 seconds]
Arsenik has joined #ocaml
boogie has quit [Ping timeout: 276 seconds]
rand000 has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
AltGr has left #ocaml [#ocaml]
pyon has quit [Quit: restart]
patojo has quit [Read error: Connection reset by peer]
Thooms has quit [Quit: WeeChat 0.3.8]
boogie has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
ygrek has quit [Remote host closed the connection]
philtor has quit [Quit: Leaving]
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
ygrek has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
ollehar has quit [Quit: ollehar]
manizzle has quit [Ping timeout: 258 seconds]
boogie has quit [Read error: Connection reset by peer]
eizo has joined #ocaml
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
pyon has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
thomasga has joined #ocaml
<_obad_>
is cairo-ocaml the way to go to render complex graphics with lablgtk?
ollehar has joined #ocaml
thomasga has quit [Ping timeout: 264 seconds]
<adrien>
define complex?
ontologiae has joined #ocaml
<adrien>
and I actually like Gdk; it's raster unlike cairo
<adrien>
but not directly in gtk3 but since lablgtk still doesn't support gtk3... (and it can be made available anyway)
<adrien>
but seeing the troubles in getting gtk3 to work everywhere...
ontologiae has quit [Ping timeout: 245 seconds]
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
tnguyen has quit [Ping timeout: 250 seconds]
tlockney is now known as tlockney_away
Submarine has quit [Ping timeout: 240 seconds]
<_obad_>
adrien: say x-y plots overlaid on images
<adrien>
hmmm
<adrien>
look at archimedes first
<Drup>
for plots, archimedes is nice
<adrien>
s/nice/awesome/
<adrien>
mind you it's the only tool I found that understood Shannon's theorem
<adrien>
others? 1 billion points on 1000px wide and high? let's plot them all!
maattdd has joined #ocaml
<_obad_>
archimedes looks interesting but it's not what I want I think. maybe I shouldn't have said x-y plot.
<_obad_>
I'm writing something similar to a video analysis software. so you display a frame and then annotate it with, say, shapes of detected elements
<adrien>
ah
<adrien>
wondering if gl might be a better fit
<_obad_>
and the elements can be, say, stuff from a geographical map (polygons, text, etc.)
<adrien>
well, try with cairo/cairo2
<_obad_>
adrien: yeah so I just started with GDraw.drawable#arc and it says it's deprecated
<_obad_>
hence I was wondering what I should be using
* adrien
is getting old and doesn't remember well
<adrien>
can't remember if that goes through gdk or not
<adrien>
then that's the reason; but as I said, on gtk2 you're guaranteed to have gdk and it can be added for other versions too
<_obad_>
but it's a bit low level. I would have to deal with clipping etc
<adrien>
draw over :P
<Drup>
_obad_: yeah, for this kind of stuff, cairo
<adrien>
cairo is higher-level but also more complex
<adrien>
but it's not incredibly complex either
<_obad_>
it's the postscript/gl matrix concept
<_obad_>
but I see you need to call Cairo_lablgtk.create. I hope it works with lwt
manizzle has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
<adrien>
why wouldn't it?
<_obad_>
dunno...? just being paranoid ;)
tnguyen has quit [Ping timeout: 252 seconds]
tnguyen has joined #ocaml
patojo has joined #ocaml
Eyyub has quit [Ping timeout: 240 seconds]
manizzle has quit [Ping timeout: 245 seconds]
manizzle has joined #ocaml
tnguyen1 has joined #ocaml
boogie has quit [Ping timeout: 276 seconds]
tnguyen has quit [Ping timeout: 252 seconds]
tnguyen has joined #ocaml
lostcuaz has quit [Ping timeout: 265 seconds]
patojo has quit [Read error: Connection reset by peer]
<_obad_>
yey! it worked. displayed a red rectangle as in the cube.ml cairo example. thanks opam.
boogie has joined #ocaml
tnguyen1 has quit [Ping timeout: 252 seconds]
lostcuaz has joined #ocaml
<_obad_>
back in my days all we had was Graphics
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
tnguyen has quit [Ping timeout: 252 seconds]
ustunozgur has joined #ocaml
Arsenik has quit [Remote host closed the connection]
Arsenik has joined #ocaml
tnguyen has joined #ocaml
Eyyub has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
thizanne has quit [K-Lined]
<adrien>
Graphics' API isn't bad :)
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<adrien>
so now I have a 1.4 beta1 of win-builds
dsheets has joined #ocaml
<adrien>
hopefully the road to the stable release is short
<_obad_>
adrien: graphics isn't bad!? lol. you can't even get cursor keys
thomasga has joined #ocaml
<adrien>
cursor keys?
Kakadu has quit [Read error: Connection reset by peer]
<adrien>
but I like the overall API more than cairo's which I find complicated
Kakadu has joined #ocaml
<adrien>
"draw line from A to B"?
<Anarchos>
adrien after stable release, will camlp5 and coq be updated ?
thizanne has joined #ocaml
<adrien>
Anarchos: I wasn't talking stable release of the ocaml compiler :)
manizzle has quit [Quit: Leaving]
tnguyen has quit [Ping timeout: 250 seconds]
manizzle has joined #ocaml
thomasga has quit [Ping timeout: 255 seconds]
tnguyen has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
tnguyen has quit [Ping timeout: 250 seconds]
tnguyen has joined #ocaml
<Anarchos>
adrien ah ok
patojo has joined #ocaml
Eyyub has quit [Ping timeout: 240 seconds]
tnguyen1 has joined #ocaml
tnguyen has quit [Ping timeout: 250 seconds]
maattdd has joined #ocaml
tlockney_away is now known as tlockney
boogie has quit [Ping timeout: 276 seconds]
tane has quit [Quit: Verlassend]
tnguyen1 has quit [Ping timeout: 252 seconds]
maattdd has quit [Ping timeout: 252 seconds]
tnguyen has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
Eyyub has joined #ocaml
tnguyen has quit [Ping timeout: 252 seconds]
shinnya has joined #ocaml
metasyntax has quit [Quit: Leaving]
<_obad_>
ok I admit it cairo seems a bit more complicated at first, and not very well documented, but once you understand that it's very imperative it's relatively simple
patojo has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
<_obad_>
random bitching: why isn't there a built-in pi defined? yes I know it's only 4. *. atan 1.
boogie has joined #ocaml
tnguyen has joined #ocaml
_andre has quit [Quit: leaving]
Nuki has quit [Ping timeout: 264 seconds]
<adrien>
:P
<adrien>
iirc that was because you wouldn't get the same on 32b and 64b or something like that
<_obad_>
floats are always 64-bit afaik
<adrien>
actually that can't hold
<adrien>
yeah, exactly
<adrien>
I don't remember
cdidd has quit [Ping timeout: 276 seconds]
<adrien>
I read a reason but it wasn't a very good one :)
<_obad_>
it should provide whatever M_PI defines...
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tnguyen has quit [Ping timeout: 252 seconds]
Arsenik has quit [Remote host closed the connection]
ontologiae has joined #ocaml
cdidd has joined #ocaml
tnguyen has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
tnguyen has quit [Ping timeout: 250 seconds]
tnguyen has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
tnguyen has quit [Client Quit]
Submarine has quit [Quit: Leaving]
Eyyub has quit [Ping timeout: 276 seconds]
ygrek has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
maattdd has joined #ocaml
ggole has quit []
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
philtor has joined #ocaml
boogie has joined #ocaml
maattdd has quit [Ping timeout: 250 seconds]
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
patojo has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
lostcuaz has joined #ocaml
lostcuaz_ has joined #ocaml
lostcuaz_ has quit [Read error: Connection reset by peer]
lostcuaz_ has joined #ocaml
patojo has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
lostcuaz has quit [Ping timeout: 276 seconds]
boogie has quit [Read error: Connection reset by peer]
ustunozgur has joined #ocaml
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
patojo has joined #ocaml
boogie_ has joined #ocaml
boogie__ has joined #ocaml
sheijk has joined #ocaml
boogie has quit [Ping timeout: 276 seconds]
patojo has quit [Ping timeout: 240 seconds]
tautologico has joined #ocaml
boogie_ has quit [Ping timeout: 240 seconds]
boogie__ has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
Eyyub has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
philtor has quit [Remote host closed the connection]
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 276 seconds]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
maattdd has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
maattdd has quit [Ping timeout: 245 seconds]
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
dsheets has quit [Ping timeout: 258 seconds]
Kakadu has quit [Quit: Konversation terminated!]
tobiasBora has joined #ocaml
eizo has quit [Ping timeout: 240 seconds]
patojo has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
Thooms has joined #ocaml
boogie has joined #ocaml
ousado has quit [Ping timeout: 245 seconds]
ousado_ has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
patojo has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
tobiasBora has quit [Ping timeout: 245 seconds]
glosoli has joined #ocaml
tobiasBora has joined #ocaml
Rotacidni has quit [Ping timeout: 252 seconds]
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
patojo has joined #ocaml
Simn has quit [Quit: Leaving]
boogie_ has joined #ocaml
boogie__ has joined #ocaml
shinnya has quit [Ping timeout: 258 seconds]
boogie has quit [Ping timeout: 276 seconds]
ontologiae has quit [Ping timeout: 264 seconds]
patojo has quit [Ping timeout: 276 seconds]
eikke__ has quit [Ping timeout: 240 seconds]
boogie__ has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
boogie_ has quit [Ping timeout: 276 seconds]
shinnya has joined #ocaml
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 255 seconds]
ustunozgur has quit [Quit: Leaving...]
Thooms has quit [Ping timeout: 255 seconds]
keen_ has joined #ocaml
nikki93 has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]