Skip to content

Fix type-checking errors in Addition and Remainder statements.#305

Merged
lucaneg merged 1 commit intomasterfrom
giacomo-boldini/fix-statements
Feb 9, 2024
Merged

Fix type-checking errors in Addition and Remainder statements.#305
lucaneg merged 1 commit intomasterfrom
giacomo-boldini/fix-statements

Conversation

@giacomoboldini
Copy link
Collaborator

Description
It addresses type-checking errors in the Addition and Remainder statements. Specifically, it fixes issues related to incorrect type-checking conditions in the code where only one expression (either left or right) was being checked at a time instead of both.

Fixed bugs

  • Fix type-checking errors in Addition statement: ensure both left and right expressions are checked for type compatibility.
  • Fix type-checking errors in Remainder statement: ensure both left and right expressions are checked for type compatibility.

Implemented features
None.

Further content
None.

@lucaneg lucaneg added the 🏗 resolution:wip Incomplete work - do not review yet label Feb 7, 2024
@lucaneg lucaneg self-assigned this Feb 9, 2024
@lucaneg lucaneg added 🐛 type:bug Something isn't working ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms and removed 🏗 resolution:wip Incomplete work - do not review yet labels Feb 9, 2024
@lucaneg lucaneg merged commit 8c3a340 into master Feb 9, 2024
@lucaneg lucaneg deleted the giacomo-boldini/fix-statements branch February 9, 2024 15:25
@lucaneg lucaneg added this to the 0.1 milestone Aug 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🐛 type:bug Something isn't working

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants