testCaseFiles :: IO [FilePath]
testCaseFiles = do
  cd <- getCurrentDirectory
  listFilesWithExtension ".idr" (cd </> "test/cases")
testCaseFiles :: IO [FilePath]
testCaseFiles = do
  cd <- getCurrentDirectory
  listFilesWithExtension ".idr" (cd </> "test/cases")
testCaseFiles = do
  cd <- getCurrentDirectory
  listFilesWithExtension ".idr" (cd </> "test/cases")