clash-ffi: Fixup files for formatting compatibility

Author: rowanG077

clash-ffi/src/Clash/FFI/VPI/Callback.hs

@@ -13,18 +13,27 @@ Maintainer:   QBayLogic B.V. <[email protected]>
 {-# OPTIONS_GHC -fplugin=Foreign.Storable.Generic.Plugin #-}
 {-# OPTIONS_GHC -fplugin-opt=Foreign.Storable.Generic.Plugin:-v0 #-}
 
+#ifndef IVERILOG
 module Clash.FFI.VPI.Callback
   ( CCallbackInfo(..)
   , CallbackInfo(..)
   , Callback(..)
   , registerCallback
   , removeCallback
-#ifndef IVERILOG
   , getCallbackInfo
   , withCallbackInfo
   , unsafeReceiveCallbackInfo
   , receiveCallbackInfo
+  , module Clash.FFI.VPI.Callback.Reason
+  ) where
 #endif
+
+module Clash.FFI.VPI.Callback
+  ( CCallbackInfo(..)
+  , CallbackInfo(..)
+  , Callback(..)
+  , registerCallback
+  , removeCallback
   , module Clash.FFI.VPI.Callback.Reason
   ) where
 

clash-ffi/src/Clash/FFI/VPI/Callback/Reason.hs

@@ -66,6 +66,7 @@ obviously unchecked / unsafe, so must be performed carefully.
 --   for a compliant VPI implementation but a feature is optional and may not
 --   be implemented in all tools.
 --
+{- FOURMOLU_DISABLE -}
 data CallbackReason
   = forall a. Coercible a Object => AfterValueChange a TimeType ValueFormat
   -- ^ Triggered after the value of the object @a@ changes.
@@ -148,6 +149,7 @@ data CallbackReason
   -- ^ Triggered after non-blocking events in a time step are executed, but
   -- before read-only events are processed.
 #endif
+{- FOURMOLU_ENABLE -}
 
 type instance CRepr CallbackReason = (CInt, Object, Ptr CTime, Ptr CValue)
 
@@ -494,6 +496,7 @@ instance Show UnknownCallbackReason where
       , prettyCallStack c
       ]
 
+{- FOURMOLU_DISABLE -}
 instance UnsafeReceive CallbackReason where
   unsafeReceive (creason, object, ctime, cvalue) =
     let mObject = if isNullObject object then Nothing else Just object in
@@ -737,3 +740,4 @@ instance Receive CallbackReason where
 #endif
 
       n  -> throwIO $ UnknownCallbackReason n callStack
+{- FOURMOLU_ENABLE -}

clash-ffi/src/Clash/FFI/VPI/Control.hs

@@ -7,8 +7,8 @@ Maintainer:   QBayLogic B.V. <[email protected]>
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE TypeFamilies #-}
 
-module Clash.FFI.VPI.Control
 #if defined(VERILOG_2001)
+module Clash.FFI.VPI.Control
   ( Control(..)
   , StopValue(..)
   , DiagnosticLevel(..)
@@ -115,5 +115,5 @@ controlSimulator control = do
     throwIO $ CouldNotControl control callStack
 
 #else
-  () where
+  module Clash.FFI.VPI.Control () where
 #endif

clash-ffi/src/Clash/FFI/VPI/Object.hs

@@ -86,9 +86,13 @@ newtype Object
 #if defined(VERILOG)
 foreign import ccall "vpi_user.h vpi_free_object"
   c_vpi_free_object :: Object -> IO CInt
+c_vpi_release :: Object -> IO CInt
+c_vpi_release = c_vpi_free_object
 #elif defined(SYSTEMVERILOG)
 foreign import ccall "vpi_user.h vpi_release_handle"
   c_vpi_release_handle :: Object -> IO CInt
+c_vpi_release :: Object -> IO CInt
+c_vpi_release = c_vpi_release_handle
 #else
 #error "Neither VERILOG or SYSTEMVERILOG is defined in VPI implementation"
 #endif
@@ -135,13 +139,7 @@ instance IsObject Object where
   freeObject obj =
     Monad.unless (isNullObject obj)
       . Monad.void
-#if defined(VERILOG)
-      $ c_vpi_free_object obj
-#elif defined(SYSTEMVERILOG)
-      $ c_vpi_release_handle obj
-#else
-#error "Neither VERILOG or SYSTEMVERILOG is defined in VPI implementation"
-#endif
+      $ c_vpi_release obj
 
   compareObjects =
     c_vpi_compare_objects

clash-ffi/src/Clash/FFI/VPI/Object/Type.hs

@@ -22,19 +22,28 @@ import           Clash.FFI.View
 -- queried using the @vpiType@ property, and the value used to identify when
 -- it is safe to coerce into a type in the higher-level VPI API.
 --
+#if defined(VERILOG_2001)
 data ObjectType
   = ObjModule
   | ObjNet
   | ObjParameter
   | ObjPort
   | ObjReg
-#if defined(VERILOG_2001)
   | ObjCallback
-#endif
   deriving stock (Eq, Show)
+#else
+data ObjectType
+  = ObjModule
+  | ObjNet
+  | ObjParameter
+  | ObjPort
+  | ObjReg
+  deriving stock (Eq, Show)
+#endif
 
 type instance CRepr ObjectType = CInt
 
+#if defined(VERILOG_2001)
 instance Send ObjectType where
   send =
     pure . \case
@@ -43,8 +52,16 @@ instance Send ObjectType where
       ObjParameter -> 41
       ObjPort -> 44
       ObjReg -> 48
-#if defined(VERILOG_2001)
       ObjCallback -> 107
+#else
+instance Send ObjectType where
+  send =
+    pure . \case
+      ObjModule -> 32
+      ObjNet -> 36
+      ObjParameter -> 41
+      ObjPort -> 44
+      ObjReg -> 48
 #endif
 
 -- | An exception thrown when decoding an object type if an invalid value is
@@ -65,14 +82,23 @@ instance Show UnknownObjectType where
       , prettyCallStack c
       ]
 
+#if defined(VERILOG_2001)
 instance Receive ObjectType where
   receive = \case
     32 -> pure ObjModule
     36 -> pure ObjNet
     41 -> pure ObjParameter
     44 -> pure ObjPort
     48 -> pure ObjReg
-#if defined(VERILOG_2001)
     107 -> pure ObjCallback
-#endif
     ty -> throwIO $ UnknownObjectType ty callStack
+#else
+instance Receive ObjectType where
+  receive = \case
+    32 -> pure ObjModule
+    36 -> pure ObjNet
+    41 -> pure ObjParameter
+    44 -> pure ObjPort
+    48 -> pure ObjReg
+    ty -> throwIO $ UnknownObjectType ty callStack
+#endif

clash-ffi/src/Clash/FFI/VPI/Object/Value.hs

@@ -1,3 +1,4 @@
+{- FOURMOLU_DISABLE -}
 {-|
 Copyright:    (C) 2022 Google Inc.
 License:      BSD2 (see the file LICENSE)

clash-ffi/src/Clash/FFI/VPI/Object/Value/Format.hs

@@ -1,3 +1,4 @@
+{- FOURMOLU_DISABLE -}
 {-|
 Copyright:    (C) 2022 Google Inc.
 License:      BSD2 (see the file LICENSE)

clash-ffi/tests/Clash/FFI/Test/Instances.hs

@@ -267,6 +267,8 @@ instance TShow CallbackReason where
          <> pShow t
 #endif
 
+{- FOURMOLU_DISABLE -}
+
 instance Monad m => Serial m CallbackReason where
   series =
        (AfterValueChange <$> obj <~> series <~> series)
@@ -311,6 +313,8 @@ instance Monad m => Serial m CallbackReason where
       mObj :: Series m (Maybe Object)
       mObj = series
 
+{- FOURMOLU_ENABLE -}
+
 -- Additional Clash.FFI.VPI.Control.Control Instances
 
 instance TShow Control
@@ -398,6 +402,7 @@ instance Monad m => Serial m (Property CInt) where
 instance Monad m => Serial m (Property CString) where
   series = foldl (\/) (pure Name) $ map pure [FullName, File]
 
+{- FOURMOLU_DISABLE -}
 instance Monad m => Serial m (Property Bool) where
   series =
     foldl (\/) (pure IsScalar) $ map pure
@@ -407,6 +412,7 @@ instance Monad m => Serial m (Property Bool) where
       , IsLocalParam
 #endif
       ]
+{- FOURMOLU_ENABLE -}
 
 -- Additional Clash.FFI.VPI.Object.Time.TimeType Instances