Re: [Caml-list] lablgtk and pdf

2009-12-01 Thread Marc de Falco
It might be better to produce a svg and then display the svg trough cairo. I don't know if there are bindings available in OCaml to do that (mainly for librsvg). 2009/12/1 Eric Cooper > On Tue, Dec 01, 2009 at 02:09:27AM +, Ewen Maclean wrote: > > I am generating pdf images from latex source

Re: [Caml-list] Polymorphic function in reference cell

2009-11-18 Thread Marc de Falco
I might have misunderstood your problem, and I do not have a solution pertaining to your exact question, but hiding the function and its type inside a module argument for a functor does the trick, no ? For example, if you define module Foo (M : sig type t val f : t -> t end) = struct let use_f

[Caml-list] A strange typing error with polymorphic variants

2009-10-27 Thread Marc de Falco
Hi, I've come across a very strange error, and I'm not sure if it is a bug or a feature. The following code : type 'a p = R of 'a t | E of float and 'a t = { mutable p : 'a p; c : 'a } let f = let x = sqrt(2.0) in fun () -> { c = `A; p = E 0.0 } generates the error : The type of thi

Re: [Caml-list] forbidden construct as right hand side of "let rec"

2009-10-23 Thread Marc de Falco
The issue is that this definition can't be generalized to lists of arbitrary size. The code let list_cycle l = let rec loop = l @ loop in loop will not be accepted. I don't know the exact rule, but I guess that on the right-hand side of a let rec defining a ground value named foo you can on