From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 3 Aug 2024 20:59:29 +0000 (+0200)
Subject: ajust/add devlaration errors to be more standard compliant
X-Git-Tag: v0.10.0~123^2~4
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=df33da111e04577fad169e552846c8d48e77e5ac;p=scryer-prolog.git

ajust/add devlaration errors to be more standard compliant
---

diff --git a/src/machine/machine_errors.rs b/src/machine/machine_errors.rs
index 899424b4..87c4adf3 100644
--- a/src/machine/machine_errors.rs
+++ b/src/machine/machine_errors.rs
@@ -268,6 +268,26 @@ impl DomainError for HeapCellValue {
     }
 }
 
+impl DomainError for FunctorStub {
+    fn domain_error(
+        self,
+        machine_st: &mut MachineState,
+        valid_type: DomainErrorType,
+    ) -> MachineError {
+        let stub = functor!(
+            atom!("domain_error"),
+            [atom(valid_type.as_atom()), str(machine_st.heap.len(), 0)],
+            [self]
+        );
+
+        MachineError {
+            stub,
+            location: None,
+            from: ErrorProvenance::Constructed,
+        }
+    }
+}
+
 impl DomainError for Number {
     fn domain_error(self, machine_st: &mut MachineState, error: DomainErrorType) -> MachineError {
         let stub = functor!(
@@ -731,6 +751,8 @@ pub enum DeclarationError {
     InvalidOpDeclSpecValue(Atom),
     InvalidOpDeclPrecType(Term),
     InvalidOpDeclPrecDomain(Fixnum),
+    ShallNotCreate(Atom),
+    ShallNotModify(Atom),
 }
 
 impl From<ArithmeticError> for CompilationError {
@@ -844,6 +866,7 @@ pub(crate) enum DomainErrorType {
     StreamOrAlias,
     OperatorSpecifier,
     OperatorPriority,
+    Declaration,
 }
 
 impl DomainErrorType {
@@ -857,6 +880,7 @@ impl DomainErrorType {
             DomainErrorType::StreamOrAlias => atom!("stream_or_alias"),
             DomainErrorType::OperatorSpecifier => atom!("operator_specifier"),
             DomainErrorType::OperatorPriority => atom!("operator_priority"),
+            DomainErrorType::Declaration => atom!("declaration"),
         }
     }
 }
diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index 4f03c8e0..919017ac 100644
--- a/src/machine/machine_state.rs
+++ b/src/machine/machine_state.rs
@@ -986,7 +986,7 @@ impl MachineState {
                 atom_as_cell!(atom!("todo_insert_invalid_term_here")),
             ),
             DeclarationError::InvalidDecl(name, arity) => {
-                self.existence_error(ExistenceError::Declaration(name, arity))
+                self.domain_error(DomainErrorType::Declaration, functor_stub(name, arity))
             }
             DeclarationError::InvalidOpDeclNameType(_term) => self.type_error(
                 ValidType::List,
@@ -1006,6 +1006,12 @@ impl MachineState {
             DeclarationError::InvalidOpDeclPrecDomain(num) => {
                 self.domain_error(DomainErrorType::OperatorPriority, fixnum_as_cell!(num))
             }
+            DeclarationError::ShallNotCreate(atom) => {
+                self.permission_error(Permission::Create, atom!("operator"), atom)
+            }
+            DeclarationError::ShallNotModify(atom) => {
+                self.permission_error(Permission::Modify, atom!("operator"), atom)
+            }
         }
     }
 }
diff --git a/src/machine/preprocessor.rs b/src/machine/preprocessor.rs
index 4fcdf9b7..66d6e48e 100644
--- a/src/machine/preprocessor.rs
+++ b/src/machine/preprocessor.rs
@@ -60,6 +60,24 @@ fn setup_op_decl(mut terms: Vec<Term>, atom_tbl: &AtomTable) -> Result<OpDecl, C
         }
     };
 
