  fs <- runIO $ getFilesInDir dir

  describe ("successfully typechecks files in " ++ dir) $ do
    forM_ fs $ \f -> do
      it ((takeFileName f) ++ " typechecks.") $ do
        res <- parseFromFile (thrillParser <* eof) f
        shouldSucceed res