summaryrefslogtreecommitdiff
path: root/libraries
diff options
context:
space:
mode:
Diffstat (limited to 'libraries')
m---------libraries/array0
-rw-r--r--libraries/base/base.cabal4
-rw-r--r--libraries/base/tools/ucd2haskell/ucd2haskell.cabal2
m---------libraries/deepseq0
m---------libraries/directory0
m---------libraries/filepath0
-rw-r--r--libraries/ghc-bignum/ghc-bignum.cabal2
-rw-r--r--libraries/ghc-boot-th/ghc-boot-th.cabal.in2
-rw-r--r--libraries/ghc-boot/ghc-boot.cabal.in2
-rw-r--r--libraries/ghc-compact/ghc-compact.cabal4
-rw-r--r--libraries/ghc-heap/ghc-heap.cabal.in2
-rw-r--r--libraries/ghc-prim/changelog.md43
-rw-r--r--libraries/ghc-prim/ghc-prim.cabal2
-rw-r--r--libraries/ghci/ghci.cabal.in4
m---------libraries/haskeline0
m---------libraries/hpc0
m---------libraries/parsec0
m---------libraries/process0
m---------libraries/stm0
-rw-r--r--libraries/template-haskell/template-haskell.cabal.in2
m---------libraries/terminfo0
m---------libraries/text0
m---------libraries/unix0
23 files changed, 35 insertions, 34 deletions
diff --git a/libraries/array b/libraries/array
-Subproject 3e4334a6f39d92090bf3ded86b84d7cd1817ce2
+Subproject 77990b2132ba688f6282822891da2b9455e33c2
diff --git a/libraries/base/base.cabal b/libraries/base/base.cabal
index 7ff667b0dc..a8223bbce8 100644
--- a/libraries/base/base.cabal
+++ b/libraries/base/base.cabal
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: base
-version: 4.16.0.0
+version: 4.17.0.0
-- NOTE: Don't forget to update ./changelog.md
license: BSD-3-Clause
@@ -86,7 +86,7 @@ Library
build-depends:
rts == 1.0.*,
- ghc-prim >= 0.5.1.0 && < 0.9,
+ ghc-prim >= 0.5.1.0 && < 0.10,
ghc-bignum >= 1.0 && < 2.0
exposed-modules:
diff --git a/libraries/base/tools/ucd2haskell/ucd2haskell.cabal b/libraries/base/tools/ucd2haskell/ucd2haskell.cabal
index 79460935b1..eb5600f49a 100644
--- a/libraries/base/tools/ucd2haskell/ucd2haskell.cabal
+++ b/libraries/base/tools/ucd2haskell/ucd2haskell.cabal
@@ -52,7 +52,7 @@ executable ucd2haskell
main-is: UCD2Haskell.hs
other-modules: Parser.Text
build-depends:
- base >= 4.7 && < 4.17
+ base >= 4.7 && < 4.18
, streamly >= 0.8 && < 0.9
, split >= 0.2.3 && < 0.3
, getopt-generics >= 0.13 && < 0.14
diff --git a/libraries/deepseq b/libraries/deepseq
-Subproject cc5852e2e19fa5d62b732c9a572a6a6013544a4
+Subproject f241315f4cc905076d5c988c27c7db9fbde8bbe
diff --git a/libraries/directory b/libraries/directory
-Subproject f0da64307959fcd2225c01f97df851ff45285e6
+Subproject 4556d3cb689b8ef7c0f433de3c957559613e342
diff --git a/libraries/filepath b/libraries/filepath
-Subproject e60969e693ffea59725cc3ebcae415343ddd069
+Subproject 4d7092ad3a8357b18a8fcbeb6fcf38045460eb9
diff --git a/libraries/ghc-bignum/ghc-bignum.cabal b/libraries/ghc-bignum/ghc-bignum.cabal
index 59ba847272..58d7a527de 100644
--- a/libraries/ghc-bignum/ghc-bignum.cabal
+++ b/libraries/ghc-bignum/ghc-bignum.cabal
@@ -77,7 +77,7 @@ library
ForeignFunctionInterface
build-depends:
- ghc-prim >= 0.5.1.0 && < 0.9
+ ghc-prim >= 0.5.1.0 && < 0.10
hs-source-dirs: src/
include-dirs: include/
diff --git a/libraries/ghc-boot-th/ghc-boot-th.cabal.in b/libraries/ghc-boot-th/ghc-boot-th.cabal.in
index 7a0fa8634e..88b18d434b 100644
--- a/libraries/ghc-boot-th/ghc-boot-th.cabal.in
+++ b/libraries/ghc-boot-th/ghc-boot-th.cabal.in
@@ -36,4 +36,4 @@ Library
GHC.ForeignSrcLang.Type
GHC.Lexeme
- build-depends: base >= 4.7 && < 4.17
+ build-depends: base >= 4.7 && < 4.18
diff --git a/libraries/ghc-boot/ghc-boot.cabal.in b/libraries/ghc-boot/ghc-boot.cabal.in
index efac404501..3ca83a5e1c 100644
--- a/libraries/ghc-boot/ghc-boot.cabal.in
+++ b/libraries/ghc-boot/ghc-boot.cabal.in
@@ -69,7 +69,7 @@ Library
GHC.Version
GHC.Platform.Host
- build-depends: base >= 4.7 && < 4.17,
+ build-depends: base >= 4.7 && < 4.18,
binary == 0.8.*,
bytestring >= 0.10 && < 0.12,
containers >= 0.5 && < 0.7,
diff --git a/libraries/ghc-compact/ghc-compact.cabal b/libraries/ghc-compact/ghc-compact.cabal
index 2b84d61c6a..12a5e509b4 100644
--- a/libraries/ghc-compact/ghc-compact.cabal
+++ b/libraries/ghc-compact/ghc-compact.cabal
@@ -39,8 +39,8 @@ library
UnboxedTuples
CPP
- build-depends: ghc-prim >= 0.5.3 && < 0.9,
- base >= 4.9.0 && < 4.17,
+ build-depends: ghc-prim >= 0.5.3 && < 0.10,
+ base >= 4.9.0 && < 4.18,
bytestring >= 0.10.6.0 && <0.12
ghc-options: -Wall
diff --git a/libraries/ghc-heap/ghc-heap.cabal.in b/libraries/ghc-heap/ghc-heap.cabal.in
index 8937b4aa46..2c6e6794c1 100644
--- a/libraries/ghc-heap/ghc-heap.cabal.in
+++ b/libraries/ghc-heap/ghc-heap.cabal.in
@@ -23,7 +23,7 @@ library
default-language: Haskell2010
build-depends: base >= 4.9.0 && < 5.0
- , ghc-prim > 0.2 && < 0.9
+ , ghc-prim > 0.2 && < 0.10
, rts == 1.0.*
, containers >= 0.6.2.1 && < 0.7
diff --git a/libraries/ghc-prim/changelog.md b/libraries/ghc-prim/changelog.md
index 049b254743..6f665f3fcb 100644
--- a/libraries/ghc-prim/changelog.md
+++ b/libraries/ghc-prim/changelog.md
@@ -1,24 +1,25 @@
-## next (edit as necessary)
+## 0.9.0
+
+- Shipped with GHC 9.4.1
- `magicDict` has been renamed to `withDict` and is now defined in
`GHC.Magic.Dict` instead of `GHC.Prim`. `withDict` now has the type:
- ```
- class WithDict cls meth where
- withDict :: forall {rr :: RuntimeRep} (r :: TYPE rr). meth -> (cls => r) -> r
+ ```haskell
+ withDict :: forall {rr :: RuntimeRep} st dt (r :: TYPE rr). st -> (dt => r) -> r
```
Unlike `magicDict`, `withDict` can be used without defining an
intermediate data type. For example, the `withTypeable` function from the
`Data.Typeable` module can now be defined as:
- ```
+ ```haskell
withTypeable :: forall k (a :: k) rep (r :: TYPE rep). ()
=> TypeRep a -> (Typeable a => r) -> r
- withTypeable rep k = withDict @(Typeable a) rep k
+ withTypeable rep k = withDict @(TypeRep a) @(Typeable a) rep k
```
- Note that the explicit type application is required, as the call to
+ Note that the explicit type applications are required, as the call to
`withDict` would be ambiguous otherwise.
- Primitive types and functions which handle boxed values are now levity-polymorphic,
@@ -34,25 +35,25 @@
For example, `Array#` used to have kind:
- ```
+ ```haskell
Type -> UnliftedType
```
but it now has kind:
- ```
+ ```haskell
forall {l :: Levity}. TYPE (BoxedRep l) -> UnliftedType
```
Similarly, `MutVar#` used to have kind:
- ```
+ ```haskell
Type -> Type -> UnliftedType
```
but it now has kind:
- ```
+ ```haskell
forall {l :: Levity}. Type -> TYPE (BoxedRep l) -> UnliftedType
```
@@ -95,7 +96,7 @@
For example, the full type of `newMutVar#` is now:
- ```
+ ```haskell
newMutVar#
:: forall {l :: Levity} s (a :: TYPE (BoxedRep l)).
a -> State# s -> (# State# s, MVar# s a #)
@@ -103,7 +104,7 @@
and the full type of `writeSmallArray#` is:
- ```
+ ```haskell
writeSmallArray#
:: forall {l :: Levity} s (a :: TYPE ('BoxedRep l)).
SmallMutableArray# s a -> Int# -> a -> State# s -> State# s
@@ -116,7 +117,7 @@
- `mkWeak#`, `mkWeakNoFinalizer#`, `touch#` and `keepAlive#` are now
levity-polymorphic instead of representation-polymorphic. For instance:
- ```
+ ```haskell
mkWeakNoFinalizer#
:: forall {l :: Levity} {k :: Levity}
(a :: TYPE ('BoxedRep l))
@@ -133,7 +134,7 @@
- Primitive functions for throwing and catching exceptions are now more polymorphic
than before. For example, `catch#` now has type:
- ```
+ ```haskell
catch#
:: forall {r :: RuntimeRep} {l :: Levity}
(a :: TYPE r)
@@ -154,7 +155,7 @@
Note in particular that `raise#` is now both representation-polymorphic
(with an inferred `RuntimeRep` argument) and levity-polymorphic, with type:
- ```
+ ```haskell
raise# :: forall {l :: Levity} {r :: RuntimeRep}
(a :: TYPE (BoxedRep l))
(b :: TYPE r).
@@ -171,7 +172,7 @@
- `reallyUnsafePtrEquality#` has been made more general, as it is now
both levity-polymorphic and heterogeneous:
- ```
+ ```haskell
reallyUnsafePtrEquality#
:: forall {l :: Levity} {k :: Levity}
(a :: TYPE (BoxedRep l))
@@ -192,14 +193,14 @@
- The following functions have been added to `GHC.Exts`:
- ```
+ ```haskell
sameArray# :: Array# a -> Array# a -> Int#
sameSmallArray# :: SmallArray# a -> SmallArray# a -> Int#
sameByteArray# :: ByteArray# -> ByteArray# -> Int#
sameArrayArray# :: ArrayArray# -> ArrayArray# -> Int#
```
-## 0.8.0 (edit as necessary)
+## 0.8.0
- Change array access primops to use type with size maxing the element size:
@@ -228,7 +229,7 @@
atomicCasWord32Addr# :: Addr# -> Word32# -> Word32# -> State# s -> (# State# s, Word32# #)
atomicCasWord64Addr# :: Addr# -> WORD64 -> WORD64 -> State# s -> (# State# s, WORD64 #)
-## 0.7.0 (edit as necessary)
+## 0.7.0
- Shipped with GHC 9.0.1
@@ -267,7 +268,7 @@
the soundness issues of the latter (see
[#17760](https://gitlab.haskell.org/ghc/ghc/-/issues/17760)).
-## 0.6.1 (edit as necessary)
+## 0.6.1
- Shipped with GHC 8.10.1
diff --git a/libraries/ghc-prim/ghc-prim.cabal b/libraries/ghc-prim/ghc-prim.cabal
index 4be29843ae..e2918ccaf2 100644
--- a/libraries/ghc-prim/ghc-prim.cabal
+++ b/libraries/ghc-prim/ghc-prim.cabal
@@ -1,6 +1,6 @@
cabal-version: 2.2
name: ghc-prim
-version: 0.8.0
+version: 0.9.0
-- NOTE: Don't forget to update ./changelog.md
license: BSD-3-Clause
license-file: LICENSE
diff --git a/libraries/ghci/ghci.cabal.in b/libraries/ghci/ghci.cabal.in
index 06f7eca0c5..c323387801 100644
--- a/libraries/ghci/ghci.cabal.in
+++ b/libraries/ghci/ghci.cabal.in
@@ -70,8 +70,8 @@ library
Build-Depends:
rts,
array == 0.5.*,
- base >= 4.8 && < 4.17,
- ghc-prim >= 0.5.0 && < 0.9,
+ base >= 4.8 && < 4.18,
+ ghc-prim >= 0.5.0 && < 0.10,
binary == 0.8.*,
bytestring >= 0.10 && < 0.12,
containers >= 0.5 && < 0.7,
diff --git a/libraries/haskeline b/libraries/haskeline
-Subproject 2a5d9451ab7a0602b604a4bf0b9f950e913b865
+Subproject aae0bfeec7ae767e3c30844ca2f99b682518546
diff --git a/libraries/hpc b/libraries/hpc
-Subproject 8adc9d2438f29c133dab3396c96020d143d34cf
+Subproject 7d400662546a262b64af49b5707db22e20b8b9d
diff --git a/libraries/parsec b/libraries/parsec
-Subproject 9a1f72c1c77e3bb9ac2a3ca9b0aedd66f3c7f35
+Subproject a74c68e948c99621100447014f48ccac7ee0448
diff --git a/libraries/process b/libraries/process
-Subproject 2ee9f1d8412de2150cb636b524290ceceed682b
+Subproject 7a7431a0ef586c0f1e602e382398b988c699dfc
diff --git a/libraries/stm b/libraries/stm
-Subproject a58fdfadbcfd2743944e6a3c4bc734cfbca8913
+Subproject d4da9d83d1eab562460aa89cedac61abc884d93
diff --git a/libraries/template-haskell/template-haskell.cabal.in b/libraries/template-haskell/template-haskell.cabal.in
index 097e5bae24..58d0d70d7d 100644
--- a/libraries/template-haskell/template-haskell.cabal.in
+++ b/libraries/template-haskell/template-haskell.cabal.in
@@ -55,7 +55,7 @@ Library
Language.Haskell.TH.Lib.Map
build-depends:
- base >= 4.11 && < 4.17,
+ base >= 4.11 && < 4.18,
ghc-boot-th == @ProjectVersionMunged@,
ghc-prim,
filepath,
diff --git a/libraries/terminfo b/libraries/terminfo
-Subproject 5c75033414f7232b007e7dd50d1ea2b0f2147ff
+Subproject a21cc7e2d58f3e35a4ac3fb386738d9b448eaf1
diff --git a/libraries/text b/libraries/text
-Subproject 89feee7e8a3b7e55dc8544cd21ea5f908cc8aea
+Subproject 7d68087bd90c7b6721910d00e9fe309d4148a5a
diff --git a/libraries/unix b/libraries/unix
-Subproject 1f72ccec55c1b61299310b994754782103a617f
+Subproject f018fe126c5f1dbbd3431c7214337ccbb38230c