From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 6F9607ED7A for ; Mon, 1 Oct 2012 00:37:57 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of pierre.chopin@u-psud.fr) identity=pra; client-ip=129.175.33.42; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="pierre.chopin@u-psud.fr"; x-sender="pierre.chopin@u-psud.fr"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of pierre.chopin@u-psud.fr) identity=mailfrom; client-ip=129.175.33.42; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="pierre.chopin@u-psud.fr"; x-sender="pierre.chopin@u-psud.fr"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp2.u-psud.fr) identity=helo; client-ip=129.175.33.42; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="pierre.chopin@u-psud.fr"; x-sender="postmaster@smtp2.u-psud.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AloBAIbIaFCBryEqiWdsb2JhbABFrDOSAyMBAQEVEhQFIoIhAQEEJwsBKxALEAslIUUSBhMSh2EDDwurYoNTA4leix+GSwOIWIURiRWSHQ X-IronPort-AV: E=Sophos;i="4.80,514,1344204000"; d="scan'208";a="175189723" Received: from smtp2.u-psud.fr ([129.175.33.42]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Oct 2012 00:37:57 +0200 Received: from smtp2.u-psud.fr (localhost [127.0.0.1]) by localhost (MTA) with SMTP id 129D6348C37; Mon, 1 Oct 2012 00:37:57 +0200 (CEST) Received: from localhost.localdomain (smtp.u-psud.fr [129.175.33.40]) by smtp2.u-psud.fr (MTA) with ESMTP id 4E84E348BCB; Mon, 1 Oct 2012 00:37:56 +0200 (CEST) Received: from smtp2.u-psud.fr by smtp2.u-psud.fr with queue id 3331716-3; Sun, 30 Sep 2012 22:37:56 GMT Received: from webmail.u-psud.fr (webmail2.u-psud.fr [129.175.33.52]) by smtp2.u-psud.fr (MTA) with ESMTP id DAF48348BD1; Mon, 1 Oct 2012 00:37:55 +0200 (CEST) X-Squirrel-UserHash: IxgQGwAXSw8jTCMYGw== X-Squirrel-FromHash: a0AUD0BDVg8= Message-ID: In-Reply-To: References: <64d7146993183dc67fd675e7eb6f710f.squirrel@webmail.u-psud.fr> Date: Sun, 30 Sep 2012 15:37:55 -0700 From: "Pierre Chopin" To: "Sebastien Mondet" Cc: "Pierre Chopin" , caml-list@inria.fr User-Agent: SquirrelMail MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] pgocaml and lwt It was indeed the problem. Thanks ! Le Dim 30 septembre 2012 15:31, Sebastien Mondet a écrit : > Hi > > > If I remember correctly, the syntax extension will use the module called > PGOCaml which is "in scope", so you need to hide the "preemtive threads" > one with yours: > > module PGOCaml = PGOCaml_generic.Make(Thread) > > > Cheers > Seb > > > > On Sun, Sep 30, 2012 at 6:04 PM, Pierre Chopin > wrote: > > >> Hi, >> I am trying to use pgocaml and lwt, but I have some error I can't >> understand: >> >> >> (**********************************************) >> (**********************************************) >> >> >> >> module Thread = struct open Lwt open Lwt_io type 'a t = 'a Lwt.t let (>>=) = >> (>>=) >> let return = return let fail = fail type in_channel = input_channel type >> out_channel = output_channel let open_connection addr = open_connection >> ~buffer_size:2097152 addr >> let output_char = write_char let output_binary_int = write_int let >> output_string = write let flush = flush let input_char = read_char let >> input_binary_int = read_int let really_input =read_into_exactly let >> close_in = close end >> >> >> module Lwt_db = PGOCaml_generic.Make(Thread) open Lwt_db >> >> open Lwt >> >> let query_user dbh id = PGSQL(dbh) "SELECT id,name,visited FROM user_db >> WHERE id=$id" >> >> >> let _ = Lwt_main.run >> (connect ~database:"schat" ()>|= >> function dbh -> query_user dbh 1L) >> >> (**********************************************) >> (**********************************************) >> >> >> when I try to compile : >> >> >> $ ocamlfind ocamlc -thread -c -package lwt,pgocaml,pgocaml.syntax >> -syntax >> camlp4o test.ml >> >> File "test.ml", line 34, characters 30-33: >> Error: This expression has type >> 'a Lwt_db.t = 'a PGOCaml_generic.Make(Thread).t >> but an expression was expected of type (string, bool) Hashtbl.t PGOCaml.t >> >> >> >> >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >> >> > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs