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

Hint on type error on int operators #2307

Merged
merged 5 commits into from
Mar 11, 2019
Merged

Hint on type error on int operators #2307

merged 5 commits into from
Mar 11, 2019

Commits on Mar 10, 2019

  1. Refactor report_error to return a Location.error

    @Julow
    Julow committed Mar 10, 2019
    Configuration menu
    Copy the full SHA
    e1ca14d View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2019

  1. Add hint on numeric operator type clash

    @Julow
    Julow committed Mar 11, 2019
    Configuration menu
    Copy the full SHA
    d926fdb View commit details
    Browse the repository at this point in the history

  2. Fix tools/caml-tex printing of sub message locations 

    List printer fields explicitly to avoid the same problem from happening again
    @Julow
    Julow committed Mar 11, 2019
    Configuration menu
    Copy the full SHA
    a241675 View commit details
    Browse the repository at this point in the history

  3. Tests

    @Julow
    Julow committed Mar 11, 2019
    Configuration menu
    Copy the full SHA
    0bc5b71 View commit details
    Browse the repository at this point in the history

  4. Changes

    @Julow
    Julow committed Mar 11, 2019
    Configuration menu
    Copy the full SHA
    0eefeae View commit details
    Browse the repository at this point in the history