#10252: Abstract newtype in hs-boot -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.11 Component: Compiler | Operating System: Unknown/Multiple (Type checker) | Type of failure: None/Unknown Keywords: backpack | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Currently, the following syntax is not supported in an `hs-boot` file: {{{ module A where newtype F }}} This functionality would be pretty useful, since often the RHS of a newtype is intended to be abstract, and would be a pain to place in the boot file. This is also useful for Backpack. It's a bit hard for me to tell what this should do under the hood: we would have newtypes without the coercions. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10252 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler