From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 31C7D7ED25 for ; Sun, 21 Jul 2013 13:25:47 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=81.103.221.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of dra-news@metastack.com does not assert whether or not 81.103.221.47 is permitted sender) identity=mailfrom; client-ip=81.103.221.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mtaout01-winn.ispmail.ntl.com) identity=helo; client-ip=81.103.221.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@mtaout01-winn.ispmail.ntl.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AicBAKLE61FRZ90vlGdsb2JhbABagmVWwH+BFxYOAQEBAQcNCQkUAyWCJAEBAgIBOj8FCwIBCDYQIRElAgQOBYd+AwkHA60UDYhejSqCOTMHgxBuA5V0jAuCBYg4 X-IPAS-Result: AicBAKLE61FRZ90vlGdsb2JhbABagmVWwH+BFxYOAQEBAQcNCQkUAyWCJAEBAgIBOj8FCwIBCDYQIRElAgQOBYd+AwkHA60UDYhejSqCOTMHgxBuA5V0jAuCBYg4 X-IronPort-AV: E=Sophos;i="4.89,713,1367964000"; d="scan'208";a="26772246" Received: from mtaout01-winn.ispmail.ntl.com ([81.103.221.47]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Jul 2013 13:25:45 +0200 Received: from aamtaout03-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout01-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20130721112545.QIZT4711.mtaout01-winn.ispmail.ntl.com@aamtaout03-winn.ispmail.ntl.com>; Sun, 21 Jul 2013 12:25:45 +0100 Received: from romulus.metastack.com ([81.98.252.242]) by aamtaout03-winn.ispmail.ntl.com (InterMail vG.3.00.04.00 201-2196-133-20080908) with ESMTP id <20130721112545.QMOQ2660.aamtaout03-winn.ispmail.ntl.com@romulus.metastack.com>; Sun, 21 Jul 2013 12:25:45 +0100 Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id r6LBPgqt025070 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Sun, 21 Jul 2013 12:25:42 +0100 Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0123.003; Sun, 21 Jul 2013 12:25:42 +0100 From: David Allsopp To: "zech.ph@gmail.com" CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] Error: Unbound value abs_num Thread-Index: AQHOhf/JWaDVm/dyHEqwf+JK/zeWKZlu/hEl Date: Sun, 21 Jul 2013 11:25:41 +0000 Message-ID: <1753C417-01D9-4A8B-9F8A-8256CCC98813@metastack.com> References: In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Cloudmark-Analysis: v=1.1 cv=GaEGOwq9FwezmTggA+b6yC6zDZF2HYaK6RN/tSqdnVA= c=1 sm=0 a=2Y354brmyU4A:10 a=cTs9vV391PwA:10 a=kj9zAlcOel0A:10 a=xqWC_Br6kY4A:10 a=pGLkceISAAAA:8 a=I679QrP8Q_X_bw9K_2MA:9 a=CjuIK1q_8ugA:10 a=MSl-tDqOz04A:10 a=JmukATS8My050_Yn:21 a=8Afis5P5SU1T8AyA:21 a=HpAAvcLHHh0Zw7uRqdWCyQ==:117 Subject: Re: [Caml-list] Error: Unbound value abs_num zech.ph@gmail.com wrote: > Hi, >=20 > I'm new to OCaml and already struggling around with the seemingly easiest > things. > Following some introductory texts I wanted to play around a little with t= he > toplevel and its various features, among others, using provided modules. = For > this, I thought about loading nums.cma and try some of its defined functi= ons, > but it just does not work. See below for what I do in the toplevel and the > respective output. >=20 >> ocaml > OCaml version 4.00.1 > # #load "nums.cma";; > # abs_num 4;; > Error: Unbound value abs_num You need to qualify the identifier or open the module - abs_num is in the N= um module (which you've correctly #load'd with nums.cma) so you either say: Num.abs_num 4;; or open Num;; abs_num 4;; however you'll then hit another problem - abs_num needs a num not an int so= you really mean: Num.abs_num (Num.Int 4);; > # abs 4;; > - : int =3D 4 >=20 > From my point it looks like I do not miss anything, yet, I just can't call > abs_num. And I don't know why. I'm working on a Fedora 19 x64. I checked > Bugzilla, but couldn't find any Fedora related issues (at least for this > behavior). It's unlikely when beginning that you'll hit either a big in OCaml or your = distro - better to stick with the assumption that you've made a mistake and= ask for help (as you have!) David=