Function skip_split

js/SCAST.js:257–260

(ch)

            else input.croak("Expecting punctuation: \"" + ch + "\"");
        }
        function skip_split(ch) {
            if (is_sp(ch)) input.next();
            else input.croak("Expecting punctuation: \"" + ch + "\"");
        }
        function unexpected() {
            input.croak("Unexpected token: " + JSON.stringify(input.peek()));
        }