MLton 20070826 LineDirective
Home  Index  
To aid in the debugging of code produced by program generators such as [WWW]Noweb, MLton supports comments with line directives of the form  (*#line line.col "file"*). Here, line and col are sequences of decimal digits and file is the source file. A line directive causes the front end to believe that the character following the right parenthesis is at the line and column of the specified file. A line directive only affects the reporting of error messages and does not affect program semantics (except for functions like MLton.Exn.history that report source file positions). Syntactically invalid line directives are ignored. To prevent incompatibilities with SML, the file name may not contain the character sequence *).


Last edited on 2005-12-02 04:21:37 by StephenWeeks.