idris-0.9.11: test/basic009/Faulty.idr

module Faulty

import A
import B.C

fault : num = Z
fault = refl