Hello,
Le ven. 09 oct. 2009 09:09:35 CEST,
Gabriel Kerneis kern...@pps.jussieu.fr a écrit :
On Fri, Oct 09, 2009 at 07:25:41AM +0200, roua...@softwarerealisations.com
wrote:
==
type t = MyInt of int | MyFloat of float | MyString of
Hello,
Le dim. 08 mars 2009 15:13:26 CET,
Jean Yang jeany...@csail.mit.edu a écrit :
I don't know if this is the right place to ask this question, but
what is the best way of using an SMT solver with an OCaml interface
on Linux?
alt-ergo (http://alt-ergo.lri.fr) is written in Ocaml.
Hello,
Le mer. 04 mars 2009 16:31:02 CET,
Vsevolod Fedorov sevaatw...@mail.ru a écrit :
type a
{
id : int ;
mutable field1 : string;
mutable b : B;
}
type b
{
id : int;
mutable field2 : string;
a_list : Weak-Hashtbl(a); (* they referenced me *)
}
Is it possible
Hello,
Le mar 01 jui 2008 17:53:34 CEST,
SerP [EMAIL PROTECTED] a écrit :
class type session_t =
object
method id:int;
method location: #location_t;
end;
...
Error: This expression has type session = id : int; location :
location but is here used with type