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

Wiki TO DO #2

Open
8 of 11 tasks
trijezdci opened this issue Aug 26, 2017 · 0 comments
Open
8 of 11 tasks

Wiki TO DO #2

trijezdci opened this issue Aug 26, 2017 · 0 comments
Assignees
@trijezdci

Comments

@trijezdci
Copy link
Member

trijezdci commented Aug 26, 2017 •
edited
Loading

  • complete formal parameters section
  • add section for scoping rules
  • rename section type semantics to allocation, describe allocation for all types
  • add section on convertibility of types
  • add section on structured value constructors
  • move pragma semantics to a pragma section somewhere towards the end

loose ends:

  • explain rules for duplicate imports
  • unqualified name for types whose identifiers equal that of their module
  • dot notation procedure invocation for variables of module types
  • state that indeterminate records can only be targets of pointer types
  • array subscript notation can be used on instances of type address
@trijezdci trijezdci self-assigned this Aug 26, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@trijezdci trijezdci

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@trijezdci