On 12 Apr 2018, at 17:18, Marcus Denker <marcus.denker@inria.fr> wrote:On 12 Apr 2018, at 17:06, Hilaire <hilaire@drgeo.eu> wrote:
Hi Marcus, Benoit,
Nice to know. I was testing in a set up with both .changes and source files. So I was suspecting something like what your described. I can imagine in production code your feature to speed up compilation will be appreciated. For Dr. Geo and Smalltalk sketch, it is better to have variable names.
I should have a fix ready tomorrow.