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

fix(engine/fstar): fix super typeclasses attributes #910

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

fix(engine/fstar): fix super typeclasses attributes #910

wants to merge 1 commit into from

Commits on Sep 23, 2024

  1. fix(engine/fstar): fix super typeclasses attributes 

    The PR #902 was reverted by #909 because #902 was generated redundant
fields names in classes for super clauses, which is a problem for F*.

This PR changes the naming scheme of super clauses for typeclasses in
F*. Those names now take into account the trait name. The super trait
names are now a 5 characters base 62 encoding of the hash of the
predicate ID concatenated with the trait name.

Fixes #630.
    @W95Psp
    W95Psp committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    994b9c0 View commit details
    Browse the repository at this point in the history