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.

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

Make self-caching Prelude #424

Merged
merged 2 commits into from Mar 16, 2019

Conversation

Projects
None yet
2 participants
@Gabriel439
Copy link
Contributor

commented Mar 14, 2019

Fixes #419

This adds semantic integrity checks to the Prelude's internal references so that
even if users don't cache their Prelude package imports the Prelude will
internally cache all imports after the root import for the user.

Even if the checks fail (such as for older interpreters), this provides a fallback
import so that the slower path still succeeds

Make self-caching Prelude
Fixes #419

This adds semantic integrity checks to the Prelude's internal references so that
even if users don't cache their Prelude package imports the Prelude will
internally cache all imports after the root import for the user.

@Gabriel439 Gabriel439 referenced this pull request Mar 14, 2019

Closed

Freeze Prelude ? #419

@f-f

f-f approved these changes Mar 14, 2019

@Gabriel439 Gabriel439 merged commit c8c9136 into master Mar 16, 2019

1 check passed

hydra Hydra build #8890 of dhall-lang:424:dhall-lang
Details

@Gabriel439 Gabriel439 deleted the gabriel/cache_prelude branch Mar 16, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.