We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f633639 commit 60e3177Copy full SHA for 60e3177
web/webapp.lisp
@@ -68,7 +68,10 @@ try {
68
(defun truth-table (exp)
69
(with-output-to-string (s)
70
(let ((inference:*output-stream* s))
71
- (inference:print-truth-table (inference:parse-logic exp)))))
+ (handler-case (inference:print-truth-table
72
+ (inference:parse-logic exp))
73
+ (error (c)
74
+ (format s "ERROR: invalid logic expression"))))))
75
76
(defun create-table (exp-string)
77
(make-instance 'table
@@ -95,7 +98,7 @@ try {
95
98
:id "prop-input"
96
99
:style "text-align:center;"
97
100
:name "prop"
- :placeholder (prop table))
101
+ :value (prop table))
102
(:input :type "submit"
103
:value "Eval")
104
(:input :type "button"
0 commit comments