From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Checking for loss of information on integer conversion Date: Thu, 22 Feb 2018 14:31:21 -0500 Message-ID: References: <7432641a-cedc-942c-d75c-0320fce5ba39@cs.ucla.edu> <87woza7wwi.fsf@trurl.irif.fr> <87sh9x97yz.fsf@trurl.irif.fr> <87zi41kmto.fsf@trurl.irif.fr> <83d10x557h.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1519327852 16656 195.159.176.226 (22 Feb 2018 19:30:52 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 22 Feb 2018 19:30:52 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Feb 22 20:30:48 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eowZr-00042f-Ql for ged-emacs-devel@m.gmane.org; Thu, 22 Feb 2018 20:30:47 +0100 Original-Received: from localhost ([::1]:40628 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eowbu-00073T-1k for ged-emacs-devel@m.gmane.org; Thu, 22 Feb 2018 14:32:54 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:35729) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eowab-0006zO-7v for emacs-devel@gnu.org; Thu, 22 Feb 2018 14:31:37 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eowaX-0001KD-9V for emacs-devel@gnu.org; Thu, 22 Feb 2018 14:31:33 -0500 Original-Received: from [195.159.176.226] (port=49440 helo=blaine.gmane.org) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eowaX-0001Jt-1n for emacs-devel@gnu.org; Thu, 22 Feb 2018 14:31:29 -0500 Original-Received: from list by blaine.gmane.org with local (Exim 4.84_2) (envelope-from ) id 1eowYS-0005Lx-8R for emacs-devel@gnu.org; Thu, 22 Feb 2018 20:29:20 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 22 Original-X-Complaints-To: usenet@blaine.gmane.org Cancel-Lock: sha1:TyxBLT+O2uKFbwAz2Dk1G/PaLHI= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 195.159.176.226 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:222992 Archived-At: > It's not a minor cosmetic limitation, it's a basic inability to line > up text displayed with a variable-pitch font. It makes Emacs look > ugly and basically unusable when variable-pitch fonts are used to > display program source code, formatted text, tables, etc. These are > all important and frequent use cases these days. > > By contrast, silently returning a wrong result due to overflow is a > much more rare situation, especially since today 64-bit machines are > so ubiquitous. In any case, the relative importance doesn't matter: we all agree that both are problems that deserve fixing; and I think it's unlikely that the relative order we place them will influence which gets fixed first (which depends rather on who decides to scratch which itch first). Personnally, my money is on libgmp being implemented first (to a large extent because I don't think anyone even has a clear idea of what a solution to the variable-pitch-alignment problem would look like (in terms of API and code, not in terms of visual display, of course)). Stefan