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.

Sign up for GitHub

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

Jump to bottom

Perform semantic integrity checks #5

Closed
f-f opened this issue Jul 25, 2018 · 1 comment
Closed

Perform semantic integrity checks #5

f-f opened this issue Jul 25, 2018 · 1 comment
Labels
standard compliance Compliance to the Dhall Language Standard

Comments

@f-f
Copy link
Owner

f-f commented Jul 25, 2018

We should perform the semantic integrity checks on imports (right now they are skipped)

Blocked by #4 (as we should hash the binary-encoded blob)
@f-f f-f added the enhancement New feature or request label Jul 25, 2018
@f-f f-f mentioned this issue Jul 25, 2018
Closed
26 tasks
@f-f
Copy link
Owner Author

f-f commented Aug 2, 2018

This is now being standardized in dhall-lang/dhall-lang#208

@f-f f-f added standard compliance Compliance to the Dhall Language Standard and removed enhancement New feature or request labels Sep 9, 2018
@f-f f-f mentioned this issue Sep 23, 2018
Closed
@f-f f-f mentioned this issue Oct 14, 2018
Closed
f-f added a commit that referenced this issue Nov 7, 2018
@f-f
Add tests for the semantic hash checking, fix #5
ed1ef50
@f-f f-f closed this as completed in 4bf9d82 Nov 7, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
standard compliance Compliance to the Dhall Language Standard
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@f-f