[Agda-dev] Re: Epic back-end support
Nils Anders Danielsson
nad at cse.gu.se
Tue Mar 31 09:41:25 CEST 2015
On 2015-03-30 10:53, Ulf Norell 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.
I think it would be a good idea to keep the (more or less)
backend-independent optimisations, preferably in a separate,
backend-independent pass.
Philipp, you ported at least one of these optimisations (smashing) to
the new UHC backend. Can you inform us about exactly what has been
ported?
--
/NAD
More information about the Agda-dev
mailing list