#9049: Expose srcLoc from the assertion architecture to allow better error messages -------------------------------------+------------------------------------- Reporter: nh2 | Owner: gridaphobe Type: feature request | Status: patch Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D578 -------------------------------------+------------------------------------- Comment (by gridaphobe): Replying to [comment:21 rodlogic]:
Replying to [comment:19 gridaphobe]:
I've sent a patch that implements [wiki:ExplicitCallStack/ImplicitLocations] to Phab (https://phabricator.haskell.org/D578). This is great. I would have taken me quite a while to get there.
In your patch you mention that you didn't change base at this point, could we at least change GHC.Base to use it and add a new assertMsg?
I'd rather keep that patch feature-only, to focus discussion around the design/implementation. But I'm happy to put together another patch, once D578 is merged, to discuss using it in base. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9049#comment:25 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler