Skip to content

Derived-type semantics: subprogram visibility, discrete subtypes, multidim arrays, and access types (RM 3.4) #44

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

Open
AdaDoom3 wants to merge 24 commits into
base: main
Choose a base branch
from
+1,075 −151
Open

Derived-type semantics: subprogram visibility, discrete subtypes, multidim arrays, and access types (RM 3.4) #44

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
b68d514
Implement RM 3.4 / 8.3 derived-subprogram visibility (c34014 100%)
claude Jun 9, 2026
3e9a9bc
Give derived discrete subtypes an unconstrained base (c34001, c34016 …
claude Jun 9, 2026
cf44e88
Wrap multidimensional arrays with all bounds for fat-pointer equality…
claude Jun 9, 2026
7ee6162
Slice a function-call result and slice-assign through access-to-array…
claude Jun 9, 2026
cfe2c04
Bind a constrained discriminant for dependent component default bound…
claude Jun 10, 2026
b19a4a4
Membership in a constrained access-to-record subtype checks discrimin…
claude Jun 10, 2026
b8b68c4
Allocate and bound-check every dimension of a multidimensional design…
claude Jun 10, 2026
093f2eb
Size a multidimensional allocation by the product of all dimensions f…
claude Jun 10, 2026
e10598d
Size a .ALL whole-array assignment from the access bounds, not the st…
claude Jun 10, 2026
9a7b615
P'RANGE on an access-to-array dereferences implicitly as an index con…
claude Jun 10, 2026
0253444
Null-check an explicit .ALL dereference taken as an address (RM 4.1)
claude Jun 10, 2026
af480c8
Type a .ALL-target aggregate against the unconstrained base designate…
claude Jun 10, 2026
7f6049d
Evaluate a dynamic constraint low for a positional aggregate; access …
claude Jun 10, 2026
ba1bb5e
Length-check whole-array and slice assignment (RM 5.2.1)
claude Jun 10, 2026
7a0d66b
Length-check a slice assigned from a whole array or string (RM 5.2.1)
claude Jun 10, 2026
e128969
Collapse a slice-of-slice assignment target to a single slice (RM 4.1.2)
claude Jun 10, 2026
dcc8c74
Length-check a fat-target slice assignment (RM 5.2.1)
claude Jun 10, 2026
16a7012
A constrained array object keeps its subtype bounds, not the initiali…
claude Jun 10, 2026
d811de4
Fold membership against the operand's own subtype (RM 4.5.2)
claude Jun 10, 2026
08e944f
Implement array type conversion checks and bound conversion (RM 4.6)
claude Jun 10, 2026
f2b8847
Raise PROGRAM_ERROR on access before elaboration (RM 3.9)
claude Jun 10, 2026
b72e39c
Raise PROGRAM_ERROR instantiating a generic before its body (RM 3.9)
claude Jun 10, 2026
acf3300
'CONSTRAINED is TRUE for IN parameters and constants (RM 3.7.4)
claude Jun 10, 2026
d6e0fa1
'CONSTRAINED is TRUE for objects designated by access values (RM 3.7.4)
claude Jun 10, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading