Re: [Haskell-cafe] "datakind" declaration

[Ben Millwood]

On Tue, Feb 23, 2010 at 1:08 AM, Paul Brauner  wrote:
> Hello,
>
> I remember seeing something like
>
>> typedata T = A | B
>
> somewhere, where A and B are type constructors, but I can't find it in
> the ghc doc. Have I been dreaming or is it some hidden feature ?
>
> Paul
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>

This is similar to what you are thinking of:

http://hackage.haskell.org/trac/ghc/wiki/KindSystem

...but it's not implemented (yet).
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] "datakind" declaration

[Daniel Peebles]

It's not quite what you're asking for, but a very similar idea is the SHE
preprocessor: http://personal.cis.strath.ac.uk/~conor/pub/she/

Dan

On Mon, Feb 22, 2010 at 8:08 PM, Paul Brauner  wrote:

> Hello,
>
> I remember seeing something like
>
> > typedata T = A | B
>
> somewhere, where A and B are type constructors, but I can't find it in
> the ghc doc. Have I been dreaming or is it some hidden feature ?
>
> Paul
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] "datakind" declaration

[Paul Brauner]

Hello,

I remember seeing something like

> typedata T = A | B 

somewhere, where A and B are type constructors, but I can't find it in
the ghc doc. Have I been dreaming or is it some hidden feature ?

Paul
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe