MLton MLTONWIKIVERSION

LineDirective

Home Index

To aid in the debugging of code produced by program generators such as 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.