Don't like ads? PRO users don't see any ads ;-)
Public Pastes
Guest

Untitled

By: a guest on May 8th, 2012  |  syntax: None  |  size: 0.58 KB  |  hits: 15  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. W7.hs:304:30:
  2.     Could not deduce (m ~ Maybe)
  3.     from the context (Monad m)
  4.       bound by the type signature for
  5.                  test :: Monad m => [a -> m Bool] -> a -> m Bool
  6.       at W7.hs:(303,1)-(306,35)
  7.       `m' is a rigid type variable bound by
  8.           the type signature for
  9.             test :: Monad m => [a -> m Bool] -> a -> m Bool
  10.           at W7.hs:303:1
  11.  
  12.     Expected type: m Bool
  13.       Actual type: Maybe Bool
  14.     In the return type of a call of `Just'
  15.     In the second argument of `(==)', namely `(Just True)'
  16.     In the expression: (t x) == (Just True)
create a new version of this paste RAW Paste Data