#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 gridaphobe): Replying to [comment:36 saurabhnanda]:
So, I guess it has been established that `HasCallStack` cannot be replaced with `-prof` and that it has independent utility, right?
`HasCallStack` definitely has independent utility, yes. The question Ben is raising is whether this proposed flag to add `HasCallStack` constraints throughout a module has independent utility. I think the answer is still yes, as I argued above, but it's admittedly less obvious than the original use-case for `HasCallStack` (opt-in source locations on a per-function basis). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13360#comment:37 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler