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

[Nils Anders Danielsson]

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