Agda-2.3.2.2: test/fail/FileNotFound.agda

module FileNotFound where

import A.B.WildGoose