#1965: Allow unconstrained existential contexts in newtypes
--------------------------------+-------------------------------------------
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.8.1
Severity: minor | Keywords:
Difficulty: Unknown | Testcase:
Architecture: Unknown | Os: Unknown
--------------------------------+-------------------------------------------
Declarations like
{{{
newtype Bar = forall a. Bar (Foo a)
}}}
ought to be allowed so long as no typeclass constraints are added. Right
now, this requires data rather than newtype.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1965>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler