[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#327211: marked as done (Wrong order in Map.fold)



Your message dated Mon, 07 Nov 2005 04:47:22 -0800
with message-id <E1EZ6PC-0002yD-00@spohr.debian.org>
and subject line Bug#327211: fixed in ocaml 3.09.0-1
has caused the attached Bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Debian bug tracking system administrator
(administrator, Debian Bugs database)

--------------------------------------
Received: (at submit) by bugs.debian.org; 8 Sep 2005 12:09:04 +0000
>From falk@debian.org Thu Sep 08 05:09:04 2005
Return-path: <falk@debian.org>
Received: from smtp05.web.de [217.72.192.209] 
	by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
	id 1EDLDD-00049R-00; Thu, 08 Sep 2005 05:09:04 -0700
Received: from [213.23.60.146] (helo=juist)
	by smtp05.web.de with asmtp (TLSv1:DES-CBC3-SHA:168)
	(WEB.DE 4.105 #314)
	id 1EDLCi-00024E-00
	for submit@bugs.debian.org; Thu, 08 Sep 2005 14:08:33 +0200
Received: from falk by juist with local (Exim 4.52)
	id 1EDLCh-0001SM-B9
	for submit@bugs.debian.org; Thu, 08 Sep 2005 14:08:31 +0200
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Falk Hueffner <falk@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Wrong order in Map.fold
X-Mailer: reportbug 3.17
Date: Thu, 08 Sep 2005 14:08:31 +0200
Message-Id: <E1EDLCh-0001SM-B9@juist>
Sender: falk@debian.org
X-Sender: falk.hueffner@web.de
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02 
	(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level: 
X-Spam-Status: No, hits=-8.0 required=4.0 tests=BAYES_00,HAS_PACKAGE 
	autolearn=no version=2.60-bugs.debian.org_2005_01_02

Package: ocaml-nox
Version: 3.08.3-7
Severity: normal
File: /usr/bin/ocamlc

falk@juist:/tmp% cat test.ml
module IntMap = Map.Make(struct type t = int let compare = compare end);;
let make_set = List.fold_left (fun s x -> IntMap.add x 0 s) IntMap.empty;;
let () =
  let s = make_set [23; 17; 616]
  in
    IntMap.fold (fun x _ () -> Printf.printf "%d\n" x) s ()
;;
falk@juist:/tmp% ocamlc test.ml && ./a.out
616
23
17

However, the manual says (and I would expect) that keys are enumerated
in *increasing* order. Map.iter is correct in this regard.

	Falk


-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: alpha
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.11.3
Locale: LANG=C, LC_CTYPE=de_DE@euro (charmap=ISO-8859-15)

Versions of packages ocaml-nox depends on:
ii  emacsen-common                1.4.16     Common facilities for all emacsen
ii  libncurses5-dev               5.4-9      Developer's libraries and docs for
ii  ocaml-base-nox [ocaml-base-no 3.08.3-7   Runtime system for ocaml bytecode 
ii  ocaml-interp [ocaml-interp-3. 3.08.3-7   Ocaml interpreter and standard lib

Versions of packages ocaml-nox recommends:
ii  file                          4.12-1     Determines file type using "magic"
pn  ledit                         <none>     (no description available)

-- no debconf information

---------------------------------------
Received: (at 327211-close) by bugs.debian.org; 7 Nov 2005 12:51:27 +0000
>From katie@spohr.debian.org Mon Nov 07 04:51:27 2005
Return-path: <katie@spohr.debian.org>
Received: from katie by spohr.debian.org with local (Exim 3.36 1 (Debian))
	id 1EZ6PC-0002yD-00; Mon, 07 Nov 2005 04:47:22 -0800
From: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
To: 327211-close@bugs.debian.org
X-Katie: $Revision: 1.56 $
Subject: Bug#327211: fixed in ocaml 3.09.0-1
Message-Id: <E1EZ6PC-0002yD-00@spohr.debian.org>
Sender: Archive Administrator <katie@spohr.debian.org>
Date: Mon, 07 Nov 2005 04:47:22 -0800
Delivered-To: 327211-close@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02 
	(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level: 
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER 
	autolearn=no version=2.60-bugs.debian.org_2005_01_02

Source: ocaml
Source-Version: 3.09.0-1

We believe that the bug you reported is fixed in the latest version of
ocaml, which is due to be installed in the Debian FTP archive:

ocaml-base-nox_3.09.0-1_powerpc.deb
  to pool/main/o/ocaml/ocaml-base-nox_3.09.0-1_powerpc.deb
ocaml-base_3.09.0-1_powerpc.deb
  to pool/main/o/ocaml/ocaml-base_3.09.0-1_powerpc.deb
ocaml-compiler-libs_3.09.0-1_powerpc.deb
  to pool/main/o/ocaml/ocaml-compiler-libs_3.09.0-1_powerpc.deb
ocaml-interp_3.09.0-1_powerpc.deb
  to pool/main/o/ocaml/ocaml-interp_3.09.0-1_powerpc.deb
ocaml-mode_3.09.0-1_all.deb
  to pool/main/o/ocaml/ocaml-mode_3.09.0-1_all.deb
ocaml-native-compilers_3.09.0-1_powerpc.deb
  to pool/main/o/ocaml/ocaml-native-compilers_3.09.0-1_powerpc.deb
ocaml-nox_3.09.0-1_powerpc.deb
  to pool/main/o/ocaml/ocaml-nox_3.09.0-1_powerpc.deb
ocaml-source_3.09.0-1_all.deb
  to pool/main/o/ocaml/ocaml-source_3.09.0-1_all.deb
ocaml_3.09.0-1.diff.gz
  to pool/main/o/ocaml/ocaml_3.09.0-1.diff.gz
ocaml_3.09.0-1.dsc
  to pool/main/o/ocaml/ocaml_3.09.0-1.dsc
ocaml_3.09.0-1_powerpc.deb
  to pool/main/o/ocaml/ocaml_3.09.0-1_powerpc.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 327211@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (supplier of updated ocaml package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Mon, 07 Nov 2005 10:56:49 +0100
Source: ocaml
Binary: ocaml-compiler-libs ocaml-native-compilers ocaml-base ocaml-nox ocaml-mode ocaml-interp ocaml-source ocaml-base-nox ocaml
Architecture: source powerpc all
Version: 3.09.0-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Description: 
 ocaml      - ML language implementation with a class-based object system
 ocaml-base - Runtime system for ocaml bytecode executables
 ocaml-base-nox - Runtime system for ocaml bytecode executables
 ocaml-compiler-libs - Ocaml interpreter and standard libraries
 ocaml-interp - Ocaml interpreter and standard libraries
 ocaml-mode - A major mode for editing Objective Caml in Emacs
 ocaml-native-compilers - Native code compilers of the ocaml suite (the .opt ones)
 ocaml-nox  - ML language implementation with a class-based object system
 ocaml-source - Sources for Objective Caml
Closes: 263163 294753 301046 304360 327211
Changes: 
 ocaml (3.09.0-1) unstable; urgency=low
 .
   * New upstream release.
     - self references are now ruled out (Closes: #263163, #294753)
     - better escaping in manpages generated by ocamldoc (Closes: #301046)
     - typo fixed in ocamldoc.1 (Closes: #304360)
     - argument order changed in Map.fold (Closes: #327211)
 .
   [ Julien Cristau ]
   * Cleanup debian/control: remove redundant Depends.
   * Update location of ocaml-md5sums stuff.
   * Build-Depend on chrpath and delete rpath from DLLs.
   * Various lintian warnings fixed, and overrides cleaned up.
 .
   [ Sven Luther ]
   * Updated to new upstream release.
   * Modified the packaging ifrastructure to not use hard-coded abi number
     except in the head of debian/rules. All else is sed'ed from #OcamlABI#
     (and #OcamlMAJOR# for the debian/copyright file and the upstream url).
Files: 
 96f4101e183d0689908c3a71e27832c6 869 devel optional ocaml_3.09.0-1.dsc
 bac0cb9dea79256c54777094f269f74b 59543 devel optional ocaml_3.09.0-1.diff.gz
 135b2dffb33bc02bc6c740ce04347fb5 93702 devel optional ocaml-mode_3.09.0-1_all.deb
 42a361d1a02596bba4c688fc770f9268 6641668 devel optional ocaml-nox_3.09.0-1_powerpc.deb
 bebd5028a89ea216501b3554d17b1f58 3201762 devel optional ocaml-native-compilers_3.09.0-1_powerpc.deb
 015f57783a1f9c50b15815beb0197e88 1929784 devel optional ocaml_3.09.0-1_powerpc.deb
 15815e3610ba3f8861bb37f07b4575c1 290176 devel optional ocaml-base-nox_3.09.0-1_powerpc.deb
 67ded72c0f64be7e7ad8c8f4a2722bff 71500 devel optional ocaml-base_3.09.0-1_powerpc.deb
 ee1ffe867453e14df4befc5c8955695c 2051376 devel optional ocaml-source_3.09.0-1_all.deb
 4cf889331c1e4fd286195b7a6c089907 1008246 devel optional ocaml-interp_3.09.0-1_powerpc.deb
 edef88416e7f9c93faee1a7619f8e8e5 883406 devel optional ocaml-compiler-libs_3.09.0-1_powerpc.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)

iD8DBQFDb0ew2WTeT3CRQaQRAmhGAJ9LHaRNvq2Rxqn0i0jboUBzoGyJBQCdHSHL
GW66wYJhBoYzJQaLyHr6Nu8=
=Mo5k
-----END PGP SIGNATURE-----



Reply to: