Why are
http://hackage.haskell.org/packages/archive/bytestring/0.9.2.1/doc/html/Data-ByteString-Unsafe.html
and
http://hackage.haskell.org/packages/archive/array/0.4.0.0/doc/html/Data-Array-Unsafe.html
Safe-inferred?
The first one uses inlinePerformIO, so it clearly shouldn't be marked as
Safe. Maybe Safe Haskell doesn't check that function?
The second is a bit messier since it uses unboxed types and primitive
operations... But they clearly should be marked as Unsafe, and it
surprises me that Safe Haskell is that relaxed when checking for safe
functions.
Francesco.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
