[Haskell-cafe] How to implement nested loops with tail recursion?

[Claude Heiland-Allen]

Hi!

On 19/09/12 19:00, sdiyazg at sjtu.edu.cn wrote:
> So how do I force IO actions whose results are discarded (including IO ()) to be strict?

() <- foo :: IO () -- should work as it pattern matches, can wrap it in
a prettier combinator
!_ <- foo :: IO a -- could work with -XBangPatterns

I've not tested either (been away from Haskell for a while..), but see also:
http://markmail.org/message/i7eufihlhgq4jqt6
(regarding modifyIORef and leaky issues)

Claude
-- 
http://mathr.co.uk