19 Jun
2015
19 Jun
'15
2:33 a.m.
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