From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit-Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: Using the GNU GMP Library for Bignums in Emacs Date: Sun, 22 Apr 2018 14:34:34 -0400 Message-ID: <01bbe5a5-5e60-ad8f-ba83-4b55a035ef50@gmail.com> References: <29f933ac-a6bf-8742-66a7-0a9d6d3e5a88@disroot.org> <83bmecy6fx.fsf@gnu.org> <0d3175d8-d996-651e-b221-71978bde3a65@cs.ucla.edu> <51e619e0-ee38-eb97-6c1d-0925b675290a@disroot.org> <11e32649-6fd3-4f6e-8594-70d418202823@cs.ucla.edu> <2bd157c4-3fba-c8cb-824c-f091e8d0382d@dancol.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1524422005 12971 195.159.176.226 (22 Apr 2018 18:33:25 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 22 Apr 2018 18:33:25 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Apr 22 20:33:21 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 1fAJnc-0003I4-9i for ged-emacs-devel@m.gmane.org; Sun, 22 Apr 2018 20:33:20 +0200 Original-Received: from localhost ([::1]:50786 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fAJpj-00018Y-4n for ged-emacs-devel@m.gmane.org; Sun, 22 Apr 2018 14:35:31 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:38140) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fAJot-00017w-6S for emacs-devel@gnu.org; Sun, 22 Apr 2018 14:34:40 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fAJos-0005RJ-DC for emacs-devel@gnu.org; Sun, 22 Apr 2018 14:34:39 -0400 Original-Received: from mail-qt0-x229.google.com ([2607:f8b0:400d:c0d::229]:42945) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fAJos-0005QC-9F for emacs-devel@gnu.org; Sun, 22 Apr 2018 14:34:38 -0400 Original-Received: by mail-qt0-x229.google.com with SMTP id j3-v6so15290722qtn.9 for ; Sun, 22 Apr 2018 11:34:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=1x4ZG8HAXOidbZwTSVD8Cm7Si0vIE0xFVszpUyz16Ew=; b=nSsF3V+bBqQ4gnh+he1GKNQDeu2KjHFfQs31+y5/2kb6NAgYgtfUNt9obQd6mRxT00 YO3RiALVA7F2J82BLuwfCEDdlyhEj4beEHc5PZ2keqBLYGILSXndHXauUNXR+puVDFDN mwqKpRJxSjFXFXz3JswsBgtGwZf1ZwJGZMRwmEocZsSbExOJ1hWSCCsRS6sPnziXxs4Q DH3maj6/54DF+5LoEHyw5JVkXZp2Ov98JKpDDzRP7Mee18KPmbR1qUuixsTse5cWtbYu FZdMhZEfT3KV+sPJud3NJM8ozgudyCxK37CnUq/LG5TpKD/JWJsuIfaJoXb3eWzcO+v/ HVWg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=1x4ZG8HAXOidbZwTSVD8Cm7Si0vIE0xFVszpUyz16Ew=; b=LYxWGKGKGZFfrsnhj3aBtpBhBwjUVNf6m2bsHvSiV1aX00IzWt8ztNday3jSl+7O5P h1VVh/zA8RRWblel7mhwV4BTCXU+FxNcIVS6s9Cklwy1gYPQVh9YEF+jodnbfMaeJNFG VIUyzB2pwNrabE1OIi+ELFqvVCpjV0rktRGavd0pGQHLYUj91CzRR8Uk+UNJ/E8LBpVy l2QDPiLy3bp+KngjN/cj6n9V7ssjel6X2lHGQRwpuBoQTowXCoIeFcYIIIvVPjTH/sC/ a37lKH9hi5EgOBYEZYWz5d5ZJurGQu2qY/L5AjsXh8i0QhclHyaogbe00eiU+XvOsWXu guJg== X-Gm-Message-State: ALQs6tDznPutFmKB/7i9ffIlVQFNS4xy73ltk4kNQfpZMjS8IIQBMW1z cyTy09Z2CbAf6tiA0lVJOwxrXCLg X-Google-Smtp-Source: AB8JxZodUl3lADf73TBnuHa8STcZ79h99MIf+3ZGlDKEGqJCk/ikSXwI1UMVMoH6n1wArJob2ZJuJw== X-Received: by 2002:ac8:4615:: with SMTP id p21-v6mr19649451qtn.320.1524422076365; Sun, 22 Apr 2018 11:34:36 -0700 (PDT) Original-Received: from ?IPv6:2601:184:4180:66e7:b561:2f57:abe5:6e2b? ([2601:184:4180:66e7:b561:2f57:abe5:6e2b]) by smtp.gmail.com with ESMTPSA id b84sm9094906qkj.95.2018.04.22.11.34.35 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 22 Apr 2018 11:34:35 -0700 (PDT) In-Reply-To: <2bd157c4-3fba-c8cb-824c-f091e8d0382d@dancol.org> Content-Language: en-GB X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:400d:c0d::229 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:224791 Archived-At: On 2018-04-22 14:04, Daniel Colascione wrote: > On 04/22/2018 10:43 AM, Paul Eggert wrote: >> Philipp Stephani wrote: >>> integers are currently documented to use modular arithmetic ( >> >> We'll need to change the documentation for modular arithmetic, since integers will no longer overflow. > > Bugs will inevitably arise. One possibility is just dealing with them; another might be to predicate bignum support on a lexical-binding-like flag. Or we could make them different types: the usual operators on fixnums would return fixnums, and the usual operators on bignums would return bignums. Mixing both would always return a bignum. The difficulty is whether we should change existing Emacs function to return bignums. Clément.