Ticket #1897: GHC-Bug.hs

File GHC-Bug.hs, 243 bytes (added by guest, 7 years ago)
Line 
1{-# LANGUAGE TypeFamilies #-}
2
3import Control.Monad
4import Data.Maybe
5
6class Bug s where
7  type Depend s
8 
9  next  :: s -> Depend s -> Maybe s
10  start :: s
11 
12isValid :: (Bug s) => [Depend s] -> Bool
13isValid ds = isJust $ foldM next start ds