Re: [Haskell-cafe] "SameConstraints?" type constraints

Typo. {-# LANGUAGE ConstraintKinds, GADTs #-} data SC c e where SC :: c d => d -> e -> SC c e

On 19 Jun 2015, at 08:33, Leza Morais Lutonda wrote:

On 06/19/2015 01:37 AM, MigMit wrote:

...

data SC c e where SC :: c d => d -> e -> S e

(or SC :: (c d, c e) => d -> e -> S e, if you like it better). Of course, you would need ConstraintKind for that. Hi MigMit, This don't typechecks for me.

-- Leza Morais Lutonda, Lemol-C http://lemol.github.io

50 Aniversario de la Cujae. Inaugurada por Fidel el 2 de diciembre de 1964 http://cujae.edu.cu