#1768: More flexible type signatures for data constructors
--------------------------------+-------------------------------------------
Reporter: simonpj | Owner:
Type: feature request | Status: new
Priority: low | Milestone: _|_
Component: Compiler | Version: 6.6.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
--------------------------------+-------------------------------------------
Comment (by Isaac Dupree):
A more limited generalization would be to allow the result type to be a
type synonym:
{{{
type Foo a = T (Maybe a) [a]
data T a b where
C :: !Int -> Foo Int
D { unD :: !Int } :: Foo Int
}}}
This is mostly relevant/useful when the GADT has more than one type
argument.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1768#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
