[GHC] #13360: Add a flag to enable inferring HasCallStack constraints

[GHC]

#13360: Add a flag to enable inferring HasCallStack constraints
-------------------------------------+-------------------------------------
        Reporter:  gridaphobe        |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.4.1
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by saurabhnanda):

 Here are the benchmarks of postgresql-simple with only 20% queries
 resulting in an error. There's **no perceptible difference in perf.**

 **With HasCallStack**

 {{{
 benchmarking complicatedQuery/with error
 time                 186.4 μs   (178.2 μs .. 195.3 μs)
                      0.989 R²   (0.986 R² .. 0.996 R²)
 mean                 198.0 μs   (190.5 μs .. 207.8 μs)
 std dev              29.62 μs   (22.83 μs .. 37.34 μs)
 variance introduced by outliers: 90% (severely inflated)


 }}}

 **Without HasCallStack**

 {{{
 benchmarking complicatedQuery/with error
 time                 187.3 μs   (180.5 μs .. 197.0 μs)
                      0.986 R²   (0.970 R² .. 0.999 R²)
 mean                 184.4 μs   (181.3 μs .. 189.8 μs)
 std dev              14.19 μs   (7.153 μs .. 23.78 μs)
 variance introduced by outliers: 70% (severely inflated)
 }}}

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