refined type unification

parent b5d01f7e
......@@ -265,7 +265,8 @@ a natural generational mapping to help in constructing a match tree.
(define compile-sup-sub
(compile-sup-sub (fluid-ref *current-set-theory*)))
(fluid-set! *current-set-theory*
(compile-sup-sub (fluid-ref *current-set-theory*))))
(let ((i->subs (get-i->subs theory))
(i->sups (get-i->sups theory))
......@@ -19,7 +19,9 @@
(if (set< f ff)
(<=> l ll)
(if (set< ff f)
(<=> l ll)))))
(<put-attr> var Type (cons f l))
(<=> l ll))))))
(<put-attr> var Type data)))
(<<match>> (#:mode -) (data)
((f . data)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment