#4846: Newtype derving used wrongly -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by eir@…): commit e8aa8ccba0c40884765281b21ff8f4411802dd41 {{{ Author: Richard Eisenberg <eir@cis.upenn.edu> Date: Fri Aug 2 15:47:03 2013 +0100 Implement "roles" into GHC. Roles are a solution to the GeneralizedNewtypeDeriving type-safety problem. Roles were first described in the "Generative type abstraction" paper, by Stephanie Weirich, Dimitrios Vytiniotis, Simon PJ, and Steve Zdancewic. The implementation is a little different than that paper. For a quick primer, check out Note [Roles] in Coercion. Also see http://ghc.haskell.org/trac/ghc/wiki/Roles and http://ghc.haskell.org/trac/ghc/wiki/RolesImplementation For a more formal treatment, check out docs/core-spec/core-spec.pdf. This fixes Trac #1496, #4846, #7148. compiler/basicTypes/DataCon.lhs | 10 +- compiler/basicTypes/MkId.lhs | 14 +- compiler/cmm/SMRep.lhs | 42 +- compiler/coreSyn/CoreLint.lhs | 123 ++-- compiler/coreSyn/CoreSubst.lhs | 8 +- compiler/coreSyn/CoreUtils.lhs | 16 +- compiler/coreSyn/ExternalCore.lhs | 29 +- compiler/coreSyn/MkExternalCore.lhs | 24 +- compiler/coreSyn/PprExternalCore.lhs | 60 +- compiler/coreSyn/TrieMap.lhs | 82 ++- compiler/deSugar/DsBinds.lhs | 59 +- compiler/deSugar/DsForeign.lhs | 2 +- compiler/deSugar/DsMeta.hs | 106 ++- compiler/ghci/ByteCodeAsm.lhs | 16 +- compiler/hsSyn/Convert.lhs | 19 +- compiler/hsSyn/HsTypes.lhs | 25 +- compiler/hsSyn/HsUtils.lhs | 2 +- compiler/iface/BinIface.hs | 1 + compiler/iface/BuildTyCl.lhs | 43 +- compiler/iface/IfaceSyn.lhs | 128 ++-- compiler/iface/IfaceType.lhs | 343 ++++++--- compiler/iface/MkIface.lhs | 19 +- compiler/iface/TcIface.lhs | 75 +- compiler/main/DynFlags.hs | 2 + compiler/parser/Lexer.x | 31 +- compiler/parser/Parser.y.pp | 26 +- compiler/parser/ParserCore.y | 7 +- compiler/parser/RdrHsSyn.lhs | 8 +- compiler/prelude/PrelNames.lhs | 4 +- compiler/prelude/PrelRules.lhs | 4 +- compiler/prelude/TysPrim.lhs | 62 +- compiler/prelude/TysWiredIn.lhs | 4 + compiler/rename/RnTypes.lhs | 43 +- compiler/simplCore/SimplUtils.lhs | 2 +- compiler/specialise/Rules.lhs | 7 +- compiler/specialise/SpecConstr.lhs | 2 +- compiler/stranal/WwLib.lhs | 4 +- compiler/typecheck/TcDeriv.lhs | 16 +- compiler/typecheck/TcEvidence.lhs | 8 +- compiler/typecheck/TcForeign.lhs | 48 +- compiler/typecheck/TcGenGenerics.lhs | 2 +- compiler/typecheck/TcHsType.lhs | 105 ++- compiler/typecheck/TcInstDcls.lhs | 13 +- compiler/typecheck/TcInteract.lhs | 3 +- compiler/typecheck/TcRnDriver.lhs | 12 +- compiler/typecheck/TcSplice.lhs | 42 +- compiler/typecheck/TcTyClsDecls.lhs | 302 ++++++-- compiler/typecheck/TcTyDecls.lhs | 293 +++++++- compiler/typecheck/TcType.lhs | 7 +- compiler/types/Class.lhs | 6 +- compiler/types/CoAxiom.lhs | 82 ++- compiler/types/Coercion.lhs | 802 +++++++++++++++------ compiler/types/FamInstEnv.lhs | 78 +- compiler/types/OptCoercion.lhs | 199 +++-- compiler/types/TyCon.lhs | 110 ++- compiler/types/Type.lhs | 9 +- compiler/types/TypeRep.lhs | 2 +- compiler/utils/Maybes.lhs | 5 + compiler/utils/UniqFM.lhs | 2 +- compiler/utils/Util.lhs | 10 +- compiler/vectorise/Vectorise/Generic/PAMethods.hs | 8 +- compiler/vectorise/Vectorise/Generic/PData.hs | 1 + compiler/vectorise/Vectorise/Type/Env.hs | 2 +- compiler/vectorise/Vectorise/Type/TyConDecl.hs | 2 + compiler/vectorise/Vectorise/Utils/Base.hs | 4 +- compiler/vectorise/Vectorise/Utils/PADict.hs | 2 +- docs/core-spec/CoreLint.ott | 178 +++-- docs/core-spec/CoreSyn.ott | 77 +- docs/core-spec/OpSem.ott | 2 +- docs/core-spec/README | 2 +- docs/core-spec/core-spec.mng | 54 +- docs/core-spec/core-spec.pdf | Bin 349150 -> 359837 bytes docs/users_guide/glasgow_exts.xml | 211 +++++- 73 files changed, 3091 insertions(+), 1060 deletions(-) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4846#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler