/* bgo596429.vala - Example for bug 596429, Copyright 2009 Julian Andres Klode
 * 
 * Copying and distribution of this file, with or without modification,
 * are permitted in any medium without royalty provided the copyright
 * notice and this notice are preserved.  This file is offered as-is,
 * without any warranty.
 */
public void main() {
        ScannerConfig config = ScannerConfig();
        config.skip_comment_multi = true;
        config.scan_comment_multi = true;
        // Removing the following 4 lines would make it work correctly.
        config.cset_identifier_nth = "/";
        config.cset_identifier_first = "/";
        config.scan_identifier = true;
        config.scan_identifier_1char = true;
        var scanner = new Scanner(config);
        var value = "/* TEST */";
        scanner.input_text (value, (int)value.len());
        TokenType token;
        while ((token = scanner.get_next_token()) != TokenType.EOF) {
            scanner.unexp_token(TokenType.EOF, null, null, null, null,
                                true);
        }
}
