#168 unicon: $line 50 "line.nw": filename is ignored

open
nobody
5
2012-10-04
2012-10-04
No

unicon ignores filename on $line or #line
It must use them, as icont does, to give proper error line#s
when used with noweb output or iyacc output

Discussion


Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks