Use Word instead of Int in transformation counts

Things like the count of transformations applied and the offset /
limits for transformations when debugging cannot be negative, so
it makes more sense to use Word instead of Int for these.

Author: Alex McKenna

clash-lib/src/Clash/Driver/Types.hs

@@ -133,11 +133,11 @@ data ClashOpts = ClashOpts
   -- ^ List the transformations that are to be debugged.
   --
   -- Command line flag: -fclash-debug-transformations
-  , opt_dbgTransformationsFrom :: Int
+  , opt_dbgTransformationsFrom :: Word
   -- ^ Only output debug information from (applied) transformation n
   --
   -- Command line flag: -fclash-debug-transformations-from
-  , opt_dbgTransformationsLimit :: Int
+  , opt_dbgTransformationsLimit :: Word
   -- ^ Only output debug information for n (applied) transformations. If this
   -- limit is exceeded, Clash will stop normalizing.
   --

clash-lib/src/Clash/Rewrite/Types.hs

@@ -79,7 +79,7 @@ data RewriteState extra
   = RewriteState
     -- TODO Given we now keep transformCounters, this should just be 'fold'
     -- over that map, otherwise the two counts could fall out of sync.
-  { _transformCounter :: {-# UNPACK #-} !Int
+  { _transformCounter :: {-# UNPACK #-} !Word
   -- ^ Total number of applied transformations
   , _transformCounters :: HashMap Text Word
   -- ^ Map that tracks how many times each transformation is applied
@@ -115,9 +115,9 @@ data RewriteEnv
   -- ^ Level at which we print debugging messages
   , _dbgTransformations :: Set.Set String
   -- ^ See ClashOpts.dbgTransformations
-  , _dbgTransformationsFrom :: Int
+  , _dbgTransformationsFrom :: Word
   -- ^ See ClashOpts.opt_dbgTransformationsFrom
-  , _dbgTransformationsLimit :: Int
+  , _dbgTransformationsLimit :: Word
   -- ^ See ClashOpts.opt_dbgTransformationsLimit
   , _dbgRewriteHistoryFile :: Maybe FilePath
   -- ^ See ClashOpts.opt_dbgRewriteHistory

clash-lib/src/Clash/Rewrite/Util.hs

@@ -199,7 +199,7 @@ applyDebug
   -- ^ The current debugging level
   -> Set.Set String
   -- ^ Transformations to debug
-  -> Maybe (Int, Int)
+  -> Maybe (Word, Word)
   -- ^ Only print debug information for transformations [n, n+limit]. See flag
   -- documentation of "-fclash-debug-transformations-from" and
   -- "-fclash-debug-transformations-limit"