Skip to content
Snippets Groups Projects
Commit 00aff763 authored by ram's avatar ram
Browse files

Block now has a TEST-CONSTRAINT slot used to represent the constraints

coming from explicit conditionals.
parent d63cb583
No related branches found
No related tags found
No related merge requests found
......@@ -310,7 +310,12 @@
(flag nil)
;;
;; Some kind of info used by the back end.
(info nil))
(info nil)
;;
;; If true, then constraints that hold in this block and its successors by
;; merit of being tested by its IF predecessor.
(test-constraint nil :type (or sset null)))
(defun %print-block (s stream d)
(declare (ignore d))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment