The Coq mailing list

[James Lingard <jchl2 AT cam.ac.uk>]

The runtime of coqc on the following program:

  Definition n0 := 0.

  Definition n1 := 0.

  Definition n2 := 0.

  ...

  Definition nN := 0.

appears to be roughly quadratic in the number of definitions.

Does anyone know what causes this?

Thanks,

James.