Authentication-Results: name.execsw.org; dkim=pass (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=exGUgayD; dkim=pass (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=nscEYQxo Received: by mail.netbsd.org (Postfix, from userid 605) id 3BB8E85049; Sat, 4 May 2024 09:41:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org; s=20240131; t=1714815687; bh=XbNNqdiMvxFaLyRI9hARPI6gtN2Oqz1S/ifHgpzXEZU=; h=Date:From:Subject:To:Reply-To:List-Id:List-Unsubscribe; b=exGUgayDudM17JtobMNxxzAydqEKbHW1DxCF3LUFdaNg6SA8+C/FG+zgsDwYJCNlF nCi0ce4udQzl7cpjy8AJvglBh+u7LJvhgmUHmjVCNfqvBW/vRf5c6l3D+52DYiKSmL d83uleZgc/VXj/ZulYKmw5cc/dymgRTeg0upEkF0= Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 2D46684E62 for ; Sat, 4 May 2024 09:41:26 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Authentication-Results: mail.netbsd.org (amavisd-new); dkim=pass (1024-bit key) header.d=netbsd.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.netbsd.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id AZaueJR3KD8Z for ; Sat, 4 May 2024 09:41:25 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id 2514A84E5F for ; Sat, 4 May 2024 09:41:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org; s=20240131; t=1714815685; bh=XbNNqdiMvxFaLyRI9hARPI6gtN2Oqz1S/ifHgpzXEZU=; h=Date:From:Subject:To:Reply-To; b=nscEYQxokHAJ2nVWRUFeEmgC40EFHFpNC9jn3iXY4f/vcEJLtNlA+F3IU4I2uR0LZ cv6Eq/mYkH1RqYgsXT1t9y+6qR9GROTSgQUE7adH7IbbW6sBPvH5JGBbjD8L9Lp6Qy HSU3oL7RaWcldmrxW1Vno7cDld7C1ZSS8iJZhJUk= Received: by cvs.NetBSD.org (Postfix, from userid 500) id 1C7C4FA2C; Sat, 4 May 2024 09:41:25 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1714815685196520" MIME-Version: 1.0 Date: Sat, 4 May 2024 09:41:25 +0000 From: "Masatake Daimon" Subject: CVS commit: pkgsrc/lang/purescript To: pkgsrc-changes@NetBSD.org Reply-To: pho@netbsd.org X-Mailer: log_accum Message-Id: <20240504094125.1C7C4FA2C@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1714815685196520 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: pho Date: Sat May 4 09:41:25 UTC 2024 Modified Files: pkgsrc/lang/purescript: Makefile PLIST distinfo pkgsrc/lang/purescript/patches: patch-src_Language_PureScript_TypeChecker_Entailment.hs Log Message: lang/purescript: Update to 0.15.15 Release notes are too long to paste here: https://github.com/purescript/purescript/releases/tag/v0.15.15 https://github.com/purescript/purescript/releases/tag/v0.15.14 https://github.com/purescript/purescript/releases/tag/v0.15.13 To generate a diff of this commit: cvs rdiff -u -r1.14 -r1.15 pkgsrc/lang/purescript/Makefile cvs rdiff -u -r1.4 -r1.5 pkgsrc/lang/purescript/PLIST \ pkgsrc/lang/purescript/distinfo cvs rdiff -u -r1.1 -r1.2 \ pkgsrc/lang/purescript/patches/patch-src_Language_PureScript_TypeChecker_Entailment.hs Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1714815685196520 Content-Disposition: inline Content-Length: 9293 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/lang/purescript/Makefile diff -u pkgsrc/lang/purescript/Makefile:1.14 pkgsrc/lang/purescript/Makefile:1.15 --- pkgsrc/lang/purescript/Makefile:1.14 Thu Nov 2 06:37:10 2023 +++ pkgsrc/lang/purescript/Makefile Sat May 4 09:41:24 2024 @@ -1,8 +1,7 @@ -# $NetBSD: Makefile,v 1.14 2023/11/02 06:37:10 pho Exp $ +# $NetBSD: Makefile,v 1.15 2024/05/04 09:41:24 pho Exp $ -DISTNAME= purescript-0.15.12 +DISTNAME= purescript-0.15.15 PKGNAME= ${DISTNAME} -PKGREVISION= 1 CATEGORIES= lang MAINTAINER= pkgsrc-users@NetBSD.org @@ -14,34 +13,37 @@ USE_TOOLS+= happy CONFIGURE_ARGS+= -f release -HASKELL_UNRESTRICT_DEPENDENCIES+= \ - Cabal \ - aeson \ - ansi-terminal \ - ansi-wl-pprint \ - base \ - cryptonite \ - happy \ - language-javascript \ - lens \ - memory \ - mtl \ - optparse-applicative \ - process \ - semialign \ - template-haskell \ - text \ - these \ - time \ - transformers \ - vector - # Use crypton instead of outdated cryptonite. SUBST_CLASSES+= crypton SUBST_STAGE.crypton= post-extract SUBST_FILES.crypton= purescript.cabal SUBST_SED.crypton= -e 's/cryptonite/crypton/g' +HASKELL_UNRESTRICT_DEPENDENCIES+= \ + Cabal \ + aeson \ + ansi-terminal \ + ansi-wl-pprint \ + base \ + bytestring \ + crypton \ + deepseq \ + happy \ + language-javascript \ + lens \ + memory \ + mtl \ + network \ + optparse-applicative \ + process \ + semialign \ + template-haskell \ + text \ + these \ + time \ + transformers \ + vector + # If purs is to be linked dynamically, it will depend on more than 180 # shared objects and the dynamic linker will spend several seconds to # resolve symbols on startup. This is unacceptable because purs tends to be Index: pkgsrc/lang/purescript/PLIST diff -u pkgsrc/lang/purescript/PLIST:1.4 pkgsrc/lang/purescript/PLIST:1.5 --- pkgsrc/lang/purescript/PLIST:1.4 Tue Oct 31 07:38:55 2023 +++ pkgsrc/lang/purescript/PLIST Sat May 4 09:41:24 2024 @@ -1,7 +1,5 @@ -@comment $NetBSD: PLIST,v 1.4 2023/10/31 07:38:55 pho Exp $ +@comment $NetBSD: PLIST,v 1.5 2024/05/04 09:41:24 pho Exp $ bin/purs -lib/${PKGNAME}/${HS_VERSION}/package-description -lib/${PKGNAME}/${HS_VERSION}/package-id ${PLIST.shlibs}lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so ${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logger.dyn_hi lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logger.hi @@ -167,6 +165,8 @@ ${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_P lib/${HS_PLATFORM}/${HS_PKGID}/Language/PureScript/Errors/JSON.hi ${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/Language/PureScript/Externs.dyn_hi lib/${HS_PLATFORM}/${HS_PKGID}/Language/PureScript/Externs.hi +${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/Language/PureScript/Glob.dyn_hi +lib/${HS_PLATFORM}/${HS_PKGID}/Language/PureScript/Glob.hi ${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/Language/PureScript/Graph.dyn_hi lib/${HS_PLATFORM}/${HS_PKGID}/Language/PureScript/Graph.hi ${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/Language/PureScript/Hierarchy.dyn_hi @@ -360,6 +360,8 @@ lib/${HS_PLATFORM}/${HS_PKGID}/Paths_pur ${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/System/IO/UTF8.dyn_hi lib/${HS_PLATFORM}/${HS_PKGID}/System/IO/UTF8.hi lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a +lib/${PKGNAME}/${HS_VERSION}/package-description +lib/${PKGNAME}/${HS_VERSION}/package-id share/doc/${HS_PLATFORM}/${PKGNAME}/LICENSE ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Control-Monad-Logger.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Control-Monad-Supply-Class.html @@ -440,6 +442,7 @@ ${PLIST.doc}share/doc/${HS_PLATFORM}/${P ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Language-PureScript-Errors-JSON.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Language-PureScript-Errors.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Language-PureScript-Externs.html +${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Language-PureScript-Glob.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Language-PureScript-Graph.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Language-PureScript-Hierarchy.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Language-PureScript-Ide-CaseSplit.html @@ -536,7 +539,6 @@ ${PLIST.doc}share/doc/${HS_PLATFORM}/${P ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Language-PureScript-Types.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Language-PureScript.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/System-IO-UTF8.html -${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-36.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-45.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-95.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-A.html @@ -565,12 +567,10 @@ ${PLIST.doc}share/doc/${HS_PLATFORM}/${P ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-W.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-Z.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index.html -${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index.json ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/haddock-bundle.min.js ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/index.html ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/linuwial.css ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/meta.json ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/purescript.haddock ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/quick-jump.css -${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/quick-jump.min.js ${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/synopsis.png Index: pkgsrc/lang/purescript/distinfo diff -u pkgsrc/lang/purescript/distinfo:1.4 pkgsrc/lang/purescript/distinfo:1.5 --- pkgsrc/lang/purescript/distinfo:1.4 Tue Oct 31 07:38:55 2023 +++ pkgsrc/lang/purescript/distinfo Sat May 4 09:41:24 2024 @@ -1,13 +1,13 @@ -$NetBSD: distinfo,v 1.4 2023/10/31 07:38:55 pho Exp $ +$NetBSD: distinfo,v 1.5 2024/05/04 09:41:24 pho Exp $ -BLAKE2s (purescript-0.15.12.tar.gz) = 322940beeea9c43fa59e1f7ea5d5224900847e76f2054285881655a12a2bf4d1 -SHA512 (purescript-0.15.12.tar.gz) = e4d53a8f72574e3e3e41527f7daf019acf951c073bb2e18921f291c412bf0e6587e2cb26bbad1ed0d397b4425ebca536e995243fe44adaa15f7c242bcbb0a393 -Size (purescript-0.15.12.tar.gz) = 854162 bytes +BLAKE2s (purescript-0.15.15.tar.gz) = f86e0f5089b8e43a7a0c7adc9fb265162eb7e5506d794aec2a9c2a970b9ca92b +SHA512 (purescript-0.15.15.tar.gz) = 54a313c7a52e68b0f93d00bead1b127370cc390571574775479bd1084ff18e6394ca2de1e31929b6a82da6ed54f910fd60a1cb7b5c4fba9a781880098f5bf1f2 +Size (purescript-0.15.15.tar.gz) = 860706 bytes SHA1 (patch-app_Command_Docs.hs) = eef45b27b8c825ac2ee5ccde01e6ddb23fe2ac42 SHA1 (patch-app_Command_Docs_Html.hs) = 0e129659af4d5bdc3a999a770864f9168565ac86 SHA1 (patch-src_Control_Monad_Supply.hs) = 7e71a43457ed1969c960579ef6a48d40bd69b53a SHA1 (patch-src_Language_PureScript_Errors.hs) = 1ec6e83da287ef1a3792dac990d7e95f0eab7e01 SHA1 (patch-src_Language_PureScript_Renamer.hs) = 55156318114a19d6175fea1d82efec72d5f63f09 SHA1 (patch-src_Language_PureScript_Sugar_Operators_Common.hs) = b40e0857547a694053e5a397680a57728fc7d286 -SHA1 (patch-src_Language_PureScript_TypeChecker_Entailment.hs) = 7dc707fea43760532887e71e2ea4fd714389f73f +SHA1 (patch-src_Language_PureScript_TypeChecker_Entailment.hs) = 69938101c1f6883c35d9a5cd270bfcff5935bddb SHA1 (patch-src_Language_PureScript_TypeChecker_Monad.hs) = 953ef2acbb8f1a31aa6497dade3e32ceb2ae2b02 Index: pkgsrc/lang/purescript/patches/patch-src_Language_PureScript_TypeChecker_Entailment.hs diff -u pkgsrc/lang/purescript/patches/patch-src_Language_PureScript_TypeChecker_Entailment.hs:1.1 pkgsrc/lang/purescript/patches/patch-src_Language_PureScript_TypeChecker_Entailment.hs:1.2 --- pkgsrc/lang/purescript/patches/patch-src_Language_PureScript_TypeChecker_Entailment.hs:1.1 Tue Oct 31 07:38:56 2023 +++ pkgsrc/lang/purescript/patches/patch-src_Language_PureScript_TypeChecker_Entailment.hs Sat May 4 09:41:24 2024 @@ -1,11 +1,11 @@ -$NetBSD: patch-src_Language_PureScript_TypeChecker_Entailment.hs,v 1.1 2023/10/31 07:38:56 pho Exp $ +$NetBSD: patch-src_Language_PureScript_TypeChecker_Entailment.hs,v 1.2 2024/05/04 09:41:24 pho Exp $ Control.Monad.State no longer re-exports functions from Control.Monad. ---- src/Language/PureScript/TypeChecker/Entailment.hs.orig 2023-10-31 07:20:17.099461014 +0000 +--- src/Language/PureScript/TypeChecker/Entailment.hs.orig 2023-11-04 02:42:45.000000000 +0000 +++ src/Language/PureScript/TypeChecker/Entailment.hs @@ -14,10 +14,11 @@ import Prelude - import Protolude (ordNub) + import Protolude (ordNub, headMay) import Control.Arrow (second, (&&&)) +import Control.Monad (foldM, guard, join, zipWithM, zipWithM_, (<=<)) @@ -18,7 +18,7 @@ Control.Monad.State no longer re-exports import Data.Either (lefts, partitionEithers) import Data.Foldable (for_, fold, toList) -@@ -26,6 +27,7 @@ import Data.Functor (($>)) +@@ -26,6 +27,7 @@ import Data.Functor (($>), (<&>)) import Data.List (delete, findIndices, minimumBy, nubBy, sortOn, tails) import Data.Maybe (catMaybes, fromMaybe, listToMaybe, mapMaybe) import Data.Map qualified as M --_----------=_1714815685196520--