[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#467563: camlp5 strict mode?

Stéphane Glondu writes:
   I've pushed an updated camlp5 (6.04) package to the team's git, that
   defaults to strict. I've also pushed a fix for ulex0.8, so that both
   strict and transitional are supported. Matita then builds with no
   changes in strict mode.
But then we don't need transitional cmalp5, do we?

   Can I proceed and upload camlp5 6.04-1 as it is now, or do you want to
   give a shot at providing an additional camlp5t package?

Please go ahead. If transitional camlp5 is not needed I save the
time for something else.



Reply to: