switch invalid term from type to domain error

mthom · Aug 5, 2024 · 058b9c5 · 058b9c5
1 parent deed6fb
commit 058b9c5
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/src/machine/machine_errors.rs b/src/machine/machine_errors.rs
@@ -38,7 +38,6 @@ pub(crate) enum ValidType {
     Callable,
     Character,
     Compound,
-    Directive,
     Evaluable,
     Float,
     InByte,
@@ -74,7 +73,6 @@ impl ValidType {
             //            ValidType::PredicateIndicator => atom!("predicate_indicator"),
             //            ValidType::Variable => atom!("variable")
             ValidType::TcpListener => atom!("tcp_listener"),
-            ValidType::Directive => atom!("directive"),
         }
     }
 }

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
@@ -981,8 +981,8 @@ impl MachineState {
 
     pub(crate) fn directive_error(&mut self, err: DirectiveError) -> MachineError {
         match err {
-            DirectiveError::ExpectedDirective(_term) => self.type_error(
-                ValidType::Directive,
+            DirectiveError::ExpectedDirective(_term) => self.domain_error(
+                DomainErrorType::Directive,
                 atom_as_cell!(atom!("todo_insert_invalid_term_here")),
             ),
             DirectiveError::InvalidDirective(name, arity) => {

diff --git a/tests/scryer/cli/src_tests/directive_errors.md b/tests/scryer/cli/src_tests/directive_errors.md
@@ -30,7 +30,7 @@ $ scryer-prolog -f --no-add-history tests-pl/invalid_decl5.pl -g halt
 
 ```trycmd
 $ scryer-prolog -f --no-add-history tests-pl/invalid_decl6.pl -g halt
-   error(type_error(directive,todo_insert_invalid_term_here),load/1).
+   error(domain_error(directive,todo_insert_invalid_term_here),load/1).
 
 ```