From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.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 sNgfIBd8TmP/VgEAbAwnHQ (envelope-from ) for ; Tue, 18 Oct 2022 12:12:39 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id cO1GHxd8TmMkMgEAG6o9tA (envelope-from ) for ; Tue, 18 Oct 2022 12:12:39 +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 0B55E14856 for ; Tue, 18 Oct 2022 12:12:39 +0200 (CEST) Received: from localhost ([::1]:58952 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1okjaP-00056s-0i for larch@yhetil.org; Tue, 18 Oct 2022 06:12:38 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58260) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1okjXl-000521-U3 for guix-devel@gnu.org; Tue, 18 Oct 2022 06:09:53 -0400 Received: from mail-wr1-x430.google.com ([2a00:1450:4864:20::430]:35650) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1okjXi-0001sN-Jj for guix-devel@gnu.org; Tue, 18 Oct 2022 06:09:52 -0400 Received: by mail-wr1-x430.google.com with SMTP id u10so22682551wrq.2 for ; Tue, 18 Oct 2022 03:09:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=beadling-co-uk.20210112.gappssmtp.com; s=20210112; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Jtrn40lXzC8xrhHnx0FDsqHH1VFPB5EhZLilTN7WuuQ=; b=kmmIL3HiZ8dBrhq/N3QS1FRPTNw9tAoutjrZoFQqbwamqS7g0RRKUnpdul1ONOKz7K vuIrH2JcNKMEw4Nf0zj9DnWQiE5XVVJwWTps++EGUA/xC8WIgJOZ+Ohgxvc/NnUPTd5f v9+nZaPBwcIW1O/81zT9Du16OJX5Gc5eEAIF0/6BTm0BZo0fe6VrctEl/0cQAFKvTrJM Ilp/nKhMX1I2EUkp4xSCv0X1Xt2L0RUaWoWtGOn96otSstaglU7P+sff+xCGYMxCGIvs 8heLFF/LkMygsZC5Ynytb0wYX8qAp3m5NjF6FYNQ0fjqerWoMkEvq48Z4todgyQQ+bE0 zFdA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=Jtrn40lXzC8xrhHnx0FDsqHH1VFPB5EhZLilTN7WuuQ=; b=OMk7AjMVz2adBesQv5G8Zmz2CYVlirFZixaoNEFF98CNwSIXGaK/bp4HWPU/VTP36p A5tlJ+6OircWYnO7QU44aTyL0y3n2UbtDBvWWEjMdBHoykvkn5mmDQNG+VMkbiOUBivG plrFHjFrzRwYRIgpFMoSLBTWt/LXHhIIcYspLMaplCJ1xNwV4nzufllYZ20iR+NdOI6b ArIdbjkk5DXh8q8pW+1sQgoufIxxMix0RR1HgYvSLhkbsnNC15oxvOmBQr4rKO4bsj3e 9Er2RHwFyfhlIuMrW64fP+4kO7DhG6KJ8a5UBemkTgNmUIP1RhoOUwpBYXLF3ZsKAQWc R/kA== X-Gm-Message-State: ACrzQf2N+2ccpMK5JZRLGGEKtZdqclruyg7qwi+V7X62LWR2Ijl7UzhP GBQUattNay53c/UsC7NIDJXTWmjRyoc/FGMC X-Google-Smtp-Source: AMsMyM66MRlFrTaD/V1C+VnhDg2tjTp+EpH5r1OkAIOBFYlwLYLNKyWQxLT2gHBtHSD/q7mjQg0Cgg== X-Received: by 2002:a5d:6481:0:b0:22f:c428:2459 with SMTP id o1-20020a5d6481000000b0022fc4282459mr1344618wri.393.1666087788154; Tue, 18 Oct 2022 03:09:48 -0700 (PDT) Received: from LO0P123MB3898.GBRP123.PROD.OUTLOOK.COM ([2603:1026:c06:1009::5]) by smtp.gmail.com with ESMTPSA id c1-20020a5d4141000000b002238ea5750csm13052817wrq.72.2022.10.18.03.09.47 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 18 Oct 2022 03:09:47 -0700 (PDT) From: Philip Beadling To: "guix-devel@gnu.org" Subject: Types and builds for mypy Thread-Topic: Types and builds for mypy Thread-Index: AQHY4tiA8xgFoD53JEiQdDA4Yu74/Q== X-MS-Exchange-MessageSentRepresentingType: 1 Date: Tue, 18 Oct 2022 10:09:46 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-Exchange-Organization-SCL: -1 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 Content-Type: multipart/alternative; boundary="_000_LO0P123MB389821EC364A02B628ADDD21F9289LO0P123MB3898GBRP_" MIME-Version: 1.0 Received-SPF: none client-ip=2a00:1450:4864:20::430; envelope-from=phil@beadling.co.uk; helo=mail-wr1-x430.google.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1666087959; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=Jtrn40lXzC8xrhHnx0FDsqHH1VFPB5EhZLilTN7WuuQ=; b=IHPEDT2XihQ24KPOTVeqzoRLWSlt/bp5d8rfHxBXJd3L/TxsGdk4fdACsdpryMREMwMYBZ VtVhqvAvApyc7O94QP3uJc2SEU4vZOlLV2YUsPW87/qVbvRMwLSFRK43yvIn0iykzWAZdG t5Yruf3D+2Cnu4ews9kZYkILcn6ICZPcWcHSg8k2UR3I07IJNonJlremiH8LPrfBXry4Vy F21UKoRRjTjJdvGrNdsTJNf2/awqNXSEw3VJRh+X3cziubqdrieiBQboREj+/wlqSwaTxv uwfwOF+43ammoyXoC76d1CsJTX4QskD3NxAFW6WztCfaeB/v24h0j47WexkYfw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1666087959; a=rsa-sha256; cv=none; b=DEaIltfoWTK0rx+96+mZIsfJH5ovpFtLk1p2lSQwOuYj/wJrVOsaPjs/m8rE0MMY3dBS4R kvX3nMx/4d16K5uezvRiKXassQ5M/yEquKoSLx5DvFN6np50JcHM/XZdShyAuiHTJziQqK Z2onkr9znapqVtmrUxx4rkMHVjhUvGXWIj668ZUzi3YpL5Jmv/mx+/qLSCbP6LjtWGrjb1 6gN/nPriJl9Qb+nZCBnYyMT1VCezVbAf3JqZ9JJIJPnNMz1mzZQzbK0TCCqxFJ1uOZlUHq bJEmOnM+W4IHWJZny3mtepvCU+fehGKIoTxHM7KmTgNSLknv+Q+ftJRoJa2fJw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=beadling-co-uk.20210112.gappssmtp.com header.s=20210112 header.b=kmmIL3Hi; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -3.42 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=beadling-co-uk.20210112.gappssmtp.com header.s=20210112 header.b=kmmIL3Hi; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 0B55E14856 X-Spam-Score: -3.42 X-Migadu-Scanner: scn1.migadu.com X-TUID: 9H71nvxYVAeR --_000_LO0P123MB389821EC364A02B628ADDD21F9289LO0P123MB3898GBRP_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Hi all Users of mypy and python will have noticed since the promotion of mypy to v= 0. 971 it is now neccesary to provide separate python packages containing t= ypes of non core libraries. The way we've been collecting these, outside of Guix proper, is in a single= module called python-types, which can then simply be added as a native-inp= ut to any python build requiring mypy. The alternative is to colocate the types with their packages, or perhaps co= locate them all with mypy itself. My preference is to put them all in one module, I think. Is there formal strategy in Guix for how to organise these packages? I'd b= e happy to make available our current python-types.scm as a starting point? Finally and slightly related I note that by default the 971 package of mypy= is not C compiled using mypyc. It's a simple tweak to turn this on in the= package and it makes huge performance difference when using mypy (on avera= ge 4x faster is quoted). Again, happy to offer up a modified or inherited = package if other people are frustrated by the slow down? Cheers, Phil. --_000_LO0P123MB389821EC364A02B628ADDD21F9289LO0P123MB3898GBRP_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable
Hi all

Users of mypy and python will have noticed since the promotion of mypy to v= 0. 971 it is now neccesary to provide separate python packages containing t= ypes of non core libraries.

The way we've been collecting these, outside of Guix proper, is in a single= module called python-types, which can then simply be added as a native-inp= ut to any python build requiring mypy. 

The alternative is to colocate the types with their packages, or perhaps co= locate them all with mypy itself. 

My preference is to put them all in one module, I think. 

Is there formal strategy in Guix for how to organise these packages?  = I'd be happy to make available our current python-types.scm as a starting p= oint? 

Finally and slightly related I note that by default the 971 package of mypy= is not C compiled using mypyc.  It's a simple tweak to turn this on i= n the package and it makes huge performance difference when using mypy (on = average 4x faster is quoted).  Again, happy to offer up a modified or inherited package if other people are frus= trated by the slow down? 


Cheers, 
Phil. 


--_000_LO0P123MB389821EC364A02B628ADDD21F9289LO0P123MB3898GBRP_--