Skip to content

GitLab

GHC
GHC
Closed
Opened by wolfram_kahl@trac-wolfram_kahl

GADT constructor constraints ignored

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.
Edited by Simon Marlow