Function skip_comment

js/SCAST.js:148–151

()

            };
        }
        function skip_comment() {
            read_while(function(ch){ return ch != "\n" });
            input.next();
        }
        var start;
        function read_next() {
            read_while(is_whitespace);