From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id E54497EDE3 for ; Tue, 16 Oct 2012 06:15:02 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lambda.q.q@gmail.com) identity=pra; client-ip=209.85.215.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="lambda.q.q@gmail.com"; x-sender="lambda.q.q@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of lambda.q.q@gmail.com designates 209.85.215.54 as permitted sender) identity=mailfrom; client-ip=209.85.215.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="lambda.q.q@gmail.com"; x-sender="lambda.q.q@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f54.google.com) identity=helo; client-ip=209.85.215.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="lambda.q.q@gmail.com"; x-sender="postmaster@mail-la0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkICAP7dfFDRVdc2k2dsb2JhbABFhUu6QAgjAQEBAQkJFBQEI4I5AiYGATkDDQUmNAEEIAEFARZBh1ADDwSaLIJkCQOOEoEKhUwnDYlOAQUMi0CDF4MhA4hSjRmBFY06P4FYgjw X-IronPort-AV: E=Sophos;i="4.80,593,1344204000"; d="scan'208";a="159146995" Received: from mail-la0-f54.google.com ([209.85.215.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Oct 2012 06:15:02 +0200 Received: by mail-la0-f54.google.com with SMTP id e12so6350840lag.27 for ; Mon, 15 Oct 2012 21:15:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:to:subject:date:message-id:user-agent:mime-version :content-type; bh=3yt3FuJorRYbNdv1057x2TpP2Tx2bfwdmwey7hZiz3k=; b=JZG2I0iHNRKmpDBlv8Q6c+sy6s3cFMBxotsf/ny0qVLGjluuBl0MAkyP4tzgSLGxzl 9RbJFP9HXvBn+Wo1OIc1LrUJWiD3nnIErhyTBaGod5DE2jZK0vkVHvK8atuKO76HB1Dz 3dEfdPVEtupAjS5EOjn+ameRV05qxITHsBOVld4Llo+YrWfSC0GZ+wkeJqHYW3y9CkE8 lx380Ncewz6w5ZzMU+lSFw+uz7JbCc8yS4SqN4szkDbaFfyVSLzT1Jmgmhw3SvQaEfPY Jwik74OmiMZZS3YYkkf5w/M3vwIquwqLH/NxVcP32Ti3pQ9SQ4BeQ4M23AIcj0fjlX1w WsyA== Received: by 10.152.112.136 with SMTP id iq8mr11447564lab.18.1350360900926; Mon, 15 Oct 2012 21:15:00 -0700 (PDT) Received: from golf.niidar.ru.niidar.ru ([178.176.90.157]) by mx.google.com with ESMTPS id xw14sm5048993lab.15.2012.10.15.21.14.59 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 15 Oct 2012 21:15:00 -0700 (PDT) Sender: Ivan Gotovchits From: Ivan Gotovchits To: caml-list@inria.fr Date: Tue, 16 Oct 2012 08:19:52 +0400 Message-ID: <87mwznxd3r.fsf@golf.niidar.ru> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Subject: [Caml-list] using batteries syntax extensions Hello, I'm trying to enable syntax extensions, provided by the Batteries. I've downloaded ``ocamlfind enabled'' myocamlbuild.ml and added the following to my _tags file: <*> : pkg_batteries.syntax,syntax_camlp4o,use_batteries,... And, when I've tried for a new syntax let n = 2 * m where m = 2 compiler complained: ocamlfind ocamlc -c -package batteries.syntax -package oUnit -package threads -package uuidm -syntax camlp4o -thread -package batteries -syntax camlp4o -I +gsl -I +res -o mack.cmo mack.ml File "mack.ml", line 11, characters 12-13: Error: Unbound value m What am I doing wrong? System: Debian Squeeze 6.0.5 Ocaml: 3.11.2-2 Batteries: 1.2.2-1 Thank in advance, for any help. P.S. I cannot upgrade to a more recent versions, due to certification issues... -- (__) (oo) /------\/ / | || * /\---/\ ~~ ~~ ...."Have you mooed today?"...