Status of GADTs in AJHC

[Ivan Perez]

Hi,

I'm trying to compile code that uses GADTs with Ajhc. It gives me a parse error when it reaches the where keyword of the first line of the definition (I guess it's expecting an = symbol).

Am I doing something wrong, or are GADTs not supported? The they are not, is anyone working on this feature?

Cheers

Ivan

[Kiwamu Okabe]

Hi Ivan,

Umm.... I think jhc and Ajhc support no GADTs.
And not planed.

Regards,
--
Kiwamu Okabe

[Ivan Perez]

Thank you, Kiwamu.

I was trying to run Yampa. I see that many other features are not
supported, for instance, multi-parametric type classes. (This is no
criticism, it's just that I also tried AFRP, a previous version of
Yampa that did not use GADTs. I'm very happy to be able to run Haskell
on Android as it is.)

Is there a web page where a clear list of supported features is
maintained? This would be useful (I think).

Regards

Ivan

[Kiwamu Okabe]

Hi Ivan,

On Sat, Jan 25, 2014 at 12:38 AM, Ivan Perez
<ivanperez...@gmail.com> wrote:
> I was trying to run Yampa. I see that many other features are not
> supported, for instance, multi-parametric type classes. (This is no
> criticism, it's just that I also tried AFRP, a previous version of
> Yampa that did not use GADTs. I'm very happy to be able to run Haskell
> on Android as it is.)

Hooo. Sounds good!

> Is there a web page where a clear list of supported features is
> maintained? This would be useful (I think).

The document is http://ajhc.metasepi.org/manual.html.
But not coverall.

Best regards,
--
Kiwamu Okabe

[Ivan Perez]

Yeah, I saw that. I was looking for a more, table-like format list of
features. I guess it's time to create a "Comparison of Haskell
compilers" table on Haskell's wiki.

> --
> You received this message because you are subscribed to a topic in the Google Groups "metasepi" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/topic/metasepi/SYcnC0RVZ5w/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to metasepi+u...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.

[Kiwamu Okabe]

Hi Ivan,

On Sat, Jan 25, 2014 at 1:12 AM, Ivan Perez
<ivanperez...@gmail.com> wrote:
> Yeah, I saw that. I was looking for a more, table-like format list of
> features. I guess it's time to create a "Comparison of Haskell
> compilers" table on Haskell's wiki.

I have not understood all of jhc Haskell compiler.
It has many many many magics created by John......
Deep dungeon.

Thank's
--
Kiwamu Okabe