#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Comment (by edsko): One thing I was wondering about: clearly, solving the general problem of impredicativity would take us way off too far here; but if the type checker ''knows'' about static, just like, say, it knows about ADTs, then perhaps it wouldn't be too difficult to support things like `static (forall a. a -> a)`, just like it supports universally quantified types as arguments to ADT constructors? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7015#comment:27 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler