552 | | * There are still some cases where an interface can change without changing the source code. Here are the ones I know about |

553 | | * The `spec_ids` (specialised Ids) attached to an Id have a non-deterministic ordering |

554 | | * CSE can give different results depending on the order in which the bindings are considered, and since the ordering is |

555 | | non-deterministic, the result of CSE is also non-deterministic. e.g. in `x = z; y = z; z = 3`, where `y` and `x` are |

556 | | exported, we can end up with either `x = y; y = 3` or `y = x; x = 3`. |

557 | | * There seems to be something unpredictable about the order of arguments to SpecConstr-generated specialisations, see [http://www.haskell.org/pipermail/glasgow-haskell-users/2011-April/020287.html] |

| 552 | * There are still some cases where an interface can change without changing the source code. The ones we know about are listed in #4012 |