Do cu specs #82
Closed
Do cu specs #82
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…o file instead of stdout. Still wrote to symbol table to std out when compiling a package body.
…om withed units into the symbol table. This code is experimental and contains some print statements for monitoring and debugging.
…ation for compiling package specifications. Simplifies seeing what is implemented and what is not. Should make it simpler to split the handling of declarations and statements into two private child packages.
# Conflicts: # gnat2goto/driver/tree_walk.adb Conflicts resolved - compiles and runs ok
…_Later_Decl_Item and N_Freeze_Entity
…ubprogs are in alphabetical order
Update to include Irep ID_nil
Added N_Number_Declaration as a permitted Nkind to precondition of Process_Declarations
… has to extend the code block
Remove precondition from Process_Declaration as not all the possible node types have been determined yet.
…s many declarations that are not currently handled.
|
@tjj2017 Many thanks for this large contribution! Could I ask for a couple of things to be done before we review it fully:
Thanks again for your efforts, an we'll look forward to reviewing it fully! |
|
The conflicts associated with this branch have been resolved and merged via a new branch associated with PR #113 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This branch implements the processing of "withed" units.
Currently only subprogram_declarations, subprogram_bodies and package_declarations are handled.
(No generic declarations or task declarations)
There are many declarations that can be declared within these units which are not handled.