Mentions légales du service

Skip to content

prefix Parsing by Stdlib.

Frédéric Blanqui requested to merge blanqui/menhir:parsing into master

Stdlib.Parsing is used in various places in Menhir but it is always referred to as simply Parsing instead of Stdlib.Parsing. This creates conflicts when a user has its own module Parsing and uses Menhir with type inference. See https://github.com/Deducteam/lambdapi/pull/798#issuecomment-1004013153.

Merge request reports