Sounds useful to me (though one might occasionally want to have
access to just the current location, without context - suggesting
perhaps a list/stack of strings rather than a pre-concatenated string).
actually, there's a bit about your proposal (on the wiki page) that I don't
quite follow, na
[deleted cc to haskell-cafe; RULES and discussion details are GHC-specific]
That's difficult. Trouble is, the assert expansion happens right at the front, before any
desugaring or program transformation. But rewrite rules fire much, much later, in the simplifier.
and there doesn't seem to be
| Looks good! But that is deceiving: the assert was expanded before the rule
| fired, and refers to the rewrite rule source line (line 19), not the fromJust
| call site (line 12). Now if we could just have the 'assert' token inserted
| into the AST before it was expanded, we'd be home and dry. Cou
