Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Possible typo in the text related to "simple interpretations" #58

Closed
MaximeJakubowski opened this issue Dec 12, 2024 · 2 comments
Closed

Possible typo in the text related to "simple interpretations" #58

MaximeJakubowski opened this issue Dec 12, 2024 · 2 comments
Labels
spec:editorial Minor change in the specification (markup, typo, informative text; class 1 or 2)

Comments

@MaximeJakubowski
Copy link

In the text below the definition of a "simple interpretation" there is the sentence:

The distinction between IR and IL will become significant below when the semantics of datatypes are defined. IL is allowed to be partial because some literals may fail to have a referent.

Should "IR" not be "IS", since it is about the mappings from the interpretation and "IR" is a set, not a mapping?
@pfps
Copy link
Contributor

pfps commented Dec 12, 2024

It looks as if you are correct and IR should be replaced with IS.

@pfps pfps added the spec:editorial Minor change in the specification (markup, typo, informative text; class 1 or 2) label Dec 12, 2024
@pfps pfps mentioned this issue Jan 24, 2025
Merged
@pfps
Copy link
Contributor

pfps commented Jan 31, 2025

Argh, the wording in #73 was not good enough to close this issue when it was merged.
So I'm closing this now.

@pfps pfps closed this as completed Jan 31, 2025
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
spec:editorial Minor change in the specification (markup, typo, informative text; class 1 or 2)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@MaximeJakubowski @pfps