On 14 March 2015 at 11:08, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote: > any intuition why such a thing could affect the current development version of Agda > at all? Andreas suggested sharing --- has somebody actually started putting > `par` into places? Since I could reproduce the issue in the maint-2.4.2 branch, sharing is not the cause. -- Andrés