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

Using an empty prefix generates invalid file names #266

Closed
jklmnn opened this issue Jun 2, 2020 · 0 comments · Fixed by #271
Closed

Using an empty prefix generates invalid file names #266

jklmnn opened this issue Jun 2, 2020 · 0 comments · Fixed by #271
Assignees
@treiher
Labels
generator Related to generator package (SPARK code generation)
Projects
RecordFlux 0.4.1

Comments

@jklmnn
Copy link
Member

jklmnn commented Jun 2, 2020 •
edited
Loading

When calling rflx generate -p "" the file names of the generated code contain leading dashes:

$ rflx generate -d out -p "" tests/null_message.rflx
Parsing tests/null_message.rflx
Processing Null_Message
Creating out/null_message.ads
Creating out/-rflx_builtin_types-conversions.ads
Creating out/-rflx_builtin_types.ads
Creating out/-rflx_generic_types.ads
Creating out/-rflx_lemmas.ads
Creating out/-rflx_message_sequence.ads
Creating out/-rflx_scalar_sequence.ads
Creating out/-rflx_types.ads
Creating out/-rflx_generic_types.adb
Creating out/-rflx_lemmas.adb
Creating out/-rflx_message_sequence.adb
Creating out/-rflx_scalar_sequence.adb
@jklmnn jklmnn created this issue from a note in RecordFlux 0.4 (To do) Jun 2, 2020
@treiher treiher self-assigned this Jun 2, 2020
@treiher treiher moved this from To do to In progress in RecordFlux 0.4 Jun 2, 2020
@treiher treiher removed this from In progress in RecordFlux 0.4 Jun 2, 2020
@treiher treiher added this to To do in RecordFlux 0.5 via automation Jun 2, 2020
jklmnn added a commit that referenced this issue Jun 2, 2020
@jklmnn
Fix library file generation
6e50cd2 
ref #266
jklmnn added a commit that referenced this issue Jun 2, 2020
@jklmnn
Fix library file generation
5b5a9f3 
ref #266
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Jun 2, 2020
treiher added a commit that referenced this issue Jun 3, 2020
@treiher
Fix generation of library files
b7aff9a 
Ref. #266
@treiher treiher mentioned this issue Jun 3, 2020
Merged
@treiher treiher added the generator Related to generator package (SPARK code generation) label Jun 3, 2020
RecordFlux 0.5 automation moved this from In progress to Done Jun 3, 2020
treiher added a commit that referenced this issue Jun 3, 2020
@treiher
Fix generation of library files
1203586 
Ref. #266
@senier senier removed this from Done in RecordFlux 0.5 Jun 6, 2020
@senier senier added this to To do in RecordFlux 0.4.1 via automation Jun 6, 2020
@senier senier moved this from To do to Done in RecordFlux 0.4.1 Jun 6, 2020
@treiher treiher mentioned this issue Jul 14, 2020
Closed
4 tasks
treiher added a commit that referenced this issue Jul 23, 2020
@treiher
Fix generation of library files
903b80d 
Ref. #266
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
generator Related to generator package (SPARK code generation)
Projects
No open projects
RecordFlux 0.4.1
  
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 266: Fix generation of library files AdaCore/RecordFlux
2 participants
@jklmnn @treiher