-----------------------------------------------------------------------------
---
+-- |
-- Module : Control.Monad.ST.Lazy
-- Copyright : (c) The University of Glasgow 2001
--- License : BSD-style (see the file libraries/core/LICENSE)
+-- License : BSD-style (see the file libraries/base/LICENSE)
--
-- Maintainer : libraries@haskell.org
-- Stability : provisional
-- Portability : non-portable (requires universal quantification for runST)
--
--- $Id: Lazy.hs,v 1.4 2002/01/02 14:40:09 simonmar Exp $
---
-- This module presents an identical interface to Control.Monad.ST,
-- but the underlying implementation of the state thread is lazy.
--
fixST m = ST (\ s ->
let
ST m_r = m r
- (r,s) = m_r s
+ (r,s') = m_r s
in
- (r,s))
+ (r,s'))
#endif
-- ---------------------------------------------------------------------------