Skip to content

Commit

Permalink
apply restyling
Browse files Browse the repository at this point in the history
  • Loading branch information
byorgey committed Jan 6, 2025
1 parent fd49cc4 commit 1695e6d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/swarm-engine/Swarm/Game/Step.hs
Original file line number Diff line number Diff line change
Expand Up @@ -605,9 +605,9 @@ stepCESK cesk = case cesk of
In (TLam x _ t) e s k -> return $ Out (VClo x t e) s k
-- Special case for evaluating an application of Instant or Atomic:
-- set the runningAtomic flag and push a stack frame to unset it
-- when done evaluating. We do this here so that even *evaluating*
-- when done evaluating. We do this here so that even /evaluating/
-- the argument to instant/atomic will happen atomically (#2270).
-- *Execution* will also happen atomically; that is handled in execConst.
-- Execution will also happen atomically; that is handled in execConst.
In (TApp (TConst c) t2) e s k
| c `elem` [Atomic, Instant] -> do
runningAtomic .= True
Expand Down

0 comments on commit 1695e6d

Please sign in to comment.