• Herbert Valerio Riedel's avatar
    Refactor 'RelaxDeps' to avoid semantic ambiguity of mempty value · 4066ea7a
    Herbert Valerio Riedel authored
    This removes the redundancy between `RelaxDepsNone` and
    `RelaxDepsSome []` by removing `RelaxDepsNone`.
    
    This way we avoid the risk of subtle bugs that can occur if the same
    semantic value can be expressed in a non-unique way.
    
    A further step to normalise the type would be to turn `[RelaxedDep]`
    into `Set RelaxedDep`, but there is no operation that would
    significantly benefit from that yet.
    4066ea7a
Setup.hs 102 KB