Add KnownDomain to unsafeToReset

In preparation for #2589 "Remove KnownDomain".
This is the only constraint addition in clash-prelude in for the KnownDomain removal,
by adding it here for 1.8 we can do the KnownDomain removal later,
with less backwards compatibility issues.

This commit also had to add a KnownDomain to invertReset,
because it used unsafeToReset, but this will be removed again by #2589.

Author: leonschoorl

changelog/2023-10-02T15_07_39+02_00_remove_KnownDomain-preparation

@@ -1,2 +1,5 @@
 ADDED: You can now use ~PERIOD, ~ISSYNC, ~ISINITDEFINED and ~ACTIVEEDGE
 on arguments of type Clock,Reset,Enable,ClockN and DiffClock.
+
+CHANGED: unsafeToReset and invertReset now have a KnownDomain constraint
+This was done in preparation for [Remove KnownDomain #2589](https://github.com/clash-lang/clash-compiler/pull/2589)

clash-lib/prims/commonverilog/Clash_Signal_Internal.primitives.yaml

@@ -9,6 +9,6 @@
     name: Clash.Signal.Internal.unsafeToReset
     kind: Expression
     type: 'unsafeToReset ::
-      Signal dom Bool -> Reset dom'
-    template: ~ARG[0]
+      KnownDomain dom => Signal dom Bool -> Reset dom'
+    template: ~ARG[1]
     workInfo: Never

clash-lib/prims/vhdl/Clash_Signal_Internal.primitives.yaml

@@ -230,6 +230,6 @@
     name: Clash.Signal.Internal.unsafeToReset
     kind: Declaration
     type: 'unsafeToReset ::
-      Signal dom Bool -> Reset dom'
-    template: ~RESULT <= '1' when ~ARG[0] = true else '0';
+      KnownDomain dom => Signal dom Bool -> Reset dom'
+    template: ~RESULT <= '1' when ~ARG[1] = true else '0';
     workInfo: Never

clash-prelude/src/Clash/Signal/Internal.hs

@@ -1279,7 +1279,8 @@ unsafeFromReset (Reset r) = r
 -- __NB__: You probably want to use 'unsafeFromActiveLow' or
 -- 'unsafeFromActiveHigh'.
 unsafeToReset
-  :: Signal dom Bool
+  :: KnownDomain dom
+  => Signal dom Bool
   -> Reset dom
 unsafeToReset r = Reset r
 -- See: https://github.com/clash-lang/clash-compiler/pull/2511
@@ -1359,7 +1360,7 @@ unsafeFromActiveLow r =
       SActiveLow -> r
 
 -- | Invert reset signal
-invertReset :: Reset dom -> Reset dom
+invertReset :: KnownDomain dom => Reset dom -> Reset dom
 invertReset = unsafeToReset . fmap not . unsafeFromReset
 
 infixr 2 .||.