Bump all clash dependencies to current master HEAD

Do note that we currently retain our local version of `PeriodToCycles`.
This version still has the `Max` types which greatly improves usability.
Related issue: clash-lang/ghc-typelits-extra#56

bittide-instances/src/Bittide/Instances/Domains.hs

@@ -6,7 +6,7 @@
 
 module Bittide.Instances.Domains where
 
-import Clash.Explicit.Prelude
+import Clash.Explicit.Prelude hiding (PeriodToCycles)
 
 import Bittide.ClockControl
 import Bittide.Arithmetic.Time

bittide-instances/src/Bittide/Instances/Hitl/FincFdec.hs

@@ -15,7 +15,6 @@ import Clash.Explicit.Prelude
 import Clash.Prelude (withClockResetEnable)
 import Clash.Xilinx.ClockGen (clockWizardDifferential)
 
-import Bittide.Arithmetic.Time
 import Bittide.Counter (domainDiffCounter)
 import Bittide.ClockControl (SpeedChange(NoChange, SlowDown, SpeedUp), speedChangeToFincFdec)
 import Bittide.ClockControl.Si539xSpi (si539xSpi, ConfigState(Finished))

bittide-instances/src/Bittide/Instances/Hitl/FullMeshHwCc.hs

@@ -33,7 +33,7 @@ module Bittide.Instances.Hitl.FullMeshHwCc
   ) where
 
 import Clash.Prelude (withClockResetEnable)
-import Clash.Explicit.Prelude
+import Clash.Explicit.Prelude hiding (PeriodToCycles)
 import qualified Clash.Explicit.Prelude as E
 
 import Data.Maybe (fromMaybe)

bittide-instances/src/Bittide/Instances/Hitl/FullMeshSwCc.hs

