Currently an existing lock file like example.lock-7.10.2 will only be used by mafia with GHC 7.10.2 and will be ignored by GHC 7.10.3.
I would like to keep the above behavior, but add a fallback wildcard-like behavior so that example.lock-X.Y would be accepted as a valid lock file for any GHC version that matches X.Y.*, but only if an exact match (eg X.Y.Z) is not found.
@tmcgilchrist @nhibberd @charleso Any concerns about this?
Currently an existing lock file like
example.lock-7.10.2will only be used by mafia with GHC 7.10.2 and will be ignored by GHC 7.10.3.I would like to keep the above behavior, but add a fallback wildcard-like behavior so that
example.lock-X.Ywould be accepted as a valid lock file for any GHC version that matchesX.Y.*, but only if an exact match (egX.Y.Z) is not found.@tmcgilchrist @nhibberd @charleso Any concerns about this?