Skip to content

Use CoreInfo from the compiler rather than our own CorelibContext #418

@wawel37

Description

@wawel37

As for now, we use CorelibContext in linter. But as it turns out, there is something called CoreInfo in the compiler, which is basically the same thing xd. https://github.com/starkware-libs/cairo/blob/944f54b01116708084d33807737f658318f4b8a2/crates/cairo-lang-semantic/src/corelib.rs#L868.

If possible, get rid of corelibcontext and use the coreinfo

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    Projects

    Status

    Freezer

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions