head	1.5;
access;
symbols
	pkgsrc-2026Q1:1.5.0.16
	pkgsrc-2026Q1-base:1.5
	pkgsrc-2025Q4:1.5.0.14
	pkgsrc-2025Q4-base:1.5
	pkgsrc-2025Q3:1.5.0.12
	pkgsrc-2025Q3-base:1.5
	pkgsrc-2025Q2:1.5.0.10
	pkgsrc-2025Q2-base:1.5
	pkgsrc-2025Q1:1.5.0.8
	pkgsrc-2025Q1-base:1.5
	pkgsrc-2024Q4:1.5.0.6
	pkgsrc-2024Q4-base:1.5
	pkgsrc-2024Q3:1.5.0.4
	pkgsrc-2024Q3-base:1.5
	pkgsrc-2024Q2:1.5.0.2
	pkgsrc-2024Q2-base:1.5
	pkgsrc-2024Q1:1.4.0.4
	pkgsrc-2024Q1-base:1.4
	pkgsrc-2023Q4:1.4.0.2
	pkgsrc-2023Q4-base:1.4
	pkgsrc-2023Q3:1.3.0.6
	pkgsrc-2023Q3-base:1.3
	pkgsrc-2023Q2:1.3.0.4
	pkgsrc-2023Q2-base:1.3
	pkgsrc-2023Q1:1.3.0.2
	pkgsrc-2023Q1-base:1.3
	pkgsrc-2022Q4:1.2.0.14
	pkgsrc-2022Q4-base:1.2
	pkgsrc-2022Q3:1.2.0.12
	pkgsrc-2022Q3-base:1.2
	pkgsrc-2022Q2:1.2.0.10
	pkgsrc-2022Q2-base:1.2
	pkgsrc-2022Q1:1.2.0.8
	pkgsrc-2022Q1-base:1.2
	pkgsrc-2021Q4:1.2.0.6
	pkgsrc-2021Q4-base:1.2
	pkgsrc-2021Q3:1.2.0.4
	pkgsrc-2021Q3-base:1.2
	pkgsrc-2021Q2:1.2.0.2
	pkgsrc-2021Q2-base:1.2
	pkgsrc-2021Q1:1.1.0.8
	pkgsrc-2021Q1-base:1.1
	pkgsrc-2020Q4:1.1.0.6
	pkgsrc-2020Q4-base:1.1
	pkgsrc-2020Q3:1.1.0.4
	pkgsrc-2020Q3-base:1.1
	pkgsrc-2020Q2:1.1.0.2
	pkgsrc-2020Q2-base:1.1;
locks; strict;
comment	@# @;


1.5
date	2024.05.02.23.23.12;	author wiz;	state Exp;
branches;
next	1.4;
commitid	LECd8lSHe8MgSt8F;

1.4
date	2023.10.27.06.20.28;	author pho;	state Exp;
branches;
next	1.3;
commitid	AAEOFqYlBl06geKE;

1.3
date	2023.01.25.09.12.18;	author pho;	state Exp;
branches;
next	1.2;
commitid	1GBO5dbzKtr53UaE;

1.2
date	2021.04.23.06.13.07;	author pho;	state Exp;
branches;
next	1.1;
commitid	SMpm3gQMeqO3HnQC;

1.1
date	2020.05.11.17.52.07;	author rillig;	state Exp;
branches;
next	;
commitid	mIq7jf4zlJpgHQ7C;


desc
@@


1.5
log
@hs-th-abstraction: update to 0.7.0.0.

## 0.7.0.0 -- 2024.03.17
* `DatatypeInfo` now has an additional `datatypeReturnKind` field. Most of the
  time, this will be `StarT`, but this can also be more exotic kinds such as
  `ConT ''UnliftedType` if dealing with primitive types, `UnliftedDatatypes`,
  or `UnliftedNewtypes`.
* `reifyDatatype` and related functions now support primitive types such as
  `Int#`. These will be reified as `DatatypeInfo`s with no `ConstructorInfo`s
  and with `Datatype` as the `datatypeVariant`.
* `normalizeCon` now takes a `Kind` argument representing the return kind of
  the parent data type. (This is sometimes necessary to determine which type
  variables in the data constructor are universal or existential, depending
  on if the variables appear in the return kind.)
* Fix a couple of bugs in which `normalizeDec` would return incorrect results
  for GADTs that use `forall`s in their return kind.
