Zander671/truth-table
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix handling of empty propositions on the command line

Browse Source
This commit is contained in:
Alexander Rosenberg 2024-09-11 01:07:52 -07:00
parent c52706e4b2
commit bbc02349af
Signed by: Zander671
GPG Key ID: 5FD0394ADBD72730
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
cli.lisp
View File

@ -37,13 +37,13 @@ functions involved in evaluating and typesetting."
(parse-proposition-string prop-str (parse-proposition-string prop-str
:implicit-and implicit-and :implicit-and implicit-and
:multi-char-names multi-char-names)) :multi-char-names multi-char-names))
when parsed-exp
collect parsed-exp into exps collect parsed-exp into exps
do (dolist (var parsed-vars) do (dolist (var parsed-vars)
(unless (member var vars :test 'equal) (pushnew var vars :test 'equal))
(setq vars (nconc vars (list var)))))
finally finally
(let ((table (create-combined-truth-table (let ((table (create-combined-truth-table
exps vars exps (nreverse vars)
:include-intermediate include-intermediate :include-intermediate include-intermediate
:include-vars include-vars))) :include-vars include-vars)))
(return (typeset-table-to-format table format (return (typeset-table-to-format table format