From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Phillip Lord Newsgroups: gmane.emacs.help Subject: Re: Using custom as a type checker:- ramble Date: 26 Mar 2003 16:59:41 +0000 Organization: BIOSCI/MRC Human Genome Mapping Project Resource Centre Sender: help-gnu-emacs-bounces+gnu-help-gnu-emacs=m.gmane.org@gnu.org Message-ID: References: <5ld6ke9k6c.fsf@rum.cs.yale.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1048698284 6882 80.91.224.249 (26 Mar 2003 17:04:44 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Wed, 26 Mar 2003 17:04:44 +0000 (UTC) Original-X-From: help-gnu-emacs-bounces+gnu-help-gnu-emacs=m.gmane.org@gnu.org Wed Mar 26 18:04:43 2003 Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 18yEKQ-0001mr-00 for ; Wed, 26 Mar 2003 18:04:42 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10.13) id 18yEIP-00047n-0B for gnu-help-gnu-emacs@m.gmane.org; Wed, 26 Mar 2003 12:02:37 -0500 Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!feed.news.nacamar.de!newsfeed01.sul.t-online.de!t-online.de!lnewspeer00.lnd.ops.eu.uu.net!emea.uu.net!server1.netnews.ja.net!hgmp.mrc.ac.uk!not-for-mail Original-Newsgroups: gnu.emacs.help Original-Lines: 37 Original-NNTP-Posting-Host: bromine.hgmp.mrc.ac.uk Original-X-Trace: niobium.hgmp.mrc.ac.uk 1048697982 29316 193.62.192.35 (26 Mar 2003 16:59:42 GMT) Original-X-Complaints-To: news@net.bio.net Original-NNTP-Posting-Date: Wed, 26 Mar 2003 16:59:42 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2.93 Original-Xref: shelby.stanford.edu gnu.emacs.help:111426 Original-To: help-gnu-emacs@gnu.org X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1b5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Help: List-Post: List-Subscribe: , List-Archive: List-Unsubscribe: , Errors-To: help-gnu-emacs-bounces+gnu-help-gnu-emacs=m.gmane.org@gnu.org Xref: main.gmane.org gmane.emacs.help:7926 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:7926 >>>>> "Stefan" == Stefan Monnier writes: >>>>> "Phillip" == Phillip Lord writes: >> Now what I would want to do is combine the two. So have something >> like (custom-setq compilation-window-height) Where custom-setq >> would use the custom mechanism to set a variable. If it was of >> the wrong type (so would display "mismatch" in the dialog), then >> at this point an error would be signalled. This way I would have >> most of the advantages of both systems. I could do conditional >> logic, I could comment, I could grep, and so on. But I would also >> get good "type safety." Stefan> What I would much rather have is a way to load a normal Stefan> .emacs and automatically have all the `setq's checked as Stefan> above. The checking could also include obsolescence and Stefan> things like that. Stefan> I.e. I don't want to change the .emacs code at all, but I'd Stefan> like to have a more-or-less generic way to add helpful Stefan> analysis of the code so as to give useful information to the Stefan> user about suspicious customizations. Well I would agree that this would be preferable. What worries me, though, is the complexity of this task. I don't know about you, but my .emacs (and other files that I call from .emacs) is huge, and often complex, so interpreting this would be complex. Adding a "custom-setq" function would potentially be very simple. Although I guess you would also need "custom-add-to-list". And then "custom-add-hook". And so on. By which time I gets a lot less simple, and would also require a lot of recoding of existing .emacs'. Hmmm. Phil