idris-0.9.15: test/basic009/Faulty.idr

module Faulty

import A
import B.C

fault : num = Z
fault = Refl