Skip to content
Snippets Groups Projects
Commit 5a9b8108 authored by ram's avatar ram
Browse files

Fixed CONSTRAIN-REF-TYPE to not lose when we substitute one variable for

another due to an EQL constraint.
parent a2e1bb34
No related branches found
No related tags found
No related merge requests found
...@@ -313,12 +313,12 @@ ...@@ -313,12 +313,12 @@
(let ((var-cons (copy-sset constraints))) (let ((var-cons (copy-sset constraints)))
(sset-intersection var-cons in) (sset-intersection var-cons in)
(let ((res (single-value-type (node-derived-type ref))) (let ((res (single-value-type (node-derived-type ref)))
(not-res *empty-type*)) (not-res *empty-type*)
(leaf (ref-leaf ref)))
(do-elements (con var-cons) (do-elements (con var-cons)
(let* ((x (constraint-x con)) (let* ((x (constraint-x con))
(y (constraint-y con)) (y (constraint-y con))
(not-p (constraint-not-p con)) (not-p (constraint-not-p con))
(leaf (ref-leaf ref))
(other (if (eq x leaf) y x)) (other (if (eq x leaf) y x))
(kind (constraint-kind con))) (kind (constraint-kind con)))
(case kind (case kind
......
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