]> Repositorios git - scryer-prolog.git/commitdiff
fmt improvements
authorMark Thom <[email protected]>
Tue, 8 Jul 2025 20:47:08 +0000 (13:47 -0700)
committerMark Thom <[email protected]>
Tue, 8 Jul 2025 20:47:08 +0000 (13:47 -0700)
src/parser/ast.rs
src/parser/lexer.rs
src/parser/parser.rs

index 4fc10e054039838e2093ea5515f3c39a5740105c..aa9ea077281aa2cf007d235a58f243751500629c 100644 (file)
@@ -447,9 +447,9 @@ impl ParserError {
             ParserError::InvalidSingleQuotedCharacter(..) => {
                 atom!("invalid_single_quoted_character")
             }
-           ParserError::InfiniteFloat(..) => {
-               atom!("infinite_float")
-           }
+            ParserError::InfiniteFloat(..) => {
+                atom!("infinite_float")
+            }
             ParserError::IO(e) if e.kind() == ErrorKind::UnexpectedEof => {
                 atom!("unexpected_end_of_file")
             }
index 6584dd32b9c353e87b79bd2b3014635df569b1f8..2b63380cb3b9e9e297e7fddc83d71ba8f458afd1 100644 (file)
@@ -665,10 +665,7 @@ impl<'a, R: CharRead> Lexer<'a, R> {
 
         let n = parse_float_lossy(&token)?;
 
-        Ok(Number::Float(float_alloc!(
-            n,
-            self.machine_st.arena
-        )))
+        Ok(Number::Float(float_alloc!(n, self.machine_st.arena)))
     }
 
     fn skip_underscore_in_number(&mut self) -> Result<char, ParserError> {
@@ -944,9 +941,10 @@ impl<'a, R: CharRead> Lexer<'a, R> {
                 Ok(n) => Ok(Token::Literal(n.to_literal())),
                 Err(_) => {
                     let n = parse_float_lossy(&token_string)?;
-                    Ok(Token::Literal(Literal::F64Offset(
-                        float_alloc!(n, self.machine_st.arena),
-                    )))
+                    Ok(Token::Literal(Literal::F64Offset(float_alloc!(
+                        n,
+                        self.machine_st.arena
+                    ))))
                 }
             },
             Ok(NumberToken::Number(n)) => return Ok(Token::Literal(n.to_literal())),
index a131ff753af9cedb4cad2abf9214c8a97f37515a..7a8895206fb039d7e2baa7eb91332a49d556e8b9 100644 (file)
@@ -962,12 +962,20 @@ impl<'a, R: CharRead> Parser<'a, R> {
             Token::Literal(Literal::Rational(n)) => {
                 self.negate_number(n, negate_rat_rc, |r, _| Literal::Rational(r))
             }
-           Token::Literal(Literal::F64Offset(n)) if self.lexer.machine_st.arena.f64_tbl.get_entry(n).is_infinite() => {
-               return Err(ParserError::InfiniteFloat(
-                   self.lexer.line_num,
-                   self.lexer.col_num,
-               ));
-           }
+            Token::Literal(Literal::F64Offset(n))
+                if self
+                    .lexer
+                    .machine_st
+                    .arena
+                    .f64_tbl
+                    .get_entry(n)
+                    .is_infinite() =>
+            {
+                return Err(ParserError::InfiniteFloat(
+                    self.lexer.line_num,
+                    self.lexer.col_num,
+                ));
+            }
             Token::Literal(Literal::F64Offset(n)) => {
                 let n = self.lexer.machine_st.arena.f64_tbl.get_entry(n);