From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 02946BC0A for ; Fri, 8 Jun 2007 10:36:25 +0200 (CEST) Received: from stirner.roentgeninstitut.de (stirner.roentgeninstitut.de [212.110.109.210]) by concorde.inria.fr (8.13.6/8.13.6) with SMTP id l588aPrD012972 for ; Fri, 8 Jun 2007 10:36:25 +0200 Received: (qmail 17378 invoked by uid 1000); 8 Jun 2007 01:36:25 -0700 Date: Fri, 8 Jun 2007 01:36:25 -0700 From: Christian Stork To: caml-list@inria.fr Subject: Intended behavior of GenerateMap Message-ID: <20070608083625.GA17210@stirner.roentgeninstitut.de> Mail-Followup-To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Archive: encrypt User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at concorde with ID 46691509.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 camlp:01 recursive:01 806:98 021:98 caml-list:01 defined:02 defined:02 types:03 types:03 module:03 fingerprint:04 generated:05 chris:06 chris:06 Hi, Is my understanding correct that running "camlp4of -filter map ..." over class map = Camlp4Filters.GenerateMap.generated will produce a map class for *all* types defined in the current file -- irrespective if the types are incapsulated in a module (which is then used for the Camlp4Trash trick)? Wouldn't it be much nicer, i.e., more economical and more precise, if the above only produces a map class for the most recently defined type / mutually recursive types? Just wondering, Chris PS: I came to the above question after reading the source and some experimentation. Is there any place where the rationale behind GenerateMap/Fold is explained? -- Chris Stork <> Support eff.org! <> http://www.ics.uci.edu/~cstork/ OpenPGP fingerprint: B08B 602C C806 C492 D069 021E 41F3 8C8D 50F9 CA2F