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

Ocaml 4.14 #217

Open
wants to merge 15 commits into
base: ocaml-4.13
Choose a base branch
from
Open

Ocaml 4.14 #217

wants to merge 15 commits into from

Commits on Jan 31, 2024

  1. Remove Git submodule for Merlin

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    752c79e View commit details
    Browse the repository at this point in the history

  2. Add vendored version of Merlin

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    2676123 View commit details
    Browse the repository at this point in the history

  3. Upgrade to OCaml 4.14

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    fb5f869 View commit details
    Browse the repository at this point in the history

  4. Fix the detection of names for module types

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    c3795b5 View commit details
    Browse the repository at this point in the history

  5. Improve the module name generation for includes

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    287a0ea View commit details
    Browse the repository at this point in the history

  6. Handle abstract types in mutually recursive type definitions

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    de095a3 View commit details
    Browse the repository at this point in the history

  7. Have a better optimization for the cache of first-class module signat… 

    …ures
    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    7ec2737 View commit details
    Browse the repository at this point in the history

  8. Disable recursivity for local axiomatized definitions

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    7fd12db View commit details
    Browse the repository at this point in the history

  9. Update the require system to make Require Import more robust

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    9fe67f0 View commit details
    Browse the repository at this point in the history

  10. Cosmetic

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    313d5bb View commit details
    Browse the repository at this point in the history

  11. Add parenthesis to non-atomic string constants

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    e754086 View commit details
    Browse the repository at this point in the history

  12. Fix issues with the representation of non-unicode strings

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    c15c9c8 View commit details
    Browse the repository at this point in the history

  13. Add attribute to filter-out some included names

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    91d606b View commit details
    Browse the repository at this point in the history

  14. Upgrade ocamlformat and add more error messages for functor paths

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    656df71 View commit details
    Browse the repository at this point in the history

  15. Minor edit on README

    @clarus
    clarus committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    8812f06 View commit details
    Browse the repository at this point in the history