Render final-prelude diagnostics

1 files changed, 27 insertions, 0 deletions

diff --git a/source/Test/Unit/Module.hs b/source/Test/Unit/Module.hs
index cdc89b0..fa3f6f9 100644
--- a/source/Test/Unit/Module.hs
+++ b/source/Test/Unit/Module.hs
@@ -33,6 +33,7 @@ import Paths_felix qualified as Paths
 import Syntax.Abstract qualified as Raw
 import Syntax.Internal qualified as Internal
 import Syntax.Interface qualified as Syntax
+import Syntax.Pragma qualified as Pragma
 
 import Bound.Scope (fromScope)
 import Bound.Var (Var(..))
@@ -68,6 +69,8 @@ unitTests =
             identifiesCommentOnlyInput
         , testCase "loads and parses the packaged final prelude"
             parsesPackagedFinalPrelude
+        , testCase "renders packaged final-prelude failures"
+            rendersPackagedPreludeFailures
         , testCase "confines exact foundation-leaf completion"
             confinesFoundationLeafCompletion
         , testCase "builds the confined final prelude"
@@ -291,6 +294,30 @@ parsesPackagedFinalPrelude = do
         (Syntax.moduleSyntaxAssertedId
             (Parse.identifiedParsedModuleSyntaxInterface secondParsed))
 
+rendersPackagedPreludeFailures :: Assertion
+rendersPackagedPreludeFailures = do
+    assertEqual "load failure"
+        "/missing/felix-prelude.tex: unable to read packaged final prelude: not found"
+        (Prelude.renderPreludeLoadError
+            (Prelude.PreludeSourceReadFailed
+                "/missing/felix-prelude.tex"
+                "not found"))
+    assertEqual "located syntax failure"
+        "<felix-prelude>: syntax pragma location is out of range at 7:3"
+        (Prelude.renderPreludeParseError parseFailure)
+    assertEqual "authority-free API presentation"
+        ("packaged final prelude parsing failed: "
+            <> "<felix-prelude>: syntax pragma location is out of range at 7:3")
+        (Api.renderAuthorityFreeParseError
+            (Api.AuthorityFreePreludeParseFailed parseFailure))
+  where
+    parseFailure =
+        Prelude.PreludeSyntaxPragmaFailed
+            (Pragma.SyntaxPragmaLocationOutOfRange
+                Prelude.preludeDiagnosticLabel
+                7
+                3)
+
 confinesFoundationLeafCompletion :: Assertion
 confinesFoundationLeafCompletion = do
     foundation <- expectRight Foundation.checkedFoundation