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

Handle Bool as input/output of main for the VampIR pipeline #2132

Closed
lukaszcz opened this issue May 25, 2023 · 0 comments · Fixed by #2137
Closed

Handle Bool as input/output of main for the VampIR pipeline #2132

lukaszcz opened this issue May 25, 2023 · 0 comments · Fixed by #2137
Assignees
@lukaszcz
Labels
enhancement New feature or request pipeline:vampir
Milestone
0.4 - Prague

Comments

@lukaszcz
Copy link
Collaborator

lukaszcz commented May 25, 2023 •
edited
Loading

As discussed with @bazzilic:

  • Allow Bool as the result type of main, and if that's the case compare against the translation of true (which is 1) instead of making VampIR ask for out.
@lukaszcz lukaszcz added enhancement New feature or request pipeline:vampir labels May 25, 2023
@lukaszcz lukaszcz added this to the 0.4 - Prague milestone May 25, 2023
@lukaszcz lukaszcz self-assigned this May 25, 2023
@lukaszcz lukaszcz mentioned this issue May 26, 2023
Merged
jonaprieto added a commit that referenced this issue Jun 1, 2023
@lukaszcz @jonaprieto
VampIR pipeline: handle booleans in the type of main (#2137)
757b4ed 
* Closes #2132

---------

Co-authored-by: Jonathan Cubides <jonathan.cubides@uib.no>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
enhancement New feature or request pipeline:vampir
Projects
None yet
Milestone
0.4 - Prague
Development

Successfully merging a pull request may close this issue.

VampIR pipeline: handle booleans in the type of main anoma/juvix
1 participant
@lukaszcz