From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id CL/wEBfrEGMxUwAAbAwnHQ (envelope-from ) for ; Thu, 01 Sep 2022 19:25:43 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id wInmEBfrEGPtHgEA9RJhRA (envelope-from ) for ; Thu, 01 Sep 2022 19:25:43 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id E23D717BD2 for ; Thu, 1 Sep 2022 19:25:42 +0200 (CEST) Received: from localhost ([::1]:53560 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oTnwk-00040J-1W for larch@yhetil.org; Thu, 01 Sep 2022 13:25:42 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34282) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oTnIQ-0001WC-6o for bug-guix@gnu.org; Thu, 01 Sep 2022 12:44:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:54273) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oTnIP-0004N1-Ut for bug-guix@gnu.org; Thu, 01 Sep 2022 12:44:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oTnIP-0006oK-RD for bug-guix@gnu.org; Thu, 01 Sep 2022 12:44:01 -0400 Subject: bug#57090: 'guix style' pretty-printer always renders integers as base10 Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Date: Thu, 01 Sep 2022 16:44:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 57090 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: "(" Cc: Maxime Devos , Christopher Rodriguez , 57090-done@debbugs.gnu.org Mail-Followup-To: 57090@debbugs.gnu.org, ludo@gnu.org, yewscion@gmail.com Received: via spool by 57090-done@debbugs.gnu.org id=D57090.166205061126131 (code D ref 57090); Thu, 01 Sep 2022 16:44:01 +0000 Received: (at 57090-done) by debbugs.gnu.org; 1 Sep 2022 16:43:31 +0000 Received: from localhost ([127.0.0.1]:44021 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oTnHv-0006nP-8B for submit@debbugs.gnu.org; Thu, 01 Sep 2022 12:43:31 -0400 Received: from eggs.gnu.org ([209.51.188.92]:37248) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oTnHt-0006nC-Nh for 57090-done@debbugs.gnu.org; Thu, 01 Sep 2022 12:43:30 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:59126) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oTnHo-0004J0-Ft; Thu, 01 Sep 2022 12:43:24 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=9R/BL14+FMsAIGtgIRLEoWLBhaIcwYbWDlW+wV45iPU=; b=i5X2crumAuVyYjpoFD2d V9dMxUXmqm1nmFK1ecMgBT51dOzapQH7tNq2reMbKqgADvc6PIAcjwVvJ0wTqd59curawauXssnTO 8ZatM8uUJrOrJmL06L7LPOHWLZA99I+/wIhx8YLiPVRHAF+PEp2+EBkmdr78niYcTxVN1m0/aQdRI SaXeioTsw2K8G6BFYjP0zdSCFzlaM/u4t8wEjKqXaP18urNtceCMnXG2GauMdyyeMmFjkEL9G0qfQ SqWnDHVrYfniL/Zxoi8Z8OEwweP+JQMDnlmBIgR4EhCgVTk0rEroXWSzbul3wUQEI7kixBf8NcUDo JzciU8xRcC90UQ==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:57082 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oTnHo-0000CX-2j; Thu, 01 Sep 2022 12:43:24 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <878rnxi1it.fsf@gmail.com> <3f031a26-5835-e4ac-d8e5-ed725d8b1633@telenet.be> <87czd92kaz.fsf@gnu.org> Date: Thu, 01 Sep 2022 18:43:22 +0200 In-Reply-To: <87czd92kaz.fsf@gnu.org> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Tue, 09 Aug 2022 23:12:20 +0200") Message-ID: <87k06nyrit.fsf_-_@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1662053142; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-to: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=9R/BL14+FMsAIGtgIRLEoWLBhaIcwYbWDlW+wV45iPU=; b=G6gu6iUuVPWM2eK2fNaeZFby66jPsUEkGNKv63AqY5x7KtDecZ9ASqiZ3MMdzudyKT8YRs J9Wb99OjnE2zezq01fk+kbEJUiinIvooiNa9WDpZHWqQBzWbiDX2xcfK4U7D0xSW63YLh1 0oLJP/kHY1EBBz28xMjtdj4i4yE2kRvLapWue59yuz7NrgaMoCt8RcCUGhsQRbnU5ZK1pY /h3Q7rTstM0ZOP/TmM4/0pVOwtX/SL0YSYOpGpxOeQ2AiuJyk/kDdw83nU4JwjN8fOtIGQ fAsP/PSHAQSFiAYVWEqADZ3T/aToGOESxA1u/qOjHeoHeBmqPlMgCMwpMHv5rw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1662053142; a=rsa-sha256; cv=none; b=hgozN0jmvrOs4uRRHLuNDe06WHozZcUcYFIew5u+MBaNvixKGzU/dJ8IopB95A/f3KbmJj F4M+CPogUALZLF+ZxPCK/s3oml1SeiB2FkivWLGTBtFsEZ/jUYx5gsjy12scLEJFeA+0kW n2MCjBxld1pXfpOtybl2LdXDVcMsikmdhCyW6bAQkATbF3rGBvt5BXrmHkBjprR5ph/vt2 cLcV29CfV+QL+MiEd42V6P/ZswDGG00RM4WnjWErwyM8NTxKsmWMzvjfvu34SKQRJR9Zj5 ZF2VvGofbarofeHKzQec7swMCaOEy63FC6Yb6RBdyHERl4Doqhbk07a0FHewAg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=i5X2crum; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -3.68 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=i5X2crum; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: E23D717BD2 X-Spam-Score: -3.68 X-Migadu-Scanner: scn1.migadu.com X-TUID: mEzZC86+uMxf Hi, Ludovic Court=C3=A8s skribis: > Now, we could tweak the pretty printer so that it recognizes patterns > where numbers or strings should be printed in a certain way. I did that in c3b1cfe76b7038f4030d7d207ffc417fed9a7ead. Lemme know how you like it! :-) Ludo=E2=80=99.