Hi,
While reading the source code of typechecker, I found there're two ways to
check type equality:
1. Method checker.identical(x, y Type) bool {}, defined in predicates.go,
used by many places to see if two types are identical during typecheck
process;
2. Method unifier.unify(x, y Type) bool {}, defined in unify.go, used by
method lookup to compare two Signature types
And there's comment "For changes to this code the corresponding changes
should be made to unifier.nify." for method checker.identical0().
I wonder why there're two implementations for one thing? And if there're
some reason, why the name "unify"?
Thanks for any help:-)
--
You received this message because you are subscribed to the Google Groups
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/golang-nuts/e8f68b5c-44a5-4d74-a563-1f7456cc04e2n%40googlegroups.com.
