git/metabuilder
1
0
Fork 0
mirror of https://github.com/johndoe6345789/metabuilder.git synced 2026-04-24 13:54:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: correct syntax in DetectConflicts function for package conflict resolution

Browse Source
This commit is contained in:
johndoe6345789
2026-01-03 00:18:49 +00:00
parent c04431a5e2
commit c603784d44
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
spec/package_system.tla
View File

@@ -331,8 +331,8 @@ DetectConflicts ==
packageConflicts' = {[
packageId |-> pkg,
sources |-> {s \in PackageSources:
\E entry \in sourceIndex: entry[1] = s /\ entry[2].packageId = pkg},
versions |-> {entry[2].version: entry \in sourceIndex | entry[2].packageId = pkg},
\E entry \in sourceIndex: entry[1] = s /\ (entry[2]).packageId = pkg},
versions |-> {(e[2]).version : e \in sourceIndex, (e[2]).packageId = pkg},
resolvedTo |-> <<>>
]: pkg \in packagesInMultipleSources}
/\ UNCHANGED <<userLevels, userTenants, sourceConfigs, sourceIndex,