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

Typecheck simple assignments #290

Merged
merged 18 commits into from
Jun 15, 2023
Merged

Typecheck simple assignments #290

merged 18 commits into from
Jun 15, 2023

Conversation

MarkusAmshove
Copy link
Owner

@MarkusAmshove MarkusAmshove commented Jun 14, 2023 •
edited
Loading

closes #283

@MarkusAmshove MarkusAmshove added the natparse🔎 Parser and project structure label Jun 14, 2023
@MarkusAmshove
Reinterpret literal types based on target type
73b8364
@MarkusAmshove
Merge remote-tracking branch 'origin/main' into natparse/typecheck-si…
4c4c299 
…mple-assignments

* origin/main:
  Analyzer variable qualification (#286)
  Link to SonarQube markdown
@MarkusAmshove
Reinfer types of constant variables
f8bb38b
@MarkusAmshove
Ignore view variables without type
149c710
@MarkusAmshove
Fix *DATN return type
c497277
@MarkusAmshove
Guard against unresolved DDMs
285f7c3
@MarkusAmshove
Check type lengths only for literals
33473f2
@MarkusAmshove
Recognize implicit conversion from T and D to A
edb84f4
@MarkusAmshove
Differentiate between type mismatch and value truncation
c56c3b5
@MarkusAmshove
Recognize implicit conversion from L to A
4b56020
@MarkusAmshove
Add implicit conversion from T to numeric types
82194be
@MarkusAmshove
Add conversion from numbers to T
d979dff
@MarkusAmshove
Introduce own diagnostic for truncated literals
8176861
@MarkusAmshove
Use BigInteger if number literal is too large for Long
6786a46
@MarkusAmshove
Remove unused import
9e932eb
@MarkusAmshove
Modify message
4c06272
@MarkusAmshove MarkusAmshove marked this pull request as ready for review June 15, 2023 12:48
@MarkusAmshove MarkusAmshove enabled auto-merge (squash) June 15, 2023 12:48
@sonarqubecloud
Copy link

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

84.1% 84.1% Coverage
0.0% 0.0% Duplication

@MarkusAmshove MarkusAmshove merged commit cb2a086 into main Jun 15, 2023
@MarkusAmshove MarkusAmshove deleted the natparse/typecheck-simple-assignments branch June 15, 2023 12:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
natparse🔎 Parser and project structure
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Typecheck simple assignments
1 participant
@MarkusAmshove