GNU bug report logs - #9934
24.0.91; `region-active-p' definition

Previous Next

Package: emacs;

Reported by: "Drew Adams" <drew.adams <at> oracle.com>

Date: Tue, 1 Nov 2011 17:16:02 UTC

Severity: minor

Found in version 24.0.91

Done: Stefan Monnier <monnier <at> IRO.UMontreal.CA>

Bug is archived. No further changes may be made.

Full log

Message #28 received at 9934 <at> debbugs.gnu.org (full text, mbox):

From: "Drew Adams" <drew.adams <at> oracle.com>
To: "'Andreas Schwab'" <schwab <at> linux-m68k.org>
Cc: 9934 <at> debbugs.gnu.org
Subject: RE: bug#9934: 24.0.91; `region-active-p' definition
Date: Tue, 1 Nov 2011 15:26:33 -0700

> A non-existent region is inactive.

A non-existent region is simply... _not_.
It is not a region, a fortiori not an inactive region.

Or, rather, from false anything follows.

A non-existent region is active.  And inactive.  And red, and president...  It
is a region and not a region.  You can say whatever you like about a
non-existent X, even that it exists!.

If x is an element of the empty set, then <say anything you like, about x or
anything else>.
This bug report was last modified 13 years and 204 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.