Skip to content

Rename Path{,Mode,Hashed,Type} to Import{,Mode,Hashed,Type} #376

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

Merged
merged 2 commits into from
May 11, 2018

Conversation

Gabriella439
Copy link
Collaborator

@Gabriella439 Gabriella439 commented May 5, 2018

This updates the data types to match the terminology used in the
standard. Specifically, "path" specifically refers to a directory or
file, whereas "import" is a broader term encapsulating URLs and
environment variables.

See: dhall-lang/dhall-lang#127

This is a breaking change but an easy one to adapt to. Most downstream
consumers of the API just use the Path type, and this change includes
a Path type synonym for backwards compatibility.

This updates the data types to match the terminology used in the
standard.  Specifically, "path" specifically refers to a directory or
file, whereas "import" is a broader term encapsulating URLs and
environment variables.

This is a breaking change but an easy one to adapt to.  Most downstream
consumers of the API just use the `Path` type, and this change includes
a `Path` type synonym for backwards compatibility.
@Gabriella439 Gabriella439 merged commit fa4569e into master May 11, 2018
@Gabriella439 Gabriella439 deleted the gabriel/rename_path branch May 11, 2018 15:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant