From 95de30123521e0ef23c76afb7d19ca7c7f342377 Mon Sep 17 00:00:00 2001 From: Manoel Vilela Date: Sun, 13 Jul 2025 16:40:34 -0300 Subject: [PATCH] fix: disable *pretty-print* for header formatting Closes #48 --- src/truth-table.lisp | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/truth-table.lisp b/src/truth-table.lisp index 1e3fdbb..8b2ab57 100644 --- a/src/truth-table.lisp +++ b/src/truth-table.lisp @@ -179,6 +179,12 @@ a tautology." (equal (eval-expression exp1) (eval-expression exp2))) +(defun generate-printable-header (header) + (let ((*print-pretty* nil)) + (loop for x in header + for p = (princ-to-string x) + collect (concatenate 'string " " p " |")))) + (defun print-truth-table (exp) "Given a EXP with prefixed notation generate a pretty truth-table for each grouped case." @@ -187,9 +193,7 @@ a tautology." (truth-table (prepare-table evaluated-cases)) (header (loop for column in truth-table collect (car column))) (n-values (length (cadr truth-table))) - (printable-header (loop for x in header - for p = (princ-to-string x) - collect (concatenate 'string " " p " |"))) + (printable-header (generate-printable-header header)) (spaces (mapcar #'length printable-header))) (print-bar spaces) (princ-n "|")