show pre-renamed source code when reporting type errors

« jhc project page

When printing the context in which an error occured, we should print out the source code using unqualified names as written, rather than what it looks like post-renaming

Details

Id: 3d23981eef30f8639272158a5a32743cdc23def6
Type: feature
Creation time: 2009-03-27 01:07 GMT
Creator: John Meacham <john@...>
Release: 0.8.0 (unreleased)
Component: ui
Status: unstarted

Issue log

2010-07-09 22:12 GMT John Meacham <john@...> assigned to release 0.8.0 from unassigned
2009-03-27 01:07 GMT John Meacham <john@...> created