From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA29593 for caml-redistribution; Thu, 30 Oct 1997 15:42:30 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA13500 for ; Tue, 28 Oct 1997 14:16:33 +0100 (MET) Received: from rs1.hrz.tu-darmstadt.de (rs1.hrz.tu-darmstadt.de [130.83.22.60]) by nez-perce.inria.fr (8.8.7/8.8.5) with SMTP id OAA07122 for ; Tue, 28 Oct 1997 14:16:30 +0100 (MET) Received: from crunch (crunch.ikp.physik.tu-darmstadt.de [130.83.24.4]) by rs1.hrz.tu-darmstadt.de (8.6.12/8.6.12.0ms) with SMTP id OAA93822 for ; Tue, 28 Oct 1997 14:16:29 +0100 Received: by crunch (AIX 3.2/UCB 5.64/Client-1.5/HRZ-THD) id AA21808; Tue, 28 Oct 1997 14:16:28 +0100 Date: Tue, 28 Oct 1997 14:16:28 +0100 Message-Id: <9710281316.AA21808@crunch> From: Thorsten Ohl To: caml-list@inria.fr Subject: [OCaml:] equality predicates for all abstract data types? Sender: weis [ No french version. Sorry. ] Just a wish/suggestion for the next release: can we have equality predicates for _all_ abstract data types in the libraries distributed with O'Caml? Sunday afternoon, I wanted to use a Hashtbl indexed by Unix.file_descr and got burned. -- Thorsten Ohl, Physics Department, TH Darmstadt --- PGP: AF 38 FF CE 03 8A 2E A7 http://crunch.ikp.physik.th-darmstadt.de/~ohl/ -------- 8F 2A C1 86 8C 06 32 6B