Sit 0.2021.1.18 → 0.2022.3.18
raw patch · 4 files changed
+14/−3 lines, 4 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- CHANGELOG.md +5/−0
- Sit.cabal +7/−3
- test/Base.agda +1/−0
- test/Test.agda +1/−0
CHANGELOG.md view
@@ -1,3 +1,8 @@+## 0.2022.3.18++- support GHC 7.8 - 9.2+- add missing build-tool dependencies `alex` and `happy`+ ## 0.2021.1.18 - support GHC 7.8 - 8.10
Sit.cabal view
@@ -1,5 +1,5 @@ name: Sit-version: 0.2021.1.18+version: 0.2022.3.18 build-type: Simple cabal-version: >= 1.10 license: OtherLicense@@ -25,7 +25,9 @@ GHC == 8.4.4 GHC == 8.6.5 GHC == 8.8.4- GHC == 8.10.3+ GHC == 8.10.7+ GHC == 9.0.2+ GHC == 9.2.2 data-files: test/Makefile test/Base.agda@@ -46,10 +48,12 @@ hs-source-dirs: src build-depends: array >= 0.3 && < 1,- base >= 4.2 && < 5,+ base >= 4.7 && < 5, containers >= 0.3 && < 1, data-lens-light >= 0.1.2.2 && < 0.2, mtl >= 2.2.1 && < 3+ build-tools: alex >= 3.2.2 && < 4+ , happy >= 1.19.6 && < 2 default-language: Haskell98
test/Base.agda view
@@ -1,4 +1,5 @@ {-# OPTIONS --experimental-irrelevance #-}+{-# OPTIONS --sized-types #-} open import Agda.Primitive public using (lzero; lsuc)
test/Test.agda view
@@ -1,6 +1,7 @@ --- Sample Sit file {-# OPTIONS --experimental-irrelevance #-}+{-# OPTIONS --sized-types #-} open import Base