From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: "Stefan Monnier" Newsgroups: gmane.emacs.help Subject: Re: Using custom as a type checker:- ramble Date: 26 Mar 2003 11:17:31 -0500 Organization: Yale University Sender: help-gnu-emacs-bounces+gnu-help-gnu-emacs=m.gmane.org@gnu.org Message-ID: <5ld6ke9k6c.fsf@rum.cs.yale.edu> References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1048695940 25664 80.91.224.249 (26 Mar 2003 16:25:40 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Wed, 26 Mar 2003 16:25:40 +0000 (UTC) Original-X-From: help-gnu-emacs-bounces+gnu-help-gnu-emacs=m.gmane.org@gnu.org Wed Mar 26 17:25:38 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 18yDic-0006fl-00 for ; Wed, 26 Mar 2003 17:25:38 +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 18yDdu-0006iU-08 for gnu-help-gnu-emacs@m.gmane.org; Wed, 26 Mar 2003 11:20:46 -0500 Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!nntp.cs.ubc.ca!logbridge.uoregon.edu!news.ycc.yale.edu!rum.cs.yale.edu!rum.cs.yale.edu Original-Newsgroups: gnu.emacs.help Original-Lines: 21 Original-NNTP-Posting-Host: rum.cs.yale.edu User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3.50 X-Original-NNTP-Posting-Host: rum.cs.yale.edu X-Original-Trace: 26 Mar 2003 11:17:31 -0500, rum.cs.yale.edu Original-Xref: shelby.stanford.edu gnu.emacs.help:111424 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:7924 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:7924 >>>>> "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." What I would much rather have is a way to load a normal .emacs and automatically have all the `setq's checked as above. The checking could also include obsolescence and things like that. I.e. I don't want to change the .emacs code at all, but I'd like to have a more-or-less generic way to add helpful analysis of the code so as to give useful information to the user about suspicious customizations. Stefan