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 B76787FADB for ; Wed, 5 Nov 2014 19:46:33 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r.wobben@home.nl) identity=pra; client-ip=212.54.34.165; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="r.wobben@home.nl"; x-sender="r.wobben@home.nl"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r.wobben@home.nl) identity=mailfrom; client-ip=212.54.34.165; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="r.wobben@home.nl"; x-sender="r.wobben@home.nl"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtpq2.gn.mail.iss.as9143.net) identity=helo; client-ip=212.54.34.165; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="r.wobben@home.nl"; x-sender="postmaster@smtpq2.gn.mail.iss.as9143.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYBADZwWlTUNiKlnGdsb2JhbABc2kUWAQEBAQERAQEBAQEGDQkJFC6EMBFAPRYYAwIBAgFYCAEBiEGnJ6UDkS6ENQWTLopih3SQKAwBgiWDNgEBAQ X-IPAS-Result: ArYBADZwWlTUNiKlnGdsb2JhbABc2kUWAQEBAQERAQEBAQEGDQkJFC6EMBFAPRYYAwIBAgFYCAEBiEGnJ6UDkS6ENQWTLopih3SQKAwBgiWDNgEBAQ X-IronPort-AV: E=Sophos;i="5.07,321,1413237600"; d="scan'208";a="105019212" Received: from smtpq2.gn.mail.iss.as9143.net ([212.54.34.165]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Nov 2014 19:46:33 +0100 Received: from [212.54.34.134] (helo=smtp3.gn.mail.iss.as9143.net) by smtpq2.gn.mail.iss.as9143.net with esmtp (Exim 4.71) (envelope-from ) id 1Xm5bE-0001IT-JH for caml-list@inria.fr; Wed, 05 Nov 2014 19:46:32 +0100 Received: from 524acd6d.cm-4-3d.dynamic.ziggo.nl ([82.74.205.109] helo=[192.168.0.100]) by smtp3.gn.mail.iss.as9143.net with esmtp (Exim 4.71) (envelope-from ) id 1Xm5bE-00078q-Dv for caml-list@inria.fr; Wed, 05 Nov 2014 19:46:32 +0100 Message-ID: <545A708C.6060900@home.nl> Date: Wed, 05 Nov 2014 19:46:36 +0100 From: Roelof Wobben User-Agent: Mozilla/5.0 (Windows NT 6.1; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Ziggo-spambar: ---- X-Ziggo-spamscore: -4.4 X-Ziggo-spamreport: ALL_TRUSTED=-1,BAYES_00=-1.9,CM_META_TB_NOARR=0.5,PROLO_TRUST_RDNS=-3,RDNS_DYNAMIC=0.982 X-Ziggo-Spam-Status: No X-Spam-Flag: No Subject: [Caml-list] why is the variable here unbound. Hello, I asked this question also on the beginners list but till now no respons. I have this : let length list = let rec length2 list2 acc = match list2 with | [] -> acc | x::xs -> length2 xs (acc + 1) in acc 0 list2 list ;; But as soon as I copie it into the ocaml prompt I see a message that the acc in the part in acc 0 list2 list is unbound. Roelof