From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 1C90EBC6B for ; Sat, 3 Nov 2007 15:54:38 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKMoLEfRVYC9kmdsb2JhbACObwIBAQcCBhMWgRE X-IronPort-AV: E=Sophos;i="4.21,366,1188770400"; d="scan'208";a="18898681" Received: from fk-out-0910.google.com ([209.85.128.189]) by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Nov 2007 15:54:37 +0100 Received: by fk-out-0910.google.com with SMTP id b27so1237244fka for ; Sat, 03 Nov 2007 07:54:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:subject:from:to:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; bh=rF1Nme8JA24o/Xf6LS0hliumwQOZXGQQpcyaoq0zHBw=; b=SNRjT3pvL9IuOTtINs2ZvxXYh8A3DBfL/qZOdbSZoHTzF3SHzZURXLBSTtSVAbH7ZW93ehiGoef2raMeGyhI82jn26gJpkaw/nhA5t5iQ0ZpCBQ6Yins0eyxJzteQryoy8Jr6jlEsaBfMoYes9dj+HEdX2uSBXtRNKPI4aFsmM0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:subject:from:to:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=WgU90dmfFY+MCO6LEMJNjmDE4MVh9eXETvvJ0/cdm2VNz7nR2y8l/m8tEzTr16EOWRaV5k1wiy7p766ZgCQc+0npVPFCpuoXOdeZ/DzzVgOlwMdKThjoz/muhKy8RSJYzuYlf5vhG2B/v4WyuM9F3rduxcq0D8gU2ux9nEGtCpk= Received: by 10.82.107.15 with SMTP id f15mr5594538buc.1194101676794; Sat, 03 Nov 2007 07:54:36 -0700 (PDT) Received: from ?192.168.0.12? ( [82.235.58.110]) by mx.google.com with ESMTPS id e8sm9623155muf.2007.11.03.07.54.34 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sat, 03 Nov 2007 07:54:34 -0700 (PDT) Subject: Pre-processing stream parsers From: David Teller To: Caml Content-Type: text/plain Date: Sat, 03 Nov 2007 15:54:54 +0100 Message-Id: <1194101694.6804.27.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.0 Content-Transfer-Encoding: 7bit Sender: David Teller X-Spam: no; 0.00; parsers:01 univ-orleans:01 camlp:01 parsers:01 ctyp:01 ctyp:01 univ-orleans:01 lifo:01 d'orleans:01 javascript:98 patt:01 patt:01 ident:01 laboratoire:03 module:03 Dear list, I'm currently attempting to use Camlp4 3.10 to pre-process stream parsers and I have a few difficulties. Now, while I have no problems with symbols such as type_ident_and_parameters, ctyp or opt_eq_ctyp, which are imported, I don't find the correct module to open to get stream_patt_comp, stream_begin, stream_end or stream_patt. Could anyone give me a hand ? Thanks, David -- David Teller ------------------------------------------ Security of Distributed Systems ----------------------- Project JStify: Static Analysis for JavaScript 2 ----- -- http://www.univ-orleans.fr/lifo/Members/David.Teller ----- Laboratoire d'Informatique Fondamentale d'Orleans