1
1
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-28 16:12:04 +03:00
dejafu/dejafu-tests/Examples/ClassLaws/Impredicative.hs
2016-05-26 13:54:13 +01:00

16 lines
617 B
Haskell

{-# LANGUAGE ImpredicativeTypes #-}
-- | This is a separate module because of the need for
-- ImpredicativeTypes, which breaks things elsewhere in the main
-- SearchParty module.
module Examples.ClassLaws.Impredicative where
import Test.DejaFu (Failure(..), defaultMemType)
import Test.DejaFu.Deterministic (ConcST, Trace)
import qualified Test.DejaFu.Deterministic as D
import Test.DejaFu.SCT (sctBound, defaultBounds)
import Unsafe.Coerce (unsafeCoerce)
sctBound' :: ConcST t a -> [(Either Failure a, Trace D.ThreadId D.ThreadAction D.Lookahead)]
sctBound' = unsafeCoerce $ sctBound defaultMemType defaultBounds