From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA07579; Thu, 3 Oct 2002 11:18:23 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA07624 for ; Thu, 3 Oct 2002 11:18:22 +0200 (MET DST) Received: from cirse.saclay.cea.fr (cirse.saclay.cea.fr [132.166.192.127]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g939IL508225 for ; Thu, 3 Oct 2002 11:18:21 +0200 (MET DST) Received: from araneus.saclay.cea.fr (araneus.saclay.cea.fr [132.166.192.110]) by cirse.saclay.cea.fr (8.12.2/8.12.2/CEAnet-Internet.1.0) with ESMTP id g939ILtX025060 for ; Thu, 3 Oct 2002 11:18:21 +0200 (MEST) Received: from nenuphar.saclay.cea.fr (unverified) by araneus.saclay.cea.fr (Content Technologies SMTPRS 4.2.10) with ESMTP id for ; Thu, 3 Oct 2002 11:15:24 +0200 Received: from aigle.saclay.cea.fr (aigle.saclay.cea.fr [132.166.132.1]) by nenuphar.saclay.cea.fr (8.12.2/8.12.2/CEAnet-Interne.1.0) with ESMTP id g939IKvV019893; Thu, 3 Oct 2002 11:18:20 +0200 (MEST) Received: from is002258.saclay.cea.fr by aigle.saclay.cea.fr (8.8.8+Sun/CEANET.2.0.1) id LAA12129; Thu, 3 Oct 2002 11:18:19 +0200 (MET DST) Received: from basile by is002258.saclay.cea.fr with local (Exim 4.10) id 17x27g-0004V5-00; Thu, 03 Oct 2002 11:18:20 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15772.2906.636455.218616@is002258.saclay.cea.fr> Date: Thu, 3 Oct 2002 11:18:18 +0200 To: caml-list@inria.fr Subject: [Caml-list] type constructor escape its scope X-Mailer: VM 7.07 under Emacs 21.2.1 From: Basile STARYNKEVITCH Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello List, [[I'm a bit sick today so brain is badly working... probably a trivial question I would be ashamed to ask on normal days.. sorry...]] I compile a selfcontained camlp4 stuff. You can get it from http://www2.poesia-filter.org:8000/cgi-bin/cvsweb.cgi/~checkout~/PoesiaSoft/PoesiaMonIcap/pa_filtproto.ml?rev=1.3&content-type=text/plain It is the pa_filtproto.ml file in PoesiaSoft/PoesiaMonIcap/ revision 1.3 under CVS on www.poesia-filter.org I've got when compiling with ocamlc -pp "camlp4o pa_extend.cmo" -I +camlp4 -I . -c pa_filtproto.ml the strange message File "pa_filtproto.ml", line 60, characters 7-41: This expression has type definition_t but is here used with type 'a The type constructor definition_t would escape its scope However, definition_t is a type defined in line 37 of the same file any clues? Thanks.... N.B. Any opinions expressed here are only mine, and not of my organization. N.B. Les opinions exprimees ici me sont personnelles et n engagent pas le CEA. --------------------------------------------------------------------- Basile STARYNKEVITCH ---- Commissariat à l Energie Atomique * France DRT/LIST/DTSI/SLA * CEA/Saclay b.528 (p111f) * 91191 GIF/YVETTE CEDEX phone:+33 1,6908.6055; fax: 1,6908.8395 home: 1,4665.4553; mobile: 6,8501.2359 work email: Basile point Starynkevitch at cea point fr home email: Basile at Starynkevitch point net ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners