Skip to content
  • niteria's avatar
    Delete Ord Unique · fb6e2c7f
    niteria authored
    Ord Unique can be a source of invisible, accidental
    nondeterminism as explained in Note [No Ord for Unique].
    This removes it, leaving a note with rationale.
    
    It's unfortunate that I had to write Ord instances for
    codegen data structures by hand, but I believe that it's a
    right trade-off here.
    
    Test Plan: ./validate
    
    Reviewers: simonmar, austin, bgamari
    
    Reviewed By: simonmar
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2370
    
    GHC Trac Issues: #4012
    fb6e2c7f