Hi, I post an issue on github 2 month before. <div><a href="https://github.com/plt/racket/issues/101">https://github.com/plt/racket/issues/101</a><div><br></div><div>Maybe I should post it here to ask someone first. </div>
<div>Anyway, I think it is just a trivial inconsistency. </div><div>If there is a reason, I think I can close that issue.</div></div>