isSafeOverlap

[Simon Peyton-Jones]

| Oh also, we deprecated a bunch of unsafe functions in modules. For
| example, `unsafeInterleaveST` in Control.Monad.ST.Lazy as it was moved
| to Control.Monad.ST.Lazy.Unsafe.
| 
| Are you happy with me removing these now that it's been a three
| releases (7.2, 7.4, 7.6) with them deprecated?

Ccing 'libraries' but yes that sounds reasonable.

Simon

| -----Original Message-----
| From: David Terei [mailto:davidterei at gmail.com]
| Sent: 20 August 2013 00:04
| To: Simon Peyton-Jones
| Subject: Re: isSafeOverlap
| 
| Oh also, we deprecated a bunch of unsafe functions in modules. For
| example, `unsafeInterleaveST` in Control.Monad.ST.Lazy as it was moved
| to Control.Monad.ST.Lazy.Unsafe.
| 
| Are you happy with me removing these now that it's been a three
| releases (7.2, 7.4, 7.6) with them deprecated?
| 
| Cheers,
| David
| 
| On 19 August 2013 13:04, David Terei <davidterei at gmail.com> wrote:
| > Sure. Doing right now.
| >
| > On 19 August 2013 01:19, Simon Peyton-Jones <simonpj at microsoft.com>
| wrote:
| >> David
| >>
| >> Looking at BasicTypes.lhs I see that the OverlapFlag has an
| isSafeOverlap
| >> field for every flag.  I guess this is something to do with Safe
| Haskell but
| >> there is nothing to say so, nor any comment to explain what the
| significance
| >> is.
| >>
| >> Do you think you might add "Note [isSafeOverlap flag]" to explain?
| Thanks!
| >>
| >> Simon
| >>
| >>
| >>
| >> Microsoft Research Limited (company number 03369488) is registered in
| >> England and Wales
| >>
| >> Registered office is at 21 Station Road, Cambridge, CB1 2FB
| >>
| >>