CVS log for pkgsrc/devel/hs-th-abstraction/Makefile

Up to [cvs.NetBSD.org] / pkgsrc / devel / hs-th-abstraction

Request diff between arbitrary revisions

Keyword substitution: kv
Default branch: MAIN

recursive revbump after patching lang/ghc910

Bump all Haskell packages after switching the default compiler.

devel/hs-th-abstraction: update to th-abstraction-0.7.1.0

## 0.7.1.0 -- 2024.12.05
* Drop support for pre-8.0 versions of GHC.

Recursive revbump after changing the default Haskell compiler

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.

Revbump all Haskell after updating lang/ghc96

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

Bump Haskell packages after updating lang/ghc94

revbump all the Haskell packages after modifying the runtime system of lang/ghc94

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.

hs-th-abstraction: update to 0.4.4.0.

## 0.4.4.0 -- 2022.07.23
* Support free variable substitution and infix resolution for
  `PromotedInfixT` and `PromotedUInfixT` on `template-haskell-2.19.0.0` or
  later.

Bump all Haskell packages after enabling "split sections" in mk/haskell.mk

revbump after changing the default Haskell compiler

Update to th-abstraction-0.4.3.0

0.4.3.0 -- 2021.08.30
* Make applySubstitution avoid capturing type variable binders when
  substituting into foralls.
* Fix a bug in which resolveTypeSynonyms would incorrectly expand type
  synonyms that are not applied to enough arguments.
* Allow the test suite to build with GHC 9.2.

Bump packages that depends on GHC

*: Bump PKGREVISION for ghc-9.0.1

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.

(*/hs-*) BUILDLINK_API_DEPENDS.ghc <8.10, again

(*/hs-*) fix build, not adapted to ghc90 version

Import th-abstraction-0.3.1.0

This package normalizes variations in the interface for inspecting
datatype information via Template Haskell so that packages and support
a single, easier to use informational datatype while supporting many
versions of Template Haskell.