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

Improved error message for invalid private row type declaration #8732

Merged
merged 4 commits into from
Apr 14, 2021
Merged

Improved error message for invalid private row type declaration #8732

merged 4 commits into from
Apr 14, 2021

Commits on Apr 14, 2021

  1. explicit and rename Bad_fixed_type errror 

    The error Bad_fixed_type error can only be raised when a syntactic row
type variable turns out to be non-existent when all constraints are taken
in account.

This commit renames the error and expands the error message to make that
point more explicit.
    @Octachron
    Octachron committed Apr 14, 2021
    Configuration menu
    Copy the full SHA
    62c4b0a View commit details
    Browse the repository at this point in the history

  2. Labellize Typedecl.transl_with_constraints 

    make the optional row_fixed_path argument more explicit
    @Octachron
    Octachron committed Apr 14, 2021
    Configuration menu
    Copy the full SHA
    08c7d82 View commit details
    Browse the repository at this point in the history

  3. Update Changes

    @Octachron
    Octachron committed Apr 14, 2021
    Configuration menu
    Copy the full SHA
    09444ef View commit details
    Browse the repository at this point in the history

  4. review: Typedecl.set_fixed_row -> set_private_row

    @Octachron
    Octachron committed Apr 14, 2021
    Configuration menu
    Copy the full SHA
    7c379d3 View commit details
    Browse the repository at this point in the history