August 2013 - ghc-tickets

Re: [GHC] #5144: Pattern synonyms
by GHC 04 Aug '13

04 Aug '13

#5144: Pattern synonyms -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by cactus): * cc: gergo@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5144#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5144: Pattern synonyms
by GHC 04 Aug '13

04 Aug '13

#5144: Pattern synonyms -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 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 cactus): I've started working on this, and I have the simplest case (pattern-only synonyms) almost working, with most of the groundwork done for simple bidirectional pattern synonyms as well. What's the correct protocol in this case? Should I mark myself as the owner on this ticket until I have my patches ready for submission for review? Or only after an initial working version is accepted? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5144#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7148: generalized newtype and type families is unsound
by GHC 02 Aug '13

02 Aug '13

#7148: generalized newtype and type families is unsound --------------------------------------------+------------------------------ Reporter: carter | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.1-rc1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by goldfire): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7148#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets
by GHC 02 Aug '13

02 Aug '13

#1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets --------------------------------------------+------------------------------ Reporter: sorear | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 6.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: 5498 | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by goldfire): * status: new => closed * resolution: => fixed Comment: A long-standing bug finally put to rest. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1496#comment:44> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4846: Newtype derving used wrongly
by GHC 02 Aug '13

02 Aug '13

#4846: Newtype derving used wrongly -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by goldfire): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4846#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7148: generalized newtype and type families is unsound
by GHC 02 Aug '13

02 Aug '13

#7148: generalized newtype and type families is unsound --------------------------------------------+------------------------------ Reporter: carter | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by eir@…): commit e8aa8ccba0c40884765281b21ff8f4411802dd41 {{{ Author: Richard Eisenberg <eir(a)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/7148#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets
by GHC 02 Aug '13

02 Aug '13

#1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets --------------------------------------------+------------------------------ Reporter: sorear | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 6.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: 5498 | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by eir@…): commit e8aa8ccba0c40884765281b21ff8f4411802dd41 {{{ Author: Richard Eisenberg <eir(a)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/1496#comment:43> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4846: Newtype derving used wrongly
by GHC 02 Aug '13

02 Aug '13

#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(a)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

1 0

Re: [GHC] #8020: Closed type families break substitution
by GHC 02 Aug '13

02 Aug '13

#8020: Closed type families break substitution -------------------------------------+------------------------------------ Reporter: goldfire | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by goldfire): * status: new => closed * difficulty: => Unknown * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8020#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8020: Closed type families break substitution
by GHC 02 Aug '13

02 Aug '13

#8020: Closed type families break substitution -------------------------------------+------------------------------------ Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by eir@…): commit bd0ab6c2b478aea308ec405a3c24d0068bb96569 {{{ Author: Richard Eisenberg <eir(a)cis.upenn.edu> Date: Fri Aug 2 10:51:35 2013 +0100 Fix Trac #8020. The solution is to use a different notion of apartness. See http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f /axioms-extended.pdf for the gory details. Some comments are also in Notes [Compatibility] and [Apartness] in FamInstEnv. compiler/coreSyn/TrieMap.lhs | 11 +++- compiler/ghc.mk | 2 +- compiler/types/FamInstEnv.lhs | 136 ++++++++++++++++++++++++++++++++++++-- compiler/types/OptCoercion.lhs | 15 +++-- compiler/types/Unify.lhs | 143 +++++++++++----------------------------- docs/core-spec/core-spec.mng | 14 ++-- docs/core-spec/core-spec.pdf | Bin 347921 -> 349150 bytes 7 files changed, 197 insertions(+), 124 deletions(-) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8020#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0