idris-0.10.1: test/reg007/A.lidr

> module A

> public export n : Nat
> n = ?lala