no weak or mvar on ghc 9

.github/workflows/ci.yml

@@ -0,0 +1,88 @@
+name: ci
+on:
+  push:
+    branches:
+      - master
+  pull_request: {} # Validate all PRs
+
+defaults:
+  run:
+    shell: bash
+
+jobs:
+  build:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: true
+      matrix:
+        os: [ubuntu-latest]
+        ghc: ['8.6', '8.8', '8.10', '9.0', '9.2', 'latest']
+        include:
+        - os: macOS-latest
+          ghc: 'latest'
+    steps:
+    - uses: actions/checkout@v2
+    - uses: haskell/actions/setup@v1
+      id: setup-haskell-cabal
+      with:
+        ghc-version: ${{ matrix.ghc }}
+    - name: Update cabal package database
+      run: cabal update
+    - uses: actions/cache@v2
+      name: Cache cabal stuff
+      with:
+        path: |
+          ${{ steps.setup-haskell-cabal.outputs.cabal-store }}
+          dist-newstyle
+        key: ${{ runner.os }}-${{ matrix.ghc }}
+    - name: Test
+      run: |
+        cabal build primitive-unlifted:test --enable-tests
+        cabal test --enable-tests
+    - name: Haddock
+      run: |
+        cabal haddock
+    - name: Cabal check
+      run: |
+        cabal check
+  windows-build:
+    runs-on: windows-latest
+    needs: build
+    strategy:
+      fail-fast: true
+      matrix:
+        ghc: ['latest']
+    steps:
+    - uses: actions/checkout@v2
+    - uses: haskell/actions/setup@v1
+      id: setup-haskell-cabal
+      with:
+        ghc-version: ${{ matrix.ghc }}
+    - name: Update cabal package database
+      run: cabal update
+    - uses: actions/cache@v2
+      name: Cache cabal stuff
+      with:
+        path: |
+          ${{ steps.setup-haskell-cabal.outputs.cabal-store }}
+          dist-newstyle
+        key: ${{ runner.os }}-${{ matrix.ghc }}
+    # We rebuild tests several times to avoid intermittent failures on Windows
+    # https://github.com/haskell/actions/issues/36
+    # We also use --enable-tests and --enable-benchmarks to avoid
+    # test and bench commands from reconfiguring and thus rebuilding.
+    - name: Build Test
+      run: |
+        bld() { cabal build primitive-unlifted:test --enable-tests; }
+        bld || bld || bld
+
+    - name: Run Test
+      run: |
+        cabal test --enable-tests
+      shell: pwsh
+    - name: Haddock
+      run: |
+        cabal haddock
+    - name: Cabal check
+      run: |
+        cabal check

src/Data/Primitive/Unlifted/MVar.hs

