Note [Deterministic FV]
When computing free variables, the order in which you get them affects the results of floating and specialization. If you use UniqFM to collect them and then turn that into a list, you get them in nondeterministic order as described in Note [Deterministic UniqFM] in GHC.Types.Unique.DFM.
References 1
- Deterministic UniqFM GHC.Types.Unique.DFM
Referenced by 15
- GHC.Tc.Types.Constraint call site ×13
- GHC.Core.TyCo.FVs call site ×2