Skip to content

Use a string interner for caching identifiers and strings聽#19

Open

Description

@brendanzab

This should reduce the memory footprint of the type checker, and also make it faster to clone identifiers. LALRPOP uses string_cache for this.

I've updated our name binding crate to support this. See:

Activity

  1. changed the title [-]Use a string interner for caching identifiers[/-] [+]Use a string interner for caching identifiers and strings[/+] on Apr 1, 2018
  2. added a commit that references this issue on Jun 12, 2018
    e8451a5
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions