unisonweb/unison
Ver no GitHubswitch `Patch` to use `Map` instead of `Relation`
Open
#1.658 aberto em 17 de ago. de 2020
help wanted
Métricas do repositório
- Stars
- (6.624 stars)
- Métricas de merge de PR
- (Mesclagem média 10d 2h) (5 fundiu PRs em 30d)
Description
We don't need the reverse index that Relation provides hanging out in memory.
We don't want to risk changing the existing V1 serialization format, so for simplicity, when constructing this PR, convert to/from a Relation using Relation.toMultimap/.fromMultimap before calling the serialization functions.