Code

try adding FunctionTypeVarArgs#1062

Code

Closed

doug-q wants to merge 45 commits intomainCQCL/hugr:mainfrom doug/wipCQCL/hugr:doug/wipCopy head branch name to clipboard

+846-95

Commits

Commits on Jan 10, 2024

• Refactor: break out fn valid_row for validating a TypeRow

  acl-cqc

  committed
  7b242ac

  Copy full SHA for 7b242ac

• Type::{validate,substitute}_in_row, {Substitution,SubstValues}::apply_typevar_in_row

  acl-cqc

  committed
  ba05010

  Copy full SHA for ba05010

Commits on Jan 12, 2024

• [test] types.rs::construct - also validate

  acl-cqc

  committed
  59c5854

  Copy full SHA for 59c5854

• [tests] poly_func.rs: test row variables

  acl-cqc

  committed
  72b4fb2

  Copy full SHA for 72b4fb2

• [test] validate Hugr passing around Function of unknown arity

  acl-cqc

  committed
  2cf1e7f

  Copy full SHA for 2cf1e7f

• [tests]Validation prevents row variables being used in node signatures

  acl-cqc

  committed
  8899806

  Copy full SHA for 8899806

• Simplify default apply_typevar_in_row

  acl-cqc

  committed
  e1f1825

  Copy full SHA for e1f1825

• Separate TypeEnum::RowVariable

  acl-cqc

  committed
  1074093

  Copy full SHA for 1074093

Commits on Apr 15, 2024

• Merge remote-tracking branch 'origin/main' into feat/row_typevar

  acl-cqc

  committed
  4291848

  Copy full SHA for 4291848

• Doc updates - no DeBruijn, ref OpDef vs FuncDefn

  acl-cqc

  committed
  98c75a2

  Copy full SHA for 98c75a2

• Remove unused test setup changes

  acl-cqc

  committed
  b918bee

  Copy full SHA for b918bee

Commits on May 9, 2024

• Merge remote-tracking branch 'origin/main' into feat/row_typevar

  acl-cqc

  committed
  a096f1a

  Copy full SHA for a096f1a

• Combine Type::substitute(_in_row), doc, add TODOs

  acl-cqc

  committed
  4b0e23f

  Copy full SHA for 4b0e23f

Commits on May 10, 2024

• FunctionType/PolyFuncType validate_varargs (fixed-len not reqd)

  acl-cqc

  committed
  a0aba20

  Copy full SHA for a0aba20

• Type::validate(=>_1type), fix TypeParam to call validate_in_row

  acl-cqc

  committed
  bd0689f

  Copy full SHA for bd0689f

• {subst,valid}_row => TypeRow::{substitute,validate_var_len}

  acl-cqc

  committed
  72f4b98

  Copy full SHA for 72f4b98

• Normalize representation of row variable as TypeArg; extend check_type_arg

  acl-cqc

  committed
  d9653aa

  Copy full SHA for d9653aa

• Test bad schema, test can't fit row variable into type hole

  acl-cqc

  committed
  15bf177

  Copy full SHA for 15bf177

• Extend validation tests using eval+parallel

  acl-cqc

  committed
  bc11c68

  Copy full SHA for bc11c68

• And extend no_outer_row_variables to include unconnected out'port's of eval

  acl-cqc

  committed
  f39373b

  Copy full SHA for f39373b

Commits on May 11, 2024

• comments re. canonicalization, tests

  acl-cqc

  committed
  bd39303

  Copy full SHA for bd39303

• clippy

  acl-cqc

  committed
  ed64d12

  Copy full SHA for ed64d12

• single_type_seq -> seq1ty

  acl-cqc

  committed
  d02c9c0

  Copy full SHA for d02c9c0

• Merge remote-tracking branch 'origin/main' into feat/row_typevar

  acl-cqc

  committed
  50b9c85

  Copy full SHA for 50b9c85

Commits on May 12, 2024

• Combine helpers giving extension_with_eval_parallel

  acl-cqc

  committed
  742ab55

  Copy full SHA for 742ab55

• Add RowVar to serialization/tys.py

  acl-cqc

  committed
  ce72762

  Copy full SHA for ce72762

• Regenerate schema

  acl-cqc

  committed
  c556a8a

  Copy full SHA for c556a8a

• Really regenerate schema (after poetry install)

  acl-cqc

  committed
  7214cbc

  Copy full SHA for 7214cbc

Commits on May 14, 2024

• Use Vec<TypeArg> .into() -> TypeArg

  acl-cqc

  committed
  ce28154

  Copy full SHA for ce28154

• Add TypeParam::new_list

  acl-cqc

  committed
  0e4b232

  Copy full SHA for 0e4b232

• rowparam() -> rowp.clone()

  acl-cqc

  committed
  5b39b9c

  Copy full SHA for 5b39b9c

• new_row_var => new_row_var_use, some cleanups using .into()

  acl-cqc

  committed
  9ae2255

  Copy full SHA for 9ae2255

• squash! Add TypeParam::new_list

  acl-cqc

  committed
  412ec08

  Copy full SHA for 412ec08

• Fix apply_row_var...TODO cover this

  acl-cqc

  committed
  34ed4c9

  Copy full SHA for 34ed4c9

• check_type_arg_rv: improve comment

  acl-cqc

  committed
  85d1969

  Copy full SHA for 85d1969

• Remove rowvar_in_list using TypeParam::contains

  acl-cqc

  committed
  3cf333d

  Copy full SHA for 3cf333d

• Add Type::row_var_bound

  acl-cqc

  committed
  2929135

  Copy full SHA for 2929135

• Remove check_type_arg_rv

  acl-cqc

  committed
  0afdaf9

  Copy full SHA for 0afdaf9

• Use Type .into() -> TypeArg more

  acl-cqc

  committed
  5a8bf88

  Copy full SHA for 5a8bf88

• Extend comment that TypeArg::Variable's are not row-vars

  acl-cqc

  committed
  2e53529

  Copy full SHA for 2e53529

• type_row.rs: comment ...Variable]*s*

  acl-cqc

  committed
  ed09ae6

  Copy full SHA for ed09ae6

• Add check_type_arg tests as rstest cases

  acl-cqc

  committed
  8c93c9d

  Copy full SHA for 8c93c9d

• More tests! (giving up on rstest)

  acl-cqc

  committed
  8811e1a

  Copy full SHA for 8811e1a

• Add a couple of PolyFuncType-serialization tests

  acl-cqc

  committed
  d728714

  Copy full SHA for d728714

Commits on May 16, 2024

• try adding FunctionTypeVarArgs

  doug-q

  committed
  5ec995f

  Copy full SHA for 5ec995f