#7494: Allow compatible type synonyms to be the return type of a GADT data
constructor.
-----------------------------+----------------------------------------------
Reporter: topi | Owner:
Type: feature request | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 7.4.1 | Keywords: GADT
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking: | Related:
-----------------------------+----------------------------------------------
Please consider adding support for something like:
{{{
{-# LANGUAGE GADTs #-}
data Steps s y where
Yield :: y -> FK s y -> FK s y
Done :: Steps s y
newtype M y s a = M { unM :: (a -> FK s y) -> FK s y }
type FK s y = s -> Steps s y
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7494>
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
