Add 'KnownDomain' constraint

See: clash-lang/clash-compiler#527

Setup.hs

@@ -210,7 +210,8 @@ blackboxJson'
 blackboxJson' clks args = blackboxObject bbname "" templateD
     where
       -- Offset where 'real' arguments start, instead of constraints
-      argsOffset = 1 -- result constraint
+      argsOffset = 1    -- result constraint
+                 + 1    -- knowndomain constraint
                  + args -- argument constraints
 
       -- Offset where signal arguments start

src/Clash/CoSim/CoSimInstances.hs

@@ -49,3 +49,4 @@ qCoSim clks args = do
                   $e
             |]
 
+

src/Clash/CoSim/CodeGeneration.hs

@@ -24,7 +24,7 @@ import Clash.CoSim.Paths_clash_cosim
 
 import Clash.Annotations.Primitive (Primitive(..), HDL(..))
 import Clash.CoSim.Types
-import Clash.Prelude (Clock, ClockKind (..), Signal)
+import Clash.Prelude (Clock, Signal, KnownDomain)
 import System.Environment (getEnv)
 import Language.Haskell.TH
 import Control.Monad (replicateM)
@@ -111,20 +111,21 @@ coSimTypeGen clks args = do
     let domName = mkName "dom"
     let dom     = return $ VarT domName
 
+    let confName = mkName "conf"
+    let conf     = return (VarT confName)
+
     -- Generate contraints:
     argConstraints <- sequence $ map (\name -> [t| ClashType $name |]) argTypeNames
     resConstraint  <- [t| ClashType $result |]
-    let constraints = resConstraint : argConstraints
+    kdConstraint   <- [t| KnownDomain $dom $conf |]
+    let constraints = kdConstraint : resConstraint : argConstraints
 
     -- Generate type:
     fixedArgs      <- sequence [[t| String |], [t| String |], [t| CoSimSettings |]]
-    clkSignalTypes <- sequence (replicate clks [t|Clock $dom 'Source|])
+    clkSignalTypes <- sequence (replicate clks [t|Clock $dom |])
     argSignalTypes <- sequence $ map (\name -> [t| Signal $dom $name |]) argTypeNames
     resSignalType  <- [t| Signal $dom $result |]
 
     let ctx = (fixedArgs ++ clkSignalTypes ++ argSignalTypes) `arrowsR` resSignalType
-    let varNames = resultName : domName : argNames
+    let varNames = resultName : domName : confName : argNames
     return $ ForallT (map PlainTV varNames) constraints ctx
-
-
-

src/Clash/CoSim/Simulator.hs

@@ -361,7 +361,7 @@ parseInput doDup streams t = dup (toSignalStream t) : streams
 
 parseClock
   :: [SignalStream]
-  -> CS.Clock dom gated
+  -> CS.Clock dom
   -> [SignalStream]
 parseClock streams _clk = (cycle [[0],[1]]) : streams
 
@@ -408,7 +408,7 @@ class CoSim r where
 instance {-# OVERLAPPABLE #-} CoSimType r => CoSim r where
     coSim b s = parseOutput b (coSimStart s)
 
-instance {-# OVERLAPPING #-} (CoSim r) => CoSim (CS.Clock dom 'CS.Source -> r) where
+instance {-# OVERLAPPING #-} (CoSim r) => CoSim (CS.Clock dom -> r) where
     coSim _ s streams = coSim True s . parseClock streams
 
 instance {-# OVERLAPPING #-} (CoSimType t, CoSim r) => CoSim (t -> r) where
@@ -418,6 +418,6 @@ class CoSimType t where
     toSignalStream   :: t -> SignalStream
     fromSignalStream :: SignalStream -> t
 
-instance (ClashType a, CP.Undefined a) => CoSimType (CP.Signal clk a) where
+instance (ClashType a, CS.KnownDomain clk dom) => CoSimType (CP.Signal clk a) where
     toSignalStream   = map (wordPack . CP.pack) . CP.sample
     fromSignalStream = CP.fromList . map (CP.unpack . wordUnpack)