Skip to content
  • niteria's avatar
    Make abstractVars deterministic in SetLevel · 6393dd8e
    niteria authored and Ben Gamari's avatar Ben Gamari committed
    This fixes a non-determinism bug where depending on the order
    of uniques allocated, the type variables would be in a different order
    when abstracted for the purpose of lifting out an expression.
    
    Test Plan:
    I've added a new testcase that reproduces the problem
    ./validate
    
    Reviewers: simonmar, austin, bgamari, simonpj
    
    Reviewed By: simonpj
    
    Subscribers: nomeata, thomie
    
    Differential Revision: https://phabricator.haskell.org/D1504
    
    GHC Trac Issues: #4012
    6393dd8e