2022-02-11 13:56:30 by Masatake Daimon | Files touched by this commit (3) |
Log message:
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.
|
2022-01-18 03:48:33 by Masatake Daimon | Files touched by this commit (541) |
Log message:
Bump packages that depends on GHC
|
2021-10-26 12:20:11 by Nia Alarie | Files touched by this commit (3016) |
Log message:
archivers: Replace RMD160 checksums with BLAKE2s checksums
All checksums have been double-checked against existing RMD160 and
SHA512 hashes
Could not be committed due to merge conflict:
devel/py-traitlets/distinfo
The following distfiles were unfetchable (note: some may be only fetched
conditionally):
./devel/pvs/distinfo pvs-3.2-solaris.tgz
./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip
|
2021-10-07 15:44:44 by Nia Alarie | Files touched by this commit (3017) |
Log message:
devel: Remove SHA1 hashes for distfiles
|
2021-05-03 21:01:21 by Masatake Daimon | Files touched by this commit (475) |
Log message:
*: Bump PKGREVISION for ghc-9.0.1
|
2021-04-23 08:13:07 by Masatake Daimon | Files touched by this commit (4) | |
Log message:
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.
|
2021-02-18 16:07:28 by Makoto Fujiwara | Files touched by this commit (19) |
Log message:
(*/hs-*) BUILDLINK_API_DEPENDS.ghc <8.10, again
|
2021-02-13 09:01:01 by Makoto Fujiwara | Files touched by this commit (29) |
Log message:
(*/hs-*) fix build, not adapted to ghc90 version
|
2020-05-11 19:52:21 by Roland Illig | Files touched by this commit (190) |
Log message:
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.
|
2019-12-31 16:34:56 by Masatake Daimon | Files touched by this commit (4) |
Log message:
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.
|