#1311: newtypes of unboxed types disallowed - documentation bug and/or feature request -------------------------------------+------------------------------------- Reporter: Isaac Dupree | Owner: osa1 Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by osa1): I'd like to give this a try, Richard, where should I start? I don't understand typechecking/ parts too well. As far as I can see, {{{kcTyClGroup}}} is kind checking type declarations, and {{{getInitialKind}}} is generating {{{liftedTypeKind}}} unless a kind signature is given (I don't understand how can kind signatures be used with newtypes, maybe that case is impossible?). Is it possible to do this by just generalizing the current code, instead of adding special cases for newtypes in {{{getInitialKind}}} or {{{kcTyClGroup}}} (or both) ? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/1311#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler