Skip to content

Rename interpreters and type checkers, replace - with _, to match the book #39

Open
#40
Open
Rename interpreters and type checkers, replace - with _, to match the book#39
#40
Assignees
Temperz87

Description

@jsiek
jsiek
opened on Sep 11, 2025

I've already done it for interp_Lint and interp_Lvar.

Activity

  1. jsiek
    assigned
    jsiek
    and
    Temperz87
    and unassigned
    jsiek
    on Sep 11, 2025

  2. Temperz87 commented on Sep 11, 2025

    @Temperz87
    Temperz87
    on Sep 11, 2025
    Contributor

    Looking at the book it seems like some interpreters/typecheckers (e.g. L-any) are still labeled using dashes and not underscores, should I leave them untouched?

  3. jsiek commented on Sep 12, 2025

    @jsiek
    jsiek
    on Sep 12, 2025
    ContributorAuthor

    Let's change those as well, and update the book.

  4. Temperz87 commented on Sep 12, 2025

    @Temperz87
    Temperz87
    on Sep 12, 2025
    Contributor

    Why is it called interp-poly and not interp-Lpoly?

  5. jsiek commented on Sep 12, 2025

    @jsiek
    jsiek
    on Sep 12, 2025
    ContributorAuthor

    I don't remember.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions