tree<y>.calculatePatch(otherTree<x>)
types could be improved, so that it returns a Patch<Y | X>
#95
Labels
tree<y>.calculatePatch(otherTree<x>)
types could be improved, so that it returns a Patch<Y | X>
#95
When using
calculatePatch
today, the resulting patches incorrectly type their entry asDefaultEntry
, when ideally the resultingPatch[]
would be generic based on the actually tree's being used. Basically something like:Patch<T | K>[]
today:
Proposed:
The text was updated successfully, but these errors were encountered: