• niteria's avatar
    Document SCC determinism · 3edbd091
    niteria authored
    I've documented the guarantees that stronglyConnCompFromEdgedVertices
    provides and commented on the call sites to explain why they are
    OK from determinism standpoint. I've changed the functions to
    nonDetUFM versions, so that it's explicit they could introduce
    nondeterminism.  I haven't defined container (VarSet, NameSet)
    specific versions, so that we have less functions to worry about.
    
    Test Plan: this is mostly just documentation,
    it should have no runtime effect
    
    Reviewers: bgamari, simonmar, austin, simonpj
    
    Reviewed By: simonpj
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2194
    
    GHC Trac Issues: #4012
    3edbd091
NameEnv.hs 5.45 KB