[Agda-dev] Re: Epic back-end support

[Daniel Gustafsson]

Hi,

On Mon, Mar 30, 2015 at 10:53 AM, Ulf Norell <ulfn at chalmers.se> wrote:

> I'd be ok with dropping Epic support. I don't think anyone is using it,
> but maybe polling the list would be a good idea just in case.
>

as one of the creator of the Agda-Epic backend I of course think it is sad
the state the Epic backend is in. But since I haven't really put any energy
in fixing any of the open issues I understand and support the move to drop
Epic support.


> Out of curiosity do you know what backend Idris is using instead of Epic?
>

They are using there own run time system, when I talked with Edwin Bradey
last ICFP he said that he had (long term) plans on updating Epic to use
what Idris is using, but I don't think that will happen any time soon.

/Daniel Gustafsson


> / Ulf
>
> On Mon, Mar 30, 2015 at 9:39 AM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
> wrote:
>
>> Hi,
>>
>> >From the comments
>> https://github.com/edwinb/EpiVM/issues/7#issuecomment-57329308 and
>> https://github.com/edwinb/EpiVM/pull/10#issuecomment-83029896, Epic is
>> currently unmaintained.
>>
>> Should we continue supporting the Epic back-end? I think, we shouldn't.
>>
>> P.S. The Epic back-end issue
>> https://code.google.com/p/agda/issues/detail?id=1472 isn't assigned to
>> anyone and due to this issue the Travis build is failing.
>>
>> Best,
>>
>> --
>> Andrés
>>
>
>
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150330/609292a7/attachment.html