If you are using the big setup.ml my former remark about RecDescParser doesn't apply. But we should improve the number of lines in the generated setup.ml, so that the toplevel interpreter will have less to parse. This is also something that will have to be done at one point. This alone can give a pretty good speed up.

In the past, I never paid attention to the performance of OASIS. That something that need to be improved.