Change the type of check to Bool -> STM ()
authorSimon Marlow <marlowsd@gmail.com>
Thu, 5 Jul 2012 13:51:43 +0000 (14:51 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 5 Jul 2012 13:51:43 +0000 (14:51 +0100)
commit0f5a7de30b4158b4a7e1ece7651728994d17850d
tree1c18b15c12b5c1c93e3e9b5aea951c9221beab38
parentade6b929cbd6280ebafb7b6452fa88031b21debd
Change the type of check to Bool -> STM ()

Previously it was

  check :: Bool -> STM a

and it returned undefined when passed True.  This doesn't seem useful,
and causes GHC to warn about an unused result.

(suggestion by Favonia <favonia@gmail.com> on libraries@haskell.org)
Control/Monad/STM.hs