Update io-sim/src/Control/Monad/IOSimPOR/Internal.hs

bolt12 · coot · bolt12 · commit 2c54d828c73b · 2024-05-16T16:33:52.000Z
Co-authored-by: Marcin Szamotulski &lt;coot@coot.me&gt;
diff --git a/io-sim/src/Control/Monad/IOSimPOR/Internal.hs b/io-sim/src/Control/Monad/IOSimPOR/Internal.hs
@@ -1786,7 +1786,7 @@ updateRaces thread@Thread { threadId = tid }
           if tid `notElem` concurrent
             then let
                   in stepInfo { stepInfoConcurrent = lessConcurrent
-                              , stepInfoNonDep = stepInfoNonDep'
+                              , stepInfoNonDep     = stepInfoNonDep'
                               }
 
             -- The core of IOSimPOR.  Detect if `newStep` is racing with any

Original file line number	Diff line number	Diff line change
`@@ -1786,7 +1786,7 @@ updateRaces thread@Thread { threadId = tid }`
`1786`	`1786`	if tid `notElem` concurrent
`1787`	`1787`	`then let`
`1788`	`1788`	`in stepInfo { stepInfoConcurrent = lessConcurrent`
`1789`		`- , stepInfoNonDep = stepInfoNonDep'`
	`1789`	`+ , stepInfoNonDep = stepInfoNonDep'`
`1790`	`1790`	`}`
`1791`	`1791`
`1792`	`1792`	-- The core of IOSimPOR. Detect if `newStep` is racing with any