Skip to content

Safe import should not be accepted

{-# LANGUAGE Unsafe #-}
module Bug where
import safe Unsafe.Coerce

I think this should be rejected. It is rejected by 8.10 and 9.0, accepted by HEAD.

Results are the same if I use Trustworthy instead of Unsafe. If I use Safe, HEAD rejects.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information