[ ghc-Bugs-1116210 ] GADT constructor constraints ignored

[SourceForge.net]

Bugs item #1116210, was opened at 2005-02-04 09:28
Message generated for change (Comment added) made by wolfram_kahl
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1116210&group_id=8032

Category: Compiler (Type checker)
Group: 6.4
Status: Open
Resolution: None
Priority: 5
Submitted By: Wolfram Kahl (wolfram_kahl)
Assigned to: Nobody/Anonymous (nobody)
Summary: GADT constructor constraints ignored

Initial Comment:
Class constraints on GADT constructore appear to be
ignored.

I tried:

data Expr :: * -> * where
  Const :: Show a => a -> Expr a
  Apply :: Fct a b -> Expr a -> Expr b

and there is no way to define the expected constraint-less
Show instance --- for details, see Expr0.lhs.

----------------------------------------------------------------------

>Comment By: Wolfram Kahl (wolfram_kahl)
Date: 2005-02-04 09:39

Message:
Logged In: YES 
user_id=1212105

For a simpler example, see Expr1.lhs

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1116210&group_id=8032