Skip to content

GitLab

Closed
Created 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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information