#10716: Metadata in GHC.Generic should give access to strictness annotation -------------------------------------+------------------------------------- Reporter: StefanWehr | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by dreixel): Why can't we just add the `selIsStrict` part? To get the information at the type level we better do it for all meta-data at the same time, and we can get it when we make `GHC.Generics` use `DataKinds`, as described in https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/GenericDeriving#Ki... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10716#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler