#1311: newtypes of unboxed types disallowed - documentation bug and/or feature request -------------------------------------+------------------------------------- Reporter: Isaac Dupree | Owner: 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 simonpj): I see no difficulty in principle, and I don’t think this would be too hard in practice. That is, you can give a new name (via newtype) to an unlifted type like `Int#`, `Float#`, `Double#` etc. Consequences: * newtypes might have kind `#` (unlifted) * The `Coercible` class would have to work over unlifted types See [https://mail.haskell.org/pipermail/ghc-devs/2015-December/010840.html email thread] -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/1311#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler