Skip to content

Clarify what referentially opaque means, for the uninitiated#2303

Merged
Gabriella439 merged 3 commits intodhall-lang:masterfrom
timbertson:opaque
Sep 19, 2021
Merged

Clarify what referentially opaque means, for the uninitiated#2303
Gabriella439 merged 3 commits intodhall-lang:masterfrom
timbertson:opaque

Conversation

@timbertson
Copy link
Collaborator

Just a small addition to the referentially opaque error message. I still have do a double-take to remember what this phrase means, so I thought I'd help myself and others ;)

timbertson and others added 2 commits September 19, 2021 21:05
Co-authored-by: Gabriella Gonzalez <Gabriel439@gmail.com>
@Gabriella439 Gabriella439 merged commit 997a153 into dhall-lang:master Sep 19, 2021
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.

2 participants