@
text
@@@comment $NetBSD$
lib/th-abstraction-${PKGVERSION}/${HS_VERSION}/package-description
lib/th-abstraction-${PKGVERSION}/${HS_VERSION}/package-id
${PLIST.shlibs}lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype.dyn_hi
lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype.hi
${PLIST.prof}lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype.p_hi
${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/Internal.dyn_hi
lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/Internal.hi
${PLIST.prof}lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/Internal.p_hi
${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/TyVarBndr.dyn_hi
lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/TyVarBndr.hi
${PLIST.prof}lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/TyVarBndr.p_hi
lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
${PLIST.prof}lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/LICENSE
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/Language-Haskell-TH-Datatype-TyVarBndr.html
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/Language-Haskell-TH-Datatype.html
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/doc-index.html
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/haddock-bundle.min.js
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/index.html
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/linuwial.css
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/meta.json
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/quick-jump.css
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/synopsis.png
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/th-abstraction.haddock
@


1.4
log
@devel/hs-th-abstraction: Update to 0.6.0.0

The release note is too long to paste here. See:
https://hackage.haskell.org/package/th-abstraction-0.6.0.0/changelog
@
text
@a19 1
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/doc-index.json
a24 1
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/quick-jump.min.js
@


1.3
log
@devel/hs-th-abstraction: Update to 0.4.5.0

0.4.5.0 -- 2022.09.12
* Fix a bug in which data family declarations with interesting return kinds
  (e.g., data family F :: Type -> Type) would be reified incorrectly when
  using reifyDatatype.
@
text
@d16 1
a16 1
${PLIST.doc}share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/LICENSE
d20 1
d26 1
@


1.2
log
@Update to th-abstraction-0.4.2.0

0.4.2.0 -- 2020-12-30
* Explicitly mark modules as Safe (or Trustworthy for GHC versions
  prior to 8.4).

0.4.1.0 -- 2020-12-09
* Fix a bug in which normalizeDec would give incorrect kind
  annotations to type variables in quoted Decs. normalizeDec now
  leaves the kinds of type variable binders alone.

0.4.0.0 -- 2020-09-29
* Adapt to the TyVarBndr data type gaining a new flag type parameter
  (in template-haskell-2.17.0.0) to represent its specificity:
* Introduce a new Language.Haskell.TH.Datatype.TyVarBndr module that
  defines TyVarBndr_, a backwards-compatible type synonym for
  TyVarBndr, as well as backporting TyVarBndrSpec, TyVarBndrUnit, and
  Specificity. This module also defines other useful functions for
  constructing and manipulating TyVarBndrs.
* The types in Language.Haskell.TH.Datatype now use TyVarBndr_,
  TyVarBndrUnit, and TyVarBndrSpec where appropriate. Technically,
  this is not a breaking change, since all three are simple type
  synonyms around TyVarBndr, but it is likely that you will need to
  update your th-abstraction-using code anyway if it involves a
  TyVarBndr-consuming function.

0.3.2.0 -- 2020-02-06
* Support substituting into and extracting free variables from
  ForallVisTs on template-haskell-2.16.0.0 (GHC 8.10) or later.
* Fix a bug in which freeVariables could report duplicate kind
  variables when they occur in the kinds of the type variable binders
  in a ForallT.
* Fix a bug in which resolveInfixT would not resolve UInfixTs
  occurring in the kinds of type variable binders in a ForallT.
* Fix a bug in which the TypeSubstitution ConstructorInfo instance
  would not detect free kind variables in the constructorVars.
@
text
@d4 2
a5 2
lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype.dyn_hi
d7 2
a8 2
lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype.p_hi
lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/Internal.dyn_hi
d10 2
a11 2
lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/Internal.p_hi
lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/TyVarBndr.dyn_hi
d13 1
a13 1
lib/${HS_PLATFORM}/${HS_PKGID}/Language/Haskell/TH/Datatype/TyVarBndr.p_hi
d15 12
a26 12
lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/LICENSE
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/Language-Haskell-TH-Datatype-TyVarBndr.html
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/Language-Haskell-TH-Datatype.html
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/doc-index.html
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/haddock-bundle.min.js
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/index.html
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/linuwial.css
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/meta.json
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/quick-jump.css
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/synopsis.png
share/doc/${HS_PLATFORM}/th-abstraction-${PKGVERSION}/html/th-abstraction.haddock
@


1.1
log
@hs-*: add PLIST files

These PLIST files have been autogenerated by mk/haskell.mk using
HS_UPDATE_PLIST=yes during a bulk build.  They will help to track changes
to the packages.  The Haskell packages didn't have PLIST files because
their paths contained package hashes.  These hashes are now determined by
mk/haskell.mk, which makes it easy to generate easy to read PLIST files.
@
text
@d2 2
a3 2
${HS_INTF}/package-description
${HS_INTF}/package-id
d5 22
a26 18
${HS_IMPL}/Language/Haskell/TH/Datatype.dyn_hi
${HS_IMPL}/Language/Haskell/TH/Datatype.hi
${HS_IMPL}/Language/Haskell/TH/Datatype.p_hi
${HS_IMPL}/Language/Haskell/TH/Datatype/Internal.dyn_hi
${HS_IMPL}/Language/Haskell/TH/Datatype/Internal.hi
${HS_IMPL}/Language/Haskell/TH/Datatype/Internal.p_hi
${HS_IMPL}/libHS${HS_PKGID}.a
${HS_IMPL}/libHS${HS_PKGID}_p.a
${HS_DOCS}/LICENSE
${HS_DOCS}/html/Language-Haskell-TH-Datatype.html
${HS_DOCS}/html/doc-index.html
${HS_DOCS}/html/haddock-bundle.min.js
${HS_DOCS}/html/index.html
${HS_DOCS}/html/linuwial.css
${HS_DOCS}/html/meta.json
${HS_DOCS}/html/quick-jump.css
${HS_DOCS}/html/synopsis.png
${HS_DOCS}/html/th-abstraction.haddock
@

