mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-12-18 19:11:37 +03:00
Remove Ord instances
This commit is contained in:
parent
0f1675070b
commit
bf91775629
@ -100,7 +100,7 @@ data ThreadAction =
|
||||
-- ^ Lift an action from the underlying monad.
|
||||
| Stop
|
||||
-- ^ Cease execution and terminate.
|
||||
deriving (Eq, Ord, Show)
|
||||
deriving (Eq, Show)
|
||||
|
||||
-- | Run a concurrent computation with a given 'Scheduler' and initial
|
||||
-- state, returning a 'Just' if it terminates, and 'Nothing' if a
|
||||
|
@ -38,7 +38,7 @@ data Decision =
|
||||
-- ^ Continue running the last thread for another step.
|
||||
| SwitchTo ThreadId
|
||||
-- ^ Pre-empt the running thread, and switch to another.
|
||||
deriving (Eq, Ord, Show)
|
||||
deriving (Eq, Show)
|
||||
|
||||
-- * SCT Runners
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user