mirror of
https://github.com/nick8325/quickspec.git
synced 2024-09-11 08:35:32 +03:00
Whoops, accidentally tested the old code
This commit is contained in:
parent
099762c4db
commit
bf24d7374d
@ -20,7 +20,7 @@ import Data.Lens.Light
|
||||
import Twee.Base hiding (lookup)
|
||||
import Control.Monad.Trans.State.Strict
|
||||
import Control.Monad
|
||||
import Data.Maybe
|
||||
import Data.Typeable
|
||||
|
||||
(#) :: Category.Category cat => cat b c -> cat a b -> cat a c
|
||||
(#) = (Category..)
|
||||
@ -142,7 +142,10 @@ isResourceLimitException :: SomeException -> Bool
|
||||
isResourceLimitException ex =
|
||||
fromException ex == Just StackOverflow ||
|
||||
fromException ex == Just HeapOverflow ||
|
||||
isTimeout ex
|
||||
isTimeout ex ||
|
||||
case fromException ex of
|
||||
Just (SomeAsyncException ex) -> isResourceLimitException (SomeException ex)
|
||||
Nothing -> False
|
||||
where
|
||||
-- The Timeout type wasn't exported until GHC 8.10,
|
||||
-- otherwise we could just do:
|
||||
|
Loading…
Reference in New Issue
Block a user