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.

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

Unqualified type in session results in generator error #892

Closed
senier opened this issue Jan 5, 2022 · 1 comment · Fixed by #893
Closed

Unqualified type in session results in generator error #892

senier opened this issue Jan 5, 2022 · 1 comment · Fixed by #893
Assignees
Labels
bug generator Related to generator package (SPARK code generation)

Comments

@senier
Copy link
Member

senier commented Jan 5, 2022

package Test is

   type T is mod 2 ** 8;

   generic
      with function Fn return T;
   session Session with
      Initial => I,
      Final => F
   is
      Result : T;
   begin
      state I is
      begin
         Result := Fn;
      transition
         goto F
      end I;
      state F is null state;
   end Session;
end Test;
 rflx generate -d generate/ test.rflx 
Parsing test.rflx
Processing Test
id: error: empty identifier

This should also result in a bug box containing a proper backtrace.

@senier senier created this issue from a note in RecordFlux 0.6 (To do) Jan 5, 2022
@senier senier added bug generator Related to generator package (SPARK code generation) labels Jan 5, 2022
@senier senier self-assigned this Jan 5, 2022
@senier senier moved this from To do to Implementation in RecordFlux 0.6 Jan 5, 2022
@senier
Copy link
Member Author

senier commented Jan 5, 2022

The function return type is the culprit. Prefixing it with Test:: mitigates the issue.

senier pushed a commit that referenced this issue Jan 5, 2022
senier pushed a commit that referenced this issue Jan 5, 2022
senier pushed a commit that referenced this issue Jan 5, 2022
@senier senier moved this from Implementation to Review in RecordFlux 0.6 Jan 5, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 6, 2022
senier pushed a commit that referenced this issue Jan 7, 2022
RecordFlux 0.6 automation moved this from Review to Done Jan 7, 2022
senier pushed a commit that referenced this issue Jan 7, 2022
senier pushed a commit that referenced this issue Jan 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug generator Related to generator package (SPARK code generation)
Projects
No open projects
Development

Successfully merging a pull request may close this issue.

1 participant