8 May
2012
8 May
'12
4:03 p.m.
Why are http://hackage.haskell.org/packages/archive/bytestring/0.9.2.1/doc/html/Data... and http://hackage.haskell.org/packages/archive/array/0.4.0.0/doc/html/Data-Arra... 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.