idris-0.10.1: test/reg069/expected

Mod.idr:11:1:
public export Mod.natexp can't refer to export Mod.natfn