Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

coq: test and fix duplicate theory prefix in COQPATH bug #7790

Merged
merged 3 commits into from
Jun 1, 2023
Merged

coq: test and fix duplicate theory prefix in COQPATH bug #7790

merged 3 commits into from
Jun 1, 2023

Commits on Jun 1, 2023

  1. test(coq): duplicate theory prefix in COQPATH bug 

    This bug happens when using COQPATH so it won't affect most users. When
having two theories A.B and A.C installed, dune will erroneously fail
saying that the theory A has been defined twice.

Signed-off-by: Ali Caglayan <alizter@gmail.com>
    @Alizter
    Alizter committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    398a7c1 View commit details
    Browse the repository at this point in the history

  2. fix(coq): first theory in COQPATH takes precedence always 

    Signed-off-by: Ali Caglayan <alizter@gmail.com>
    @Alizter
    Alizter committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    7cc014a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into ps/branch/test_coq___duplicate_theory_prefix… 

    …_in_coqpath_bug
    @Alizter
    Alizter committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    7b968fd View commit details
    Browse the repository at this point in the history