@@ -1,11 +1,12 @@
 -- SPDX-FileCopyrightText: 2023-2024 Google LLC
 --
 -- SPDX-License-Identifier: Apache-2.0
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE NamedFieldPuns #-}
 {-# LANGUAGE NumericUnderscores #-}
+{-# LANGUAGE OverloadedRecordDot #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE RecordWildCards #-}
-{-# LANGUAGE OverloadedRecordDot #-}
-{-# LANGUAGE NamedFieldPuns #-}
 
 {-# OPTIONS_GHC -fplugin=Protocols.Plugin #-}
 {-# OPTIONS_GHC -fconstraint-solver-iterations=20 #-}
@@ -33,7 +34,7 @@ module Bittide.Instances.Hitl.FullMeshSwCc
 
 import qualified Prelude as P
 import Clash.Prelude (withClockResetEnable)
-import Clash.Explicit.Prelude
+import Clash.Explicit.Prelude hiding (PeriodToCycles)
 import qualified Clash.Explicit.Prelude as E
 
 import Data.Maybe (fromMaybe)
@@ -438,7 +439,9 @@ stableFor clk rst = moore clk rst enableGen go snd (unpack 0, 0)
 -- | Wrapper around 'stableFor' that checks the input has been stable for atleast @ms@ milliseconds
 stableForMs ::
   forall ms dom a.
-  (KnownNat ms, KnownDomain dom, Eq a, BitPack a, NFDataX a) =>
+  -- Changed from `KnownNat ms` to `KnownNat (Milliseconds ms)` to circumvent
+  -- ghc-typelits-knownnat bug: https://github.com/clash-lang/ghc-typelits-knownnat/issues/53
+  (KnownNat (Milliseconds ms), KnownDomain dom, Eq a, BitPack a, NFDataX a) =>
   SNat ms -> Clock dom -> Reset dom -> Signal dom a -> Signal dom Bool
 stableForMs SNat clk rst inp =
   liftA2 (>=) stable (snatToNum (SNat @(PeriodToCycles dom (Milliseconds ms))))

bittide-instances/src/Bittide/Instances/Hitl/HwCcTopologies.hs

@@ -34,7 +34,7 @@ module Bittide.Instances.Hitl.HwCcTopologies
   ) where
 
 import Clash.Prelude (withClockResetEnable)
-import Clash.Explicit.Prelude
+import Clash.Explicit.Prelude hiding (PeriodToCycles)
 import qualified Clash.Explicit.Prelude as E
 
 import Data.Bifunctor (bimap)

bittide-instances/src/Bittide/Instances/Hitl/IlaPlot.hs

@@ -47,11 +47,11 @@ module Bittide.Instances.Hitl.IlaPlot
 
 import GHC.Stack (HasCallStack)
 
-import Clash.Explicit.Prelude
+import Clash.Explicit.Prelude hiding (PeriodToCycles)
 import Clash.Explicit.Signal.Extra
 import Clash.Sized.Extra (concatUnsigneds)
 
-import Bittide.Arithmetic.Time (Seconds, Milliseconds, PeriodToCycles, trueFor)
+import Bittide.Arithmetic.Time (PeriodToCycles, trueFor)
 import Bittide.ClockControl (SpeedChange(..), RelDataCount, ClockControlConfig)
 import Bittide.ClockControl.Callisto
   (CallistoResult(..), ReframingState(..), callistoClockControl)

bittide-instances/src/Bittide/Instances/Hitl/SyncInSyncOut.hs

@@ -62,7 +62,7 @@
 --
 module Bittide.Instances.Hitl.SyncInSyncOut where
 
-import Clash.Explicit.Prelude
+import Clash.Explicit.Prelude hiding (PeriodToCycles)
 
 import Bittide.Arithmetic.Time
 import Bittide.Hitl (HitlTests, allFpgas, hitlVioBool, noConfigTest)

bittide-instances/src/Bittide/Instances/Pnr/Si539xSpi.hs

@@ -11,7 +11,6 @@ import Clash.Prelude
 
 import Clash.Annotations.TH (makeTopEntity)
 
-import Bittide.Arithmetic.Time
 import Bittide.ClockControl
 import Bittide.ClockControl.Callisto
 import Bittide.ClockControl.Si5395J

bittide/src/Bittide/Arithmetic/Time.hs

@@ -6,41 +6,22 @@
 module Bittide.Arithmetic.Time where
 
 import GHC.Stack (HasCallStack)
-import Clash.Explicit.Prelude hiding (natVal)
+import Clash.Explicit.Prelude hiding (PeriodToCycles)
 
 import Clash.Class.Counter (countSucc, Counter)
 import Clash.Signal.Internal (Femtoseconds (Femtoseconds), mapFemtoseconds)
-import Data.Data (Proxy(Proxy))
+import Data.Data (Proxy)
 import Data.Int (Int64)
 import Data.Kind (Type)
 
-import GHC.TypeNats (natVal)
-import GHC.TypeLits.KnownNat (KnownNat1 (..),SNatKn(..), nameToSymbol)
-
--- | Gets time in 'Picoseconds' from time in 'Seconds'.
-type Seconds      (s  :: Nat) = Milliseconds (1000 * s)
--- | Gets time in 'Picoseconds' from time in 'Milliseconds'.
-type Milliseconds (ms :: Nat) = Microseconds (1000 * ms)
--- | Gets time in 'Picoseconds' from time in 'Microseconds'.
-type Microseconds (us :: Nat) = Nanoseconds  (1000 * us)
--- | Gets time in 'Picoseconds' from time in 'Nanoseconds'.
-type Nanoseconds  (ns :: Nat) = Picoseconds  (1000 * ns)
--- | Gets time in 'Picoseconds' from time in 'Picoseconds', essentially 'id'.
-type Picoseconds  (ps :: Nat) = ps
-
--- Make ghc-typelits-knownnat look through the Picoseconds type alias
-instance (KnownNat ps) => KnownNat1 $(nameToSymbol ''Picoseconds) ps where
-  natSing1 = SNatKn (natVal (Proxy @ps))
-  {-# NOINLINE natSing1 #-}
-
--- | Number of clock cycles required at the clock frequency of @dom@ before a minimum @period@ has passed.
+-- | XXX: We currently retain this in favor of @clash-prelude@s 'PeriodToCycles'
+-- until @1 <= DomainPeriod dom@ is trivially true. Related issue:
+-- https://github.com/clash-lang/ghc-typelits-extra/issues/56
+--
+--Number of clock cycles required at the clock frequency of @dom@ before a minimum @period@ has passed.
 -- Is always at least one.
 type PeriodToCycles dom period = Max 1 (DivRU period (Max 1 (DomainPeriod dom)))
 
--- | The domain's clock frequency in Hertz, calculated based on the period stored in ps.
--- This might lead to rounding errors.
-type DomainFrequency dom = Div (Seconds 1) (DomainPeriod dom)
-
 -- | 'Index' with its 'maxBound' corresponding to the number of cycles needed to
 -- wait for /n/ milliseconds.
 type IndexMs dom n = Index (PeriodToCycles dom (Milliseconds n))

bittide/src/Bittide/ClockControl.hs

@@ -22,7 +22,7 @@ module Bittide.ClockControl
   )
 where
 
-import Clash.Explicit.Prelude
+import Clash.Explicit.Prelude  hiding (PeriodToCycles)
 import Clash.Signal.Internal (Femtoseconds(..))
 import Data.Aeson (ToJSON(toJSON))
 import Data.Proxy (Proxy(..))
@@ -32,7 +32,7 @@ import Foreign.Storable (Storable(..))
 import GHC.Stack (HasCallStack)
 
 import Bittide.Arithmetic.Ppm
-import Bittide.Arithmetic.Time (PeriodToCycles, Nanoseconds, Microseconds, microseconds)
+import Bittide.Arithmetic.Time (PeriodToCycles, microseconds)
 import Bittide.ClockControl.Foreign.Sizes
 
 import Data.Csv

bittide/src/Bittide/ClockControl/Si539xSpi.hs

@@ -11,7 +11,7 @@
 
 module Bittide.ClockControl.Si539xSpi where
 
-import Clash.Prelude
+import Clash.Prelude hiding (PeriodToCycles)
 import Clash.Cores.SPI
 
 import Data.Maybe

bittide/src/Bittide/Transceiver.hs

@@ -89,7 +89,7 @@ module Bittide.Transceiver where
 
 import Clash.Explicit.Prelude
 
-import Bittide.Arithmetic.Time (Milliseconds, trueForSteps)
+import Bittide.Arithmetic.Time (trueForSteps)
 import Bittide.ElasticBuffer (sticky)
 import Clash.Cores.Xilinx.GTH (GthCore)
 import Clash.Cores.Xilinx.Ila (IlaConfig(advancedTriggers, depth, stages), ilaConfig, ila, Depth(D1024))

bittide/src/Bittide/Wishbone.hs

@@ -11,7 +11,6 @@ module Bittide.Wishbone where
 
 import Clash.Prelude
 
-import Bittide.Arithmetic.Time(DomainFrequency)
 import Bittide.DoubleBufferedRam
 import Bittide.SharedTypes
 
@@ -467,7 +466,7 @@ timeWb = Circuit $ \(wbM2S, _) -> (mealy goMealy (0,0) wbM2S, ())
  where
   goMealy (frozen, count :: Unsigned 64) wbM2S = ((nextFrozen, succ count), wbS2M)
        where
-    freq = natToNum @(DomainFrequency dom) :: Unsigned 64
+    freq = natToNum @(DomainToHz dom) :: Unsigned 64
     nextFrozen = if isJust (head writes) then count else frozen
     RegisterBank (splitAtI -> (frozenMsbs, frozenLsbs)) = getRegsBe @8 frozen
     RegisterBank (splitAtI -> (freqMsbs, freqLsbs)) = getRegsBe @8 freq

bittide/src/Clash/Cores/UART/Extra.hs

@@ -20,13 +20,12 @@ import Protocols
 import Protocols.Df hiding (catMaybes, sample, pure)
 import System.IO
 
-import Bittide.Arithmetic.Time
 import Bittide.Wishbone
 
 import qualified Protocols.Df as Df
 
 -- | The maximum baud rate for a given domain, useful for simulation purposes
-type MaxBaudRate dom = Div (DomainFrequency dom) 16
+type MaxBaudRate dom = Div (DomainToHz dom) 16
 
 -- | A simulation function for circuits that expose a UART connection.
 -- This function reads from the provided input handle and feeds that to the UART circuit.

bittide/tests/Tests/Transceiver.hs

@@ -11,11 +11,11 @@
 
 module Tests.Transceiver where
 
-import Clash.Explicit.Prelude
+import Clash.Explicit.Prelude hiding (PeriodToCycles)
 import Clash.Prelude (withClock)
 import Hedgehog
 
-import Bittide.Arithmetic.Time (PeriodToCycles, Microseconds, Milliseconds)
+import Bittide.Arithmetic.Time (PeriodToCycles)
 import Bittide.SharedTypes (Bytes)
 import Clash.Annotations.Primitive (dontTranslate)
 import Clash.Cores.Xilinx.GTH (GthCore)

cabal.project

@@ -131,31 +131,31 @@ index-state: 2023-12-05T05:33:28Z
 source-repository-package
   type: git
   location: https://github.com/clash-lang/clash-compiler.git
-  tag: 9afc2262a66cbf98c7c157d5472cbb46d0016f7f
+  tag: 1d49cd2a528fe719beb3b2887dc440362b1b3574
   subdir: clash-prelude
 
 source-repository-package
   type: git
   location: https://github.com/clash-lang/clash-compiler.git
-  tag: 9afc2262a66cbf98c7c157d5472cbb46d0016f7f
+  tag: 1d49cd2a528fe719beb3b2887dc440362b1b3574
   subdir: clash-ghc
 
 source-repository-package
   type: git
   location: https://github.com/clash-lang/clash-compiler.git
-  tag: 9afc2262a66cbf98c7c157d5472cbb46d0016f7f
+  tag: 1d49cd2a528fe719beb3b2887dc440362b1b3574
   subdir: clash-lib
 
 source-repository-package
   type: git
   location: https://github.com/clash-lang/clash-compiler.git
-  tag: 9afc2262a66cbf98c7c157d5472cbb46d0016f7f
+  tag: 1d49cd2a528fe719beb3b2887dc440362b1b3574
   subdir: clash-prelude-hedgehog
 
 source-repository-package
   type: git
   location: https://github.com/clash-lang/clash-compiler.git
-  tag: 9afc2262a66cbf98c7c157d5472cbb46d0016f7f
+  tag: 1d49cd2a528fe719beb3b2887dc440362b1b3574
   subdir: clash-cores
 
 source-repository-package