Code

Structs: Type inference #1910

Code

Open

gzanitti wants to merge 50 commits intopowdr-labs:mainpowdr-labs/powdr:mainfrom gzanitti:structs_type_checkgzanitti/powdr:structs_type_checkCopy head branch name to clipboard

+460-114

Commits

Commits on Oct 15, 2024

• Structs type inference

  gzanitti

  committed
  e339d0c

  Copy full SHA for e339d0c

• expression_processor

  gzanitti

  committed
  9ccca9b

  Copy full SHA for 9ccca9b

• missed import

  gzanitti

  committed
  70b8684

  Copy full SHA for 70b8684

• test

  gzanitti

  committed
  26e35b4

  Copy full SHA for 26e35b4

Commits on Oct 16, 2024

• Comments & tests

  gzanitti

  committed
  d853b76

  Copy full SHA for d853b76

• let Some(...) -> unwrap()

  gzanitti

  committed
  8cbc187

  Copy full SHA for 8cbc187

• var renamed

  gzanitti

  committed
  014553a

  Copy full SHA for 014553a

Commits on Oct 17, 2024

• instantiate_type_scheme_with_args & test

  gzanitti

  committed
  bb83f5e

  Copy full SHA for bb83f5e

Commits on Oct 18, 2024

• test failing

  gzanitti

  committed
  bb2cfdf

  Copy full SHA for bb2cfdf

Commits on Oct 21, 2024

• WIP

  gzanitti

  committed
  21673dc

  Copy full SHA for 21673dc

• type_args

  gzanitti

  committed
  3224e8f

  Copy full SHA for 3224e8f

Commits on Oct 22, 2024

• Conflicts

  gzanitti

  committed
  c220937

  Copy full SHA for c220937

• Comments and fn renamed

  gzanitti

  committed
  11343fc

  Copy full SHA for 11343fc

Commits on Oct 23, 2024

• Fix test

  gzanitti

  committed
  5e0c852

  Copy full SHA for 5e0c852

• comment to explain desambiguation between typevar y namedtype

  gzanitti

  committed
  385942d

  Copy full SHA for 385942d

• comment to explain desambiguation between typevar y namedtype

  gzanitti

  committed
  0e1108e

  Copy full SHA for 0e1108e

Commits on Oct 25, 2024

• updated

  gzanitti

  committed
  42159eb

  Copy full SHA for 42159eb

• extra test

  gzanitti

  committed
  bbf92f6

  Copy full SHA for bbf92f6

• updated should_panic

  gzanitti

  committed
  b488fc6

  Copy full SHA for b488fc6

• helper removed

  gzanitti

  committed
  56d1ce4

  Copy full SHA for 56d1ce4

Commits on Oct 28, 2024

• wip

  gzanitti

  committed
  5906b52

  Copy full SHA for 5906b52

Commits on Oct 29, 2024

• Merge remote-tracking branch 'upstream/main' into structs_type_check

  gzanitti

  committed
  4722cfa

  Copy full SHA for 4722cfa

• DeclaredType

  gzanitti

  committed
  eb7bc37

  Copy full SHA for eb7bc37

• WIP - Goodbye structs_declarations param from typechecker

  gzanitti

  committed
  26004d0

  Copy full SHA for 26004d0

• Not so fast struct_declarations

  gzanitti

  committed
  fb97e31

  Copy full SHA for fb97e31

Commits on Oct 30, 2024

• still wip

  gzanitti

  committed
  9687213

  Copy full SHA for 9687213

• Better inference

  gzanitti

  committed
  8c81f45

  Copy full SHA for 8c81f45

• Merge remote-tracking branch 'upstream/main' into structs_type_check

  gzanitti

  committed
  e6a3d9f

  Copy full SHA for e6a3d9f

• more tests

  gzanitti

  committed
  4990cb5

  Copy full SHA for 4990cb5

• Merge remote-tracking branch 'upstream/main' into structs_type_check

  gzanitti

  committed
  181f5da

  Copy full SHA for 181f5da

• new test & main

  gzanitti

  committed
  81439b6

  Copy full SHA for 81439b6

• shouldnt be failing

  gzanitti

  committed
  5e9b917

  Copy full SHA for 5e9b917

Commits on Oct 31, 2024

• Better error msg for Structs in asm

  gzanitti

  committed
  12cc596

  Copy full SHA for 12cc596

• reparse blacklist

  gzanitti

  committed
  c131964

  Copy full SHA for c131964

• code simplification

  gzanitti

  committed
  2bd3f70

  Copy full SHA for 2bd3f70

• code simplification & avoid clone

  gzanitti

  committed
  dabf58e

  Copy full SHA for dabf58e

• Update pil-analyzer/src/type_inference.rs

  Show description for eebdda6
  

  gzanitti

  and

  chriseth

  authored
  eebdda6

  Copy full SHA for eebdda6

• wip

  gzanitti

  committed
  22a7b05

  Copy full SHA for 22a7b05

• Introduce DeclatedType

  gzanitti

  committed
  a74c07c

  Copy full SHA for a74c07c

Commits on Nov 1, 2024

• Fix introduced bug in verify_type_scheme

  gzanitti

  committed
  611a4fb

  Copy full SHA for 611a4fb

• clippy

  gzanitti

  committed
  84439d8

  Copy full SHA for 84439d8

• Update pil-analyzer/src/type_inference.rs

  Show description for 93d0507
  

  gzanitti

  and

  chriseth

  authored
  93d0507

  Copy full SHA for 93d0507

• Update pil-analyzer/src/type_inference.rs

  Show description for 44949c1
  

  gzanitti

  and

  chriseth

  authored
  44949c1

  Copy full SHA for 44949c1

• new verify_type_schemes + compare_type_schemes

  gzanitti

  committed
  f56ad9b

  Copy full SHA for f56ad9b

• Better DeclaredType merged

  gzanitti

  committed
  56c2313

  Copy full SHA for 56c2313

Commits on Nov 4, 2024

• get names after structs removal

  gzanitti

  committed
  61fa85b

  Copy full SHA for 61fa85b

• better msg

  gzanitti

  committed
  5a62af6

  Copy full SHA for 5a62af6

• better msg

  gzanitti

  committed
  89eedb1

  Copy full SHA for 89eedb1

• names

  gzanitti

  committed
  2b298f7

  Copy full SHA for 2b298f7

• declared_type

  gzanitti

  committed
  2a00f32

  Copy full SHA for 2a00f32