From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 749C4BB9A for ; Wed, 19 Oct 2005 00:12:03 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j9IMC3XD022323 for ; Wed, 19 Oct 2005 00:12:03 +0200 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 AAA12037 for ; Wed, 19 Oct 2005 00:12:02 +0200 (MET DST) Received: from smtp.andrew.cmu.edu (smtp.andrew.cmu.edu [128.2.10.81]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j9IMC0Na022316 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Wed, 19 Oct 2005 00:12:01 +0200 Received: from cmu.dyndns.org (GS3091.SP.CS.CMU.EDU [128.2.198.165]) by smtp.andrew.cmu.edu (8.13.4/8.13.4) with ESMTP id j9IMC1Hr004184; Tue, 18 Oct 2005 18:12:01 -0400 Date: Tue, 18 Oct 2005 18:11:59 -0400 Message-ID: From: Yong Lu To: caml-list@inria.fr Subject: listing toplevel definitions User-Agent: Wanderlust/2.14.0 (Africa) Emacs/22.0 Mule/5.0 (SAKAKI) Organization: Carnegie Mellon University MIME-Version: 1.0 (generated by SEMI 1.14.6 - "Maruoka") Content-Type: text/plain; charset=US-ASCII X-Miltered: at nez-perce with ID 43557333.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43557330.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 toplevel:01 toplevel:01 mellon:02 carnegie:05 pittsburgh:07 edu:07 student:08 wondering:09 university:10 science:14 bound:15 definitions:16 definitions:16 there's:16 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 Hello, I was wondering if there's a way to list all definitions (or bound names) in the toplevel? Thanks, Yong Lu -------------------------- Ph.D. Student Computer Science Department Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891 Office: WeH 8102 Phone: (412) 268-3562