#11625: Data.Type.Equality is not Trustworthy -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Core | Version: 7.10.3 Libraries | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- `Data.Type.Equality` is not inferred safe because it has unsafe imports. I believe it is safe, and should therefore claim `Trustworthy`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11625 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler