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=1.9 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id C6AF2BBAF for ; Sun, 8 Mar 2009 23:54:14 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigEAKPps0nRVd2Cd2dsb2JhbACUaz8BDAoJCRGtUQeBAI1bAQMBA4QCBoMTgUg X-IronPort-AV: E=Sophos;i="4.38,325,1233529200"; d="scan'208";a="22228909" Received: from mail-qy0-f130.google.com ([209.85.221.130]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Mar 2009 23:54:14 +0100 Received: by qyk36 with SMTP id 36so800452qyk.1 for ; Sun, 08 Mar 2009 15:54:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:reply-to:to:subject:date :user-agent:references:in-reply-to:cc:content-type :content-transfer-encoding:content-disposition:message-id; bh=ixFm9XKa6bphf5pGtp3pqxO/66+WLeT+Ak6Jv0erasA=; b=jFIy9NYHm3XWhnIowIb+TNfs/JURdj/Eo6bNbS7gqtaMwSlVwK/+30HnuVa8qZWWoy AO7YE04vecuY5Gn6UC2U9CZa1PqLNBsVNH1pPhrDZkJYLbGtYi+9m8UO88270Y/CF3Dl UXKWiJgpklnQ65Qel6BWJlrQa+5jH8NI6MzSg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:reply-to:to:subject:date:user-agent:references:in-reply-to:cc :content-type:content-transfer-encoding:content-disposition :message-id; b=moriwkwsXpZpaA27zOJOyxPkvpBcr84Ha3RqowIKtdgmqHQDGoBOLPIv4/43Bx/+R9 TOn8MK8k17RX6zd4cRDzaZFgZF9x9BJHip5Yl9uqNc8Bg8ssfPVppU+Pe7XQFnChXxgR ZsQeuwHOt7P9aO6JAfi/dCb1h40pfcPmaE3f8= Received: by 10.224.2.138 with SMTP id 10mr6276249qaj.302.1236552853302; Sun, 08 Mar 2009 15:54:13 -0700 (PDT) Received: from lawn-143-215-204-204.lawn.gatech.edu (lawn-143-215-204-204.lawn.gatech.edu [143.215.204.204]) by mx.google.com with ESMTPS id 6sm11575473yxg.36.2009.03.08.15.54.12 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sun, 08 Mar 2009 15:54:12 -0700 (PDT) From: Peng Zang Reply-To: peng.zang@gmail.com To: ocaml_beginners@yahoogroups.com Subject: Re: "ocaml_beginners"::[] interpreter type information Date: Sun, 8 Mar 2009 18:54:09 -0400 User-Agent: KMail/1.9.9 References: <200903061558.34954.peng.zang@gmail.com> <4a708d20903061327j68f0b4a1wbc64e742b8440be7@mail.gmail.com> In-Reply-To: <4a708d20903061327j68f0b4a1wbc64e742b8440be7@mail.gmail.com> Cc: caml-list@yquem.inria.fr Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200903081854.11978.peng.zang@gmail.com> X-Spam: no; 0.00; ocaml:01 hash:01 lukasz:01 hash:01 toplevel:01 contrib:01 peng:98 peng:98 2009:98 2009:98 beginners:01 wrote:01 wrote:01 caml:02 hump:02 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Yeah, I've never announced this properly on the list before because it's not a nicely packaged, robust piece of software. I wrote it to scratch my own itch and it works well for that. I haven't had the time to clean it up properly and release it. If anyone is interested in taking it and making it nice, contact me and I'll send you the latest code. Peng On Friday 06 March 2009 04:27:13 pm Lukasz Stafiniak wrote: > Wow, I've failed to notice your tools before; thanks for bringing it > up! I've thought of a tool like SOLID, I even posted my thoughts to > the list. (I would name it OCamlDev.el, but SOLID sounds better.) > > On Fri, Mar 6, 2009 at 9:58 PM, Peng Zang wrote: > > -----BEGIN PGP SIGNED MESSAGE----- > > Hash: SHA1 > > > > It's available as an extension to the toplevel. See enhtop: > > > > http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=566 > > > > And my addition to it enhtop+ > > > > http://www.cc.gatech.edu/~pengzang/tools.html -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) iD4DBQFJtEyTfIRcEFL/JewRAk6UAKCN1wWMW8ISn5iLw9V0EKoIkA7cwgCWPxXs eqCRn+3u8QbEUxTETCugTw== =OH/X -----END PGP SIGNATURE-----