Do not use readFile

[nad]

I noticed that the code uses readFile to read certain files that are (or should be) required to use the UTF-8 text encoding:

agda/src/full/Agda/Interaction/Library.hs

Lines 255 to 260 in 9399b3a

	readDefaultsFile :: LibErrorIO [LibName]
	readDefaultsFile = do
	agdaDir <- liftIO getAgdaAppDir
	let file = agdaDir </> defaultsFile
	ifNotM (liftIO $ doesFileExist file) (return []) $ {-else-} do
	ls <- liftIO $ map snd . stripCommentLines <$> readFile file

agda/src/full/Agda/Interaction/Library.hs

Lines 295 to 304 in 9399b3a

	getInstalledLibraries
	:: Maybe FilePath -- ^ Override the default @libraries@ file?
	-> LibM [AgdaLibFile] -- ^ Content of library files. (Might have empty @LibName@s.)
	getInstalledLibraries overrideLibFile = mkLibM [] $ do
	filem <- liftIO $ runExceptT $ getLibrariesFile overrideLibFile
	case filem of
	Left err -> raiseErrors' [OtherError err] >> return []
	Right file -> do
	if not (lfExists file) then return [] else do
	ls <- liftIO $ stripCommentLines <$> readFile (lfPath file)

agda/src/full/Agda/Interaction/Library.hs

Lines 368 to 373 in 9399b3a

	getTrustedExecutables
	:: LibM (Map ExeName FilePath) -- ^ Content of @executables@ files.
	getTrustedExecutables = mkLibM [] $ do
	file <- liftIO getExecutablesFile
	if not (efExists file) then return Map.empty else do
	es <- liftIO $ stripCommentLines <$> readFile (efPath file)

agda/src/full/Agda/Interaction/Library/Parse.hs

Lines 110 to 112 in 9399b3a

	parseLibFile :: FilePath -> IO (P AgdaLibFile)
	parseLibFile file =
	(fmap setPath . parseLib <$> readFile file) `catchIO` \e ->

These calls to readFile should all be fixed.

[andreasabel]

These calls to readFile should all be fixed.

How? What do you suggest?
Use readTextFile from #5742?

[nad]

I guess you meant some other issue, but I think it is appropriate to use Agda.Utils.IO.UTF8.readTextFile to read these files.

[andreasabel]

I guess you meant some other issue.

I think I meant #5740.