search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

rename AnnotatedTypeMerger #148

Closed kelloggm closed 4 years ago

kelloggm commented 4 years ago

Companion to https://github.com/typetools/checker-framework/pull/3193

wmdietl commented 4 years ago

It looks like these changes were merged as https://github.com/typetools/checker-framework-inference/commit/b809e6e32cc60a263d497da2ef93112cc26a7183, so this shouldn't be necessary any more. Please re-open if I misunderstand.

mernst commented 4 years ago

What happened is that typetools/checker-framework#3193 had no link to this PR, so I didn't know about this PR while working on typetools/checker-framework#3193 and had to re-do the work myself in the middle of the night after merging typetools/checker-framework#3193. @kelloggm, it is most important that the main PR links to the subsidiary PR, though I personally always make them both link to one another.