#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