From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA01569; Tue, 6 Mar 2001 23:08:08 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 XAA20637 for ; Tue, 6 Mar 2001 23:08:07 +0100 (MET) Received: from mx1.informatik.uni-tuebingen.de (mx1.Informatik.Uni-Tuebingen.De [134.2.12.5]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f26M87D26980 for ; Tue, 6 Mar 2001 23:08:07 +0100 (MET) Received: from sunstroke.informatik.uni-tuebingen.de (sunstroke [134.2.11.25]) by mx1.informatik.uni-tuebingen.de (Postfix) with ESMTP id 6B99943A for ; Tue, 6 Mar 2001 23:08:06 +0100 (MET) Received: (from pfitzen@localhost) by sunstroke.informatik.uni-tuebingen.de (8.9.3+Sun/8.9.1) id XAA13315 for caml-list@inria.fr; Tue, 6 Mar 2001 23:08:03 +0100 (MET) Date: Tue, 6 Mar 2001 23:08:03 +0100 (MET) From: Juergen Pfitzenmaier Message-Id: <200103062208.XAA13315@sunstroke.informatik.uni-tuebingen.de> Content-Type: text/plain To: undisclosed-recipients:; Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Olivier Andrieu wanted to build a Set of functional values but had problems with the comparison of these values. One solution would be to have a Set of pairs. The first element would be a functional value and the second something of a simple type (like integer). Then you define your comparison function only to use this second element. The only inconvenience is that you have always to select explicitly the first element of such pairs to get the functional value; but you can hide this inside a module build around Set. hope this is of some help pfitzen ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr