Add PolyKinds to as default extension to clash-prelude

`NoPolyKinds` has confused us multiple times because it prevents us from getting typeclass derivations of types that contain a Kind

Author: lmbollen

changelog/2025-08-25T09_57_02+02_00_enable_polykinds_for_clash_prelude

@@ -0,0 +1,2 @@
+CHANGED: `PolyKinds` is now a `default-extension` of `clash-prelude`. `NoPolyKinds` prevented the derivation of
+typeclass instances of types that contained a Kind, for example `BitPack (Proxy 52)`.

clash-prelude/LICENSE

@@ -1,6 +1,6 @@
 Copyright (c) 2013-2016, University of Twente,
               2016-2019, Myrtle Software Ltd,
-              2017-2019, QBayLogic B.V., Google Inc.
+              2017-2025, QBayLogic B.V., Google Inc.
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without

clash-prelude/clash-prelude.cabal

@@ -131,6 +131,7 @@ common common-options
                       KindSignatures
                       MagicHash
                       NoStarIsType
+                      PolyKinds
                       PostfixOperators
                       ScopedTypeVariables
                       StandaloneDeriving

clash-prelude/src/Clash/Annotations/SynthesisAttributes.hs

@@ -1,6 +1,6 @@
 {-|
   Copyright   :  (C) 2018,      Google Inc.,
-                     2021-2023, QBayLogic B.V.
+                     2021-2025, QBayLogic B.V.
   License     :  BSD2 (see the file LICENSE)
   Maintainer  :  QBayLogic B.V. <[email protected]>
 

clash-prelude/src/Clash/Annotations/TH.hs

@@ -51,7 +51,6 @@ makeTopEntity 'topEntity
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE PatternSynonyms #-}
-{-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeFamilies #-}

clash-prelude/src/Clash/Class/BitPack/Internal.hs

@@ -12,7 +12,6 @@ Maintainer :  QBayLogic B.V. <[email protected]>
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
-{-# LANGUAGE PolyKinds #-} -- Required for BitPack (KnownNat n) => BitPack (Proxy n) instances
 {-# LANGUAGE Trustworthy #-}
 
 {-# OPTIONS_GHC -fplugin=GHC.TypeLits.Extra.Solver #-}

clash-prelude/src/Clash/Class/HasDomain/Common.hs

@@ -4,7 +4,6 @@ License    :  BSD2 (see the file LICENSE)
 Maintainer :  Christiaan Baaij <[email protected]>
 -}
 
-{-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE TypeFamilies #-}
 
 module Clash.Class.HasDomain.Common {-# DEPRECATED "Experimental feature multiple hidden has been removed. This module will therefore be removed in Clash 1.12." #-}

clash-prelude/src/Clash/Class/HasDomain/HasSingleDomain.hs

@@ -1,6 +1,6 @@
 {-|
 Copyright  :  (C) 2019, Myrtle Software Ltd
-                  2022, QBayLogic B.V.
+                  2022-2025, QBayLogic B.V.
 License    :  BSD2 (see the file LICENSE)
 Maintainer :  QBayLogic B.V. <[email protected]>
 
@@ -10,7 +10,6 @@ Internals for "Clash.Class.HasDomain"
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}

clash-prelude/src/Clash/Class/HasDomain/HasSpecificDomain.hs

@@ -1,5 +1,6 @@
 {-|
 Copyright  :  (C) 2019, Myrtle Software Ltd
+                  2022-2025, QBayLogic B.V.
 License    :  BSD2 (see the file LICENSE)
 Maintainer :  Christiaan Baaij <[email protected]>
 
@@ -10,7 +11,6 @@ Internals for "Clash.Class.HasDomain"
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}

clash-prelude/src/Clash/NamedTypes.hs

@@ -34,7 +34,6 @@ fifo @System
 -}
 
 {-# LANGUAGE NoGeneralizedNewtypeDeriving #-}
-{-# LANGUAGE PolyKinds #-}
 
 {-# LANGUAGE Safe #-}