search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Refactor Unifier to have a typechecked pattern #663

Open cos opened 10 years ago

cos commented 10 years ago

The unify methods of Unifier are now like: public void unify(BitVector bitVector, Term term); @andreistefanescu said we could have the second argument be of the same type as the first.

More generally, we'll have to think of how to make the Unifier be just one type of a general visitor that would allow this. @dwightguth, I think your generic Visitor would not quite cover this as the second argument needs to be the same across the visitor, right?

cos commented 9 years ago

not sure how relevant this still is. @andreistefanescu, close if you think it is not important anymore, or has been solved.