Re: [GHC] #7488: Promotion of newtypes
#7488: Promotion of newtypes ---+ Reporter: dreixel | Owner: Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 7.7 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7488 | Blockedby: Blocking:|Related: ---+ Changes (by simonpj): * status: new = closed * difficulty: = Unknown * resolution: = fixed * testcase: = polykinds/T7488 Comment: Right, I've fixed this. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7488#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7488: Promotion of newtypes
#7488: Promotion of newtypes
---+
Reporter: dreixel | Owner:
Type: bug | Status: closed
Priority: normal| Milestone:
Component: Compiler |Version: 7.7
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: polykinds/T7488 | Blockedby:
Blocking:|Related:
---+
Comment(by simonpj@…):
commit b8739b28f5bc855b7c5406425b516698cf3b2f0d
{{{
Author: Simon Peyton Jones simo...@microsoft.com
Date: Fri Dec 21 08:05:58 2012 +
Allow newtypes to be promoted
Fixes Trac #7488
compiler/basicTypes/DataCon.lhs |5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7488#comment:4
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7488: Promotion of newtypes
#7488: Promotion of newtypes -+-- Reporter: dreixel | Owner: Type: bug | Status: new Priority: normal| Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking:|Related: -+-- Changes (by PHO): * cc: pho@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7488#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #7488: Promotion of newtypes
#7488: Promotion of newtypes
-+--
Reporter: dreixel | Owner:
Type: bug | Status: new
Priority: normal| Component: Compiler
Version: 7.7 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking:|Related:
-+--
{{{
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-}
newtype A = A Int
data B (x :: A)
}}}
The program above raises the error: `A of kind * is not promotable`. The
program compiles fine if we declare `A` using `data` instead of `newtype`.
Is there a good reason to prevent promotion of newtypes?
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7488
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7488: Promotion of newtypes
#7488: Promotion of newtypes -+-- Reporter: dreixel | Owner: Type: bug | Status: new Priority: normal| Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking:|Related: -+-- Changes (by goldfire): * cc: eir@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7488#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
