id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,difficulty 1219,read-char could be better optimized,sjamaan,,"Currently, there are two issues with {{{read-char}}}: * It calls {{{##sys#read-char/port}}}, which is itself a CPS procedure (consuming needless CPU cycles and stack). This will get rewritten in {{{c-platform.scm}}} to a direct call to {{{##sys#read-char/port}}} with fixed argcount. Is omitting argcount check really that much faster? Why not rewrite it to the complete body of {{{##sys#read-char/port}}} instead? * Equally important, the {{{##sys#check-input-port}}} call in {{{##sys#read-char/port}}} is not being specialized, even though there's an entry in {{{types.db}}}(!) This also causes an extra needless CPS call, because it can (and should) be inlined. Once this is fixed, we should run the {{{slatex}}}, {{{kernwyk-wc}}} and {{{kernwyk-cat}}} benchmarks to see how much of an improvement this is.",enhancement,closed,major,5.0,scrutinizer,4.9.x,fixed,,,