pts icon indicating copy to clipboard operation
pts copied to clipboard

Published 20 hours ago • verified publisher icon Toxaris

Test support for #line pragmas

Open Toxaris opened this issue 12 years ago • 2 comments

EDITED: Test the support for #line pragmas. Tillmann introduced this in 7b4a4e516ddfa805a282d98693595d12470b7fc1 (see comment below) for better integration with code generators such as lhs2tex --newcode.

Toxaris avatar Mar 22 '12 10:03 Toxaris

This seems to be adressed by 7b4a4e516ddfa805a282d98693595d12470b7fc1, but I don't know whether it actually works.

Toxaris avatar Mar 08 '13 14:03 Toxaris

I updated the issue title to mention the remaining part, to clarify what's left to do (but making the discussion more confusing).

Blaisorblade avatar Mar 12 '13 18:03 Blaisorblade