src/parser/parser.mly · 7b0929a7616984d4b8059e298ee37bff867b5db1 · Why3 / why3 · GitLab

Mise à jour terminée. Pour connaître les apports de la version 13.10.3 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/03/22/gitlab-13-10-released/
https://about.gitlab.com/releases/2021/03/31/security-release-gitlab-13-10-1-released/
https://about.gitlab.com/releases/2021/04/01/gitlab-13-10-2-released/
https://about.gitlab.com/releases/2021/04/14/security-release-gitlab-13-10-3-released/

Find file Blame History Permalink

WhyML: "use/clone T" imports by default (in absence of "as") · 7b0929a7

Andrei Paskevich authored Jun 15, 2018

For the previous behaviour (no import), write "use/clone T as T".

This shortens the most used "use/clone import" to simply "use/clone".

7b0929a7

parser.mly 43.3 KB