]> Repositorios git - scryer-prolog.git/commitdiff
more spelling fixes
authorSkgland <[email protected]>
Mon, 25 May 2026 14:39:37 +0000 (16:39 +0200)
committerBennet Bleßmann <[email protected]>
Mon, 25 May 2026 14:39:37 +0000 (16:39 +0200)
src/machine/dispatch.rs
src/parser/char_reader.rs

index bcc270a3ce777b550d57666584f5d0e424af1b33..90a65cb19fbbbaa641915e82b266ce49bb93e3bf 100644 (file)
@@ -1623,7 +1623,7 @@ impl Machine {
                 }
 
                 let Some(inst) = self.code.get(self.machine_st.p) else {
-                    // a seperate function marked #[cold] to make the compiler/branch-predictor prefer the happy path
+                    // a separate function marked #[cold] to make the compiler/branch-predictor prefer the happy path
                     handle_code_index_oob(self.code.len(), self.machine_st.p);
                 };
 
@@ -6038,7 +6038,7 @@ impl Machine {
     }
 }
 
-#[cold] // this is a seperate function so that we can annotate it as cold
+#[cold] // this is a separate function so that we can annotate it as cold
 #[track_caller]
 fn handle_code_index_oob(code_len: usize, p: usize) -> ! {
     panic!("code pointer p = {p} is oob for code area of size {code_len}");
index af1f0b6af4ced817460c7b504b3973ddbf65f836..d9e412030d87965401c6f412822431c5f5d8d9ee 100644 (file)
@@ -206,7 +206,7 @@ impl<R: Read> CharRead for CharReader<R> {
             // i.e. the content of buf is a prefix of a valid utf-8 encoded char
             //
             // we need to read more data from the underlying stream
-            // so that we can determin its validity
+            // so that we can determine its validity
 
             if self.buf.len() > 4 {
                 // keep a prefix of 4 bytes so that we can put back at least one char
@@ -218,7 +218,7 @@ impl<R: Read> CharRead for CharReader<R> {
                 Err(e) => return Some(Err(e)),
                 Ok(0) => return Some(Err(bad_bytes_error(&self.buf))),
                 Ok(_) => {
-                    // successfully filled the buffer with another chuck of data
+                    // successfully filled the buffer with another chunk of data
                 }
             }
         }