Skip to content

determinism: Use deterministic map for Strings in TyLitMap

Matthew Pickering requested to merge wip/fix-tylit-determ into master

When generating typeable evidence the types we need evidence for all cached in a TypeMap, the order terms are retrieved from a type map determines the order the bindings appear in the program.

A TypeMap is quite diligent to use deterministic maps, apart from in the TyLitMap, which uses a UniqFM for storing strings, whose ordering depends on the Unique of the FastString.

This can cause non-deterministic .hi and .o files.

Fixes #26846 (closed)

Merge request reports