[Agda] type check performance

[Nils Anders Danielsson]

On 2018-06-08 10:21, Martin Escardo wrote:
> In my case, Agda 2.5.3 is faster than 2.5.4.
> 
> Typechecking [1] takes respectively 43 and 48 seconds (12% more) in the same laptop.
> 
> (NB. I tried 2.5.3 with --no-sharing, and then I get a unification failure in [2].)

I could typecheck your code [1] using Agda 2.5.3 without enabling
sharing. The outcome of a single test was that 2.5.4 was ∼3% slower.

-- 
/NAD