./devel/hs-type-equality, Data.Type.Equality compat package

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 1.0.1nb1, Package name: hs-type-equality-1.0.1nb1, Maintainer: pkgsrc-users

This library defines a propositional equality data type,
shims Data.Type.Equality as well as possible for older GHCs (< 7.8).

data a :~: b where
Refl :: a :~: a

The module Data.Type.Equality.Hetero shims :~~: equality, for compilers
with PolyKinds

Master sites:

Filesize: 2.018 KB

Version history: (Expand)

CVS history: (Expand)


   2025-02-02 14:06:08 by Masatake Daimon | Files touched by this commit (1173) 
Log message:
Bump all Haskell packages after switching the default compiler.
   2025-01-30 15:43:35 by Masatake Daimon | Files touched by this commit (4) | Package updated
Log message:
devel/hs-type-equality: update to type-equality-1.0.1

## 1.0.1

  * Support GHC-8.6.5..GHC-9.10.1
   2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) 
Log message:
Recursive revbump after changing the default Haskell compiler
   2024-04-28 22:18:06 by Masatake Daimon | Files touched by this commit (1) 
Log message:
devel/hs-type-equality: Fix build with GHC 9.8

This breaks build with the currently default GHC 9.6. Please bear with me
until I switch the default compiler.
   2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) 
Log message:
Revbump all Haskell after updating lang/ghc96
   2023-10-25 18:57:51 by Masatake Daimon | Files touched by this commit (1) 
Log message:
devel/hs-type-equality: Fix build with GHC 9.6
   2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) 
Log message:
Bump Haskell packages after updating lang/ghc94
   2023-01-24 19:42:50 by Masatake Daimon | Files touched by this commit (4) 
Log message:
devel/hs-type-equality: Use HASKELL_UNRESTRICT_DEPENDENCIES