• Add SourceLocation (line numbers) back, but on demand.

    SimonSapin committed Jan 6, 2015
    3