@@ -1,3 +1,4 @@
+{-# language CPP #-}
 {-# language UnboxedTuples #-}
 {-# language UnboxedSums #-}
 {-# language RoleAnnotations #-}
@@ -10,6 +11,12 @@
 {-# language BangPatterns #-}
 {- options_ghc -ddump-simpl #-}
 
+#if MIN_VERSION_base(4,15,0)
+
+module Data.Primitive.Unlifted.MVar () where
+
+#else
+
 -- | This module includes all the features of "Control.Concurrent.MVar", except
 -- that the functions in "Data.Primitive.Unlifted.Weak" subsume the functionality
 -- of @mkWeakMV@ and @addMVarFinalizer@, so we do not include analogues of those
@@ -135,3 +142,5 @@ modifyUnliftedMVarMasked_
   => UnliftedMVar RealWorld a -> (a -> m a) -> m ()
 {-# INLINE modifyUnliftedMVarMasked_ #-}
 modifyUnliftedMVarMasked_ m st = stToPrim $ MV.modifyUnliftedMVarMasked_ m (primToST . st)
+
+#endif

src/Data/Primitive/Unlifted/MVar/Primops.hs

@@ -1,3 +1,4 @@
+{-# language CPP #-}
 {-# language ScopedTypeVariables #-}
 {-# language MagicHash #-}
 {-# language KindSignatures #-}
@@ -7,6 +8,12 @@
 {-# language RoleAnnotations #-}
 {-# language DataKinds #-}
 
+#if MIN_VERSION_base(4,15,0)
+
+module Data.Primitive.Unlifted.MVar.Primops () where
+
+#else
+
 module Data.Primitive.Unlifted.MVar.Primops
   ( UnliftedMVar#
   , newUnliftedMVar#
@@ -73,3 +80,5 @@ isEmptyUnliftedMVar# :: UnliftedMVar# s a -> State# s -> (# State# s, Int# #)
 {-# INLINE isEmptyUnliftedMVar# #-}
 isEmptyUnliftedMVar# (UnliftedMVar# mv) s
   = isEmptyMVar# mv s
+
+#endif

src/Data/Primitive/Unlifted/MVar/ST.hs

@@ -1,3 +1,4 @@
+{-# language CPP #-}
 {-# language UnboxedTuples #-}
 {-# language UnboxedSums #-}
 {-# language RoleAnnotations #-}
@@ -10,6 +11,12 @@
 {-# language BangPatterns #-}
 {- options_ghc -ddump-simpl #-}
 
+#if MIN_VERSION_base(4,15,0)
+
+module Data.Primitive.Unlifted.MVar.ST () where
+
+#else
+
 -- | This module includes all the features of "Control.Concurrent.MVar", except
 -- that the functions in "Data.Primitive.Unlifted.Weak" subsume the functionality
 -- of @mkWeakMV@ and @addMVarFinalizer@, so we do not include analogues of those
@@ -273,3 +280,5 @@ modifyUnliftedMVarMasked_ m st =
     a  <- takeUnliftedMVarBox m
     a' <- (toBox <$> st (fromBox a)) `onException` putUnliftedMVarBox m a
     putUnliftedMVarBox m a'
+
+#endif

src/Data/Primitive/Unlifted/Weak.hs

@@ -1,10 +1,17 @@
+{-# language CPP #-}
 {-# language MagicHash #-}
 {-# language UnboxedTuples #-}
 {-# language TypeInType #-}
 {-# language RoleAnnotations #-}
 {-# language ScopedTypeVariables #-}
 {-# language TypeFamilies #-}
 
+#if MIN_VERSION_base(4,15,0)
+
+module Data.Primitive.Unlifted.Weak () where
+
+#else
+
 -- | "System.Mem.Weak" provides weak references from lifted keys to lifted
 -- values. "Data.IORef", "Control.Concurrent.MVar", and
 -- @Control.Concurrent.STM.TVar@ provide operations for producing weak
@@ -142,3 +149,5 @@ touchUnlifted
   :: (PrimUnlifted a, PrimMonad m, PrimState m ~ RealWorld)
   => a -> m ()
 touchUnlifted a = ioToPrim $ W.touchUnlifted a
+
+#endif

src/Data/Primitive/Unlifted/Weak/IO.hs

@@ -1,3 +1,4 @@
+{-# language CPP #-}
 {-# language MagicHash #-}
 {-# language UnboxedTuples #-}
 {-# language TypeInType #-}
@@ -6,6 +7,12 @@
 {-# language TypeFamilies #-}
 {-# language DataKinds #-}
 
+#if MIN_VERSION_base(4,15,0)
+
+module Data.Primitive.Unlifted.Weak.IO () where
+
+#else
+
 -- | A version of "Data.Primitive.Unlifted.Weak" specialized to the 'IO' type.
 module Data.Primitive.Unlifted.Weak.IO
   ( UnliftedWeak_ (..)
@@ -168,3 +175,5 @@ touchUnlifted
   => a -> IO ()
 touchUnlifted a = IO $ \s ->
   (# Exts.touch# (toUnlifted# a) s, () #)
+
+#endif

src/Data/Primitive/Unlifted/Weak/Primops.hs

@@ -1,3 +1,4 @@
+{-# language CPP #-}
 {-# language MagicHash #-}
 {-# language UnboxedTuples #-}
 {-# language UnboxedSums #-}
@@ -7,6 +8,12 @@
 {-# language TypeFamilies #-}
 {-# language UnliftedNewtypes #-}
 
+#if MIN_VERSION_base(4,15,0)
+
+module Data.Primitive.Unlifted.Weak.Primops () where
+
+#else
+
 -- See UnsafeCoercions.md for an explanation of why we coerce
 -- things the way we do here, and why some operations are marked
 -- NOINLINE.
@@ -137,3 +144,5 @@ finalizeUnliftedWeak# (UnliftedWeak# w) s =
   case finalizeWeak# w s of
     (# s', 0#, _ #) -> (# s', (# (##) | #) #) -- already dead, or no Haskell finalizer
     (# s', _, f #) -> (# s', (# | f #) #)
+
+#endif