From 3351cfc5becee6a09df47df4772598fb2207b746 Mon Sep 17 00:00:00 2001 From: Patrick Date: Thu, 27 Feb 2025 04:06:07 +0800 Subject: [PATCH] add doc for cradleErrorLoadingFiles --- src/HIE/Bios/Types.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/HIE/Bios/Types.hs b/src/HIE/Bios/Types.hs index 5b123d3f..2dc24833 100644 --- a/src/HIE/Bios/Types.hs +++ b/src/HIE/Bios/Types.hs @@ -273,6 +273,9 @@ data CradleError = CradleError -- ^ Standard error output that can be shown to users to explain -- the loading error. , cradleErrorLoadingFiles :: [FilePath] + -- ^ files that were attempted to be loaded by the cradle. + -- This can be useful if we are loading multiple files at once, + -- e.g. in a cabal cradle with the multi-repl feature. } deriving (Show, Eq)