From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sat, 24 Jan 2026 01:22:44 +0000 (+0100)
Subject: make match exhaustive
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=083546442df31cf4a77bf95938e042b75bc31a90;p=scryer-prolog.git

make match exhaustive
---

diff --git a/src/parser/ast.rs b/src/parser/ast.rs
index 0d789c33..fe28207b 100644
--- a/src/parser/ast.rs
+++ b/src/parser/ast.rs
@@ -473,7 +473,9 @@ impl ParserError {
             | ParserError::ParseBigInt(location)
             | ParserError::UnexpectedChar(_, location) => Some(location.clone()),
             ParserError::Utf8Error(location) => location.as_ref().cloned(),
-            _ => None,
+            ParserError::IO(_)
+            | ParserError::LexicalError(_)
+            | ParserError::InvalidSingleQuotedCharacter(_) => None,
         }
     }