[GHC] #4012: Compilation results are not deterministic

[GHC]

#4012: Compilation results are not deterministic
-------------------------------------+-------------------------------------
              Reporter:  kili        |            Owner:
                  Type:  bug         |           Status:  new
              Priority:  normal      |        Milestone:  7.10.1
             Component:  Compiler    |          Version:  6.12.2
            Resolution:              |         Keywords:
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Difficult (2-5
       Type of failure:  Other       |  days)
             Test Case:              |       Blocked By:
              Blocking:              |  Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Whoa!  The name of an auto-generated rule is itself auto-generated, so
 that a (savvy) user can track back to which function is being specialised.
 But nothing will go wrong if two rules accidentally have the same name,
 which seems entirely possible if you suppress the unique.

 I can see that this is a rather gratuitous source of non-determinism.
 Joachim, do go ahead and suppress the unique (with an accompanying Note!).
 Thanks.

 Simon

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:65>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler