Function skip_split

js/SCASTPY.js:298–301

(ch)

            else input.croak("Expecting punctuation: \"" + ch + "\"");
        }
        function skip_split(ch) {
            if (is_sp(ch)) input.next();
            else input.croak("Expecting punctuation: \"" + ch + "\"");
        }
        function parse_next() {
            var n = input.next();
            // console.log('parse next ',n)