Code

Typecheck simple assignments#290

Code

Merged

MarkusAmshove merged 18 commits intomainMarkusAmshove/natls:mainfrom natparse/typecheck-simple-assignmentsMarkusAmshove/natls:natparse/typecheck-simple-assignmentsCopy head branch name to clipboardJun 15, 2023

+480-76

Commits

Commits on Jun 14, 2023

• Infer literal types on creation

  MarkusAmshove

  committed
  0f53b41

  Copy full SHA for 0f53b41

• Differntiate between checking statements and nodes

  MarkusAmshove

  committed
  89c0a32

  Copy full SHA for 89c0a32

• Reinterpret literal types based on target type

  MarkusAmshove

  committed
  73b8364

  Copy full SHA for 73b8364

• Merge remote-tracking branch 'origin/main' into natparse/typecheck-simple-assignments

  Show description for 4c4c299
  MarkusAmshove

  committed
  4c4c299

  Copy full SHA for 4c4c299

• Reinfer types of constant variables

  MarkusAmshove

  committed
  f8bb38b

  Copy full SHA for f8bb38b

• Ignore view variables without type

  MarkusAmshove

  committed
  149c710

  Copy full SHA for 149c710

• Fix *DATN return type

  MarkusAmshove

  committed
  c497277

  Copy full SHA for c497277

Commits on Jun 15, 2023

• Guard against unresolved DDMs

  MarkusAmshove

  committed
  285f7c3

  Copy full SHA for 285f7c3

• Check type lengths only for literals

  MarkusAmshove

  committed
  33473f2

  Copy full SHA for 33473f2

• Recognize implicit conversion from T and D to A

  MarkusAmshove

  committed
  edb84f4

  Copy full SHA for edb84f4

• Differentiate between type mismatch and value truncation

  MarkusAmshove

  committed
  c56c3b5

  Copy full SHA for c56c3b5

• Recognize implicit conversion from L to A

  MarkusAmshove

  committed
  4b56020

  Copy full SHA for 4b56020

• Add implicit conversion from T to numeric types

  MarkusAmshove

  committed
  82194be

  Copy full SHA for 82194be

• Add conversion from numbers to T

  MarkusAmshove

  committed
  d979dff

  Copy full SHA for d979dff

• Introduce own diagnostic for truncated literals

  MarkusAmshove

  committed
  8176861

  Copy full SHA for 8176861

• Use BigInteger if number literal is too large for Long

  MarkusAmshove

  committed
  6786a46

  Copy full SHA for 6786a46

• Remove unused import

  MarkusAmshove

  committed
  9e932eb

  Copy full SHA for 9e932eb

• Modify message

  MarkusAmshove

  committed
  4c06272

  Copy full SHA for 4c06272