+    if name == "[]" || name == "{}" {
+        return Err(CompilationError::InvalidDecl(
+            DeclarationError::ShallNotCreate(name),
+        ));
+    }
+
+    if name == "," {
+        return Err(CompilationError::InvalidDecl(
+            DeclarationError::ShallNotModify(name),
+        ));
+    }
+
+    if name == "|" && (prec < 1001 || !spec.is_infix()) {
+        return Err(CompilationError::InvalidDecl(
+            DeclarationError::ShallNotCreate(name),
+        ));
+    }
+
     Ok(to_op_decl(prec, spec, name))
 }
 
diff --git a/tests-pl/invalid_decl12.pl b/tests-pl/invalid_decl12.pl
new file mode 100644
index 00000000..6b57643f
--- /dev/null
+++ b/tests-pl/invalid_decl12.pl
@@ -0,0 +1 @@
+:- op(500, xfy, {}).
\ No newline at end of file
diff --git a/tests-pl/invalid_decl13.pl b/tests-pl/invalid_decl13.pl
new file mode 100644
index 00000000..18ce453d
--- /dev/null
+++ b/tests-pl/invalid_decl13.pl
@@ -0,0 +1 @@
+:- op(500, xfy, [{}]).
\ No newline at end of file
diff --git a/tests-pl/invalid_decl14.pl b/tests-pl/invalid_decl14.pl
new file mode 100644
index 00000000..6e7b74e4
--- /dev/null
+++ b/tests-pl/invalid_decl14.pl
@@ -0,0 +1 @@
+:- op(1000, xfy, '|').
\ No newline at end of file
diff --git a/tests-pl/invalid_decl15.pl b/tests-pl/invalid_decl15.pl
new file mode 100644
index 00000000..59297f2d
--- /dev/null
+++ b/tests-pl/invalid_decl15.pl
@@ -0,0 +1 @@
+:- op(1150, fx, '|').
\ No newline at end of file
diff --git a/tests-pl/invalid_decl16.pl b/tests-pl/invalid_decl16.pl
new file mode 100644
index 00000000..3499725b
--- /dev/null
+++ b/tests-pl/invalid_decl16.pl
@@ -0,0 +1 @@
+:- op(500, yfx, ',').
\ No newline at end of file
diff --git a/tests/scryer/cli/src_tests/declaration_errors.md b/tests/scryer/cli/src_tests/declaration_errors.md
index caa30412..db942c83 100644
--- a/tests/scryer/cli/src_tests/declaration_errors.md
+++ b/tests/scryer/cli/src_tests/declaration_errors.md
@@ -18,13 +18,13 @@ $ scryer-prolog -f --no-add-history tests-pl/invalid_decl3.pl -g halt
 
 ```trycmd
 $ scryer-prolog -f --no-add-history tests-pl/invalid_decl4.pl -g halt
-   error(existence_error(declaration,op/4),load/1).
+   error(domain_error(declaration,op/4),load/1).
 
 ```
 
 ```trycmd
 $ scryer-prolog -f --no-add-history tests-pl/invalid_decl5.pl -g halt
-   error(existence_error(declaration,(;)/2),load/1).
+   error(domain_error(declaration,(;)/2),load/1).
 
 ```
 
@@ -66,3 +66,33 @@ The following test doesn't appear to terminate so its moved to a block quote for
 > % Warning: singleton variables Var at line 0 of invalid_decl11.pl
 >    error(instantiation_error,load/1).
 > ```
+
+```trycmd
+$ scryer-prolog -f --no-add-history tests-pl/invalid_decl12.pl -g halt
+   error(permission_error(create,operator,{}),load/1).
+
+```
+
+```trycmd
+$ scryer-prolog -f --no-add-history tests-pl/invalid_decl13.pl -g halt
+   error(permission_error(create,operator,{}),load/1).
+
+```
+
+```trycmd
+$ scryer-prolog -f --no-add-history tests-pl/invalid_decl14.pl -g halt
+   error(permission_error(create,operator,'|'),load/1).
+
+```
+
+```trycmd
+$ scryer-prolog -f --no-add-history tests-pl/invalid_decl15.pl -g halt
+   error(permission_error(create,operator,'|'),load/1).
+
+```
+
+```trycmd
+$ scryer-prolog -f --no-add-history tests-pl/invalid_decl16.pl -g halt
+   error(permission_error(modify,operator,','),load/1).
+
+```