From: Bennet Bleßmann Date: Sat, 29 Jul 2023 11:11:00 +0000 (+0200) Subject: fix spelling X-Git-Tag: v0.9.2~19^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a70157003b60e744d31526ffeb84e6afdeff70a0;p=scryer-prolog.git fix spelling --- diff --git a/src/atom_table.rs b/src/atom_table.rs index df3e1e44..48f50ec9 100644 --- a/src/atom_table.rs +++ b/src/atom_table.rs @@ -259,15 +259,15 @@ pub struct AtomTable { } #[cold] -fn atom_table_base_pointer_missmatch(expected: *const u8, got: *const u8) -> ! { +fn atom_table_base_pointer_mismatch(expected: *const u8, got: *const u8) -> ! { assert_eq!(expected, got, "Overwriting atom table base pointer, expected old value to be {expected:p}, but found {got:p}"); - unreachable!("This should only be called in a case of a missmatch as such the assert_eq should have failed!") + unreachable!("This should only be called in a case of a mismatch as such the assert_eq should have failed!") } impl Drop for AtomTable { fn drop(&mut self) { if let Err(got) = set_atom_tbl_buf_base(self.block.base, ptr::null()) { - atom_table_base_pointer_missmatch(self.block.base, got); + atom_table_base_pointer_mismatch(self.block.base, got); } self.block.deallocate(); } @@ -280,7 +280,7 @@ impl AtomTable { if let Err(got) = set_atom_tbl_buf_base(ptr::null(), block.base) { block.deallocate(); - atom_table_base_pointer_missmatch(ptr::null(), got); + atom_table_base_pointer_mismatch(ptr::null(), got); } Self { @@ -324,7 +324,7 @@ impl AtomTable { let old_base = self.block.base; self.block.grow(); if let Err(got) = set_atom_tbl_buf_base(old_base, self.block.base) { - atom_table_base_pointer_missmatch(old_base, got); + atom_table_base_pointer_mismatch(old_base, got); } } else { break; diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs index ffa39148..1f0e2737 100644 --- a/tests/scryer/issues.rs +++ b/tests/scryer/issues.rs @@ -178,7 +178,7 @@ fn call_0() { #[should_panic(expected = "Overwriting atom table base pointer")] fn atomtable_is_not_concurrency_safe() { // this is basically the same test as scryer_prolog::atom_table::atomtable_is_not_concurrency_safe - // but for this integration test scryer_prolog is compiled with cfg!(not(test)) while for the unit test it is colpiled with cfg!(test) + // but for this integration test scryer_prolog is compiled with cfg!(not(test)) while for the unit test it is compiled with cfg!(test) // as the atom table implementation differ between cfg!(test) and cfg!(not(test)) both test serve a pourpose // Note: this integration test itself is compiled with cfg!(test) independent of scryer_prolog itself let _machine_a = Machine::with_test_streams();