
#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